About the Execution of Smart+red for FamilyReunion-PT-L00200M0020C010P010G005
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4326.115 | 3600000.00 | 4921052.00 | 13730.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r171-tall-167838858600432.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 FamilyReunion-PT-L00200M0020C010P010G005, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858600432
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 152M
-rw-r--r-- 1 mcc users 1.4M Feb 26 17:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 7.4M Feb 26 17:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7M Feb 26 15:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 13M Feb 26 15:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 608K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.4M Feb 25 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1018K Feb 25 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 2.8M Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9M Feb 26 21:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17M Feb 26 21:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0M Feb 26 20:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 32M Feb 26 20:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 126K Feb 25 16:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 367K Feb 25 16:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 62M 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 1679469736556
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=FamilyReunion-PT-L00200M0020C010P010G005
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 07:22:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 07:22:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 07:22:20] [INFO ] Load time of PNML (sax parser for PT used): 1774 ms
[2023-03-22 07:22:20] [INFO ] Transformed 143908 places.
[2023-03-22 07:22:20] [INFO ] Transformed 134279 transitions.
[2023-03-22 07:22:20] [INFO ] Parsed PT model containing 143908 places and 134279 transitions and 411469 arcs in 2278 ms.
[2023-03-22 07:22:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 143908 places, 134279 transitions and 411469 arcs took 417 ms.
Total runtime 2736 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (PT), instance L00200M0020C010P010G005
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: 143908 places, 134279 transitions, 411469 arcs.
AT ITER 0 NEW BEST:: SOT -1466846276 SOS 1234075908 HAS SOPS 1231391333 HAS SOUS 1168896909 HAS SOUPS 1168799928 WITH SCORE 1.170034003908E9
AT ITER 4 NEW BEST:: SOT -1466847336 SOS 1234099212 HAS SOPS 1231414637 HAS SOUS 1168895658 HAS SOUPS 1168798677 WITH SCORE 1.170032776212E9
AT ITER 54 NEW BEST:: SOT -1466851558 SOS 1234090748 HAS SOPS 1231406173 HAS SOUS 1168887194 HAS SOUPS 1168790213 WITH SCORE 1.170024303748E9
AT ITER 79 NEW BEST:: SOT -1466851558 SOS 1234087325 HAS SOPS 1231402750 HAS SOUS 1168883771 HAS SOUPS 1168786790 WITH SCORE 1.170020877325E9
AT ITER 102 NEW BEST:: SOT -1466851558 SOS 1234086254 HAS SOPS 1231401679 HAS SOUS 1168881498 HAS SOUPS 1168784517 WITH SCORE 1.170018603254E9
AT ITER 149 NEW BEST:: SOT -1466856116 SOS 1234079496 HAS SOPS 1231394921 HAS SOUS 1168872740 HAS SOUPS 1168775759 WITH SCORE 1.170009838496E9
AT ITER 197 NEW BEST:: SOT -1466856116 SOS 1234078350 HAS SOPS 1231393775 HAS SOUS 1168869580 HAS SOUPS 1168772599 WITH SCORE 1.17000667735E9
AT ITER 230 NEW BEST:: SOT -1466856116 SOS 1234076935 HAS SOPS 1231392360 HAS SOUS 1168868165 HAS SOUPS 1168771184 WITH SCORE 1.170005260935E9
AT ITER 246 NEW BEST:: SOT -1466856116 SOS 1234074702 HAS SOPS 1231390127 HAS SOUS 1168865932 HAS SOUPS 1168768951 WITH SCORE 1.170003025702E9
AT ITER 253 NEW BEST:: SOT -1466859780 SOS 1234071038 HAS SOPS 1231386463 HAS SOUS 1168862268 HAS SOUPS 1168765287 WITH SCORE 1.169999358038E9
AT ITER 259 NEW BEST:: SOT -1466863098 SOS 1234067720 HAS SOPS 1231383145 HAS SOUS 1168858950 HAS SOUPS 1168761969 WITH SCORE 1.16999603672E9
AT ITER 301 NEW BEST:: SOT -1466861656 SOS 1234070605 HAS SOPS 1231355685 HAS SOUS 1168863259 HAS SOUPS 1168735954 WITH SCORE 1.169970024605E9
AT ITER 331 NEW BEST:: SOT -1466861656 SOS 1234069632 HAS SOPS 1231354712 HAS SOUS 1168862086 HAS SOUPS 1168734781 WITH SCORE 1.169968850632E9
AT ITER 342 NEW BEST:: SOT -1466863866 SOS 1234067422 HAS SOPS 1231352502 HAS SOUS 1168859876 HAS SOUPS 1168732571 WITH SCORE 1.169966638422E9
AT ITER 357 NEW BEST:: SOT -1466866209 SOS 1234065079 HAS SOPS 1231350159 HAS SOUS 1168857533 HAS SOUPS 1168730228 WITH SCORE 1.169964293079E9
AT ITER 359 NEW BEST:: SOT -1466866209 SOS 1234065079 HAS SOPS 1231350159 HAS SOUS 1168857333 HAS SOUPS 1168730028 WITH SCORE 1.169964093079E9
AT ITER 378 NEW BEST:: SOT -1466866209 SOS 1234062011 HAS SOPS 1231347091 HAS SOUS 1168854265 HAS SOUPS 1168726960 WITH SCORE 1.169961022011E9
AT ITER 390 NEW BEST:: SOT -1466870423 SOS 1234053574 HAS SOPS 1231338654 HAS SOUS 1168845828 HAS SOUPS 1168718523 WITH SCORE 1.169952576574E9
AT ITER 419 NEW BEST:: SOT -1466874507 SOS 1234050125 HAS SOPS 1231337471 HAS SOUS 1168842379 HAS SOUPS 1168717340 WITH SCORE 1.169951390125E9
AT ITER 436 NEW BEST:: SOT -1466874507 SOS 1234045946 HAS SOPS 1231333292 HAS SOUS 1168838200 HAS SOUPS 1168713161 WITH SCORE 1.169947206946E9
AT ITER 445 NEW BEST:: SOT -1466877131 SOS 1234043322 HAS SOPS 1231330668 HAS SOUS 1168835576 HAS SOUPS 1168710537 WITH SCORE 1.169944580322E9
AT ITER 490 NEW BEST:: SOT -1466921360 SOS 1234047854 HAS SOPS 1231335200 HAS SOUS 1168805178 HAS SOUPS 1168680139 WITH SCORE 1.169914186854E9
AT ITER 510 NEW BEST:: SOT -1466922143 SOS 1234047071 HAS SOPS 1231334417 HAS SOUS 1168803612 HAS SOUPS 1168678573 WITH SCORE 1.169912620071E9
AT ITER 564 NEW BEST:: SOT -1466926777 SOS 1234040228 HAS SOPS 1231327574 HAS SOUS 1168796369 HAS SOUPS 1168671330 WITH SCORE 1.169905370228E9
AT ITER 572 NEW BEST:: SOT -1466929932 SOS 1234033918 HAS SOPS 1231321264 HAS SOUS 1168786904 HAS SOUPS 1168661865 WITH SCORE 1.169895898918E9
AT ITER 623 NEW BEST:: SOT -1466929932 SOS 1234029774 HAS SOPS 1231317120 HAS SOUS 1168782760 HAS SOUPS 1168657721 WITH SCORE 1.169891750774E9
AT ITER 707 NEW BEST:: SOT -1466932642 SOS 1234027064 HAS SOPS 1231314410 HAS SOUS 1168780050 HAS SOUPS 1168655011 WITH SCORE 1.169889038064E9
AT ITER 712 NEW BEST:: SOT -1466936852 SOS 1234018633 HAS SOPS 1231305979 HAS SOUS 1168771619 HAS SOUPS 1168646580 WITH SCORE 1.169880598633E9
AT ITER 719 NEW BEST:: SOT -1466941067 SOS 1234010176 HAS SOPS 1231297522 HAS SOUS 1168763162 HAS SOUPS 1168638123 WITH SCORE 1.169872133176E9
AT ITER 804 NEW BEST:: SOT -1466945089 SOS 1234006154 HAS SOPS 1231293500 HAS SOUS 1168759140 HAS SOUPS 1168634101 WITH SCORE 1.169868107154E9
AT ITER 835 NEW BEST:: SOT -1466945089 SOS 1234006154 HAS SOPS 1231293500 HAS SOUS 1168758331 HAS SOUPS 1168633292 WITH SCORE 1.169867298154E9
AT ITER 867 NEW BEST:: SOT -1466947746 SOS 1234003497 HAS SOPS 1231290843 HAS SOUS 1168755674 HAS SOUPS 1168630635 WITH SCORE 1.169864638497E9
AT ITER 882 NEW BEST:: SOT -1466952674 SOS 1233995055 HAS SOPS 1231282401 HAS SOUS 1168742304 HAS SOUPS 1168617265 WITH SCORE 1.169851260055E9
AT ITER 903 NEW BEST:: SOT -1466952674 SOS 1233992562 HAS SOPS 1231279908 HAS SOUS 1168739811 HAS SOUPS 1168614772 WITH SCORE 1.169848764562E9
AT ITER 904 NEW BEST:: SOT -1466954958 SOS 1233990278 HAS SOPS 1231277624 HAS SOUS 1168737527 HAS SOUPS 1168612488 WITH SCORE 1.169846478278E9
AT ITER 932 NEW BEST:: SOT -1466954958 SOS 1233988688 HAS SOPS 1231276034 HAS SOUS 1168735937 HAS SOUPS 1168610898 WITH SCORE 1.169844886688E9
AT ITER 946 NEW BEST:: SOT -1467883249 SOS 1266373522 HAS SOPS 1263660868 HAS SOUS 1167965459 HAS SOUPS 1167840420 WITH SCORE 1.169106793522E9
AT ITER 972 NEW BEST:: SOT -1467887457 SOS 1266365072 HAS SOPS 1263652418 HAS SOUS 1167957009 HAS SOUPS 1167831970 WITH SCORE 1.169098335072E9
AT ITER 1096 NEW BEST:: SOT -1467889383 SOS 1266365072 HAS SOPS 1263652418 HAS SOUS 1167956527 HAS SOUPS 1167831488 WITH SCORE 1.169097853072E9
AT ITER 1107 NEW BEST:: SOT -1467893649 SOS 1266362861 HAS SOPS 1263650207 HAS SOUS 1167952716 HAS SOUPS 1167827677 WITH SCORE 1.169094039861E9
AT ITER 1129 NEW BEST:: SOT -1467893622 SOS 1266310594 HAS SOPS 1263598167 HAS SOUS 1167948749 HAS SOUPS 1167823710 WITH SCORE 1.169090020594E9
AT ITER 1134 NEW BEST:: SOT -1467893622 SOS 1266306510 HAS SOPS 1263594083 HAS SOUS 1167944665 HAS SOUPS 1167819626 WITH SCORE 1.16908593251E9
AT ITER 1142 NEW BEST:: SOT -1467897832 SOS 1266298058 HAS SOPS 1263585631 HAS SOUS 1167936213 HAS SOUPS 1167811174 WITH SCORE 1.169077472058E9
AT ITER 1174 NEW BEST:: SOT -1467897832 SOS 1266296561 HAS SOPS 1263584134 HAS SOUS 1167934716 HAS SOUPS 1167809677 WITH SCORE 1.169075973561E9
AT ITER 1237 NEW BEST:: SOT -1467897832 SOS 1266296030 HAS SOPS 1263583603 HAS SOUS 1167934185 HAS SOUPS 1167809146 WITH SCORE 1.16907544203E9
AT ITER 1247 NEW BEST:: SOT -1467900452 SOS 1266293410 HAS SOPS 1263580983 HAS SOUS 1167931565 HAS SOUPS 1167806526 WITH SCORE 1.16907281941E9
AT ITER 1255 NEW BEST:: SOT -1467901929 SOS 1266291933 HAS SOPS 1263579506 HAS SOUS 1167930088 HAS SOUPS 1167805049 WITH SCORE 1.169071340933E9
AT ITER 1269 NEW BEST:: SOT -1467901929 SOS 1266289844 HAS SOPS 1263577417 HAS SOUS 1167927999 HAS SOUPS 1167802960 WITH SCORE 1.169069249844E9
AT ITER 1283 NEW BEST:: SOT -1467905114 SOS 1266286659 HAS SOPS 1263574232 HAS SOUS 1167924814 HAS SOUPS 1167799775 WITH SCORE 1.169066061659E9
AT ITER 1288 NEW BEST:: SOT -1467907185 SOS 1266284588 HAS SOPS 1263572161 HAS SOUS 1167922743 HAS SOUPS 1167797704 WITH SCORE 1.169063988588E9
AT ITER 1291 NEW BEST:: SOT -1467911403 SOS 1266276147 HAS SOPS 1263563720 HAS SOUS 1167914302 HAS SOUPS 1167789263 WITH SCORE 1.169055539147E9
AT ITER 1338 NEW BEST:: SOT -1467911403 SOS 1266272161 HAS SOPS 1263559734 HAS SOUS 1167910316 HAS SOUPS 1167785277 WITH SCORE 1.169051549161E9
AT ITER 1339 NEW BEST:: SOT -1467911403 SOS 1266269026 HAS SOPS 1263556599 HAS SOUS 1167907181 HAS SOUPS 1167782142 WITH SCORE 1.169048411026E9
AT ITER 1366 NEW BEST:: SOT -1467915606 SOS 1266260600 HAS SOPS 1263548173 HAS SOUS 1167898755 HAS SOUPS 1167773716 WITH SCORE 1.1690399766E9
AT ITER 1390 NEW BEST:: SOT -1467917928 SOS 1266255956 HAS SOPS 1263543529 HAS SOUS 1167891789 HAS SOUPS 1167766750 WITH SCORE 1.169033005956E9
AT ITER 1455 NEW BEST:: SOT -1467922138 SOS 1266247523 HAS SOPS 1263535096 HAS SOUS 1167883356 HAS SOUPS 1167758317 WITH SCORE 1.169024564523E9
AT ITER 1493 NEW BEST:: SOT -1467928859 SOS 1266243302 HAS SOPS 1263530875 HAS SOUS 1167873357 HAS SOUPS 1167748318 WITH SCORE 1.169014561302E9
AT ITER 1536 NEW BEST:: SOT -1467928859 SOS 1266240730 HAS SOPS 1263528303 HAS SOUS 1167870785 HAS SOUPS 1167745746 WITH SCORE 1.16901198673E9
AT ITER 1576 NEW BEST:: SOT -1467928859 SOS 1266237991 HAS SOPS 1263525564 HAS SOUS 1167868046 HAS SOUPS 1167743007 WITH SCORE 1.169009244991E9
AT ITER 1631 NEW BEST:: SOT -1467928859 SOS 1266237056 HAS SOPS 1263524629 HAS SOUS 1167865111 HAS SOUPS 1167740072 WITH SCORE 1.169006309056E9
AT ITER 1660 NEW BEST:: SOT -1467931871 SOS 1266231032 HAS SOPS 1263518605 HAS SOUS 1167856075 HAS SOUPS 1167731036 WITH SCORE 1.168997267032E9
AT ITER 1677 NEW BEST:: SOT -1467937346 SOS 1266222590 HAS SOPS 1263510163 HAS SOUS 1167842158 HAS SOUPS 1167717119 WITH SCORE 1.16898334159E9
AT ITER 1701 NEW BEST:: SOT -1467937346 SOS 1266219806 HAS SOPS 1263507379 HAS SOUS 1167839374 HAS SOUPS 1167714335 WITH SCORE 1.168980554806E9
AT ITER 1729 NEW BEST:: SOT -1467940631 SOS 1266216521 HAS SOPS 1263504094 HAS SOUS 1167836089 HAS SOUPS 1167711050 WITH SCORE 1.168977266521E9
AT ITER 1745 NEW BEST:: SOT -1467940631 SOS 1266216274 HAS SOPS 1263503847 HAS SOUS 1167835842 HAS SOUPS 1167710803 WITH SCORE 1.168977019274E9
AT ITER 1771 NEW BEST:: SOT -1467944833 SOS 1266207851 HAS SOPS 1263495424 HAS SOUS 1167827419 HAS SOUPS 1167702380 WITH SCORE 1.168968587851E9
AT ITER 1786 NEW BEST:: SOT -1467952849 SOS 1266202031 HAS SOPS 1263489604 HAS SOUS 1167817233 HAS SOUPS 1167692194 WITH SCORE 1.168958396031E9
AT ITER 1788 NEW BEST:: SOT -1467952849 SOS 1266201116 HAS SOPS 1263488689 HAS SOUS 1167816318 HAS SOUPS 1167691279 WITH SCORE 1.168957480116E9
AT ITER 1836 NEW BEST:: SOT -1467957052 SOS 1266192671 HAS SOPS 1263480244 HAS SOUS 1167807873 HAS SOUPS 1167682834 WITH SCORE 1.168949026671E9
AT ITER 1846 NEW BEST:: SOT -1467961254 SOS 1266184246 HAS SOPS 1263471819 HAS SOUS 1167799448 HAS SOUPS 1167674409 WITH SCORE 1.168940593246E9
AT ITER 1879 NEW BEST:: SOT -1467968126 SOS 1266175804 HAS SOPS 1263463377 HAS SOUS 1167784134 HAS SOUPS 1167659095 WITH SCORE 1.168925270804E9
AT ITER 1881 NEW BEST:: SOT -1467968735 SOS 1266175382 HAS SOPS 1263462934 HAS SOUS 1167783691 HAS SOUPS 1167658652 WITH SCORE 1.168924827382E9
AT ITER 2010 NEW BEST:: SOT -1467968735 SOS 1266172823 HAS SOPS 1263460375 HAS SOUS 1167783691 HAS SOUPS 1167658652 WITH SCORE 1.168924824823E9
AT ITER 2064 NEW BEST:: SOT -1467974142 SOS 1266174192 HAS SOPS 1263461744 HAS SOUS 1167780533 HAS SOUPS 1167655494 WITH SCORE 1.168921668192E9
AT ITER 2076 NEW BEST:: SOT -1467978344 SOS 1266165769 HAS SOPS 1263453321 HAS SOUS 1167772110 HAS SOUPS 1167647071 WITH SCORE 1.168913236769E9
AT ITER 2096 NEW BEST:: SOT -1467982562 SOS 1266157330 HAS SOPS 1263444882 HAS SOUS 1167763671 HAS SOUPS 1167638632 WITH SCORE 1.16890478933E9
AT ITER 2130 NEW BEST:: SOT -1467984360 SOS 1266155532 HAS SOPS 1263443084 HAS SOUS 1167761873 HAS SOUPS 1167636834 WITH SCORE 1.168902989532E9
AT ITER 2155 NEW BEST:: SOT -1467988566 SOS 1266147084 HAS SOPS 1263434636 HAS SOUS 1167753425 HAS SOUPS 1167628386 WITH SCORE 1.168894533084E9
AT ITER 2199 NEW BEST:: SOT -1467988566 SOS 1266146796 HAS SOPS 1263434348 HAS SOUS 1167753425 HAS SOUPS 1167628386 WITH SCORE 1.168894532796E9
AT ITER 2200 NEW BEST:: SOT -1467989615 SOS 1266144688 HAS SOPS 1263432240 HAS SOUS 1167751317 HAS SOUPS 1167626278 WITH SCORE 1.168892422688E9
AT ITER 2213 NEW BEST:: SOT -1467989615 SOS 1266140953 HAS SOPS 1263428505 HAS SOUS 1167747582 HAS SOUPS 1167622543 WITH SCORE 1.168888683953E9
AT ITER 2230 NEW BEST:: SOT -1467990003 SOS 1266140565 HAS SOPS 1263428117 HAS SOUS 1167747582 HAS SOUPS 1167622543 WITH SCORE 1.168888683565E9
AT ITER 2242 NEW BEST:: SOT -1467990003 SOS 1266136133 HAS SOPS 1263423685 HAS SOUS 1167743150 HAS SOUPS 1167618111 WITH SCORE 1.168884247133E9
AT ITER 2265 NEW BEST:: SOT -1467990428 SOS 1266135708 HAS SOPS 1263423260 HAS SOUS 1167742725 HAS SOUPS 1167617686 WITH SCORE 1.168883821708E9
AT ITER 2272 NEW BEST:: SOT -1467992083 SOS 1266134053 HAS SOPS 1263421605 HAS SOUS 1167741325 HAS SOUPS 1167616286 WITH SCORE 1.168882420053E9
AT ITER 2287 NEW BEST:: SOT -1467992083 SOS 1266132722 HAS SOPS 1263420274 HAS SOUS 1167739994 HAS SOUPS 1167614955 WITH SCORE 1.168881087722E9
AT ITER 2311 NEW BEST:: SOT -1467995379 SOS 1266129426 HAS SOPS 1263416978 HAS SOUS 1167736698 HAS SOUPS 1167611659 WITH SCORE 1.168877788426E9
AT ITER 2314 NEW BEST:: SOT -1467995379 SOS 1266127868 HAS SOPS 1263415420 HAS SOUS 1167735140 HAS SOUPS 1167610101 WITH SCORE 1.168876228868E9
AT ITER 2323 NEW BEST:: SOT -1467998211 SOS 1266125036 HAS SOPS 1263412588 HAS SOUS 1167732308 HAS SOUPS 1167607269 WITH SCORE 1.168873394036E9
AT ITER 2361 NEW BEST:: SOT -1468002421 SOS 1266116584 HAS SOPS 1263404136 HAS SOUS 1167723856 HAS SOUPS 1167598817 WITH SCORE 1.168864933584E9
AT ITER 2389 NEW BEST:: SOT -1468002421 SOS 1266115430 HAS SOPS 1263402982 HAS SOUS 1167722702 HAS SOUPS 1167597663 WITH SCORE 1.16886377843E9
AT ITER 2395 NEW BEST:: SOT -1468006439 SOS 1266109205 HAS SOPS 1263396757 HAS SOUS 1167716277 HAS SOUPS 1167591238 WITH SCORE 1.168857347205E9
AT ITER 2405 NEW BEST:: SOT -1468010479 SOS 1266105165 HAS SOPS 1263392717 HAS SOUS 1167712237 HAS SOUPS 1167587198 WITH SCORE 1.168853303165E9
AT ITER 2421 NEW BEST:: SOT -1468010633 SOS 1266105011 HAS SOPS 1263392563 HAS SOUS 1167712083 HAS SOUPS 1167587044 WITH SCORE 1.168853149011E9
AT ITER 2426 NEW BEST:: SOT -1468012268 SOS 1266103376 HAS SOPS 1263390928 HAS SOUS 1167710448 HAS SOUPS 1167585409 WITH SCORE 1.168851512376E9
AT ITER 2428 NEW BEST:: SOT -1468017112 SOS 1266098532 HAS SOPS 1263386084 HAS SOUS 1167701427 HAS SOUPS 1167576388 WITH SCORE 1.168842486532E9
AT ITER 2447 NEW BEST:: SOT -1468017112 SOS 1266094983 HAS SOPS 1263382535 HAS SOUS 1167697878 HAS SOUPS 1167572839 WITH SCORE 1.168838933983E9
AT ITER 2474 NEW BEST:: SOT -1468020375 SOS 1266091720 HAS SOPS 1263379272 HAS SOUS 1167694615 HAS SOUPS 1167569576 WITH SCORE 1.16883566772E9
AT ITER 2488 NEW BEST:: SOT -1468021979 SOS 1266090116 HAS SOPS 1263377668 HAS SOUS 1167693011 HAS SOUPS 1167567972 WITH SCORE 1.168834062116E9
AT ITER 2490 NEW BEST:: SOT -1468026191 SOS 1266081662 HAS SOPS 1263369214 HAS SOUS 1167684557 HAS SOUPS 1167559518 WITH SCORE 1.168825599662E9
AT ITER 2508 NEW BEST:: SOT -1468030397 SOS 1266073214 HAS SOPS 1263360766 HAS SOUS 1167676109 HAS SOUPS 1167551070 WITH SCORE 1.168817143214E9
AT ITER 2601 NEW BEST:: SOT -1468030397 SOS 1266069779 HAS SOPS 1263357331 HAS SOUS 1167672674 HAS SOUPS 1167547635 WITH SCORE 1.168813704779E9
AT ITER 2606 NEW BEST:: SOT -1468031596 SOS 1266068580 HAS SOPS 1263356132 HAS SOUS 1167671475 HAS SOUPS 1167546436 WITH SCORE 1.16881250458E9
AT ITER 2635 NEW BEST:: SOT -1468031596 SOS 1266066330 HAS SOPS 1263353882 HAS SOUS 1167669225 HAS SOUPS 1167544186 WITH SCORE 1.16881025233E9
AT ITER 2649 NEW BEST:: SOT -1468035814 SOS 1266057870 HAS SOPS 1263345422 HAS SOUS 1167660765 HAS SOUPS 1167535726 WITH SCORE 1.16880178387E9
AT ITER 2672 NEW BEST:: SOT -1468040022 SOS 1266049420 HAS SOPS 1263336972 HAS SOUS 1167652315 HAS SOUPS 1167527276 WITH SCORE 1.16879332542E9
AT ITER 2674 NEW BEST:: SOT -1468044227 SOS 1266040995 HAS SOPS 1263328547 HAS SOUS 1167643890 HAS SOUPS 1167518851 WITH SCORE 1.168784891995E9
AT ITER 2727 NEW BEST:: SOT -1468048115 SOS 1266037107 HAS SOPS 1263324659 HAS SOUS 1167640002 HAS SOUPS 1167514963 WITH SCORE 1.168781000107E9
AT ITER 2754 NEW BEST:: SOT -1468048115 SOS 1266037107 HAS SOPS 1263324659 HAS SOUS 1167639817 HAS SOUPS 1167514778 WITH SCORE 1.168780815107E9
AT ITER 2761 NEW BEST:: SOT -1468052331 SOS 1266028649 HAS SOPS 1263316201 HAS SOUS 1167631359 HAS SOUPS 1167506320 WITH SCORE 1.168772348649E9
AT ITER 2792 NEW BEST:: SOT -1468052331 SOS 1266024547 HAS SOPS 1263312099 HAS SOUS 1167627257 HAS SOUPS 1167502218 WITH SCORE 1.168768242547E9
AT ITER 2795 NEW BEST:: SOT -1468052331 SOS 1266020973 HAS SOPS 1263308525 HAS SOUS 1167623683 HAS SOUPS 1167498644 WITH SCORE 1.168764664973E9
AT ITER 2814 NEW BEST:: SOT -1468052331 SOS 1266019026 HAS SOPS 1263306578 HAS SOUS 1167621736 HAS SOUPS 1167496697 WITH SCORE 1.168762716026E9
AT ITER 2817 NEW BEST:: SOT -1468052550 SOS 1266018714 HAS SOPS 1263306266 HAS SOUS 1167621298 HAS SOUPS 1167496259 WITH SCORE 1.168762277714E9
AT ITER 2831 NEW BEST:: SOT -1468056758 SOS 1266010264 HAS SOPS 1263297816 HAS SOUS 1167612848 HAS SOUPS 1167487809 WITH SCORE 1.168753819264E9
AT ITER 2878 NEW BEST:: SOT -1468060403 SOS 1266008057 HAS SOPS 1263295609 HAS SOUS 1167609041 HAS SOUPS 1167484002 WITH SCORE 1.168750010057E9
AT ITER 2880 NEW BEST:: SOT -1468060403 SOS 1266007363 HAS SOPS 1263294915 HAS SOUS 1167608347 HAS SOUPS 1167483308 WITH SCORE 1.168749315363E9
AT ITER 2915 NEW BEST:: SOT -1468065266 SOS 1265998921 HAS SOPS 1263286473 HAS SOUS 1167595042 HAS SOUPS 1167470003 WITH SCORE 1.168736001921E9
AT ITER 2975 NEW BEST:: SOT -1468067578 SOS 1265996609 HAS SOPS 1263284161 HAS SOUS 1167592730 HAS SOUPS 1167467691 WITH SCORE 1.168733687609E9
AT ITER 3025 NEW BEST:: SOT -1468067578 SOS 1265993271 HAS SOPS 1263280823 HAS SOUS 1167589392 HAS SOUPS 1167464353 WITH SCORE 1.168730346271E9
AT ITER 3049 NEW BEST:: SOT -1468069094 SOS 1265991755 HAS SOPS 1263279307 HAS SOUS 1167587876 HAS SOUPS 1167462837 WITH SCORE 1.168728828755E9
AT ITER 3055 NEW BEST:: SOT -1468072475 SOS 1265988374 HAS SOPS 1263275926 HAS SOUS 1167584495 HAS SOUPS 1167459456 WITH SCORE 1.168725444374E9
AT ITER 3059 NEW BEST:: SOT -1468076897 SOS 1265975129 HAS SOPS 1263262681 HAS SOUS 1167571250 HAS SOUPS 1167446211 WITH SCORE 1.168712186129E9
AT ITER 3070 NEW BEST:: SOT -1468076897 SOS 1265970950 HAS SOPS 1263258502 HAS SOUS 1167567071 HAS SOUPS 1167442032 WITH SCORE 1.16870800295E9
AT ITER 3094 NEW BEST:: SOT -1468076897 SOS 1265968788 HAS SOPS 1263256340 HAS SOUS 1167563904 HAS SOUPS 1167438865 WITH SCORE 1.168704833788E9
AT ITER 3098 NEW BEST:: SOT -1468076897 SOS 1265965702 HAS SOPS 1263253254 HAS SOUS 1167560818 HAS SOUPS 1167435779 WITH SCORE 1.168701744702E9
AT ITER 3114 NEW BEST:: SOT -1468081107 SOS 1265957250 HAS SOPS 1263244802 HAS SOUS 1167552366 HAS SOUPS 1167427327 WITH SCORE 1.16869328425E9
AT ITER 3117 NEW BEST:: SOT -1468085008 SOS 1265953349 HAS SOPS 1263240901 HAS SOUS 1167548465 HAS SOUPS 1167423426 WITH SCORE 1.168689379349E9
AT ITER 3120 NEW BEST:: SOT -1468085008 SOS 1265950908 HAS SOPS 1263238460 HAS SOUS 1167546024 HAS SOUPS 1167420985 WITH SCORE 1.168686935908E9
AT ITER 3126 NEW BEST:: SOT -1468087212 SOS 1265948704 HAS SOPS 1263236256 HAS SOUS 1167543820 HAS SOUPS 1167418781 WITH SCORE 1.168684729704E9
AT ITER 3157 NEW BEST:: SOT -1468088310 SOS 1265947606 HAS SOPS 1263235158 HAS SOUS 1167543020 HAS SOUPS 1167417981 WITH SCORE 1.168683928606E9
AT ITER 3163 NEW BEST:: SOT -1468088310 SOS 1265945238 HAS SOPS 1263232790 HAS SOUS 1167540652 HAS SOUPS 1167415613 WITH SCORE 1.168681558238E9
AT ITER 3166 NEW BEST:: SOT -1469296948 SOS 1289626587 HAS SOPS 1286914139 HAS SOUS 1166736601 HAS SOUPS 1166611562 WITH SCORE 1.167901188587E9
AT ITER 3169 NEW BEST:: SOT -1469301148 SOS 1289618145 HAS SOPS 1286905697 HAS SOUS 1166728159 HAS SOUPS 1166603120 WITH SCORE 1.167892738145E9
AT ITER 3190 NEW BEST:: SOT -1469303292 SOS 1289616001 HAS SOPS 1286903553 HAS SOUS 1166726015 HAS SOUPS 1166600976 WITH SCORE 1.167890592001E9
AT ITER 3236 NEW BEST:: SOT -1469309126 SOS 1289613790 HAS SOPS 1286901342 HAS SOUS 1166720604 HAS SOUPS 1166595565 WITH SCORE 1.16788517879E9
AT ITER 3254 NEW BEST:: SOT -1469310747 SOS 1289610731 HAS SOPS 1286898283 HAS SOUS 1166717362 HAS SOUPS 1166592323 WITH SCORE 1.167881933731E9
AT ITER 3265 NEW BEST:: SOT -1469318256 SOS 1289606510 HAS SOPS 1286894062 HAS SOUS 1166706361 HAS SOUPS 1166581322 WITH SCORE 1.16787092851E9
AT ITER 3332 NEW BEST:: SOT -1469318256 SOS 1289605134 HAS SOPS 1286892686 HAS SOUS 1166704985 HAS SOUPS 1166579946 WITH SCORE 1.167869551134E9
AT ITER 3396 NEW BEST:: SOT -1469318256 SOS 1289603063 HAS SOPS 1286890615 HAS SOUS 1166702514 HAS SOUPS 1166577475 WITH SCORE 1.167867078063E9
AT ITER 3414 NEW BEST:: SOT -1469322478 SOS 1289594599 HAS SOPS 1286882151 HAS SOUS 1166694050 HAS SOUPS 1166569011 WITH SCORE 1.167858605599E9
AT ITER 3451 NEW BEST:: SOT -1469373048 SOS 1289580130 HAS SOPS 1286867682 HAS SOUS 1166655151 HAS SOUPS 1166530112 WITH SCORE 1.16781969213E9
AT ITER 3460 NEW BEST:: SOT -1469375673 SOS 1289577505 HAS SOPS 1286865057 HAS SOUS 1166652526 HAS SOUPS 1166527487 WITH SCORE 1.167817064505E9
AT ITER 3489 NEW BEST:: SOT -1469378697 SOS 1289574481 HAS SOPS 1286862033 HAS SOUS 1166651326 HAS SOUPS 1166526287 WITH SCORE 1.167815861481E9
AT ITER 3494 NEW BEST:: SOT -1469382901 SOS 1289566035 HAS SOPS 1286853587 HAS SOUS 1166642880 HAS SOUPS 1166517841 WITH SCORE 1.167807407035E9
AT ITER 3510 NEW BEST:: SOT -1469385990 SOS 1289562946 HAS SOPS 1286850498 HAS SOUS 1166639791 HAS SOUPS 1166514752 WITH SCORE 1.167804314946E9
AT ITER 3520 NEW BEST:: SOT -1469385990 SOS 1289561373 HAS SOPS 1286848925 HAS SOUS 1166638218 HAS SOUPS 1166513179 WITH SCORE 1.167802740373E9
AT ITER 3577 NEW BEST:: SOT -1469391898 SOS 1289553255 HAS SOPS 1286840807 HAS SOUS 1166628500 HAS SOUPS 1166503461 WITH SCORE 1.167793014255E9
AT ITER 3593 NEW BEST:: SOT -1469397864 SOS 1289553384 HAS SOPS 1286840936 HAS SOUS 1166623323 HAS SOUPS 1166498284 WITH SCORE 1.167787837384E9
AT ITER 3602 NEW BEST:: SOT -1469397864 SOS 1289551280 HAS SOPS 1286838832 HAS SOUS 1166621219 HAS SOUPS 1166496180 WITH SCORE 1.16778573128E9
AT ITER 3625 NEW BEST:: SOT -1469397864 SOS 1289547537 HAS SOPS 1286835089 HAS SOUS 1166617476 HAS SOUPS 1166492437 WITH SCORE 1.167781984537E9
AT ITER 3657 NEW BEST:: SOT -1469402065 SOS 1289539094 HAS SOPS 1286826646 HAS SOUS 1166609033 HAS SOUPS 1166483994 WITH SCORE 1.167773533094E9
AT ITER 3665 NEW BEST:: SOT -1469405297 SOS 1289533661 HAS SOPS 1286821213 HAS SOUS 1166603000 HAS SOUPS 1166477961 WITH SCORE 1.167767494661E9
AT ITER 3667 NEW BEST:: SOT -1469409159 SOS 1289529799 HAS SOPS 1286817351 HAS SOUS 1166599138 HAS SOUPS 1166474099 WITH SCORE 1.167763628799E9
AT ITER 3688 NEW BEST:: SOT -1469409159 SOS 1289528577 HAS SOPS 1286816129 HAS SOUS 1166597916 HAS SOUPS 1166472877 WITH SCORE 1.167762405577E9
AT ITER 3706 NEW BEST:: SOT -1469409159 SOS 1289527604 HAS SOPS 1286815156 HAS SOUS 1166597916 HAS SOUPS 1166472877 WITH SCORE 1.167762404604E9
AT ITER 3771 NEW BEST:: SOT -1469411660 SOS 1289525103 HAS SOPS 1286812655 HAS SOUS 1166595415 HAS SOUPS 1166470376 WITH SCORE 1.167759901103E9
AT ITER 3791 NEW BEST:: SOT -1469411660 SOS 1289524369 HAS SOPS 1286811921 HAS SOUS 1166594681 HAS SOUPS 1166469642 WITH SCORE 1.167759166369E9
AT ITER 3827 NEW BEST:: SOT -1469415874 SOS 1289515913 HAS SOPS 1286803465 HAS SOUS 1166586225 HAS SOUPS 1166461186 WITH SCORE 1.167750701913E9
AT ITER 3850 NEW BEST:: SOT -1469420077 SOS 1289507468 HAS SOPS 1286795020 HAS SOUS 1166577780 HAS SOUPS 1166452741 WITH SCORE 1.167742248468E9
AT ITER 3865 NEW BEST:: SOT -1469422227 SOS 1289505318 HAS SOPS 1286792870 HAS SOUS 1166575780 HAS SOUPS 1166450741 WITH SCORE 1.167740246318E9
AT ITER 3924 NEW BEST:: SOT -1469423473 SOS 1289504072 HAS SOPS 1286791624 HAS SOUS 1166574534 HAS SOUPS 1166449495 WITH SCORE 1.167738999072E9
AT ITER 3941 NEW BEST:: SOT -1469427688 SOS 1289495615 HAS SOPS 1286783167 HAS SOUS 1166566077 HAS SOUPS 1166441038 WITH SCORE 1.167730533615E9
AT ITER 3968 NEW BEST:: SOT -1469427688 SOS 1289492201 HAS SOPS 1286779753 HAS SOUS 1166562663 HAS SOUPS 1166437624 WITH SCORE 1.167727116201E9
AT ITER 3975 NEW BEST:: SOT -1469431900 SOS 1289483770 HAS SOPS 1286771322 HAS SOUS 1166554232 HAS SOUPS 1166429193 WITH SCORE 1.16771867677E9
AT ITER 4009 NEW BEST:: SOT -1469435142 SOS 1289480528 HAS SOPS 1286768080 HAS SOUS 1166550990 HAS SOUPS 1166425951 WITH SCORE 1.167715431528E9
AT ITER 4013 NEW BEST:: SOT -1469439359 SOS 1289472088 HAS SOPS 1286759640 HAS SOUS 1166542550 HAS SOUPS 1166417511 WITH SCORE 1.167706983088E9
AT ITER 4050 NEW BEST:: SOT -1469446352 SOS 1289467867 HAS SOPS 1286755419 HAS SOUS 1166532351 HAS SOUPS 1166407312 WITH SCORE 1.167696779867E9
AT ITER 4054 NEW BEST:: SOT -1469447319 SOS 1289466900 HAS SOPS 1286754452 HAS SOUS 1166531384 HAS SOUPS 1166406345 WITH SCORE 1.1676958119E9
AT ITER 4066 NEW BEST:: SOT -1469447989 SOS 1289466230 HAS SOPS 1286753782 HAS SOUS 1166530714 HAS SOUPS 1166405675 WITH SCORE 1.16769514123E9
AT ITER 4072 NEW BEST:: SOT -1469452194 SOS 1289457804 HAS SOPS 1286745356 HAS SOUS 1166522288 HAS SOUPS 1166397249 WITH SCORE 1.167686706804E9
AT ITER 4146 NEW BEST:: SOT -1469456413 SOS 1289449343 HAS SOPS 1286736895 HAS SOUS 1166513827 HAS SOUPS 1166388788 WITH SCORE 1.167678237343E9
AT ITER 4154 NEW BEST:: SOT -1469456413 SOS 1289448017 HAS SOPS 1286735569 HAS SOUS 1166512501 HAS SOUPS 1166387462 WITH SCORE 1.167676910017E9
AT ITER 4217 NEW BEST:: SOT -1469456413 SOS 1289446873 HAS SOPS 1286734425 HAS SOUS 1166511357 HAS SOUPS 1166386318 WITH SCORE 1.167675764873E9
AT ITER 4223 NEW BEST:: SOT -1469460871 SOS 1289438431 HAS SOPS 1286725983 HAS SOUS 1166498457 HAS SOUPS 1166373418 WITH SCORE 1.167662856431E9
AT ITER 4240 NEW BEST:: SOT -1469465868 SOS 1289431228 HAS SOPS 1286718780 HAS SOUS 1166489854 HAS SOUPS 1166364815 WITH SCORE 1.167654246228E9
AT ITER 4251 NEW BEST:: SOT -1469469346 SOS 1289427750 HAS SOPS 1286715302 HAS SOUS 1166486376 HAS SOUPS 1166361337 WITH SCORE 1.16765076475E9
AT ITER 4273 NEW BEST:: SOT -1469475887 SOS 1289419308 HAS SOPS 1286706860 HAS SOUS 1166471393 HAS SOUPS 1166346354 WITH SCORE 1.167635773308E9
AT ITER 4276 NEW BEST:: SOT -1469479072 SOS 1289416123 HAS SOPS 1286703675 HAS SOUS 1166468208 HAS SOUPS 1166343169 WITH SCORE 1.167632585123E9
AT ITER 4281 NEW BEST:: SOT -1469481441 SOS 1289413754 HAS SOPS 1286701306 HAS SOUS 1166465839 HAS SOUPS 1166340800 WITH SCORE 1.167630213754E9
AT ITER 4312 NEW BEST:: SOT -1469484775 SOS 1289410420 HAS SOPS 1286697972 HAS SOUS 1166459171 HAS SOUPS 1166334132 WITH SCORE 1.16762354242E9
AT ITER 4398 NEW BEST:: SOT -1469486902 SOS 1289408293 HAS SOPS 1286695845 HAS SOUS 1166457044 HAS SOUPS 1166332005 WITH SCORE 1.167621413293E9
AT ITER 4425 NEW BEST:: SOT -1469486902 SOS 1289404496 HAS SOPS 1286692048 HAS SOUS 1166453247 HAS SOUPS 1166328208 WITH SCORE 1.167617612496E9
AT ITER 4468 NEW BEST:: SOT -1469491108 SOS 1289396048 HAS SOPS 1286683600 HAS SOUS 1166444799 HAS SOUPS 1166319760 WITH SCORE 1.167609156048E9
AT ITER 4477 NEW BEST:: SOT -1469493437 SOS 1289391566 HAS SOPS 1286679118 HAS SOUS 1166440141 HAS SOUPS 1166315102 WITH SCORE 1.167604493566E9
AT ITER 4487 NEW BEST:: SOT -1469499524 SOS 1289383124 HAS SOPS 1286670676 HAS SOUS 1166425612 HAS SOUPS 1166300573 WITH SCORE 1.167589956124E9
AT ITER 4506 NEW BEST:: SOT -1469503724 SOS 1289374682 HAS SOPS 1286662234 HAS SOUS 1166417170 HAS SOUPS 1166292131 WITH SCORE 1.167581505682E9
AT ITER 4516 NEW BEST:: SOT -1469503724 SOS 1289372857 HAS SOPS 1286660409 HAS SOUS 1166415345 HAS SOUPS 1166290306 WITH SCORE 1.167579678857E9
AT ITER 4524 NEW BEST:: SOT -1469507926 SOS 1289364413 HAS SOPS 1286651965 HAS SOUS 1166406901 HAS SOUPS 1166281862 WITH SCORE 1.167571226413E9
AT ITER 4567 NEW BEST:: SOT -1469511825 SOS 1289360514 HAS SOPS 1286648066 HAS SOUS 1166403002 HAS SOUPS 1166277963 WITH SCORE 1.167567323514E9
AT ITER 4568 NEW BEST:: SOT -1469515895 SOS 1289354243 HAS SOPS 1286641795 HAS SOUS 1166394876 HAS SOUPS 1166269837 WITH SCORE 1.167559191243E9
AT ITER 4615 NEW BEST:: SOT -1469515895 SOS 1289350156 HAS SOPS 1286637708 HAS SOUS 1166390789 HAS SOUPS 1166265750 WITH SCORE 1.167555100156E9
AT ITER 4650 NEW BEST:: SOT -1469515895 SOS 1289347940 HAS SOPS 1286635492 HAS SOUS 1166388573 HAS SOUPS 1166263534 WITH SCORE 1.16755288194E9
AT ITER 4679 NEW BEST:: SOT -1469516316 SOS 1289347108 HAS SOPS 1286634660 HAS SOUS 1166387731 HAS SOUPS 1166262692 WITH SCORE 1.167552039108E9
AT ITER 4687 NEW BEST:: SOT -1469516316 SOS 1289345208 HAS SOPS 1286632760 HAS SOUS 1166385831 HAS SOUPS 1166260792 WITH SCORE 1.167550137208E9
AT ITER 4692 NEW BEST:: SOT -1469516316 SOS 1289341318 HAS SOPS 1286628870 HAS SOUS 1166381941 HAS SOUPS 1166256902 WITH SCORE 1.167546243318E9
AT ITER 4712 NEW BEST:: SOT -1469512328 SOS 1289337103 HAS SOPS 1286624655 HAS SOUS 1166381494 HAS SOUPS 1166256455 WITH SCORE 1.167545792103E9
AT ITER 4753 NEW BEST:: SOT -1469516683 SOS 1289328661 HAS SOPS 1286616213 HAS SOUS 1166368697 HAS SOUPS 1166243658 WITH SCORE 1.167532986661E9
AT ITER 4763 NEW BEST:: SOT -1469520885 SOS 1289320217 HAS SOPS 1286607769 HAS SOUS 1166360253 HAS SOUPS 1166235214 WITH SCORE 1.167524534217E9
AT ITER 4787 NEW BEST:: SOT -1469520885 SOS 1289319550 HAS SOPS 1286607102 HAS SOUS 1166359586 HAS SOUPS 1166234547 WITH SCORE 1.16752386655E9
AT ITER 4856 NEW BEST:: SOT -1469525090 SOS 1289311103 HAS SOPS 1286598655 HAS SOUS 1166351139 HAS SOUPS 1166226100 WITH SCORE 1.167515411103E9
AT ITER 4883 NEW BEST:: SOT -1469525379 SOS 1289310814 HAS SOPS 1286598366 HAS SOUS 1166350850 HAS SOUPS 1166225811 WITH SCORE 1.167515121814E9
AT ITER 4889 NEW BEST:: SOT -1469525379 SOS 1289306809 HAS SOPS 1286594361 HAS SOUS 1166346845 HAS SOUPS 1166221806 WITH SCORE 1.167511112809E9
AT ITER 4890 NEW BEST:: SOT -1469528387 SOS 1289303801 HAS SOPS 1286591353 HAS SOUS 1166343837 HAS SOUPS 1166218798 WITH SCORE 1.167508101801E9
AT ITER 4898 NEW BEST:: SOT -1469532591 SOS 1289295378 HAS SOPS 1286582930 HAS SOUS 1166335414 HAS SOUPS 1166210375 WITH SCORE 1.167499670378E9
AT ITER 4962 NEW BEST:: SOT -1469534672 SOS 1289293297 HAS SOPS 1286580849 HAS SOUS 1166333333 HAS SOUPS 1166208294 WITH SCORE 1.167497587297E9
AT ITER 4990 NEW BEST:: SOT -1469538877 SOS 1289285270 HAS SOPS 1286572822 HAS SOUS 1166325306 HAS SOUPS 1166200267 WITH SCORE 1.16748955227E9
AT ITER 5004 NEW BEST:: SOT -1469545480 SOS 1289283986 HAS SOPS 1286571538 HAS SOUS 1166317419 HAS SOUPS 1166192380 WITH SCORE 1.167481663986E9
AT ITER 5007 NEW BEST:: SOT -1469545480 SOS 1289281536 HAS SOPS 1286569088 HAS SOUS 1166314969 HAS SOUPS 1166189930 WITH SCORE 1.167479211536E9
AT ITER 5026 NEW BEST:: SOT -1469548522 SOS 1289278494 HAS SOPS 1286566046 HAS SOUS 1166311927 HAS SOUPS 1166186888 WITH SCORE 1.167476166494E9
AT ITER 5087 NEW BEST:: SOT -1469552939 SOS 1289269658 HAS SOPS 1286557210 HAS SOUS 1166303091 HAS SOUPS 1166178052 WITH SCORE 1.167467321658E9
AT ITER 5153 NEW BEST:: SOT -1469554378 SOS 1289268219 HAS SOPS 1286555771 HAS SOUS 1166301652 HAS SOUPS 1166176613 WITH SCORE 1.167465881219E9
AT ITER 5216 NEW BEST:: SOT -1469606998 SOS 1289239352 HAS SOPS 1286526904 HAS SOUS 1166258639 HAS SOUPS 1166133600 WITH SCORE 1.167422839352E9
AT ITER 5225 NEW BEST:: SOT -1469606998 SOS 1289235303 HAS SOPS 1286522855 HAS SOUS 1166254590 HAS SOUPS 1166129551 WITH SCORE 1.167418786303E9
AT ITER 5234 NEW BEST:: SOT -1469611570 SOS 1289233092 HAS SOPS 1286520644 HAS SOUS 1166248787 HAS SOUPS 1166123748 WITH SCORE 1.167412981092E9
AT ITER 5237 NEW BEST:: SOT -1469611571 SOS 1289233090 HAS SOPS 1286520642 HAS SOUS 1166248785 HAS SOUPS 1166123746 WITH SCORE 1.16741297909E9
AT ITER 5254 NEW BEST:: SOT -1469615771 SOS 1289224648 HAS SOPS 1286512200 HAS SOUS 1166240343 HAS SOUPS 1166115304 WITH SCORE 1.167404528648E9
AT ITER 5328 NEW BEST:: SOT -1469621742 SOS 1289216468 HAS SOPS 1286504020 HAS SOUS 1166230363 HAS SOUPS 1166105324 WITH SCORE 1.167394540468E9
AT ITER 5387 NEW BEST:: SOT -1469622369 SOS 1289215841 HAS SOPS 1286503393 HAS SOUS 1166229736 HAS SOUPS 1166104697 WITH SCORE 1.167393912841E9
AT ITER 5414 NEW BEST:: SOT -1469624674 SOS 1289213536 HAS SOPS 1286501088 HAS SOUS 1166229536 HAS SOUPS 1166104497 WITH SCORE 1.167393710536E9
AT ITER 5432 NEW BEST:: SOT -1469624674 SOS 1289213536 HAS SOPS 1286501088 HAS SOUS 1166227558 HAS SOUPS 1166102519 WITH SCORE 1.167391732536E9
AT ITER 5434 NEW BEST:: SOT -1469628876 SOS 1289205092 HAS SOPS 1286492644 HAS SOUS 1166219114 HAS SOUPS 1166094075 WITH SCORE 1.167383280092E9
AT ITER 5436 NEW BEST:: SOT -1469632343 SOS 1289201625 HAS SOPS 1286489177 HAS SOUS 1166215647 HAS SOUPS 1166090608 WITH SCORE 1.167379809625E9
AT ITER 5519 NEW BEST:: SOT -1469632343 SOS 1289197998 HAS SOPS 1286485550 HAS SOUS 1166212020 HAS SOUPS 1166086981 WITH SCORE 1.167376178998E9
AT ITER 5524 NEW BEST:: SOT -1469637841 SOS 1289184058 HAS SOPS 1286471610 HAS SOUS 1166198080 HAS SOUPS 1166073041 WITH SCORE 1.167362225058E9
AT ITER 5530 NEW BEST:: SOT -1469645249 SOS 1289179837 HAS SOPS 1286467389 HAS SOUS 1166187669 HAS SOUPS 1166062630 WITH SCORE 1.167351809837E9
AT ITER 5533 NEW BEST:: SOT -1469645249 SOS 1289178002 HAS SOPS 1286465554 HAS SOUS 1166185834 HAS SOUPS 1166060795 WITH SCORE 1.167349973002E9
AT ITER 5565 NEW BEST:: SOT -1469646070 SOS 1289176427 HAS SOPS 1286463979 HAS SOUS 1166184192 HAS SOUPS 1166059153 WITH SCORE 1.167348329427E9
AT ITER 5570 NEW BEST:: SOT -1469650288 SOS 1289167986 HAS SOPS 1286455538 HAS SOUS 1166175751 HAS SOUPS 1166050712 WITH SCORE 1.167339879986E9
AT ITER 5581 NEW BEST:: SOT -1469651138 SOS 1289167136 HAS SOPS 1286454688 HAS SOUS 1166174901 HAS SOUPS 1166049862 WITH SCORE 1.167339029136E9
AT ITER 5593 NEW BEST:: SOT -1469655200 SOS 1289163074 HAS SOPS 1286450626 HAS SOUS 1166170839 HAS SOUPS 1166045800 WITH SCORE 1.167334963074E9
AT ITER 5602 NEW BEST:: SOT -1469659411 SOS 1289154621 HAS SOPS 1286442173 HAS SOUS 1166162386 HAS SOUPS 1166037347 WITH SCORE 1.167326501621E9
AT ITER 5619 NEW BEST:: SOT -1469662434 SOS 1289148772 HAS SOPS 1286436324 HAS SOUS 1166156340 HAS SOUPS 1166031301 WITH SCORE 1.167320449772E9
AT ITER 5620 NEW BEST:: SOT -1469662434 SOS 1289147272 HAS SOPS 1286434824 HAS SOUS 1166154840 HAS SOUPS 1166029801 WITH SCORE 1.167318948272E9
AT ITER 5662 NEW BEST:: SOT -1469702375 SOS 1289193146 HAS SOPS 1286480698 HAS SOUS 1166133064 HAS SOUPS 1166008025 WITH SCORE 1.167297218146E9
AT ITER 5702 NEW BEST:: SOT -1469706577 SOS 1289184725 HAS SOPS 1286472277 HAS SOUS 1166124643 HAS SOUPS 1165999604 WITH SCORE 1.167288788725E9
AT ITER 5786 NEW BEST:: SOT -1469706662 SOS 1289184674 HAS SOPS 1286472226 HAS SOUS 1166124473 HAS SOUPS 1165999434 WITH SCORE 1.167288618674E9
AT ITER 5794 NEW BEST:: SOT -1469706662 SOS 1289180775 HAS SOPS 1286468327 HAS SOUS 1166120574 HAS SOUPS 1165995535 WITH SCORE 1.167284715775E9
AT ITER 5818 NEW BEST:: SOT -1469708646 SOS 1289178791 HAS SOPS 1286466343 HAS SOUS 1166118590 HAS SOUPS 1165993551 WITH SCORE 1.167282729791E9
AT ITER 5820 NEW BEST:: SOT -1469712537 SOS 1289172693 HAS SOPS 1286460245 HAS SOUS 1166112492 HAS SOUPS 1165987453 WITH SCORE 1.167276625693E9
AT ITER 5830 NEW BEST:: SOT -1469712537 SOS 1289168508 HAS SOPS 1286456060 HAS SOUS 1166108307 HAS SOUPS 1165983268 WITH SCORE 1.167272436508E9
AT ITER 5845 NEW BEST:: SOT -1469713956 SOS 1289165764 HAS SOPS 1286453316 HAS SOUS 1166105469 HAS SOUPS 1165980430 WITH SCORE 1.167269595764E9
AT ITER 5851 NEW BEST:: SOT -1469717052 SOS 1289159572 HAS SOPS 1286447124 HAS SOUS 1166096181 HAS SOUPS 1165971142 WITH SCORE 1.167260301572E9
AT ITER 5854 NEW BEST:: SOT -1469721253 SOS 1289151152 HAS SOPS 1286438704 HAS SOUS 1166087761 HAS SOUPS 1165962722 WITH SCORE 1.167251873152E9
AT ITER 5855 NEW BEST:: SOT -1470891019 SOS 1293436082 HAS SOPS 1290723634 HAS SOUS 1164944356 HAS SOUPS 1164819317 WITH SCORE 1.166112753082E9
AT ITER 5865 NEW BEST:: SOT -1470892241 SOS 1293434198 HAS SOPS 1290721750 HAS SOUS 1164943472 HAS SOUPS 1164818433 WITH SCORE 1.166111867198E9
AT ITER 5907 NEW BEST:: SOT -1470896441 SOS 1293425756 HAS SOPS 1290713308 HAS SOUS 1164935030 HAS SOUPS 1164809991 WITH SCORE 1.166103416756E9
AT ITER 5934 NEW BEST:: SOT -1470896441 SOS 1293422950 HAS SOPS 1290710502 HAS SOUS 1164932224 HAS SOUPS 1164807185 WITH SCORE 1.16610060795E9
AT ITER 5936 NEW BEST:: SOT -1470896660 SOS 1293422590 HAS SOPS 1290710142 HAS SOUS 1164931786 HAS SOUPS 1164806747 WITH SCORE 1.16610016959E9
AT ITER 5959 NEW BEST:: SOT -1470900139 SOS 1293419111 HAS SOPS 1290706663 HAS SOUS 1164928307 HAS SOUPS 1164803268 WITH SCORE 1.166096687111E9
AT ITER 5979 NEW BEST:: SOT -1470900560 SOS 1293418394 HAS SOPS 1290705946 HAS SOUS 1164927465 HAS SOUPS 1164802426 WITH SCORE 1.166095844394E9
AT ITER 6013 NEW BEST:: SOT -1470903270 SOS 1293415684 HAS SOPS 1290703236 HAS SOUS 1164924755 HAS SOUPS 1164799716 WITH SCORE 1.166093131684E9
AT ITER 6019 NEW BEST:: SOT -1470904839 SOS 1293414115 HAS SOPS 1290701667 HAS SOUS 1164923186 HAS SOUPS 1164798147 WITH SCORE 1.166091561115E9
AT ITER 6023 NEW BEST:: SOT -1470909042 SOS 1293405693 HAS SOPS 1290693245 HAS SOUS 1164914764 HAS SOUPS 1164789725 WITH SCORE 1.166083130693E9
AT ITER 6040 NEW BEST:: SOT -1470911609 SOS 1293403126 HAS SOPS 1290690678 HAS SOUS 1164912197 HAS SOUPS 1164787158 WITH SCORE 1.166080561126E9
AT ITER 6069 NEW BEST:: SOT -1470915817 SOS 1293394676 HAS SOPS 1290682228 HAS SOUS 1164903747 HAS SOUPS 1164778708 WITH SCORE 1.166072102676E9
AT ITER 6126 NEW BEST:: SOT -1470915817 SOS 1293391906 HAS SOPS 1290679458 HAS SOUS 1164900977 HAS SOUPS 1164775938 WITH SCORE 1.166069329906E9
AT ITER 6181 NEW BEST:: SOT -1470920017 SOS 1293383485 HAS SOPS 1290671037 HAS SOUS 1164892556 HAS SOUPS 1164767517 WITH SCORE 1.166060900485E9
AT ITER 6195 NEW BEST:: SOT -1470922465 SOS 1293381037 HAS SOPS 1290668589 HAS SOUS 1164890108 HAS SOUPS 1164765069 WITH SCORE 1.166058450037E9
AT ITER 6232 NEW BEST:: SOT -1470924669 SOS 1293375391 HAS SOPS 1290662943 HAS SOUS 1164884462 HAS SOUPS 1164759423 WITH SCORE 1.166052798391E9
AT ITER 6276 NEW BEST:: SOT -1470927771 SOS 1293370086 HAS SOPS 1290657638 HAS SOUS 1164878957 HAS SOUPS 1164753918 WITH SCORE 1.166047288086E9
AT ITER 6329 NEW BEST:: SOT -1470931974 SOS 1293361662 HAS SOPS 1290649214 HAS SOUS 1164870533 HAS SOUPS 1164745494 WITH SCORE 1.166038855662E9
AT ITER 6346 NEW BEST:: SOT -1470936387 SOS 1293352826 HAS SOPS 1290640378 HAS SOUS 1164861697 HAS SOUPS 1164736658 WITH SCORE 1.166030010826E9
AT ITER 6371 NEW BEST:: SOT -1470939119 SOS 1293350094 HAS SOPS 1290637646 HAS SOUS 1164858965 HAS SOUPS 1164733926 WITH SCORE 1.166027276094E9
AT ITER 6389 NEW BEST:: SOT -1470939119 SOS 1293347884 HAS SOPS 1290635436 HAS SOUS 1164856755 HAS SOUPS 1164731716 WITH SCORE 1.166025063884E9
AT ITER 6438 NEW BEST:: SOT -1470939119 SOS 1293345947 HAS SOPS 1290633499 HAS SOUS 1164854818 HAS SOUPS 1164729779 WITH SCORE 1.166023124947E9
AT ITER 6445 NEW BEST:: SOT -1470941552 SOS 1293343514 HAS SOPS 1290631066 HAS SOUS 1164852385 HAS SOUPS 1164727346 WITH SCORE 1.166020689514E9
AT ITER 6473 NEW BEST:: SOT -1470941552 SOS 1293341732 HAS SOPS 1290629284 HAS SOUS 1164850603 HAS SOUPS 1164725564 WITH SCORE 1.166018905732E9
AT ITER 6532 NEW BEST:: SOT -1470945761 SOS 1293333281 HAS SOPS 1290620833 HAS SOUS 1164842152 HAS SOUPS 1164717113 WITH SCORE 1.166010446281E9
AT ITER 6539 NEW BEST:: SOT -1470949977 SOS 1293324844 HAS SOPS 1290612396 HAS SOUS 1164833715 HAS SOUPS 1164708676 WITH SCORE 1.166002000844E9
AT ITER 6576 NEW BEST:: SOT -1470954189 SOS 1293316411 HAS SOPS 1290603963 HAS SOUS 1164825282 HAS SOUPS 1164700243 WITH SCORE 1.165993559411E9
AT ITER 6625 NEW BEST:: SOT -1470954189 SOS 1293315194 HAS SOPS 1290602746 HAS SOUS 1164825282 HAS SOUPS 1164700243 WITH SCORE 1.165993558194E9
AT ITER 6670 NEW BEST:: SOT -1470957072 SOS 1293312311 HAS SOPS 1290599863 HAS SOUS 1164822399 HAS SOUPS 1164697360 WITH SCORE 1.165990672311E9
AT ITER 6694 NEW BEST:: SOT -1470959605 SOS 1293309778 HAS SOPS 1290597330 HAS SOUS 1164819866 HAS SOUPS 1164694827 WITH SCORE 1.165988136778E9
AT ITER 6712 NEW BEST:: SOT -1470959605 SOS 1293307296 HAS SOPS 1290594848 HAS SOUS 1164817384 HAS SOUPS 1164692345 WITH SCORE 1.165985652296E9
AT ITER 6715 NEW BEST:: SOT -1470963142 SOS 1293303759 HAS SOPS 1290591311 HAS SOUS 1164813847 HAS SOUPS 1164688808 WITH SCORE 1.165982111759E9
AT ITER 6774 NEW BEST:: SOT -1470963142 SOS 1293301071 HAS SOPS 1290588623 HAS SOUS 1164811159 HAS SOUPS 1164686120 WITH SCORE 1.165979421071E9
AT ITER 6836 NEW BEST:: SOT -1470967350 SOS 1293292621 HAS SOPS 1290580173 HAS SOUS 1164802709 HAS SOUPS 1164677670 WITH SCORE 1.165970962621E9
AT ITER 6892 NEW BEST:: SOT -1470969144 SOS 1293290827 HAS SOPS 1290578379 HAS SOUS 1164800915 HAS SOUPS 1164675876 WITH SCORE 1.165969166827E9
AT ITER 6968 NEW BEST:: SOT -1470969144 SOS 1293288123 HAS SOPS 1290575675 HAS SOUS 1164798211 HAS SOUPS 1164673172 WITH SCORE 1.165966460123E9
AT ITER 6985 NEW BEST:: SOT -1470969144 SOS 1293284054 HAS SOPS 1290571606 HAS SOUS 1164794142 HAS SOUPS 1164669103 WITH SCORE 1.165962387054E9
AT ITER 6988 NEW BEST:: SOT -1470973559 SOS 1293275222 HAS SOPS 1290562774 HAS SOUS 1164785310 HAS SOUPS 1164660271 WITH SCORE 1.165953546222E9
AT ITER 6995 NEW BEST:: SOT -1470973559 SOS 1293272823 HAS SOPS 1290560375 HAS SOUS 1164782911 HAS SOUPS 1164657872 WITH SCORE 1.165951144823E9
AT ITER 6999 NEW BEST:: SOT -1470977445 SOS 1293268937 HAS SOPS 1290556489 HAS SOUS 1164779025 HAS SOUPS 1164653986 WITH SCORE 1.165947254937E9
AT ITER 7038 NEW BEST:: SOT -1470977445 SOS 1293265274 HAS SOPS 1290552826 HAS SOUS 1164775362 HAS SOUPS 1164650323 WITH SCORE 1.165943588274E9
AT ITER 7110 NEW BEST:: SOT -1470980972 SOS 1293261747 HAS SOPS 1290549299 HAS SOUS 1164771835 HAS SOUPS 1164646796 WITH SCORE 1.165940057747E9
AT ITER 7123 NEW BEST:: SOT -1470985174 SOS 1293253303 HAS SOPS 1290540855 HAS SOUS 1164763391 HAS SOUPS 1164638352 WITH SCORE 1.165931605303E9
AT ITER 7132 NEW BEST:: SOT -1470996581 SOS 1293262122 HAS SOPS 1290549674 HAS SOUS 1164755496 HAS SOUPS 1164630457 WITH SCORE 1.165923719122E9
AT ITER 7133 NEW BEST:: SOT -1471000024 SOS 1293258679 HAS SOPS 1290546231 HAS SOUS 1164752053 HAS SOUPS 1164627014 WITH SCORE 1.165920272679E9
AT ITER 7142 NEW BEST:: SOT -1471000024 SOS 1293255661 HAS SOPS 1290543213 HAS SOUS 1164749035 HAS SOUPS 1164623996 WITH SCORE 1.165917251661E9
AT ITER 7162 NEW BEST:: SOT -1471006141 SOS 1293247219 HAS SOPS 1290534771 HAS SOUS 1164734476 HAS SOUPS 1164609437 WITH SCORE 1.165902684219E9
AT ITER 7180 NEW BEST:: SOT -1471010344 SOS 1293238793 HAS SOPS 1290526345 HAS SOUS 1164726050 HAS SOUPS 1164601011 WITH SCORE 1.165894249793E9
AT ITER 7188 NEW BEST:: SOT -1471013119 SOS 1293236018 HAS SOPS 1290523570 HAS SOUS 1164723275 HAS SOUPS 1164598236 WITH SCORE 1.165891472018E9
AT ITER 7197 NEW BEST:: SOT -1471013119 SOS 1293234268 HAS SOPS 1290521820 HAS SOUS 1164721525 HAS SOUPS 1164596486 WITH SCORE 1.165889720268E9
AT ITER 7223 NEW BEST:: SOT -1471013119 SOS 1293230249 HAS SOPS 1290517801 HAS SOUS 1164717506 HAS SOUPS 1164592467 WITH SCORE 1.165885697249E9
AT ITER 7239 NEW BEST:: SOT -1471013119 SOS 1293226195 HAS SOPS 1290513747 HAS SOUS 1164713452 HAS SOUPS 1164588413 WITH SCORE 1.165881639195E9
AT ITER 7318 NEW BEST:: SOT -1471017335 SOS 1293217737 HAS SOPS 1290505289 HAS SOUS 1164704994 HAS SOUPS 1164579955 WITH SCORE 1.165873172737E9
AT ITER 7327 NEW BEST:: SOT -1471017335 SOS 1293215466 HAS SOPS 1290503018 HAS SOUS 1164702723 HAS SOUPS 1164577684 WITH SCORE 1.165870899466E9
AT ITER 7377 NEW BEST:: SOT -1471021391 SOS 1293211410 HAS SOPS 1290498962 HAS SOUS 1164698667 HAS SOUPS 1164573628 WITH SCORE 1.16586683941E9
AT ITER 7380 NEW BEST:: SOT -1471029088 SOS 1293208086 HAS SOPS 1290495638 HAS SOUS 1164689187 HAS SOUPS 1164564148 WITH SCORE 1.165857356086E9
AT ITER 7409 NEW BEST:: SOT -1471033307 SOS 1293199646 HAS SOPS 1290487198 HAS SOUS 1164680747 HAS SOUPS 1164555708 WITH SCORE 1.165848907646E9
AT ITER 7433 NEW BEST:: SOT -1471033307 SOS 1293197305 HAS SOPS 1290484857 HAS SOUS 1164678406 HAS SOUPS 1164553367 WITH SCORE 1.165846564305E9
AT ITER 7446 NEW BEST:: SOT -1471035412 SOS 1293195200 HAS SOPS 1290482752 HAS SOUS 1164676301 HAS SOUPS 1164551262 WITH SCORE 1.1658444572E9
AT ITER 7447 NEW BEST:: SOT -1471038914 SOS 1293189496 HAS SOPS 1290477048 HAS SOUS 1164669797 HAS SOUPS 1164544758 WITH SCORE 1.165837947496E9
AT ITER 7474 NEW BEST:: SOT -1471038914 SOS 1293189183 HAS SOPS 1290476735 HAS SOUS 1164669484 HAS SOUPS 1164544445 WITH SCORE 1.165837634183E9
AT ITER 7480 NEW BEST:: SOT -1470956242 SOS 1293275444 HAS SOPS 1290433862 HAS SOUS 1164723466 HAS SOUPS 1164501572 WITH SCORE 1.165794847444E9
AT ITER 7531 NEW BEST:: SOT -1470958475 SOS 1293273211 HAS SOPS 1290431629 HAS SOUS 1164721233 HAS SOUPS 1164499339 WITH SCORE 1.165792612211E9
AT ITER 7564 NEW BEST:: SOT -1470961626 SOS 1293270060 HAS SOPS 1290428478 HAS SOUS 1164718082 HAS SOUPS 1164496188 WITH SCORE 1.16578945806E9
AT ITER 7584 NEW BEST:: SOT -1470964146 SOS 1293267540 HAS SOPS 1290425958 HAS SOUS 1164715562 HAS SOUPS 1164493668 WITH SCORE 1.16578693554E9
AT ITER 7611 NEW BEST:: SOT -1470968352 SOS 1293259092 HAS SOPS 1290417510 HAS SOUS 1164707114 HAS SOUPS 1164485220 WITH SCORE 1.165778479092E9
AT ITER 7646 NEW BEST:: SOT -1470972562 SOS 1293250662 HAS SOPS 1290409080 HAS SOUS 1164698684 HAS SOUPS 1164476790 WITH SCORE 1.165770040662E9
AT ITER 7656 NEW BEST:: SOT -1470976601 SOS 1293242584 HAS SOPS 1290401002 HAS SOUS 1164686567 HAS SOUPS 1164464673 WITH SCORE 1.165757915584E9
AT ITER 7657 NEW BEST:: SOT -1470982516 SOS 1293242940 HAS SOPS 1290401358 HAS SOUS 1164682329 HAS SOUPS 1164460435 WITH SCORE 1.16575367794E9
AT ITER 7674 NEW BEST:: SOT -1470983141 SOS 1293242315 HAS SOPS 1290400733 HAS SOUS 1164681704 HAS SOUPS 1164459810 WITH SCORE 1.165753052315E9
AT ITER 7692 NEW BEST:: SOT -1470983141 SOS 1293238771 HAS SOPS 1290397189 HAS SOUS 1164678160 HAS SOUPS 1164456266 WITH SCORE 1.165749504771E9
AT ITER 7694 NEW BEST:: SOT -1470985344 SOS 1293236568 HAS SOPS 1290394986 HAS SOUS 1164675957 HAS SOUPS 1164454063 WITH SCORE 1.165747299568E9
AT ITER 7719 NEW BEST:: SOT -1470985344 SOS 1293235290 HAS SOPS 1290393708 HAS SOUS 1164674679 HAS SOUPS 1164452785 WITH SCORE 1.16574602029E9
AT ITER 7723 NEW BEST:: SOT -1470989561 SOS 1293226831 HAS SOPS 1290385249 HAS SOUS 1164666220 HAS SOUPS 1164444326 WITH SCORE 1.165737552831E9
AT ITER 7756 NEW BEST:: SOT -1470993766 SOS 1293218384 HAS SOPS 1290376802 HAS SOUS 1164657773 HAS SOUPS 1164435879 WITH SCORE 1.165729097384E9
AT ITER 7787 NEW BEST:: SOT -1470993766 SOS 1293215018 HAS SOPS 1290373436 HAS SOUS 1164654407 HAS SOUPS 1164432513 WITH SCORE 1.165725728018E9
AT ITER 7806 NEW BEST:: SOT -1470997185 SOS 1293208326 HAS SOPS 1290366744 HAS SOUS 1164647569 HAS SOUPS 1164425675 WITH SCORE 1.165718883326E9
AT ITER 7828 NEW BEST:: SOT -1470999373 SOS 1293208326 HAS SOPS 1290366744 HAS SOUS 1164645749 HAS SOUPS 1164423855 WITH SCORE 1.165717063326E9
AT ITER 7834 NEW BEST:: SOT -1471003584 SOS 1293199873 HAS SOPS 1290358291 HAS SOUS 1164637296 HAS SOUPS 1164415402 WITH SCORE 1.165708601873E9
AT ITER 7852 NEW BEST:: SOT -1471007562 SOS 1293195895 HAS SOPS 1290354313 HAS SOUS 1164633318 HAS SOUPS 1164411424 WITH SCORE 1.165704619895E9
AT ITER 7873 NEW BEST:: SOT -1471013637 SOS 1293187612 HAS SOPS 1290346030 HAS SOUS 1164623035 HAS SOUPS 1164401141 WITH SCORE 1.165694328612E9
AT ITER 7899 NEW BEST:: SOT -1471015724 SOS 1293185525 HAS SOPS 1290343943 HAS SOUS 1164620948 HAS SOUPS 1164399054 WITH SCORE 1.165692239525E9
AT ITER 7935 NEW BEST:: SOT -1471020660 SOS 1293176588 HAS SOPS 1290335006 HAS SOUS 1164607236 HAS SOUPS 1164385342 WITH SCORE 1.165678518588E9
AT ITER 7940 NEW BEST:: SOT -1471024464 SOS 1293172784 HAS SOPS 1290331202 HAS SOUS 1164603432 HAS SOUPS 1164381538 WITH SCORE 1.165674710784E9
AT ITER 8000 NEW BEST:: SOT -1471028279 SOS 1293168969 HAS SOPS 1290327387 HAS SOUS 1164599617 HAS SOUPS 1164377723 WITH SCORE 1.165670891969E9
AT ITER 8066 NEW BEST:: SOT -1471028279 SOS 1293166036 HAS SOPS 1290324454 HAS SOUS 1164596684 HAS SOUPS 1164374790 WITH SCORE 1.165667956036E9
AT ITER 8067 NEW BEST:: SOT -1470984932 SOS 1293219368 HAS SOPS 1290309465 HAS SOUS 1164648919 HAS SOUPS 1164361960 WITH SCORE 1.165655179368E9
AT ITER 8083 NEW BEST:: SOT -1470989139 SOS 1293210940 HAS SOPS 1290301037 HAS SOUS 1164640491 HAS SOUPS 1164353532 WITH SCORE 1.16564674294E9
AT ITER 8087 NEW BEST:: SOT -1470991681 SOS 1293205856 HAS SOPS 1290295953 HAS SOUS 1164632865 HAS SOUPS 1164345906 WITH SCORE 1.165639111856E9
AT ITER 8154 NEW BEST:: SOT -1470993382 SOS 1293202454 HAS SOPS 1290292551 HAS SOUS 1164627762 HAS SOUPS 1164340803 WITH SCORE 1.165634005454E9
AT ITER 8191 NEW BEST:: SOT -1470995582 SOS 1293200262 HAS SOPS 1290290359 HAS SOUS 1164625570 HAS SOUPS 1164338611 WITH SCORE 1.165631811262E9
AT ITER 8213 NEW BEST:: SOT -1470996429 SOS 1293199415 HAS SOPS 1290289512 HAS SOUS 1164623876 HAS SOUPS 1164336917 WITH SCORE 1.165630116415E9
AT ITER 8258 NEW BEST:: SOT -1470996429 SOS 1293199071 HAS SOPS 1290289168 HAS SOUS 1164623532 HAS SOUPS 1164336573 WITH SCORE 1.165629772071E9
AT ITER 8263 NEW BEST:: SOT -1471000403 SOS 1293195097 HAS SOPS 1290285194 HAS SOUS 1164619558 HAS SOUPS 1164332599 WITH SCORE 1.165625794097E9
AT ITER 8297 NEW BEST:: SOT -1471000403 SOS 1293192943 HAS SOPS 1290283040 HAS SOUS 1164617404 HAS SOUPS 1164330445 WITH SCORE 1.165623637943E9
AT ITER 8314 NEW BEST:: SOT -1471000403 SOS 1293188948 HAS SOPS 1290279045 HAS SOUS 1164613409 HAS SOUPS 1164326450 WITH SCORE 1.165619638948E9
AT ITER 8438 NEW BEST:: SOT -1471004624 SOS 1293180485 HAS SOPS 1290270582 HAS SOUS 1164604946 HAS SOUPS 1164317987 WITH SCORE 1.165611167485E9
AT ITER 8460 NEW BEST:: SOT -1471005445 SOS 1293178907 HAS SOPS 1290269004 HAS SOUS 1164603304 HAS SOUPS 1164316345 WITH SCORE 1.165609523907E9
AT ITER 8483 NEW BEST:: SOT -1471005445 SOS 1293177293 HAS SOPS 1290267390 HAS SOUS 1164601690 HAS SOUPS 1164314731 WITH SCORE 1.165607908293E9
AT ITER 8513 NEW BEST:: SOT -1471005445 SOS 1293176098 HAS SOPS 1290266195 HAS SOUS 1164600495 HAS SOUPS 1164313536 WITH SCORE 1.165606712098E9
AT ITER 8525 NEW BEST:: SOT -1471005664 SOS 1293175724 HAS SOPS 1290265821 HAS SOUS 1164600057 HAS SOUPS 1164313098 WITH SCORE 1.165606273724E9
AT ITER 8527 NEW BEST:: SOT -1471005664 SOS 1293174227 HAS SOPS 1290264324 HAS SOUS 1164598560 HAS SOUPS 1164311601 WITH SCORE 1.165604775227E9
AT ITER 8532 NEW BEST:: SOT -1471005664 SOS 1293171886 HAS SOPS 1290261983 HAS SOUS 1164596219 HAS SOUPS 1164309260 WITH SCORE 1.165602431886E9
AT ITER 8544 NEW BEST:: SOT -1471005664 SOS 1293168880 HAS SOPS 1290258977 HAS SOUS 1164593213 HAS SOUPS 1164306254 WITH SCORE 1.16559942288E9
AT ITER 8547 NEW BEST:: SOT -1470904409 SOS 1293281042 HAS SOPS 1290240688 HAS SOUS 1164579469 HAS SOUPS 1164290624 WITH SCORE 1.165583905042E9
AT ITER 8595 NEW BEST:: SOT -1470907322 SOS 1293278129 HAS SOPS 1290237775 HAS SOUS 1164576556 HAS SOUPS 1164287711 WITH SCORE 1.165580989129E9
AT ITER 8648 NEW BEST:: SOT -1472314056 SOS 1324384919 HAS SOPS 1321344565 HAS SOUS 1163327490 HAS SOUPS 1163038645 WITH SCORE 1.164363029919E9
AT ITER 8650 NEW BEST:: SOT -1472314056 SOS 1324382689 HAS SOPS 1321342335 HAS SOUS 1163325260 HAS SOUPS 1163036415 WITH SCORE 1.164360797689E9
AT ITER 8683 NEW BEST:: SOT -1472316083 SOS 1324377363 HAS SOPS 1321337009 HAS SOUS 1163319934 HAS SOUPS 1163031089 WITH SCORE 1.164355466363E9
AT ITER 8721 NEW BEST:: SOT -1472320293 SOS 1324368911 HAS SOPS 1321328557 HAS SOUS 1163311482 HAS SOUPS 1163022637 WITH SCORE 1.164347005911E9
AT ITER 8730 NEW BEST:: SOT -1472321136 SOS 1324367326 HAS SOPS 1321326972 HAS SOUS 1163309796 HAS SOUPS 1163020951 WITH SCORE 1.164345318326E9
AT ITER 8731 NEW BEST:: SOT -1472324934 SOS 1324358908 HAS SOPS 1321318554 HAS SOUS 1163301378 HAS SOUPS 1163012533 WITH SCORE 1.164336891908E9
AT ITER 8760 NEW BEST:: SOT -1472324934 SOS 1324356783 HAS SOPS 1321316429 HAS SOUS 1163299253 HAS SOUPS 1163010408 WITH SCORE 1.164334764783E9
AT ITER 8761 NEW BEST:: SOT -1472324934 SOS 1324353538 HAS SOPS 1321313184 HAS SOUS 1163296008 HAS SOUPS 1163007163 WITH SCORE 1.164331516538E9
AT ITER 8780 NEW BEST:: SOT -1472324934 SOS 1324349672 HAS SOPS 1321309318 HAS SOUS 1163292142 HAS SOUPS 1163003297 WITH SCORE 1.164327646672E9
AT ITER 8812 NEW BEST:: SOT -1472326091 SOS 1324348515 HAS SOPS 1321308161 HAS SOUS 1163290985 HAS SOUPS 1163002140 WITH SCORE 1.164326488515E9
AT ITER 8815 NEW BEST:: SOT -1472326091 SOS 1324345920 HAS SOPS 1321305566 HAS SOUS 1163288390 HAS SOUPS 1162999545 WITH SCORE 1.16432389092E9
AT ITER 8857 NEW BEST:: SOT -1472328534 SOS 1324343477 HAS SOPS 1321303123 HAS SOUS 1163285947 HAS SOUPS 1162997102 WITH SCORE 1.164321445477E9
AT ITER 8863 NEW BEST:: SOT -1472332753 SOS 1324335016 HAS SOPS 1321294662 HAS SOUS 1163277486 HAS SOUPS 1162988641 WITH SCORE 1.164312976016E9
AT ITER 8879 NEW BEST:: SOT -1472333683 SOS 1324333156 HAS SOPS 1321292802 HAS SOUS 1163275626 HAS SOUPS 1162986781 WITH SCORE 1.164311114156E9
AT ITER 8907 NEW BEST:: SOT -1472333177 SOS 1324338870 HAS SOPS 1321244539 HAS SOUS 1163231969 HAS SOUPS 1162943124 WITH SCORE 1.16426746287E9
AT ITER 8917 NEW BEST:: SOT -1472335385 SOS 1324334453 HAS SOPS 1321240122 HAS SOUS 1163227552 HAS SOUPS 1162938707 WITH SCORE 1.164263041453E9
AT ITER 8949 NEW BEST:: SOT -1472336804 SOS 1324331691 HAS SOPS 1321237360 HAS SOUS 1163224714 HAS SOUPS 1162935869 WITH SCORE 1.164260200691E9
AT ITER 8982 NEW BEST:: SOT -1472341023 SOS 1324323253 HAS SOPS 1321228922 HAS SOUS 1163216276 HAS SOUPS 1162927431 WITH SCORE 1.164251754253E9
AT ITER 8992 NEW BEST:: SOT -1472343378 SOS 1324320898 HAS SOPS 1321226567 HAS SOUS 1163213921 HAS SOUPS 1162925076 WITH SCORE 1.164249396898E9
AT ITER 9042 NEW BEST:: SOT -1472343378 SOS 1324319030 HAS SOPS 1321224699 HAS SOUS 1163212053 HAS SOUPS 1162923208 WITH SCORE 1.16424752703E9
AT ITER 9058 NEW BEST:: SOT -1472346841 SOS 1324312098 HAS SOPS 1321217767 HAS SOUS 1163205121 HAS SOUPS 1162916276 WITH SCORE 1.164240588098E9
AT ITER 9116 NEW BEST:: SOT -1472354427 SOS 1324309139 HAS SOPS 1321214808 HAS SOUS 1163196777 HAS SOUPS 1162907932 WITH SCORE 1.164232241139E9
AT ITER 9119 NEW BEST:: SOT -1472354427 SOS 1324307150 HAS SOPS 1321212819 HAS SOUS 1163194788 HAS SOUPS 1162905943 WITH SCORE 1.16423025015E9
AT ITER 9134 NEW BEST:: SOT -1472358445 SOS 1324303132 HAS SOPS 1321208801 HAS SOUS 1163190770 HAS SOUPS 1162901925 WITH SCORE 1.164226228132E9
AT ITER 9144 NEW BEST:: SOT -1472358445 SOS 1324300653 HAS SOPS 1321206322 HAS SOUS 1163188291 HAS SOUPS 1162899446 WITH SCORE 1.164223746653E9
AT ITER 9154 NEW BEST:: SOT -1472362058 SOS 1324293427 HAS SOPS 1321199096 HAS SOUS 1163177452 HAS SOUPS 1162888607 WITH SCORE 1.164212900427E9
AT ITER 9162 NEW BEST:: SOT -1472362058 SOS 1324291583 HAS SOPS 1321197252 HAS SOUS 1163175608 HAS SOUPS 1162886763 WITH SCORE 1.164211054583E9
AT ITER 9172 NEW BEST:: SOT -1472364093 SOS 1324289548 HAS SOPS 1321195217 HAS SOUS 1163173573 HAS SOUPS 1162884728 WITH SCORE 1.164209017548E9
AT ITER 9179 NEW BEST:: SOT -1472365054 SOS 1324287621 HAS SOPS 1321193290 HAS SOUS 1163171646 HAS SOUPS 1162882801 WITH SCORE 1.164207088621E9
AT ITER 9207 NEW BEST:: SOT -1472366801 SOS 1324286333 HAS SOPS 1321192002 HAS SOUS 1163170358 HAS SOUPS 1162881513 WITH SCORE 1.164205799333E9
AT ITER 9212 NEW BEST:: SOT -1472368236 SOS 1324284898 HAS SOPS 1321190567 HAS SOUS 1163168923 HAS SOUPS 1162880078 WITH SCORE 1.164204362898E9
AT ITER 9216 NEW BEST:: SOT -1472368236 SOS 1324281733 HAS SOPS 1321187402 HAS SOUS 1163165758 HAS SOUPS 1162876913 WITH SCORE 1.164201194733E9
AT ITER 9258 NEW BEST:: SOT -1472369918 SOS 1324280051 HAS SOPS 1321185720 HAS SOUS 1163164076 HAS SOUPS 1162875231 WITH SCORE 1.164199511051E9
AT ITER 9295 NEW BEST:: SOT -1472374119 SOS 1324271629 HAS SOPS 1321177298 HAS SOUS 1163155654 HAS SOUPS 1162866809 WITH SCORE 1.164191080629E9
AT ITER 9302 NEW BEST:: SOT -1472376193 SOS 1324269555 HAS SOPS 1321175224 HAS SOUS 1163153580 HAS SOUPS 1162864735 WITH SCORE 1.164189004555E9
AT ITER 9305 NEW BEST:: SOT -1472380394 SOS 1324261112 HAS SOPS 1321166781 HAS SOUS 1163145137 HAS SOUPS 1162856292 WITH SCORE 1.164180553112E9
AT ITER 9323 NEW BEST:: SOT -1472384297 SOS 1324255005 HAS SOPS 1321160674 HAS SOUS 1163138230 HAS SOUPS 1162849385 WITH SCORE 1.164173640005E9
AT ITER 9325 NEW BEST:: SOT -1472387551 SOS 1324251751 HAS SOPS 1321157420 HAS SOUS 1163134976 HAS SOUPS 1162846131 WITH SCORE 1.164170382751E9
AT ITER 9354 NEW BEST:: SOT -1472391375 SOS 1324249544 HAS SOPS 1321155213 HAS SOUS 1163132769 HAS SOUPS 1162843924 WITH SCORE 1.164168173544E9
AT ITER 9389 NEW BEST:: SOT -1472395173 SOS 1324245746 HAS SOPS 1321151415 HAS SOUS 1163128971 HAS SOUPS 1162840126 WITH SCORE 1.164164371746E9
AT ITER 9414 NEW BEST:: SOT -1472397901 SOS 1324243018 HAS SOPS 1321148687 HAS SOUS 1163126243 HAS SOUPS 1162837398 WITH SCORE 1.164161641018E9
AT ITER 9432 NEW BEST:: SOT -1472397901 SOS 1324241970 HAS SOPS 1321147639 HAS SOUS 1163125195 HAS SOUPS 1162836350 WITH SCORE 1.16416059197E9
AT ITER 9473 NEW BEST:: SOT -1472397901 SOS 1324238186 HAS SOPS 1321143855 HAS SOUS 1163121411 HAS SOUPS 1162832566 WITH SCORE 1.164156804186E9
AT ITER 9479 NEW BEST:: SOT -1472402107 SOS 1324229738 HAS SOPS 1321135407 HAS SOUS 1163112963 HAS SOUPS 1162824118 WITH SCORE 1.164148347738E9
AT ITER 9500 NEW BEST:: SOT -1472402875 SOS 1324228970 HAS SOPS 1321134639 HAS SOUS 1163112195 HAS SOUPS 1162823350 WITH SCORE 1.16414757897E9
AT ITER 9522 NEW BEST:: SOT -1472407082 SOS 1324220543 HAS SOPS 1321126212 HAS SOUS 1163103768 HAS SOUPS 1162814923 WITH SCORE 1.164139143543E9
AT ITER 9561 NEW BEST:: SOT -1472407082 SOS 1324219016 HAS SOPS 1321124685 HAS SOUS 1163102241 HAS SOUPS 1162813396 WITH SCORE 1.164137615016E9
AT ITER 9575 NEW BEST:: SOT -1472407082 SOS 1324215390 HAS SOPS 1321121059 HAS SOUS 1163098615 HAS SOUPS 1162809770 WITH SCORE 1.16413398539E9
AT ITER 9615 NEW BEST:: SOT -1472411281 SOS 1324206949 HAS SOPS 1321112618 HAS SOUS 1163090174 HAS SOUPS 1162801329 WITH SCORE 1.164125535949E9
AT ITER 9619 NEW BEST:: SOT -1472411281 SOS 1324203010 HAS SOPS 1321108679 HAS SOUS 1163086235 HAS SOUPS 1162797390 WITH SCORE 1.16412159301E9
AT ITER 9649 NEW BEST:: SOT -1472414022 SOS 1324200269 HAS SOPS 1321105938 HAS SOUS 1163083494 HAS SOUPS 1162794649 WITH SCORE 1.164118849269E9
AT ITER 9680 NEW BEST:: SOT -1472415565 SOS 1324198726 HAS SOPS 1321104395 HAS SOUS 1163082694 HAS SOUPS 1162793849 WITH SCORE 1.164118047726E9
AT ITER 9696 NEW BEST:: SOT -1472419785 SOS 1324190264 HAS SOPS 1321095933 HAS SOUS 1163074232 HAS SOUPS 1162785387 WITH SCORE 1.164109577264E9
AT ITER 9704 NEW BEST:: SOT -1472423989 SOS 1324181818 HAS SOPS 1321087487 HAS SOUS 1163065786 HAS SOUPS 1162776941 WITH SCORE 1.164101122818E9
AT ITER 9721 NEW BEST:: SOT -1472427234 SOS 1324178573 HAS SOPS 1321084242 HAS SOUS 1163062541 HAS SOUPS 1162773696 WITH SCORE 1.164097874573E9
AT ITER 9731 NEW BEST:: SOT -1472430626 SOS 1324175181 HAS SOPS 1321080850 HAS SOUS 1163059149 HAS SOUPS 1162770304 WITH SCORE 1.164094479181E9
AT ITER 9753 NEW BEST:: SOT -1472430626 SOS 1324172217 HAS SOPS 1321077886 HAS SOUS 1163056185 HAS SOUPS 1162767340 WITH SCORE 1.164091512217E9
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14348032 kB
After kill :
MemTotal: 16393232 kB
MemFree: 15869568 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-PT-L00200M0020C010P010G005"
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 FamilyReunion-PT-L00200M0020C010P010G005, 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 r171-tall-167838858600432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-PT-L00200M0020C010P010G005.tgz
mv FamilyReunion-PT-L00200M0020C010P010G005 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 ;