About the Execution of Smart+red for SemanticWebServices-PT-S128P15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 537.607 | 3600000.00 | 3621598.00 | 8508.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r363-smll-167891814300408.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 SemanticWebServices-PT-S128P15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814300408
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 744K
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 10:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 10:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 10:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 10:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 191K Feb 26 10:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 10:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 10:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 227K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679170990789
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=SemanticWebServices-PT-S128P15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 20:23:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 20:23:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 20:23:14] [INFO ] Load time of PNML (sax parser for PT used): 121 ms
[2023-03-18 20:23:14] [INFO ] Transformed 188 places.
[2023-03-18 20:23:14] [INFO ] Transformed 416 transitions.
[2023-03-18 20:23:14] [INFO ] Parsed PT model containing 188 places and 416 transitions and 1593 arcs in 226 ms.
[2023-03-18 20:23:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 188 places, 416 transitions and 1593 arcs took 9 ms.
Total runtime 278 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S128P15
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: 188 places, 416 transitions, 1593 arcs.
AT ITER 0 NEW BEST:: SOT 66439 SOS 43251 HAS SOPS 35395 HAS SOUS 16805 HAS SOUPS 14678 WITH SCORE 14721.251
AT ITER 3 NEW BEST:: SOT 66804 SOS 43023 HAS SOPS 35167 HAS SOUS 16691 HAS SOUPS 14564 WITH SCORE 14607.023
AT ITER 4 NEW BEST:: SOT 66804 SOS 42809 HAS SOPS 34953 HAS SOUS 16611 HAS SOUPS 14484 WITH SCORE 14526.809
AT ITER 5 NEW BEST:: SOT 66804 SOS 42785 HAS SOPS 34929 HAS SOUS 16611 HAS SOUPS 14484 WITH SCORE 14526.785
AT ITER 7 NEW BEST:: SOT 66804 SOS 42917 HAS SOPS 35061 HAS SOUS 16416 HAS SOUPS 14289 WITH SCORE 14331.917
AT ITER 18 NEW BEST:: SOT 66804 SOS 42503 HAS SOPS 34647 HAS SOUS 16083 HAS SOUPS 13956 WITH SCORE 13998.503
AT ITER 21 NEW BEST:: SOT 66858 SOS 42463 HAS SOPS 34607 HAS SOUS 16077 HAS SOUPS 13950 WITH SCORE 13992.463
AT ITER 26 NEW BEST:: SOT 66858 SOS 42443 HAS SOPS 34575 HAS SOUS 16051 HAS SOUPS 13918 WITH SCORE 13960.443
AT ITER 33 NEW BEST:: SOT 66837 SOS 42131 HAS SOPS 34467 HAS SOUS 15992 HAS SOUPS 13859 WITH SCORE 13901.131
AT ITER 36 NEW BEST:: SOT 66837 SOS 41903 HAS SOPS 34353 HAS SOUS 15878 HAS SOUPS 13802 WITH SCORE 13843.903
AT ITER 39 NEW BEST:: SOT 66861 SOS 41867 HAS SOPS 34317 HAS SOUS 15740 HAS SOUPS 13664 WITH SCORE 13705.867
AT ITER 42 NEW BEST:: SOT 66905 SOS 44501 HAS SOPS 34307 HAS SOUS 15738 HAS SOUPS 13529 WITH SCORE 13573.501
AT ITER 46 NEW BEST:: SOT 66905 SOS 44479 HAS SOPS 34279 HAS SOUS 15727 HAS SOUPS 13515 WITH SCORE 13559.479
AT ITER 50 NEW BEST:: SOT 66905 SOS 44435 HAS SOPS 34205 HAS SOUS 15668 HAS SOUPS 13441 WITH SCORE 13485.435
AT ITER 51 NEW BEST:: SOT 66905 SOS 44487 HAS SOPS 34205 HAS SOUS 15668 HAS SOUPS 13415 WITH SCORE 13459.487
AT ITER 53 NEW BEST:: SOT 66749 SOS 44331 HAS SOPS 33999 HAS SOUS 15631 HAS SOUPS 13378 WITH SCORE 13422.331
AT ITER 55 NEW BEST:: SOT 66723 SOS 44301 HAS SOPS 33969 HAS SOUS 15603 HAS SOUPS 13350 WITH SCORE 13394.301
AT ITER 56 NEW BEST:: SOT 66723 SOS 44089 HAS SOPS 33741 HAS SOUS 15599 HAS SOUPS 13338 WITH SCORE 13382.089
AT ITER 58 NEW BEST:: SOT 66723 SOS 43969 HAS SOPS 33733 HAS SOUS 15591 HAS SOUPS 13334 WITH SCORE 13377.969
AT ITER 60 NEW BEST:: SOT 66723 SOS 43959 HAS SOPS 33723 HAS SOUS 15580 HAS SOUPS 13323 WITH SCORE 13366.959
AT ITER 61 NEW BEST:: SOT 66747 SOS 43983 HAS SOPS 33657 HAS SOUS 15558 HAS SOUPS 13256 WITH SCORE 13299.983
AT ITER 68 NEW BEST:: SOT 66799 SOS 43941 HAS SOPS 33615 HAS SOUS 15520 HAS SOUPS 13218 WITH SCORE 13261.941
AT ITER 69 NEW BEST:: SOT 66799 SOS 43893 HAS SOPS 33567 HAS SOUS 15520 HAS SOUPS 13218 WITH SCORE 13261.893
AT ITER 70 NEW BEST:: SOT 66799 SOS 43737 HAS SOPS 33567 HAS SOUS 15516 HAS SOUPS 13218 WITH SCORE 13261.737
AT ITER 71 NEW BEST:: SOT 66746 SOS 43687 HAS SOPS 33517 HAS SOUS 15496 HAS SOUPS 13198 WITH SCORE 13241.687
AT ITER 72 NEW BEST:: SOT 66746 SOS 43349 HAS SOPS 33455 HAS SOUS 15455 HAS SOUPS 13168 WITH SCORE 13211.349
AT ITER 73 NEW BEST:: SOT 66746 SOS 43349 HAS SOPS 33453 HAS SOUS 15455 HAS SOUPS 13167 WITH SCORE 13210.349
AT ITER 79 NEW BEST:: SOT 66746 SOS 43105 HAS SOPS 33091 HAS SOUS 15400 HAS SOUPS 13053 WITH SCORE 13096.105
AT ITER 80 NEW BEST:: SOT 66746 SOS 43087 HAS SOPS 33073 HAS SOUS 15397 HAS SOUPS 13050 WITH SCORE 13093.087
AT ITER 81 NEW BEST:: SOT 66746 SOS 43027 HAS SOPS 33029 HAS SOUS 15378 HAS SOUPS 13039 WITH SCORE 13082.027
AT ITER 84 NEW BEST:: SOT 66702 SOS 42919 HAS SOPS 32985 HAS SOUS 15355 HAS SOUPS 13016 WITH SCORE 13058.919
AT ITER 85 NEW BEST:: SOT 66702 SOS 42757 HAS SOPS 32813 HAS SOUS 15321 HAS SOUPS 12977 WITH SCORE 13019.757
AT ITER 87 NEW BEST:: SOT 66702 SOS 42119 HAS SOPS 32175 HAS SOUS 15234 HAS SOUPS 12890 WITH SCORE 12932.119
AT ITER 88 NEW BEST:: SOT 66702 SOS 41685 HAS SOPS 31741 HAS SOUS 15130 HAS SOUPS 12786 WITH SCORE 12827.685
AT ITER 89 NEW BEST:: SOT 66702 SOS 41713 HAS SOPS 31769 HAS SOUS 15120 HAS SOUPS 12776 WITH SCORE 12817.713
AT ITER 90 NEW BEST:: SOT 66702 SOS 41725 HAS SOPS 31757 HAS SOUS 15108 HAS SOUPS 12764 WITH SCORE 12805.725
AT ITER 91 NEW BEST:: SOT 66767 SOS 41771 HAS SOPS 31753 HAS SOUS 15084 HAS SOUPS 12715 WITH SCORE 12756.771
AT ITER 93 NEW BEST:: SOT 66747 SOS 41109 HAS SOPS 31339 HAS SOUS 14941 HAS SOUPS 12572 WITH SCORE 12613.109
AT ITER 94 NEW BEST:: SOT 66747 SOS 41109 HAS SOPS 31339 HAS SOUS 14879 HAS SOUPS 12510 WITH SCORE 12551.109
AT ITER 95 NEW BEST:: SOT 66747 SOS 40627 HAS SOPS 30815 HAS SOUS 14728 HAS SOUPS 12338 WITH SCORE 12378.627
AT ITER 97 NEW BEST:: SOT 66747 SOS 40619 HAS SOPS 30815 HAS SOUS 14724 HAS SOUPS 12338 WITH SCORE 12378.619
AT ITER 99 NEW BEST:: SOT 66788 SOS 38391 HAS SOPS 30897 HAS SOUS 14548 HAS SOUPS 12291 WITH SCORE 12329.391
AT ITER 104 NEW BEST:: SOT 66808 SOS 38465 HAS SOPS 30979 HAS SOUS 14530 HAS SOUPS 12273 WITH SCORE 12311.465
AT ITER 106 NEW BEST:: SOT 66808 SOS 38645 HAS SOPS 30941 HAS SOUS 14624 HAS SOUPS 12258 WITH SCORE 12296.645
AT ITER 115 NEW BEST:: SOT 66808 SOS 38507 HAS SOPS 30803 HAS SOUS 14541 HAS SOUPS 12175 WITH SCORE 12213.507
AT ITER 119 NEW BEST:: SOT 66808 SOS 38489 HAS SOPS 30803 HAS SOUS 14532 HAS SOUPS 12175 WITH SCORE 12213.489
AT ITER 129 NEW BEST:: SOT 66862 SOS 38113 HAS SOPS 30397 HAS SOUS 14539 HAS SOUPS 12163 WITH SCORE 12201.113
AT ITER 132 NEW BEST:: SOT 66862 SOS 37613 HAS SOPS 29887 HAS SOUS 14543 HAS SOUPS 12162 WITH SCORE 12199.613
AT ITER 136 NEW BEST:: SOT 66862 SOS 37599 HAS SOPS 29873 HAS SOUS 14540 HAS SOUPS 12159 WITH SCORE 12196.599
AT ITER 140 NEW BEST:: SOT 66862 SOS 37657 HAS SOPS 29839 HAS SOUS 14569 HAS SOUPS 12142 WITH SCORE 12179.657
AT ITER 143 NEW BEST:: SOT 66862 SOS 37503 HAS SOPS 29691 HAS SOUS 14532 HAS SOUPS 12108 WITH SCORE 12145.503
AT ITER 146 NEW BEST:: SOT 66862 SOS 37495 HAS SOPS 29683 HAS SOUS 14513 HAS SOUPS 12089 WITH SCORE 12126.495
AT ITER 147 NEW BEST:: SOT 66862 SOS 37451 HAS SOPS 29661 HAS SOUS 14491 HAS SOUPS 12078 WITH SCORE 12115.451
AT ITER 148 NEW BEST:: SOT 67002 SOS 37357 HAS SOPS 29523 HAS SOUS 14479 HAS SOUPS 12040 WITH SCORE 12077.357
AT ITER 149 NEW BEST:: SOT 67002 SOS 37131 HAS SOPS 29115 HAS SOUS 14519 HAS SOUPS 12040 WITH SCORE 12077.131
AT ITER 152 NEW BEST:: SOT 67040 SOS 37021 HAS SOPS 29013 HAS SOUS 14517 HAS SOUPS 12038 WITH SCORE 12075.021
AT ITER 154 NEW BEST:: SOT 67040 SOS 37077 HAS SOPS 29011 HAS SOUS 14545 HAS SOUPS 12037 WITH SCORE 12074.077
AT ITER 155 NEW BEST:: SOT 67040 SOS 36909 HAS SOPS 29011 HAS SOUS 14505 HAS SOUPS 12037 WITH SCORE 12073.909
AT ITER 157 NEW BEST:: SOT 67040 SOS 36905 HAS SOPS 29011 HAS SOUS 14503 HAS SOUPS 12037 WITH SCORE 12073.905
AT ITER 158 NEW BEST:: SOT 67051 SOS 36939 HAS SOPS 29017 HAS SOUS 14499 HAS SOUPS 12033 WITH SCORE 12069.939
AT ITER 161 NEW BEST:: SOT 67051 SOS 36925 HAS SOPS 28987 HAS SOUS 14492 HAS SOUPS 12018 WITH SCORE 12054.925
AT ITER 163 NEW BEST:: SOT 67051 SOS 36883 HAS SOPS 28949 HAS SOUS 14471 HAS SOUPS 11999 WITH SCORE 12035.883
AT ITER 166 NEW BEST:: SOT 67275 SOS 36767 HAS SOPS 28833 HAS SOUS 14443 HAS SOUPS 11971 WITH SCORE 12007.767
AT ITER 170 NEW BEST:: SOT 67299 SOS 36759 HAS SOPS 28825 HAS SOUS 14394 HAS SOUPS 11922 WITH SCORE 11958.759
AT ITER 173 NEW BEST:: SOT 67299 SOS 36726 HAS SOPS 28766 HAS SOUS 14407 HAS SOUPS 11922 WITH SCORE 11958.726
AT ITER 176 NEW BEST:: SOT 67299 SOS 36692 HAS SOPS 28766 HAS SOUS 14390 HAS SOUPS 11922 WITH SCORE 11958.692
AT ITER 178 NEW BEST:: SOT 67299 SOS 36660 HAS SOPS 28766 HAS SOUS 14374 HAS SOUPS 11922 WITH SCORE 11958.66
AT ITER 180 NEW BEST:: SOT 67295 SOS 35910 HAS SOPS 28538 HAS SOUS 14128 HAS SOUPS 11788 WITH SCORE 11823.91
AT ITER 181 NEW BEST:: SOT 67295 SOS 35902 HAS SOPS 28538 HAS SOUS 14127 HAS SOUPS 11787 WITH SCORE 11822.902
AT ITER 183 NEW BEST:: SOT 67307 SOS 35858 HAS SOPS 28494 HAS SOUS 14051 HAS SOUPS 11711 WITH SCORE 11746.858
AT ITER 184 NEW BEST:: SOT 67197 SOS 35310 HAS SOPS 28244 HAS SOUS 13778 HAS SOUPS 11438 WITH SCORE 11473.31
AT ITER 190 NEW BEST:: SOT 67225 SOS 35262 HAS SOPS 28196 HAS SOUS 13646 HAS SOUPS 11306 WITH SCORE 11341.262
AT ITER 192 NEW BEST:: SOT 67249 SOS 34902 HAS SOPS 27836 HAS SOUS 13464 HAS SOUPS 11124 WITH SCORE 11158.902
AT ITER 194 NEW BEST:: SOT 67249 SOS 34620 HAS SOPS 27742 HAS SOUS 13370 HAS SOUPS 11077 WITH SCORE 11111.62
AT ITER 197 NEW BEST:: SOT 67249 SOS 34598 HAS SOPS 27720 HAS SOUS 13354 HAS SOUPS 11061 WITH SCORE 11095.598
AT ITER 199 NEW BEST:: SOT 67249 SOS 34396 HAS SOPS 27720 HAS SOUS 13253 HAS SOUPS 11061 WITH SCORE 11095.396
AT ITER 204 NEW BEST:: SOT 67249 SOS 34358 HAS SOPS 27682 HAS SOUS 13247 HAS SOUPS 11055 WITH SCORE 11089.358
AT ITER 212 NEW BEST:: SOT 67361 SOS 32830 HAS SOPS 26030 HAS SOUS 13298 HAS SOUPS 11040 WITH SCORE 11072.83
AT ITER 214 NEW BEST:: SOT 57219 SOS 53744 HAS SOPS 53682 HAS SOUS 8847 HAS SOUPS 8834 WITH SCORE 8887.744
AT ITER 216 NEW BEST:: SOT 57035 SOS 53560 HAS SOPS 53498 HAS SOUS 8759 HAS SOUPS 8746 WITH SCORE 8799.56
AT ITER 225 NEW BEST:: SOT 56741 SOS 53266 HAS SOPS 53204 HAS SOUS 8522 HAS SOUPS 8509 WITH SCORE 8562.266
AT ITER 229 NEW BEST:: SOT 56496 SOS 53094 HAS SOPS 53032 HAS SOUS 8509 HAS SOUPS 8496 WITH SCORE 8549.094
AT ITER 233 NEW BEST:: SOT 56437 SOS 53294 HAS SOPS 53232 HAS SOUS 8435 HAS SOUPS 8422 WITH SCORE 8475.294
AT ITER 234 NEW BEST:: SOT 56043 SOS 52900 HAS SOPS 52838 HAS SOUS 8316 HAS SOUPS 8303 WITH SCORE 8355.9
AT ITER 248 NEW BEST:: SOT 56043 SOS 52900 HAS SOPS 52838 HAS SOUS 8310 HAS SOUPS 8297 WITH SCORE 8349.9
AT ITER 252 NEW BEST:: SOT 56033 SOS 52890 HAS SOPS 52828 HAS SOUS 8305 HAS SOUPS 8292 WITH SCORE 8344.89
AT ITER 255 NEW BEST:: SOT 53175 SOS 50050 HAS SOPS 49988 HAS SOUS 7613 HAS SOUPS 7600 WITH SCORE 7650.05
AT ITER 260 NEW BEST:: SOT 53177 SOS 50052 HAS SOPS 49990 HAS SOUS 7598 HAS SOUPS 7585 WITH SCORE 7635.052
AT ITER 263 NEW BEST:: SOT 53179 SOS 50054 HAS SOPS 49992 HAS SOUS 7589 HAS SOUPS 7576 WITH SCORE 7626.054
AT ITER 265 NEW BEST:: SOT 53121 SOS 49996 HAS SOPS 49934 HAS SOUS 7539 HAS SOUPS 7526 WITH SCORE 7575.996
AT ITER 269 NEW BEST:: SOT 53121 SOS 49996 HAS SOPS 49934 HAS SOUS 7514 HAS SOUPS 7501 WITH SCORE 7550.996
AT ITER 271 NEW BEST:: SOT 53071 SOS 49946 HAS SOPS 49884 HAS SOUS 7403 HAS SOUPS 7390 WITH SCORE 7439.946
AT ITER 272 NEW BEST:: SOT 53012 SOS 49885 HAS SOPS 49823 HAS SOUS 7211 HAS SOUPS 7198 WITH SCORE 7247.885
AT ITER 274 NEW BEST:: SOT 53012 SOS 49885 HAS SOPS 49823 HAS SOUS 7106 HAS SOUPS 7093 WITH SCORE 7142.885
AT ITER 277 NEW BEST:: SOT 52976 SOS 49849 HAS SOPS 49787 HAS SOUS 7087 HAS SOUPS 7074 WITH SCORE 7123.849
AT ITER 289 NEW BEST:: SOT 52806 SOS 49679 HAS SOPS 49617 HAS SOUS 7075 HAS SOUPS 7062 WITH SCORE 7111.679
AT ITER 293 NEW BEST:: SOT 52760 SOS 49633 HAS SOPS 49571 HAS SOUS 7074 HAS SOUPS 7061 WITH SCORE 7110.633
AT ITER 295 NEW BEST:: SOT 52744 SOS 49617 HAS SOPS 49555 HAS SOUS 7074 HAS SOUPS 7061 WITH SCORE 7110.617
AT ITER 301 NEW BEST:: SOT 52568 SOS 49441 HAS SOPS 49379 HAS SOUS 6967 HAS SOUPS 6954 WITH SCORE 7003.441
AT ITER 306 NEW BEST:: SOT 52558 SOS 49431 HAS SOPS 49369 HAS SOUS 6962 HAS SOUPS 6949 WITH SCORE 6998.431
AT ITER 308 NEW BEST:: SOT 52394 SOS 49267 HAS SOPS 49205 HAS SOUS 6899 HAS SOUPS 6886 WITH SCORE 6935.267
AT ITER 309 NEW BEST:: SOT 52374 SOS 49247 HAS SOPS 49185 HAS SOUS 6895 HAS SOUPS 6882 WITH SCORE 6931.247
AT ITER 311 NEW BEST:: SOT 52428 SOS 49301 HAS SOPS 49239 HAS SOUS 6893 HAS SOUPS 6880 WITH SCORE 6929.301
AT ITER 315 NEW BEST:: SOT 52328 SOS 49201 HAS SOPS 49139 HAS SOUS 6818 HAS SOUPS 6805 WITH SCORE 6854.201
AT ITER 322 NEW BEST:: SOT 52080 SOS 48953 HAS SOPS 48891 HAS SOUS 6818 HAS SOUPS 6805 WITH SCORE 6853.953
AT ITER 326 NEW BEST:: SOT 52014 SOS 48887 HAS SOPS 48825 HAS SOUS 6779 HAS SOUPS 6766 WITH SCORE 6814.887
AT ITER 329 NEW BEST:: SOT 52014 SOS 48887 HAS SOPS 48825 HAS SOUS 6777 HAS SOUPS 6764 WITH SCORE 6812.887
AT ITER 332 NEW BEST:: SOT 51889 SOS 48762 HAS SOPS 48700 HAS SOUS 6724 HAS SOUPS 6711 WITH SCORE 6759.762
AT ITER 334 NEW BEST:: SOT 51831 SOS 48704 HAS SOPS 48642 HAS SOUS 6724 HAS SOUPS 6711 WITH SCORE 6759.704
AT ITER 341 NEW BEST:: SOT 51831 SOS 48704 HAS SOPS 48642 HAS SOUS 6702 HAS SOUPS 6689 WITH SCORE 6737.704
AT ITER 343 NEW BEST:: SOT 51603 SOS 48476 HAS SOPS 48414 HAS SOUS 6626 HAS SOUPS 6613 WITH SCORE 6661.476
AT ITER 356 NEW BEST:: SOT 51533 SOS 48406 HAS SOPS 48344 HAS SOUS 6610 HAS SOUPS 6597 WITH SCORE 6645.406
AT ITER 359 NEW BEST:: SOT 51305 SOS 47818 HAS SOPS 47756 HAS SOUS 6462 HAS SOUPS 6449 WITH SCORE 6496.818
AT ITER 361 NEW BEST:: SOT 51305 SOS 47785 HAS SOPS 47723 HAS SOUS 6451 HAS SOUPS 6438 WITH SCORE 6485.785
AT ITER 364 NEW BEST:: SOT 51317 SOS 47797 HAS SOPS 47735 HAS SOUS 6431 HAS SOUPS 6418 WITH SCORE 6465.797
AT ITER 367 NEW BEST:: SOT 51781 SOS 35171 HAS SOPS 33611 HAS SOUS 6640 HAS SOUPS 6154 WITH SCORE 6189.171
AT ITER 368 NEW BEST:: SOT 51693 SOS 35083 HAS SOPS 33523 HAS SOUS 6596 HAS SOUPS 6110 WITH SCORE 6145.083
AT ITER 372 NEW BEST:: SOT 51619 SOS 35009 HAS SOPS 33449 HAS SOUS 6553 HAS SOUPS 6067 WITH SCORE 6102.009
AT ITER 375 NEW BEST:: SOT 51615 SOS 34921 HAS SOPS 33357 HAS SOUS 6553 HAS SOUPS 6065 WITH SCORE 6099.921
AT ITER 377 NEW BEST:: SOT 51879 SOS 35129 HAS SOPS 33565 HAS SOUS 6549 HAS SOUPS 6061 WITH SCORE 6096.129
AT ITER 404 NEW BEST:: SOT 51855 SOS 35105 HAS SOPS 33541 HAS SOUS 6539 HAS SOUPS 6051 WITH SCORE 6086.105
AT ITER 405 NEW BEST:: SOT 51633 SOS 34883 HAS SOPS 33319 HAS SOUS 6309 HAS SOUPS 5821 WITH SCORE 5855.883
AT ITER 417 NEW BEST:: SOT 51621 SOS 34871 HAS SOPS 33307 HAS SOUS 6291 HAS SOUPS 5803 WITH SCORE 5837.871
AT ITER 421 NEW BEST:: SOT 51559 SOS 34656 HAS SOPS 33092 HAS SOUS 6174 HAS SOUPS 5686 WITH SCORE 5720.656
AT ITER 423 NEW BEST:: SOT 51511 SOS 34594 HAS SOPS 33030 HAS SOUS 6119 HAS SOUPS 5631 WITH SCORE 5665.594
AT ITER 424 NEW BEST:: SOT 51511 SOS 34588 HAS SOPS 33030 HAS SOUS 6116 HAS SOUPS 5631 WITH SCORE 5665.588
AT ITER 428 NEW BEST:: SOT 51419 SOS 34496 HAS SOPS 32938 HAS SOUS 6071 HAS SOUPS 5586 WITH SCORE 5620.496
AT ITER 429 NEW BEST:: SOT 51446 SOS 34523 HAS SOPS 32965 HAS SOUS 6068 HAS SOUPS 5583 WITH SCORE 5617.523
AT ITER 439 NEW BEST:: SOT 51426 SOS 34471 HAS SOPS 32913 HAS SOUS 6032 HAS SOUPS 5547 WITH SCORE 5581.471
AT ITER 444 NEW BEST:: SOT 51456 SOS 34501 HAS SOPS 32943 HAS SOUS 6022 HAS SOUPS 5537 WITH SCORE 5571.501
AT ITER 447 NEW BEST:: SOT 51468 SOS 34513 HAS SOPS 32955 HAS SOUS 6013 HAS SOUPS 5528 WITH SCORE 5562.513
AT ITER 449 NEW BEST:: SOT 51474 SOS 34519 HAS SOPS 32961 HAS SOUS 6012 HAS SOUPS 5527 WITH SCORE 5561.519
AT ITER 451 NEW BEST:: SOT 51542 SOS 34587 HAS SOPS 33029 HAS SOUS 5964 HAS SOUPS 5479 WITH SCORE 5513.587
AT ITER 456 NEW BEST:: SOT 51624 SOS 34669 HAS SOPS 33111 HAS SOUS 5927 HAS SOUPS 5442 WITH SCORE 5476.669
AT ITER 475 NEW BEST:: SOT 51634 SOS 34679 HAS SOPS 33121 HAS SOUS 5878 HAS SOUPS 5393 WITH SCORE 5427.679
AT ITER 478 NEW BEST:: SOT 51620 SOS 34665 HAS SOPS 33107 HAS SOUS 5871 HAS SOUPS 5386 WITH SCORE 5420.665
AT ITER 482 NEW BEST:: SOT 51604 SOS 34649 HAS SOPS 33091 HAS SOUS 5863 HAS SOUPS 5378 WITH SCORE 5412.649
AT ITER 484 NEW BEST:: SOT 51606 SOS 34651 HAS SOPS 33093 HAS SOUS 5843 HAS SOUPS 5358 WITH SCORE 5392.651
AT ITER 485 NEW BEST:: SOT 51606 SOS 34635 HAS SOPS 33077 HAS SOUS 5835 HAS SOUPS 5350 WITH SCORE 5384.635
AT ITER 491 NEW BEST:: SOT 51515 SOS 34544 HAS SOPS 32986 HAS SOUS 5835 HAS SOUPS 5350 WITH SCORE 5384.544
AT ITER 497 NEW BEST:: SOT 51409 SOS 34438 HAS SOPS 32880 HAS SOUS 5803 HAS SOUPS 5318 WITH SCORE 5352.438
AT ITER 499 NEW BEST:: SOT 51429 SOS 34458 HAS SOPS 32900 HAS SOUS 5793 HAS SOUPS 5308 WITH SCORE 5342.458
AT ITER 510 NEW BEST:: SOT 51429 SOS 34440 HAS SOPS 32900 HAS SOUS 5774 HAS SOUPS 5298 WITH SCORE 5332.44
AT ITER 525 NEW BEST:: SOT 51347 SOS 34276 HAS SOPS 32818 HAS SOUS 5717 HAS SOUPS 5282 WITH SCORE 5316.276
AT ITER 527 NEW BEST:: SOT 51335 SOS 34264 HAS SOPS 32806 HAS SOUS 5705 HAS SOUPS 5270 WITH SCORE 5304.264
AT ITER 528 NEW BEST:: SOT 51307 SOS 34236 HAS SOPS 32778 HAS SOUS 5692 HAS SOUPS 5257 WITH SCORE 5291.236
AT ITER 531 NEW BEST:: SOT 51295 SOS 34224 HAS SOPS 32766 HAS SOUS 5686 HAS SOUPS 5251 WITH SCORE 5285.224
AT ITER 536 NEW BEST:: SOT 51349 SOS 34258 HAS SOPS 32820 HAS SOUS 5670 HAS SOUPS 5245 WITH SCORE 5279.258
AT ITER 548 NEW BEST:: SOT 51411 SOS 34328 HAS SOPS 32874 HAS SOUS 5660 HAS SOUPS 5227 WITH SCORE 5261.328
AT ITER 551 NEW BEST:: SOT 51285 SOS 34202 HAS SOPS 32748 HAS SOUS 5644 HAS SOUPS 5211 WITH SCORE 5245.202
AT ITER 560 NEW BEST:: SOT 51261 SOS 34178 HAS SOPS 32724 HAS SOUS 5620 HAS SOUPS 5187 WITH SCORE 5221.178
AT ITER 563 NEW BEST:: SOT 51255 SOS 34172 HAS SOPS 32718 HAS SOUS 5617 HAS SOUPS 5184 WITH SCORE 5218.172
AT ITER 566 NEW BEST:: SOT 51255 SOS 34158 HAS SOPS 32704 HAS SOUS 5610 HAS SOUPS 5177 WITH SCORE 5211.158
AT ITER 569 NEW BEST:: SOT 51319 SOS 34222 HAS SOPS 32768 HAS SOUS 5592 HAS SOUPS 5159 WITH SCORE 5193.222
AT ITER 574 NEW BEST:: SOT 51295 SOS 34198 HAS SOPS 32744 HAS SOUS 5581 HAS SOUPS 5148 WITH SCORE 5182.198
AT ITER 586 NEW BEST:: SOT 51271 SOS 34174 HAS SOPS 32720 HAS SOUS 5573 HAS SOUPS 5140 WITH SCORE 5174.174
AT ITER 591 NEW BEST:: SOT 51265 SOS 34168 HAS SOPS 32714 HAS SOUS 5573 HAS SOUPS 5140 WITH SCORE 5174.168
AT ITER 592 NEW BEST:: SOT 51303 SOS 34206 HAS SOPS 32752 HAS SOUS 5554 HAS SOUPS 5121 WITH SCORE 5155.206
AT ITER 595 NEW BEST:: SOT 51226 SOS 34140 HAS SOPS 32686 HAS SOUS 5511 HAS SOUPS 5078 WITH SCORE 5112.14
AT ITER 602 NEW BEST:: SOT 51216 SOS 34130 HAS SOPS 32676 HAS SOUS 5511 HAS SOUPS 5078 WITH SCORE 5112.13
AT ITER 615 NEW BEST:: SOT 51218 SOS 34132 HAS SOPS 32678 HAS SOUS 5510 HAS SOUPS 5077 WITH SCORE 5111.132
AT ITER 620 NEW BEST:: SOT 51220 SOS 34134 HAS SOPS 32680 HAS SOUS 5505 HAS SOUPS 5072 WITH SCORE 5106.134
AT ITER 628 NEW BEST:: SOT 51220 SOS 34128 HAS SOPS 32674 HAS SOUS 5502 HAS SOUPS 5069 WITH SCORE 5103.128
AT ITER 632 NEW BEST:: SOT 51140 SOS 34048 HAS SOPS 32594 HAS SOUS 5442 HAS SOUPS 5009 WITH SCORE 5043.048
AT ITER 650 NEW BEST:: SOT 51150 SOS 34058 HAS SOPS 32604 HAS SOUS 5437 HAS SOUPS 5004 WITH SCORE 5038.058
AT ITER 667 NEW BEST:: SOT 51048 SOS 33976 HAS SOPS 32522 HAS SOUS 5416 HAS SOUPS 4983 WITH SCORE 5016.976
AT ITER 673 NEW BEST:: SOT 50994 SOS 33922 HAS SOPS 32468 HAS SOUS 5381 HAS SOUPS 4948 WITH SCORE 4981.922
AT ITER 677 NEW BEST:: SOT 50932 SOS 33860 HAS SOPS 32406 HAS SOUS 5373 HAS SOUPS 4940 WITH SCORE 4973.86
AT ITER 679 NEW BEST:: SOT 50932 SOS 33860 HAS SOPS 32406 HAS SOUS 5370 HAS SOUPS 4937 WITH SCORE 4970.86
AT ITER 683 NEW BEST:: SOT 50932 SOS 33852 HAS SOPS 32398 HAS SOUS 5366 HAS SOUPS 4933 WITH SCORE 4966.852
AT ITER 687 NEW BEST:: SOT 51060 SOS 33980 HAS SOPS 32526 HAS SOUS 5363 HAS SOUPS 4930 WITH SCORE 4963.98
AT ITER 688 NEW BEST:: SOT 51060 SOS 33980 HAS SOPS 32526 HAS SOUS 5333 HAS SOUPS 4900 WITH SCORE 4933.98
AT ITER 689 NEW BEST:: SOT 51040 SOS 33960 HAS SOPS 32506 HAS SOUS 5313 HAS SOUPS 4880 WITH SCORE 4913.96
AT ITER 694 NEW BEST:: SOT 50968 SOS 33888 HAS SOPS 32434 HAS SOUS 5298 HAS SOUPS 4865 WITH SCORE 4898.888
AT ITER 707 NEW BEST:: SOT 50959 SOS 33865 HAS SOPS 32411 HAS SOUS 5297 HAS SOUPS 4864 WITH SCORE 4897.865
AT ITER 712 NEW BEST:: SOT 50939 SOS 33845 HAS SOPS 32391 HAS SOUS 5279 HAS SOUPS 4846 WITH SCORE 4879.845
AT ITER 726 NEW BEST:: SOT 50861 SOS 33767 HAS SOPS 32313 HAS SOUS 5279 HAS SOUPS 4846 WITH SCORE 4879.767
AT ITER 732 NEW BEST:: SOT 50739 SOS 33645 HAS SOPS 32191 HAS SOUS 5197 HAS SOUPS 4764 WITH SCORE 4797.645
AT ITER 734 NEW BEST:: SOT 50759 SOS 33665 HAS SOPS 32211 HAS SOUS 5171 HAS SOUPS 4738 WITH SCORE 4771.665
AT ITER 743 NEW BEST:: SOT 50787 SOS 33693 HAS SOPS 32239 HAS SOUS 5149 HAS SOUPS 4716 WITH SCORE 4749.693
AT ITER 747 NEW BEST:: SOT 50763 SOS 33669 HAS SOPS 32215 HAS SOUS 5124 HAS SOUPS 4691 WITH SCORE 4724.669
AT ITER 748 NEW BEST:: SOT 50683 SOS 33589 HAS SOPS 32135 HAS SOUS 5059 HAS SOUPS 4626 WITH SCORE 4659.589
AT ITER 755 NEW BEST:: SOT 50723 SOS 33629 HAS SOPS 32175 HAS SOUS 5056 HAS SOUPS 4623 WITH SCORE 4656.629
AT ITER 756 NEW BEST:: SOT 50747 SOS 33653 HAS SOPS 32199 HAS SOUS 5048 HAS SOUPS 4615 WITH SCORE 4648.653
AT ITER 758 NEW BEST:: SOT 50747 SOS 33653 HAS SOPS 32199 HAS SOUS 5029 HAS SOUPS 4596 WITH SCORE 4629.653
AT ITER 769 NEW BEST:: SOT 50747 SOS 33653 HAS SOPS 32199 HAS SOUS 5027 HAS SOUPS 4594 WITH SCORE 4627.653
AT ITER 779 NEW BEST:: SOT 50711 SOS 33617 HAS SOPS 32163 HAS SOUS 5020 HAS SOUPS 4587 WITH SCORE 4620.617
AT ITER 783 NEW BEST:: SOT 50689 SOS 33595 HAS SOPS 32141 HAS SOUS 5017 HAS SOUPS 4584 WITH SCORE 4617.595
AT ITER 785 NEW BEST:: SOT 50719 SOS 33625 HAS SOPS 32171 HAS SOUS 4971 HAS SOUPS 4538 WITH SCORE 4571.625
AT ITER 792 NEW BEST:: SOT 50719 SOS 33625 HAS SOPS 32171 HAS SOUS 4914 HAS SOUPS 4481 WITH SCORE 4514.625
AT ITER 793 NEW BEST:: SOT 50607 SOS 33513 HAS SOPS 32059 HAS SOUS 4899 HAS SOUPS 4466 WITH SCORE 4499.513
AT ITER 796 NEW BEST:: SOT 50593 SOS 33499 HAS SOPS 32045 HAS SOUS 4892 HAS SOUPS 4459 WITH SCORE 4492.499
AT ITER 814 NEW BEST:: SOT 50593 SOS 33391 HAS SOPS 31937 HAS SOUS 4892 HAS SOUPS 4459 WITH SCORE 4492.391
AT ITER 821 NEW BEST:: SOT 50503 SOS 33301 HAS SOPS 31847 HAS SOUS 4879 HAS SOUPS 4446 WITH SCORE 4479.301
AT ITER 823 NEW BEST:: SOT 50119 SOS 33012 HAS SOPS 31658 HAS SOUS 4815 HAS SOUPS 4407 WITH SCORE 4440.012
AT ITER 824 NEW BEST:: SOT 50117 SOS 33010 HAS SOPS 31656 HAS SOUS 4813 HAS SOUPS 4405 WITH SCORE 4438.01
AT ITER 899 NEW BEST:: SOT 50135 SOS 33054 HAS SOPS 31700 HAS SOUS 4796 HAS SOUPS 4388 WITH SCORE 4421.054
AT ITER 900 NEW BEST:: SOT 50107 SOS 33026 HAS SOPS 31672 HAS SOUS 4789 HAS SOUPS 4381 WITH SCORE 4414.026
AT ITER 915 NEW BEST:: SOT 50045 SOS 32948 HAS SOPS 31610 HAS SOUS 4740 HAS SOUPS 4340 WITH SCORE 4372.948
AT ITER 918 NEW BEST:: SOT 50066 SOS 32969 HAS SOPS 31631 HAS SOUS 4739 HAS SOUPS 4339 WITH SCORE 4371.969
AT ITER 937 NEW BEST:: SOT 50066 SOS 32971 HAS SOPS 31595 HAS SOUS 4740 HAS SOUPS 4321 WITH SCORE 4353.971
AT ITER 948 NEW BEST:: SOT 50042 SOS 32947 HAS SOPS 31571 HAS SOUS 4728 HAS SOUPS 4309 WITH SCORE 4341.947
AT ITER 954 NEW BEST:: SOT 50100 SOS 33005 HAS SOPS 31629 HAS SOUS 4726 HAS SOUPS 4307 WITH SCORE 4340.005
AT ITER 959 NEW BEST:: SOT 50100 SOS 33005 HAS SOPS 31629 HAS SOUS 4721 HAS SOUPS 4302 WITH SCORE 4335.005
AT ITER 976 NEW BEST:: SOT 50116 SOS 32919 HAS SOPS 31543 HAS SOUS 4717 HAS SOUPS 4298 WITH SCORE 4330.919
AT ITER 984 NEW BEST:: SOT 50152 SOS 32955 HAS SOPS 31579 HAS SOUS 4716 HAS SOUPS 4297 WITH SCORE 4329.955
AT ITER 987 NEW BEST:: SOT 50092 SOS 32895 HAS SOPS 31519 HAS SOUS 4715 HAS SOUPS 4296 WITH SCORE 4328.895
AT ITER 988 NEW BEST:: SOT 50344 SOS 33192 HAS SOPS 31816 HAS SOUS 4684 HAS SOUPS 4265 WITH SCORE 4298.192
AT ITER 1005 NEW BEST:: SOT 50342 SOS 33217 HAS SOPS 31841 HAS SOUS 4676 HAS SOUPS 4257 WITH SCORE 4290.217
AT ITER 1006 NEW BEST:: SOT 50332 SOS 33207 HAS SOPS 31831 HAS SOUS 4666 HAS SOUPS 4247 WITH SCORE 4280.207
AT ITER 1025 NEW BEST:: SOT 50326 SOS 33201 HAS SOPS 31825 HAS SOUS 4664 HAS SOUPS 4245 WITH SCORE 4278.201
AT ITER 1028 NEW BEST:: SOT 50428 SOS 33303 HAS SOPS 31927 HAS SOUS 4660 HAS SOUPS 4241 WITH SCORE 4274.303
AT ITER 1031 NEW BEST:: SOT 50328 SOS 33203 HAS SOPS 31827 HAS SOUS 4660 HAS SOUPS 4241 WITH SCORE 4274.203
AT ITER 1035 NEW BEST:: SOT 50328 SOS 33189 HAS SOPS 31813 HAS SOUS 4653 HAS SOUPS 4234 WITH SCORE 4267.189
AT ITER 1042 NEW BEST:: SOT 50328 SOS 33185 HAS SOPS 31813 HAS SOUS 4651 HAS SOUPS 4234 WITH SCORE 4267.185
AT ITER 1049 NEW BEST:: SOT 50320 SOS 33085 HAS SOPS 31805 HAS SOUS 4599 HAS SOUPS 4228 WITH SCORE 4261.085
AT ITER 1050 NEW BEST:: SOT 50330 SOS 33125 HAS SOPS 31817 HAS SOUS 4601 HAS SOUPS 4216 WITH SCORE 4249.125
AT ITER 1057 NEW BEST:: SOT 50330 SOS 33097 HAS SOPS 31817 HAS SOUS 4587 HAS SOUPS 4216 WITH SCORE 4249.097
AT ITER 1067 NEW BEST:: SOT 50412 SOS 33203 HAS SOPS 31923 HAS SOUS 4584 HAS SOUPS 4213 WITH SCORE 4246.203
AT ITER 1081 NEW BEST:: SOT 50490 SOS 33281 HAS SOPS 32001 HAS SOUS 4571 HAS SOUPS 4200 WITH SCORE 4233.281
AT ITER 1085 NEW BEST:: SOT 50530 SOS 33224 HAS SOPS 31844 HAS SOUS 4574 HAS SOUPS 4178 WITH SCORE 4211.224
AT ITER 1089 NEW BEST:: SOT 50530 SOS 33212 HAS SOPS 31832 HAS SOUS 4557 HAS SOUPS 4161 WITH SCORE 4194.212
AT ITER 1099 NEW BEST:: SOT 50486 SOS 33168 HAS SOPS 31788 HAS SOUS 4524 HAS SOUPS 4128 WITH SCORE 4161.168
AT ITER 1105 NEW BEST:: SOT 50416 SOS 33098 HAS SOPS 31718 HAS SOUS 4504 HAS SOUPS 4108 WITH SCORE 4141.098
AT ITER 1113 NEW BEST:: SOT 50317 SOS 32975 HAS SOPS 31595 HAS SOUS 4476 HAS SOUPS 4080 WITH SCORE 4112.975
AT ITER 1136 NEW BEST:: SOT 50289 SOS 32947 HAS SOPS 31567 HAS SOUS 4448 HAS SOUPS 4052 WITH SCORE 4084.947
AT ITER 1138 NEW BEST:: SOT 50281 SOS 32939 HAS SOPS 31559 HAS SOUS 4444 HAS SOUPS 4048 WITH SCORE 4080.939
AT ITER 1144 NEW BEST:: SOT 50291 SOS 32949 HAS SOPS 31569 HAS SOUS 4439 HAS SOUPS 4043 WITH SCORE 4075.949
AT ITER 1155 NEW BEST:: SOT 50261 SOS 32919 HAS SOPS 31539 HAS SOUS 4439 HAS SOUPS 4043 WITH SCORE 4075.919
AT ITER 1160 NEW BEST:: SOT 50253 SOS 32911 HAS SOPS 31531 HAS SOUS 4435 HAS SOUPS 4039 WITH SCORE 4071.911
AT ITER 1163 NEW BEST:: SOT 50247 SOS 32905 HAS SOPS 31525 HAS SOUS 4435 HAS SOUPS 4039 WITH SCORE 4071.905
AT ITER 1164 NEW BEST:: SOT 50243 SOS 32901 HAS SOPS 31521 HAS SOUS 4433 HAS SOUPS 4037 WITH SCORE 4069.901
AT ITER 1177 NEW BEST:: SOT 50243 SOS 32897 HAS SOPS 31519 HAS SOUS 4431 HAS SOUPS 4036 WITH SCORE 4068.897
AT ITER 1179 NEW BEST:: SOT 50242 SOS 32896 HAS SOPS 31518 HAS SOUS 4431 HAS SOUPS 4036 WITH SCORE 4068.896
AT ITER 1181 NEW BEST:: SOT 50266 SOS 32920 HAS SOPS 31542 HAS SOUS 4356 HAS SOUPS 3961 WITH SCORE 3993.92
AT ITER 1194 NEW BEST:: SOT 50255 SOS 32898 HAS SOPS 31520 HAS SOUS 4356 HAS SOUPS 3961 WITH SCORE 3993.898
AT ITER 1195 NEW BEST:: SOT 50195 SOS 32838 HAS SOPS 31460 HAS SOUS 4338 HAS SOUPS 3943 WITH SCORE 3975.838
AT ITER 1201 NEW BEST:: SOT 50151 SOS 32794 HAS SOPS 31416 HAS SOUS 4319 HAS SOUPS 3924 WITH SCORE 3956.794
AT ITER 1209 NEW BEST:: SOT 50151 SOS 32794 HAS SOPS 31416 HAS SOUS 4310 HAS SOUPS 3915 WITH SCORE 3947.794
AT ITER 1221 NEW BEST:: SOT 50099 SOS 32742 HAS SOPS 31364 HAS SOUS 4279 HAS SOUPS 3884 WITH SCORE 3916.742
AT ITER 1226 NEW BEST:: SOT 50099 SOS 32714 HAS SOPS 31364 HAS SOUS 4272 HAS SOUPS 3884 WITH SCORE 3916.714
AT ITER 1232 NEW BEST:: SOT 50071 SOS 32686 HAS SOPS 31336 HAS SOUS 4258 HAS SOUPS 3870 WITH SCORE 3902.686
AT ITER 1241 NEW BEST:: SOT 50061 SOS 32676 HAS SOPS 31326 HAS SOUS 4248 HAS SOUPS 3860 WITH SCORE 3892.676
AT ITER 1249 NEW BEST:: SOT 50061 SOS 32734 HAS SOPS 31320 HAS SOUS 4277 HAS SOUPS 3857 WITH SCORE 3889.734
AT ITER 1259 NEW BEST:: SOT 50061 SOS 32708 HAS SOPS 31320 HAS SOUS 4264 HAS SOUPS 3857 WITH SCORE 3889.708
AT ITER 1291 NEW BEST:: SOT 50053 SOS 32700 HAS SOPS 31312 HAS SOUS 4260 HAS SOUPS 3853 WITH SCORE 3885.7
AT ITER 1298 NEW BEST:: SOT 50053 SOS 32694 HAS SOPS 31310 HAS SOUS 4258 HAS SOUPS 3852 WITH SCORE 3884.694
AT ITER 1321 NEW BEST:: SOT 50001 SOS 32642 HAS SOPS 31258 HAS SOUS 4243 HAS SOUPS 3837 WITH SCORE 3869.642
AT ITER 1350 NEW BEST:: SOT 49951 SOS 32570 HAS SOPS 31214 HAS SOUS 4207 HAS SOUPS 3815 WITH SCORE 3847.57
AT ITER 1356 NEW BEST:: SOT 49955 SOS 32574 HAS SOPS 31218 HAS SOUS 4202 HAS SOUPS 3810 WITH SCORE 3842.574
AT ITER 1363 NEW BEST:: SOT 49836 SOS 32436 HAS SOPS 31080 HAS SOUS 4143 HAS SOUPS 3751 WITH SCORE 3783.436
AT ITER 1369 NEW BEST:: SOT 49828 SOS 32428 HAS SOPS 31072 HAS SOUS 4137 HAS SOUPS 3745 WITH SCORE 3777.428
AT ITER 1375 NEW BEST:: SOT 49808 SOS 32434 HAS SOPS 31052 HAS SOUS 4132 HAS SOUPS 3740 WITH SCORE 3772.434
AT ITER 1385 NEW BEST:: SOT 49832 SOS 32458 HAS SOPS 31076 HAS SOUS 4125 HAS SOUPS 3733 WITH SCORE 3765.458
AT ITER 1389 NEW BEST:: SOT 49340 SOS 37538 HAS SOPS 36856 HAS SOUS 3913 HAS SOUPS 3714 WITH SCORE 3751.538
AT ITER 1415 NEW BEST:: SOT 49324 SOS 37522 HAS SOPS 36840 HAS SOUS 3893 HAS SOUPS 3694 WITH SCORE 3731.522
AT ITER 1443 NEW BEST:: SOT 49320 SOS 37518 HAS SOPS 36836 HAS SOUS 3889 HAS SOUPS 3690 WITH SCORE 3727.518
AT ITER 1449 NEW BEST:: SOT 49288 SOS 37480 HAS SOPS 36804 HAS SOUS 3854 HAS SOUPS 3658 WITH SCORE 3695.48
AT ITER 1496 NEW BEST:: SOT 49284 SOS 37476 HAS SOPS 36800 HAS SOUS 3852 HAS SOUPS 3656 WITH SCORE 3693.476
AT ITER 1498 NEW BEST:: SOT 49294 SOS 37486 HAS SOPS 36810 HAS SOUS 3841 HAS SOUPS 3645 WITH SCORE 3682.486
AT ITER 1501 NEW BEST:: SOT 49282 SOS 37474 HAS SOPS 36798 HAS SOUS 3835 HAS SOUPS 3639 WITH SCORE 3676.474
AT ITER 1504 NEW BEST:: SOT 49285 SOS 37477 HAS SOPS 36801 HAS SOUS 3833 HAS SOUPS 3637 WITH SCORE 3674.477
AT ITER 1505 NEW BEST:: SOT 49251 SOS 37443 HAS SOPS 36767 HAS SOUS 3833 HAS SOUPS 3637 WITH SCORE 3674.443
AT ITER 1506 NEW BEST:: SOT 49053 SOS 37216 HAS SOPS 36540 HAS SOUS 3813 HAS SOUPS 3617 WITH SCORE 3654.216
AT ITER 1507 NEW BEST:: SOT 48989 SOS 37152 HAS SOPS 36476 HAS SOUS 3813 HAS SOUPS 3617 WITH SCORE 3654.152
AT ITER 1510 NEW BEST:: SOT 48941 SOS 37084 HAS SOPS 36408 HAS SOUS 3810 HAS SOUPS 3614 WITH SCORE 3651.084
AT ITER 1515 NEW BEST:: SOT 48943 SOS 37086 HAS SOPS 36410 HAS SOUS 3785 HAS SOUPS 3589 WITH SCORE 3626.086
AT ITER 1522 NEW BEST:: SOT 49121 SOS 37264 HAS SOPS 36588 HAS SOUS 3783 HAS SOUPS 3587 WITH SCORE 3624.264
AT ITER 1544 NEW BEST:: SOT 49226 SOS 37369 HAS SOPS 36693 HAS SOUS 3774 HAS SOUPS 3578 WITH SCORE 3615.369
AT ITER 1549 NEW BEST:: SOT 49124 SOS 37267 HAS SOPS 36591 HAS SOUS 3768 HAS SOUPS 3572 WITH SCORE 3609.267
AT ITER 1562 NEW BEST:: SOT 49118 SOS 37261 HAS SOPS 36585 HAS SOUS 3765 HAS SOUPS 3569 WITH SCORE 3606.261
AT ITER 1596 NEW BEST:: SOT 49118 SOS 37259 HAS SOPS 36585 HAS SOUS 3764 HAS SOUPS 3569 WITH SCORE 3606.259
AT ITER 1605 NEW BEST:: SOT 49133 SOS 37274 HAS SOPS 36600 HAS SOUS 3755 HAS SOUPS 3560 WITH SCORE 3597.274
AT ITER 1627 NEW BEST:: SOT 49132 SOS 37290 HAS SOPS 36616 HAS SOUS 3754 HAS SOUPS 3559 WITH SCORE 3596.29
AT ITER 1631 NEW BEST:: SOT 49062 SOS 37220 HAS SOPS 36546 HAS SOUS 3722 HAS SOUPS 3527 WITH SCORE 3564.22
AT ITER 1632 NEW BEST:: SOT 49062 SOS 37214 HAS SOPS 36546 HAS SOUS 3719 HAS SOUPS 3527 WITH SCORE 3564.214
AT ITER 1640 NEW BEST:: SOT 49058 SOS 37210 HAS SOPS 36542 HAS SOUS 3715 HAS SOUPS 3523 WITH SCORE 3560.21
AT ITER 1649 NEW BEST:: SOT 49075 SOS 37247 HAS SOPS 36579 HAS SOUS 3692 HAS SOUPS 3500 WITH SCORE 3537.247
AT ITER 1669 NEW BEST:: SOT 49069 SOS 37241 HAS SOPS 36573 HAS SOUS 3692 HAS SOUPS 3500 WITH SCORE 3537.241
AT ITER 1670 NEW BEST:: SOT 49061 SOS 37233 HAS SOPS 36565 HAS SOUS 3688 HAS SOUPS 3496 WITH SCORE 3533.233
AT ITER 1674 NEW BEST:: SOT 49056 SOS 37227 HAS SOPS 36559 HAS SOUS 3686 HAS SOUPS 3494 WITH SCORE 3531.227
AT ITER 1683 NEW BEST:: SOT 49032 SOS 37203 HAS SOPS 36535 HAS SOUS 3686 HAS SOUPS 3494 WITH SCORE 3531.203
AT ITER 1700 NEW BEST:: SOT 49144 SOS 37315 HAS SOPS 36647 HAS SOUS 3648 HAS SOUPS 3456 WITH SCORE 3493.315
AT ITER 1703 NEW BEST:: SOT 49116 SOS 37287 HAS SOPS 36619 HAS SOUS 3627 HAS SOUPS 3435 WITH SCORE 3472.287
AT ITER 1713 NEW BEST:: SOT 49098 SOS 37269 HAS SOPS 36601 HAS SOUS 3618 HAS SOUPS 3426 WITH SCORE 3463.269
AT ITER 1721 NEW BEST:: SOT 49089 SOS 37252 HAS SOPS 36584 HAS SOUS 3615 HAS SOUPS 3423 WITH SCORE 3460.252
AT ITER 1737 NEW BEST:: SOT 49111 SOS 37274 HAS SOPS 36606 HAS SOUS 3611 HAS SOUPS 3419 WITH SCORE 3456.274
AT ITER 1755 NEW BEST:: SOT 49091 SOS 37254 HAS SOPS 36586 HAS SOUS 3601 HAS SOUPS 3409 WITH SCORE 3446.254
AT ITER 1771 NEW BEST:: SOT 49085 SOS 37248 HAS SOPS 36580 HAS SOUS 3598 HAS SOUPS 3406 WITH SCORE 3443.248
AT ITER 1816 NEW BEST:: SOT 49079 SOS 37242 HAS SOPS 36574 HAS SOUS 3587 HAS SOUPS 3395 WITH SCORE 3432.242
AT ITER 1848 NEW BEST:: SOT 49087 SOS 37250 HAS SOPS 36582 HAS SOUS 3571 HAS SOUPS 3379 WITH SCORE 3416.25
AT ITER 1860 NEW BEST:: SOT 49111 SOS 37274 HAS SOPS 36606 HAS SOUS 3570 HAS SOUPS 3378 WITH SCORE 3415.274
AT ITER 1864 NEW BEST:: SOT 49084 SOS 37238 HAS SOPS 36570 HAS SOUS 3562 HAS SOUPS 3370 WITH SCORE 3407.238
AT ITER 1875 NEW BEST:: SOT 49022 SOS 37176 HAS SOPS 36508 HAS SOUS 3551 HAS SOUPS 3359 WITH SCORE 3396.176
AT ITER 1880 NEW BEST:: SOT 49018 SOS 37172 HAS SOPS 36504 HAS SOUS 3549 HAS SOUPS 3357 WITH SCORE 3394.172
AT ITER 1883 NEW BEST:: SOT 49006 SOS 37160 HAS SOPS 36492 HAS SOUS 3540 HAS SOUPS 3348 WITH SCORE 3385.16
AT ITER 1901 NEW BEST:: SOT 49006 SOS 37142 HAS SOPS 36460 HAS SOUS 3547 HAS SOUPS 3348 WITH SCORE 3385.142
AT ITER 1921 NEW BEST:: SOT 49006 SOS 37142 HAS SOPS 36460 HAS SOUS 3539 HAS SOUPS 3340 WITH SCORE 3377.142
AT ITER 1922 NEW BEST:: SOT 48994 SOS 37130 HAS SOPS 36448 HAS SOUS 3536 HAS SOUPS 3337 WITH SCORE 3374.13
AT ITER 1924 NEW BEST:: SOT 48984 SOS 37120 HAS SOPS 36438 HAS SOUS 3525 HAS SOUPS 3326 WITH SCORE 3363.12
AT ITER 1927 NEW BEST:: SOT 48962 SOS 37098 HAS SOPS 36416 HAS SOUS 3514 HAS SOUPS 3315 WITH SCORE 3352.098
AT ITER 1946 NEW BEST:: SOT 48962 SOS 37046 HAS SOPS 36384 HAS SOUS 3488 HAS SOUPS 3299 WITH SCORE 3336.046
AT ITER 1958 NEW BEST:: SOT 48972 SOS 37036 HAS SOPS 36384 HAS SOUS 3492 HAS SOUPS 3297 WITH SCORE 3334.036
AT ITER 1960 NEW BEST:: SOT 48968 SOS 37032 HAS SOPS 36380 HAS SOUS 3488 HAS SOUPS 3293 WITH SCORE 3330.032
AT ITER 1982 NEW BEST:: SOT 48964 SOS 37028 HAS SOPS 36376 HAS SOUS 3484 HAS SOUPS 3289 WITH SCORE 3326.028
AT ITER 1995 NEW BEST:: SOT 49028 SOS 37092 HAS SOPS 36440 HAS SOUS 3478 HAS SOUPS 3283 WITH SCORE 3320.092
AT ITER 2111 NEW BEST:: SOT 49020 SOS 37084 HAS SOPS 36432 HAS SOUS 3472 HAS SOUPS 3277 WITH SCORE 3314.084
AT ITER 2121 NEW BEST:: SOT 49020 SOS 37082 HAS SOPS 36432 HAS SOUS 3471 HAS SOUPS 3277 WITH SCORE 3314.082
AT ITER 2128 NEW BEST:: SOT 49020 SOS 37070 HAS SOPS 36432 HAS SOUS 3465 HAS SOUPS 3277 WITH SCORE 3314.07
AT ITER 2150 NEW BEST:: SOT 48974 SOS 37007 HAS SOPS 36369 HAS SOUS 3453 HAS SOUPS 3265 WITH SCORE 3302.007
AT ITER 2155 NEW BEST:: SOT 48960 SOS 36993 HAS SOPS 36355 HAS SOUS 3451 HAS SOUPS 3263 WITH SCORE 3299.993
AT ITER 2166 NEW BEST:: SOT 48920 SOS 36953 HAS SOPS 36315 HAS SOUS 3445 HAS SOUPS 3257 WITH SCORE 3293.953
AT ITER 2196 NEW BEST:: SOT 48950 SOS 36995 HAS SOPS 36357 HAS SOUS 3429 HAS SOUPS 3241 WITH SCORE 3277.995
AT ITER 2215 NEW BEST:: SOT 48950 SOS 36995 HAS SOPS 36357 HAS SOUS 3427 HAS SOUPS 3239 WITH SCORE 3275.995
AT ITER 2228 NEW BEST:: SOT 48938 SOS 36983 HAS SOPS 36345 HAS SOUS 3421 HAS SOUPS 3233 WITH SCORE 3269.983
AT ITER 2239 NEW BEST:: SOT 48938 SOS 36969 HAS SOPS 36345 HAS SOUS 3414 HAS SOUPS 3233 WITH SCORE 3269.969
AT ITER 2247 NEW BEST:: SOT 48934 SOS 36965 HAS SOPS 36341 HAS SOUS 3413 HAS SOUPS 3232 WITH SCORE 3268.965
AT ITER 2249 NEW BEST:: SOT 48925 SOS 36956 HAS SOPS 36332 HAS SOUS 3410 HAS SOUPS 3229 WITH SCORE 3265.956
AT ITER 2257 NEW BEST:: SOT 48925 SOS 36948 HAS SOPS 36326 HAS SOUS 3406 HAS SOUPS 3226 WITH SCORE 3262.948
AT ITER 2261 NEW BEST:: SOT 48903 SOS 36926 HAS SOPS 36304 HAS SOUS 3404 HAS SOUPS 3224 WITH SCORE 3260.926
AT ITER 2340 NEW BEST:: SOT 48893 SOS 36916 HAS SOPS 36294 HAS SOUS 3394 HAS SOUPS 3214 WITH SCORE 3250.916
AT ITER 2391 NEW BEST:: SOT 48873 SOS 36896 HAS SOPS 36274 HAS SOUS 3389 HAS SOUPS 3209 WITH SCORE 3245.896
AT ITER 2402 NEW BEST:: SOT 48865 SOS 36888 HAS SOPS 36266 HAS SOUS 3389 HAS SOUPS 3209 WITH SCORE 3245.888
AT ITER 2415 NEW BEST:: SOT 48928 SOS 36951 HAS SOPS 36329 HAS SOUS 3382 HAS SOUPS 3202 WITH SCORE 3238.951
AT ITER 2441 NEW BEST:: SOT 48838 SOS 36861 HAS SOPS 36239 HAS SOUS 3374 HAS SOUPS 3194 WITH SCORE 3230.861
AT ITER 2498 NEW BEST:: SOT 48838 SOS 36861 HAS SOPS 36239 HAS SOUS 3373 HAS SOUPS 3193 WITH SCORE 3229.861
AT ITER 2525 NEW BEST:: SOT 48873 SOS 36896 HAS SOPS 36274 HAS SOUS 3350 HAS SOUPS 3170 WITH SCORE 3206.896
AT ITER 2542 NEW BEST:: SOT 48853 SOS 36876 HAS SOPS 36254 HAS SOUS 3334 HAS SOUPS 3154 WITH SCORE 3190.876
AT ITER 2567 NEW BEST:: SOT 48865 SOS 36880 HAS SOPS 36258 HAS SOUS 3332 HAS SOUPS 3152 WITH SCORE 3188.88
AT ITER 2577 NEW BEST:: SOT 48867 SOS 36882 HAS SOPS 36260 HAS SOUS 3331 HAS SOUPS 3151 WITH SCORE 3187.882
AT ITER 2619 NEW BEST:: SOT 48731 SOS 36754 HAS SOPS 36132 HAS SOUS 3321 HAS SOUPS 3141 WITH SCORE 3177.754
AT ITER 2633 NEW BEST:: SOT 48730 SOS 36752 HAS SOPS 36130 HAS SOUS 3319 HAS SOUPS 3139 WITH SCORE 3175.752
AT ITER 2666 NEW BEST:: SOT 48730 SOS 36752 HAS SOPS 36130 HAS SOUS 3317 HAS SOUPS 3137 WITH SCORE 3173.752
AT ITER 2668 NEW BEST:: SOT 48730 SOS 36768 HAS SOPS 36118 HAS SOUS 3325 HAS SOUPS 3131 WITH SCORE 3167.768
AT ITER 2689 NEW BEST:: SOT 48730 SOS 36762 HAS SOPS 36118 HAS SOUS 3322 HAS SOUPS 3131 WITH SCORE 3167.762
AT ITER 2702 NEW BEST:: SOT 48526 SOS 36604 HAS SOPS 35948 HAS SOUS 3315 HAS SOUPS 3118 WITH SCORE 3154.604
AT ITER 2713 NEW BEST:: SOT 48476 SOS 36576 HAS SOPS 35898 HAS SOUS 3326 HAS SOUPS 3118 WITH SCORE 3154.576
AT ITER 2715 NEW BEST:: SOT 48324 SOS 36476 HAS SOPS 35798 HAS SOUS 3326 HAS SOUPS 3118 WITH SCORE 3154.476
AT ITER 2719 NEW BEST:: SOT 48324 SOS 36476 HAS SOPS 35798 HAS SOUS 3297 HAS SOUPS 3089 WITH SCORE 3125.476
AT ITER 2720 NEW BEST:: SOT 48320 SOS 36472 HAS SOPS 35794 HAS SOUS 3291 HAS SOUPS 3083 WITH SCORE 3119.472
AT ITER 2733 NEW BEST:: SOT 48312 SOS 36462 HAS SOPS 35784 HAS SOUS 3289 HAS SOUPS 3081 WITH SCORE 3117.462
AT ITER 2751 NEW BEST:: SOT 48328 SOS 36478 HAS SOPS 35800 HAS SOUS 3284 HAS SOUPS 3076 WITH SCORE 3112.478
AT ITER 2769 NEW BEST:: SOT 48324 SOS 36474 HAS SOPS 35796 HAS SOUS 3280 HAS SOUPS 3072 WITH SCORE 3108.474
AT ITER 2787 NEW BEST:: SOT 48324 SOS 36450 HAS SOPS 35788 HAS SOUS 3268 HAS SOUPS 3068 WITH SCORE 3104.45
AT ITER 2791 NEW BEST:: SOT 48254 SOS 36380 HAS SOPS 35718 HAS SOUS 3201 HAS SOUPS 3001 WITH SCORE 3037.38
AT ITER 2844 NEW BEST:: SOT 48234 SOS 36360 HAS SOPS 35698 HAS SOUS 3200 HAS SOUPS 3000 WITH SCORE 3036.36
AT ITER 2858 NEW BEST:: SOT 48278 SOS 36404 HAS SOPS 35742 HAS SOUS 3199 HAS SOUPS 2999 WITH SCORE 3035.404
AT ITER 2902 NEW BEST:: SOT 48268 SOS 36394 HAS SOPS 35732 HAS SOUS 3191 HAS SOUPS 2991 WITH SCORE 3027.394
AT ITER 2913 NEW BEST:: SOT 48268 SOS 36354 HAS SOPS 35732 HAS SOUS 3171 HAS SOUPS 2991 WITH SCORE 3027.354
AT ITER 2954 NEW BEST:: SOT 48108 SOS 36314 HAS SOPS 35740 HAS SOUS 3153 HAS SOUPS 2985 WITH SCORE 3021.314
AT ITER 2970 NEW BEST:: SOT 48104 SOS 36310 HAS SOPS 35736 HAS SOUS 3148 HAS SOUPS 2980 WITH SCORE 3016.31
AT ITER 3018 NEW BEST:: SOT 48096 SOS 36302 HAS SOPS 35728 HAS SOUS 3140 HAS SOUPS 2972 WITH SCORE 3008.302
AT ITER 3032 NEW BEST:: SOT 48056 SOS 36262 HAS SOPS 35688 HAS SOUS 3120 HAS SOUPS 2952 WITH SCORE 2988.262
AT ITER 3062 NEW BEST:: SOT 48056 SOS 36232 HAS SOPS 35688 HAS SOUS 3105 HAS SOUPS 2952 WITH SCORE 2988.232
AT ITER 3064 NEW BEST:: SOT 48052 SOS 36228 HAS SOPS 35684 HAS SOUS 3105 HAS SOUPS 2952 WITH SCORE 2988.228
AT ITER 3161 NEW BEST:: SOT 48046 SOS 36222 HAS SOPS 35678 HAS SOUS 3094 HAS SOUPS 2941 WITH SCORE 2977.222
AT ITER 3194 NEW BEST:: SOT 48034 SOS 36210 HAS SOPS 35666 HAS SOUS 3079 HAS SOUPS 2926 WITH SCORE 2962.21
AT ITER 3236 NEW BEST:: SOT 48000 SOS 36176 HAS SOPS 35632 HAS SOUS 3062 HAS SOUPS 2909 WITH SCORE 2945.176
AT ITER 3274 NEW BEST:: SOT 47956 SOS 36132 HAS SOPS 35588 HAS SOUS 3056 HAS SOUPS 2903 WITH SCORE 2939.132
AT ITER 3312 NEW BEST:: SOT 47952 SOS 36128 HAS SOPS 35584 HAS SOUS 3052 HAS SOUPS 2899 WITH SCORE 2935.128
AT ITER 3327 NEW BEST:: SOT 47954 SOS 36132 HAS SOPS 35588 HAS SOUS 3050 HAS SOUPS 2897 WITH SCORE 2933.132
AT ITER 3341 NEW BEST:: SOT 47944 SOS 36117 HAS SOPS 35573 HAS SOUS 3050 HAS SOUPS 2897 WITH SCORE 2933.117
AT ITER 3349 NEW BEST:: SOT 47960 SOS 36133 HAS SOPS 35589 HAS SOUS 3040 HAS SOUPS 2887 WITH SCORE 2923.133
AT ITER 3389 NEW BEST:: SOT 47960 SOS 36133 HAS SOPS 35589 HAS SOUS 3033 HAS SOUPS 2880 WITH SCORE 2916.133
AT ITER 3422 NEW BEST:: SOT 47960 SOS 36131 HAS SOPS 35571 HAS SOUS 3041 HAS SOUPS 2880 WITH SCORE 2916.131
AT ITER 3440 NEW BEST:: SOT 47984 SOS 36155 HAS SOPS 35595 HAS SOUS 3040 HAS SOUPS 2879 WITH SCORE 2915.155
AT ITER 3459 NEW BEST:: SOT 47984 SOS 36153 HAS SOPS 35595 HAS SOUS 3039 HAS SOUPS 2879 WITH SCORE 2915.153
AT ITER 3481 NEW BEST:: SOT 47982 SOS 36151 HAS SOPS 35593 HAS SOUS 3039 HAS SOUPS 2879 WITH SCORE 2915.151
AT ITER 3494 NEW BEST:: SOT 47982 SOS 36145 HAS SOPS 35583 HAS SOUS 3038 HAS SOUPS 2877 WITH SCORE 2913.145
AT ITER 3507 NEW BEST:: SOT 47962 SOS 36125 HAS SOPS 35563 HAS SOUS 3035 HAS SOUPS 2874 WITH SCORE 2910.125
AT ITER 3535 NEW BEST:: SOT 47962 SOS 36141 HAS SOPS 35555 HAS SOUS 3043 HAS SOUPS 2870 WITH SCORE 2906.141
AT ITER 3542 NEW BEST:: SOT 47956 SOS 36135 HAS SOPS 35549 HAS SOUS 3040 HAS SOUPS 2867 WITH SCORE 2903.135
AT ITER 3552 NEW BEST:: SOT 47956 SOS 36135 HAS SOPS 35549 HAS SOUS 3032 HAS SOUPS 2859 WITH SCORE 2895.135
AT ITER 3582 NEW BEST:: SOT 47952 SOS 36131 HAS SOPS 35545 HAS SOUS 3025 HAS SOUPS 2852 WITH SCORE 2888.131
AT ITER 3593 NEW BEST:: SOT 47932 SOS 36111 HAS SOPS 35525 HAS SOUS 3011 HAS SOUPS 2838 WITH SCORE 2874.111
AT ITER 3595 NEW BEST:: SOT 47924 SOS 36103 HAS SOPS 35517 HAS SOUS 3007 HAS SOUPS 2834 WITH SCORE 2870.103
AT ITER 3633 NEW BEST:: SOT 47918 SOS 36097 HAS SOPS 35511 HAS SOUS 3004 HAS SOUPS 2831 WITH SCORE 2867.097
AT ITER 3667 NEW BEST:: SOT 47919 SOS 36098 HAS SOPS 35512 HAS SOUS 3003 HAS SOUPS 2830 WITH SCORE 2866.098
AT ITER 3709 NEW BEST:: SOT 47909 SOS 36088 HAS SOPS 35502 HAS SOUS 2987 HAS SOUPS 2814 WITH SCORE 2850.088
AT ITER 3728 NEW BEST:: SOT 47887 SOS 36066 HAS SOPS 35480 HAS SOUS 2981 HAS SOUPS 2808 WITH SCORE 2844.066
AT ITER 3739 NEW BEST:: SOT 47903 SOS 36082 HAS SOPS 35496 HAS SOUS 2980 HAS SOUPS 2807 WITH SCORE 2843.082
AT ITER 3784 NEW BEST:: SOT 47895 SOS 36070 HAS SOPS 35484 HAS SOUS 2976 HAS SOUPS 2803 WITH SCORE 2839.07
AT ITER 3856 NEW BEST:: SOT 47895 SOS 36064 HAS SOPS 35482 HAS SOUS 2974 HAS SOUPS 2802 WITH SCORE 2838.064
AT ITER 3891 NEW BEST:: SOT 47869 SOS 36038 HAS SOPS 35456 HAS SOUS 2966 HAS SOUPS 2794 WITH SCORE 2830.038
AT ITER 3901 NEW BEST:: SOT 47865 SOS 36034 HAS SOPS 35452 HAS SOUS 2964 HAS SOUPS 2792 WITH SCORE 2828.034
AT ITER 3952 NEW BEST:: SOT 47853 SOS 36022 HAS SOPS 35440 HAS SOUS 2955 HAS SOUPS 2783 WITH SCORE 2819.022
AT ITER 3970 NEW BEST:: SOT 47823 SOS 35992 HAS SOPS 35410 HAS SOUS 2940 HAS SOUPS 2768 WITH SCORE 2803.992
AT ITER 3988 NEW BEST:: SOT 47811 SOS 35980 HAS SOPS 35398 HAS SOUS 2940 HAS SOUPS 2768 WITH SCORE 2803.98
AT ITER 4006 NEW BEST:: SOT 47813 SOS 35982 HAS SOPS 35400 HAS SOUS 2938 HAS SOUPS 2766 WITH SCORE 2801.982
AT ITER 4050 NEW BEST:: SOT 47809 SOS 35978 HAS SOPS 35396 HAS SOUS 2938 HAS SOUPS 2766 WITH SCORE 2801.978
AT ITER 4054 NEW BEST:: SOT 47911 SOS 36175 HAS SOPS 35593 HAS SOUS 2933 HAS SOUPS 2761 WITH SCORE 2797.175
AT ITER 4056 NEW BEST:: SOT 47887 SOS 36151 HAS SOPS 35569 HAS SOUS 2924 HAS SOUPS 2752 WITH SCORE 2788.151
AT ITER 4089 NEW BEST:: SOT 47871 SOS 36135 HAS SOPS 35553 HAS SOUS 2908 HAS SOUPS 2736 WITH SCORE 2772.135
AT ITER 4173 NEW BEST:: SOT 47868 SOS 36132 HAS SOPS 35550 HAS SOUS 2908 HAS SOUPS 2736 WITH SCORE 2772.132
AT ITER 4176 NEW BEST:: SOT 47878 SOS 36142 HAS SOPS 35560 HAS SOUS 2898 HAS SOUPS 2726 WITH SCORE 2762.142
AT ITER 4190 NEW BEST:: SOT 47860 SOS 36124 HAS SOPS 35542 HAS SOUS 2892 HAS SOUPS 2720 WITH SCORE 2756.124
AT ITER 4205 NEW BEST:: SOT 47858 SOS 36122 HAS SOPS 35540 HAS SOUS 2891 HAS SOUPS 2719 WITH SCORE 2755.122
AT ITER 4206 NEW BEST:: SOT 47854 SOS 36118 HAS SOPS 35536 HAS SOUS 2888 HAS SOUPS 2716 WITH SCORE 2752.118
AT ITER 4213 NEW BEST:: SOT 47908 SOS 36172 HAS SOPS 35590 HAS SOUS 2878 HAS SOUPS 2706 WITH SCORE 2742.172
AT ITER 4219 NEW BEST:: SOT 47904 SOS 36168 HAS SOPS 35586 HAS SOUS 2875 HAS SOUPS 2703 WITH SCORE 2739.168
AT ITER 4224 NEW BEST:: SOT 47902 SOS 36166 HAS SOPS 35584 HAS SOUS 2869 HAS SOUPS 2697 WITH SCORE 2733.166
AT ITER 4236 NEW BEST:: SOT 47872 SOS 36136 HAS SOPS 35554 HAS SOUS 2869 HAS SOUPS 2697 WITH SCORE 2733.136
AT ITER 4237 NEW BEST:: SOT 47870 SOS 36134 HAS SOPS 35552 HAS SOUS 2868 HAS SOUPS 2696 WITH SCORE 2732.134
AT ITER 4248 NEW BEST:: SOT 47838 SOS 36102 HAS SOPS 35520 HAS SOUS 2865 HAS SOUPS 2693 WITH SCORE 2729.102
AT ITER 4254 NEW BEST:: SOT 47836 SOS 36100 HAS SOPS 35518 HAS SOUS 2864 HAS SOUPS 2692 WITH SCORE 2728.1
AT ITER 4275 NEW BEST:: SOT 47834 SOS 36098 HAS SOPS 35516 HAS SOUS 2864 HAS SOUPS 2692 WITH SCORE 2728.098
AT ITER 4332 NEW BEST:: SOT 47818 SOS 36082 HAS SOPS 35500 HAS SOUS 2864 HAS SOUPS 2692 WITH SCORE 2728.082
AT ITER 4360 NEW BEST:: SOT 47806 SOS 36070 HAS SOPS 35488 HAS SOUS 2862 HAS SOUPS 2690 WITH SCORE 2726.07
AT ITER 4374 NEW BEST:: SOT 47742 SOS 36006 HAS SOPS 35424 HAS SOUS 2862 HAS SOUPS 2690 WITH SCORE 2726.006
AT ITER 4422 NEW BEST:: SOT 47726 SOS 35990 HAS SOPS 35408 HAS SOUS 2862 HAS SOUPS 2690 WITH SCORE 2725.99
AT ITER 4491 NEW BEST:: SOT 47740 SOS 36004 HAS SOPS 35422 HAS SOUS 2861 HAS SOUPS 2689 WITH SCORE 2725.004
AT ITER 4512 NEW BEST:: SOT 47736 SOS 36000 HAS SOPS 35418 HAS SOUS 2861 HAS SOUPS 2689 WITH SCORE 2725.0
AT ITER 4517 NEW BEST:: SOT 47727 SOS 36000 HAS SOPS 35418 HAS SOUS 2852 HAS SOUPS 2680 WITH SCORE 2716.0
AT ITER 4531 NEW BEST:: SOT 47697 SOS 36276 HAS SOPS 35714 HAS SOUS 2840 HAS SOUPS 2675 WITH SCORE 2711.276
AT ITER 4555 NEW BEST:: SOT 47695 SOS 36274 HAS SOPS 35712 HAS SOUS 2840 HAS SOUPS 2675 WITH SCORE 2711.274
AT ITER 4640 NEW BEST:: SOT 47695 SOS 36272 HAS SOPS 35706 HAS SOUS 2840 HAS SOUPS 2674 WITH SCORE 2710.272
AT ITER 4694 NEW BEST:: SOT 47679 SOS 36256 HAS SOPS 35690 HAS SOUS 2838 HAS SOUPS 2672 WITH SCORE 2708.256
AT ITER 4706 NEW BEST:: SOT 47677 SOS 36254 HAS SOPS 35688 HAS SOUS 2836 HAS SOUPS 2670 WITH SCORE 2706.254
AT ITER 4709 NEW BEST:: SOT 47673 SOS 36246 HAS SOPS 35680 HAS SOUS 2836 HAS SOUPS 2670 WITH SCORE 2706.246
AT ITER 4711 NEW BEST:: SOT 47666 SOS 36232 HAS SOPS 35666 HAS SOUS 2836 HAS SOUPS 2670 WITH SCORE 2706.232
AT ITER 4719 NEW BEST:: SOT 47680 SOS 36294 HAS SOPS 35728 HAS SOUS 2833 HAS SOUPS 2667 WITH SCORE 2703.294
AT ITER 4731 NEW BEST:: SOT 47662 SOS 36276 HAS SOPS 35710 HAS SOUS 2819 HAS SOUPS 2653 WITH SCORE 2689.276
AT ITER 4739 NEW BEST:: SOT 47642 SOS 36256 HAS SOPS 35690 HAS SOUS 2799 HAS SOUPS 2633 WITH SCORE 2669.256
AT ITER 4788 NEW BEST:: SOT 47648 SOS 36262 HAS SOPS 35696 HAS SOUS 2789 HAS SOUPS 2623 WITH SCORE 2659.262
AT ITER 4792 NEW BEST:: SOT 47648 SOS 36266 HAS SOPS 35682 HAS SOUS 2783 HAS SOUPS 2616 WITH SCORE 2652.266
AT ITER 4801 NEW BEST:: SOT 47651 SOS 36271 HAS SOPS 35687 HAS SOUS 2782 HAS SOUPS 2615 WITH SCORE 2651.271
AT ITER 4819 NEW BEST:: SOT 47723 SOS 36415 HAS SOPS 35831 HAS SOUS 2778 HAS SOUPS 2611 WITH SCORE 2647.415
AT ITER 4872 NEW BEST:: SOT 47721 SOS 36413 HAS SOPS 35829 HAS SOUS 2776 HAS SOUPS 2609 WITH SCORE 2645.413
AT ITER 4880 NEW BEST:: SOT 47710 SOS 36391 HAS SOPS 35807 HAS SOUS 2773 HAS SOUPS 2606 WITH SCORE 2642.391
AT ITER 4921 NEW BEST:: SOT 47702 SOS 36383 HAS SOPS 35799 HAS SOUS 2767 HAS SOUPS 2600 WITH SCORE 2636.383
AT ITER 4963 NEW BEST:: SOT 47680 SOS 36361 HAS SOPS 35777 HAS SOUS 2745 HAS SOUPS 2578 WITH SCORE 2614.361
AT ITER 4970 NEW BEST:: SOT 47731 SOS 36412 HAS SOPS 35828 HAS SOUS 2694 HAS SOUPS 2527 WITH SCORE 2563.412
AT ITER 4979 NEW BEST:: SOT 47613 SOS 37904 HAS SOPS 37434 HAS SOUS 2654 HAS SOUPS 2523 WITH SCORE 2560.904
AT ITER 5001 NEW BEST:: SOT 47625 SOS 37916 HAS SOPS 37446 HAS SOUS 2648 HAS SOUPS 2517 WITH SCORE 2554.916
AT ITER 5059 NEW BEST:: SOT 47631 SOS 37922 HAS SOPS 37452 HAS SOUS 2636 HAS SOUPS 2505 WITH SCORE 2542.922
AT ITER 5076 NEW BEST:: SOT 47631 SOS 37918 HAS SOPS 37448 HAS SOUS 2636 HAS SOUPS 2505 WITH SCORE 2542.918
AT ITER 5095 NEW BEST:: SOT 47687 SOS 37974 HAS SOPS 37504 HAS SOUS 2629 HAS SOUPS 2498 WITH SCORE 2535.974
AT ITER 5115 NEW BEST:: SOT 47711 SOS 37998 HAS SOPS 37528 HAS SOUS 2614 HAS SOUPS 2483 WITH SCORE 2520.998
AT ITER 5250 NEW BEST:: SOT 47709 SOS 37996 HAS SOPS 37526 HAS SOUS 2612 HAS SOUPS 2481 WITH SCORE 2518.996
AT ITER 5256 NEW BEST:: SOT 47719 SOS 38006 HAS SOPS 37536 HAS SOUS 2606 HAS SOUPS 2475 WITH SCORE 2513.006
AT ITER 5274 NEW BEST:: SOT 47717 SOS 38004 HAS SOPS 37534 HAS SOUS 2606 HAS SOUPS 2475 WITH SCORE 2513.004
AT ITER 5284 NEW BEST:: SOT 47721 SOS 38008 HAS SOPS 37538 HAS SOUS 2600 HAS SOUPS 2469 WITH SCORE 2507.008
AT ITER 5321 NEW BEST:: SOT 47717 SOS 38004 HAS SOPS 37534 HAS SOUS 2599 HAS SOUPS 2468 WITH SCORE 2506.004
AT ITER 5362 NEW BEST:: SOT 47715 SOS 38002 HAS SOPS 37532 HAS SOUS 2596 HAS SOUPS 2465 WITH SCORE 2503.002
AT ITER 5426 NEW BEST:: SOT 47713 SOS 38000 HAS SOPS 37530 HAS SOUS 2596 HAS SOUPS 2465 WITH SCORE 2503.0
AT ITER 5435 NEW BEST:: SOT 47720 SOS 38002 HAS SOPS 37532 HAS SOUS 2595 HAS SOUPS 2464 WITH SCORE 2502.002
AT ITER 5443 NEW BEST:: SOT 47746 SOS 38028 HAS SOPS 37558 HAS SOUS 2592 HAS SOUPS 2461 WITH SCORE 2499.028
AT ITER 5548 NEW BEST:: SOT 47742 SOS 38020 HAS SOPS 37550 HAS SOUS 2592 HAS SOUPS 2461 WITH SCORE 2499.02
AT ITER 5578 NEW BEST:: SOT 47742 SOS 38042 HAS SOPS 37548 HAS SOUS 2597 HAS SOUPS 2460 WITH SCORE 2498.042
AT ITER 5586 NEW BEST:: SOT 47740 SOS 38040 HAS SOPS 37546 HAS SOUS 2596 HAS SOUPS 2459 WITH SCORE 2497.04
AT ITER 5609 NEW BEST:: SOT 47736 SOS 38036 HAS SOPS 37542 HAS SOUS 2596 HAS SOUPS 2459 WITH SCORE 2497.036
AT ITER 5636 NEW BEST:: SOT 47736 SOS 38036 HAS SOPS 37540 HAS SOUS 2596 HAS SOUPS 2458 WITH SCORE 2496.036
AT ITER 5671 NEW BEST:: SOT 47730 SOS 38030 HAS SOPS 37534 HAS SOUS 2596 HAS SOUPS 2458 WITH SCORE 2496.03
AT ITER 5735 NEW BEST:: SOT 47746 SOS 38046 HAS SOPS 37548 HAS SOUS 2594 HAS SOUPS 2455 WITH SCORE 2493.046
AT ITER 5739 NEW BEST:: SOT 47736 SOS 38034 HAS SOPS 37536 HAS SOUS 2592 HAS SOUPS 2453 WITH SCORE 2491.034
AT ITER 5747 NEW BEST:: SOT 47736 SOS 38034 HAS SOPS 37526 HAS SOUS 2582 HAS SOUPS 2448 WITH SCORE 2486.034
AT ITER 5902 NEW BEST:: SOT 47728 SOS 38026 HAS SOPS 37518 HAS SOUS 2578 HAS SOUPS 2444 WITH SCORE 2482.026
AT ITER 5909 NEW BEST:: SOT 47726 SOS 38024 HAS SOPS 37516 HAS SOUS 2575 HAS SOUPS 2441 WITH SCORE 2479.024
AT ITER 5950 NEW BEST:: SOT 47726 SOS 38024 HAS SOPS 37516 HAS SOUS 2573 HAS SOUPS 2439 WITH SCORE 2477.024
AT ITER 5959 NEW BEST:: SOT 47720 SOS 38018 HAS SOPS 37510 HAS SOUS 2571 HAS SOUPS 2437 WITH SCORE 2475.018
AT ITER 5985 NEW BEST:: SOT 47718 SOS 38014 HAS SOPS 37506 HAS SOUS 2571 HAS SOUPS 2437 WITH SCORE 2475.014
AT ITER 5999 NEW BEST:: SOT 47712 SOS 38008 HAS SOPS 37500 HAS SOUS 2564 HAS SOUPS 2430 WITH SCORE 2468.008
AT ITER 6009 NEW BEST:: SOT 47676 SOS 37972 HAS SOPS 37464 HAS SOUS 2528 HAS SOUPS 2394 WITH SCORE 2431.972
AT ITER 6012 NEW BEST:: SOT 47687 SOS 37983 HAS SOPS 37475 HAS SOUS 2517 HAS SOUPS 2383 WITH SCORE 2420.983
AT ITER 6088 NEW BEST:: SOT 47702 SOS 37998 HAS SOPS 37490 HAS SOUS 2502 HAS SOUPS 2368 WITH SCORE 2405.998
AT ITER 6107 NEW BEST:: SOT 47594 SOS 37890 HAS SOPS 37382 HAS SOUS 2494 HAS SOUPS 2360 WITH SCORE 2397.89
AT ITER 6142 NEW BEST:: SOT 47586 SOS 37882 HAS SOPS 37374 HAS SOUS 2491 HAS SOUPS 2357 WITH SCORE 2394.882
AT ITER 6192 NEW BEST:: SOT 47586 SOS 37882 HAS SOPS 37374 HAS SOUS 2473 HAS SOUPS 2339 WITH SCORE 2376.882
AT ITER 6198 NEW BEST:: SOT 47584 SOS 37880 HAS SOPS 37372 HAS SOUS 2473 HAS SOUPS 2339 WITH SCORE 2376.88
AT ITER 6223 NEW BEST:: SOT 47636 SOS 36940 HAS SOPS 36354 HAS SOUS 2493 HAS SOUPS 2335 WITH SCORE 2371.94
AT ITER 6257 NEW BEST:: SOT 47656 SOS 36960 HAS SOPS 36374 HAS SOUS 2485 HAS SOUPS 2327 WITH SCORE 2363.96
AT ITER 6283 NEW BEST:: SOT 47656 SOS 36952 HAS SOPS 36366 HAS SOUS 2485 HAS SOUPS 2327 WITH SCORE 2363.952
AT ITER 6331 NEW BEST:: SOT 47648 SOS 36944 HAS SOPS 36358 HAS SOUS 2475 HAS SOUPS 2317 WITH SCORE 2353.944
AT ITER 6394 NEW BEST:: SOT 47649 SOS 36945 HAS SOPS 36359 HAS SOUS 2474 HAS SOUPS 2316 WITH SCORE 2352.945
AT ITER 6548 NEW BEST:: SOT 47649 SOS 36945 HAS SOPS 36359 HAS SOUS 2473 HAS SOUPS 2315 WITH SCORE 2351.945
AT ITER 6603 NEW BEST:: SOT 47649 SOS 36945 HAS SOPS 36359 HAS SOUS 2470 HAS SOUPS 2312 WITH SCORE 2348.945
AT ITER 6612 NEW BEST:: SOT 47641 SOS 36937 HAS SOPS 36351 HAS SOUS 2469 HAS SOUPS 2311 WITH SCORE 2347.937
AT ITER 6638 NEW BEST:: SOT 47641 SOS 36921 HAS SOPS 36347 HAS SOUS 2465 HAS SOUPS 2309 WITH SCORE 2345.921
AT ITER 6654 NEW BEST:: SOT 47627 SOS 36907 HAS SOPS 36333 HAS SOUS 2465 HAS SOUPS 2309 WITH SCORE 2345.907
AT ITER 6669 NEW BEST:: SOT 47625 SOS 36905 HAS SOPS 36331 HAS SOUS 2464 HAS SOUPS 2308 WITH SCORE 2344.905
AT ITER 6754 NEW BEST:: SOT 47621 SOS 36899 HAS SOPS 36327 HAS SOUS 2456 HAS SOUPS 2301 WITH SCORE 2337.899
AT ITER 6761 NEW BEST:: SOT 47585 SOS 36863 HAS SOPS 36291 HAS SOUS 2445 HAS SOUPS 2290 WITH SCORE 2326.863
AT ITER 6779 NEW BEST:: SOT 47615 SOS 36893 HAS SOPS 36321 HAS SOUS 2441 HAS SOUPS 2286 WITH SCORE 2322.893
AT ITER 6798 NEW BEST:: SOT 47614 SOS 36892 HAS SOPS 36320 HAS SOUS 2441 HAS SOUPS 2286 WITH SCORE 2322.892
AT ITER 7007 NEW BEST:: SOT 47614 SOS 36898 HAS SOPS 36316 HAS SOUS 2444 HAS SOUPS 2284 WITH SCORE 2320.898
AT ITER 7044 NEW BEST:: SOT 47613 SOS 36897 HAS SOPS 36315 HAS SOUS 2439 HAS SOUPS 2279 WITH SCORE 2315.897
AT ITER 7068 NEW BEST:: SOT 47591 SOS 36875 HAS SOPS 36293 HAS SOUS 2438 HAS SOUPS 2278 WITH SCORE 2314.875
AT ITER 7100 NEW BEST:: SOT 47567 SOS 36851 HAS SOPS 36269 HAS SOUS 2425 HAS SOUPS 2265 WITH SCORE 2301.851
AT ITER 7112 NEW BEST:: SOT 47597 SOS 36881 HAS SOPS 36299 HAS SOUS 2423 HAS SOUPS 2263 WITH SCORE 2299.881
AT ITER 7124 NEW BEST:: SOT 47615 SOS 36899 HAS SOPS 36317 HAS SOUS 2421 HAS SOUPS 2261 WITH SCORE 2297.899
AT ITER 7130 NEW BEST:: SOT 47599 SOS 36883 HAS SOPS 36301 HAS SOUS 2417 HAS SOUPS 2257 WITH SCORE 2293.883
AT ITER 7136 NEW BEST:: SOT 47599 SOS 36879 HAS SOPS 36299 HAS SOUS 2415 HAS SOUPS 2256 WITH SCORE 2292.879
AT ITER 7168 NEW BEST:: SOT 47599 SOS 36875 HAS SOPS 36297 HAS SOUS 2413 HAS SOUPS 2255 WITH SCORE 2291.875
AT ITER 7183 NEW BEST:: SOT 47595 SOS 36871 HAS SOPS 36293 HAS SOUS 2409 HAS SOUPS 2251 WITH SCORE 2287.871
AT ITER 7190 NEW BEST:: SOT 47591 SOS 36867 HAS SOPS 36289 HAS SOUS 2408 HAS SOUPS 2250 WITH SCORE 2286.867
AT ITER 7263 NEW BEST:: SOT 47587 SOS 36863 HAS SOPS 36285 HAS SOUS 2406 HAS SOUPS 2248 WITH SCORE 2284.863
AT ITER 7331 NEW BEST:: SOT 47580 SOS 36853 HAS SOPS 36275 HAS SOUS 2402 HAS SOUPS 2244 WITH SCORE 2280.853
AT ITER 7343 NEW BEST:: SOT 47556 SOS 36829 HAS SOPS 36251 HAS SOUS 2395 HAS SOUPS 2237 WITH SCORE 2273.829
AT ITER 7351 NEW BEST:: SOT 47552 SOS 36825 HAS SOPS 36247 HAS SOUS 2393 HAS SOUPS 2235 WITH SCORE 2271.825
AT ITER 7356 NEW BEST:: SOT 47546 SOS 36819 HAS SOPS 36241 HAS SOUS 2393 HAS SOUPS 2235 WITH SCORE 2271.819
AT ITER 7413 NEW BEST:: SOT 47556 SOS 36829 HAS SOPS 36251 HAS SOUS 2388 HAS SOUPS 2230 WITH SCORE 2266.829
AT ITER 7422 NEW BEST:: SOT 47552 SOS 36825 HAS SOPS 36247 HAS SOUS 2384 HAS SOUPS 2226 WITH SCORE 2262.825
AT ITER 7450 NEW BEST:: SOT 47552 SOS 36813 HAS SOPS 36241 HAS SOUS 2378 HAS SOUPS 2223 WITH SCORE 2259.813
AT ITER 7487 NEW BEST:: SOT 47573 SOS 36835 HAS SOPS 36263 HAS SOUS 2357 HAS SOUPS 2202 WITH SCORE 2238.835
AT ITER 7494 NEW BEST:: SOT 47567 SOS 36829 HAS SOPS 36257 HAS SOUS 2354 HAS SOUPS 2199 WITH SCORE 2235.829
AT ITER 7569 NEW BEST:: SOT 47563 SOS 36825 HAS SOPS 36253 HAS SOUS 2351 HAS SOUPS 2196 WITH SCORE 2232.825
AT ITER 7608 NEW BEST:: SOT 47555 SOS 36817 HAS SOPS 36245 HAS SOUS 2347 HAS SOUPS 2192 WITH SCORE 2228.817
AT ITER 7635 NEW BEST:: SOT 47521 SOS 36783 HAS SOPS 36211 HAS SOUS 2347 HAS SOUPS 2192 WITH SCORE 2228.783
AT ITER 7717 NEW BEST:: SOT 47515 SOS 36777 HAS SOPS 36205 HAS SOUS 2344 HAS SOUPS 2189 WITH SCORE 2225.777
AT ITER 7726 NEW BEST:: SOT 47509 SOS 36771 HAS SOPS 36199 HAS SOUS 2341 HAS SOUPS 2186 WITH SCORE 2222.771
AT ITER 7735 NEW BEST:: SOT 47497 SOS 36759 HAS SOPS 36187 HAS SOUS 2340 HAS SOUPS 2185 WITH SCORE 2221.759
AT ITER 7820 NEW BEST:: SOT 47505 SOS 36767 HAS SOPS 36195 HAS SOUS 2336 HAS SOUPS 2181 WITH SCORE 2217.767
AT ITER 7834 NEW BEST:: SOT 47501 SOS 36763 HAS SOPS 36191 HAS SOUS 2333 HAS SOUPS 2178 WITH SCORE 2214.763
AT ITER 7845 NEW BEST:: SOT 47493 SOS 36755 HAS SOPS 36183 HAS SOUS 2329 HAS SOUPS 2174 WITH SCORE 2210.755
AT ITER 7900 NEW BEST:: SOT 47489 SOS 36751 HAS SOPS 36179 HAS SOUS 2329 HAS SOUPS 2174 WITH SCORE 2210.751
AT ITER 8003 NEW BEST:: SOT 47489 SOS 36749 HAS SOPS 36179 HAS SOUS 2328 HAS SOUPS 2174 WITH SCORE 2210.749
AT ITER 8086 NEW BEST:: SOT 47494 SOS 36757 HAS SOPS 36187 HAS SOUS 2327 HAS SOUPS 2173 WITH SCORE 2209.757
AT ITER 8138 NEW BEST:: SOT 47486 SOS 36749 HAS SOPS 36179 HAS SOUS 2326 HAS SOUPS 2172 WITH SCORE 2208.749
AT ITER 8145 NEW BEST:: SOT 47488 SOS 36751 HAS SOPS 36181 HAS SOUS 2325 HAS SOUPS 2171 WITH SCORE 2207.751
AT ITER 8182 NEW BEST:: SOT 47480 SOS 36735 HAS SOPS 36165 HAS SOUS 2325 HAS SOUPS 2171 WITH SCORE 2207.735
AT ITER 8350 NEW BEST:: SOT 47486 SOS 36741 HAS SOPS 36171 HAS SOUS 2322 HAS SOUPS 2168 WITH SCORE 2204.741
AT ITER 8369 NEW BEST:: SOT 47486 SOS 36741 HAS SOPS 36171 HAS SOUS 2319 HAS SOUPS 2165 WITH SCORE 2201.741
AT ITER 8411 NEW BEST:: SOT 47486 SOS 36741 HAS SOPS 36171 HAS SOUS 2317 HAS SOUPS 2163 WITH SCORE 2199.741
AT ITER 8458 NEW BEST:: SOT 47470 SOS 36703 HAS SOPS 36155 HAS SOUS 2299 HAS SOUPS 2156 WITH SCORE 2192.703
AT ITER 8469 NEW BEST:: SOT 47466 SOS 36699 HAS SOPS 36151 HAS SOUS 2296 HAS SOUPS 2153 WITH SCORE 2189.699
AT ITER 8510 NEW BEST:: SOT 47476 SOS 36709 HAS SOPS 36161 HAS SOUS 2285 HAS SOUPS 2142 WITH SCORE 2178.709
AT ITER 8527 NEW BEST:: SOT 47470 SOS 36703 HAS SOPS 36155 HAS SOUS 2285 HAS SOUPS 2142 WITH SCORE 2178.703
AT ITER 8649 NEW BEST:: SOT 47446 SOS 36679 HAS SOPS 36131 HAS SOUS 2269 HAS SOUPS 2126 WITH SCORE 2162.679
AT ITER 8650 NEW BEST:: SOT 47438 SOS 36671 HAS SOPS 36123 HAS SOUS 2269 HAS SOUPS 2126 WITH SCORE 2162.671
AT ITER 8734 NEW BEST:: SOT 47436 SOS 36669 HAS SOPS 36121 HAS SOUS 2269 HAS SOUPS 2126 WITH SCORE 2162.669
AT ITER 8735 NEW BEST:: SOT 47434 SOS 36666 HAS SOPS 36118 HAS SOUS 2266 HAS SOUPS 2123 WITH SCORE 2159.666
AT ITER 8999 NEW BEST:: SOT 47430 SOS 36662 HAS SOPS 36114 HAS SOUS 2263 HAS SOUPS 2120 WITH SCORE 2156.662
AT ITER 9026 NEW BEST:: SOT 47434 SOS 36666 HAS SOPS 36118 HAS SOUS 2260 HAS SOUPS 2117 WITH SCORE 2153.666
AT ITER 9078 NEW BEST:: SOT 47434 SOS 36668 HAS SOPS 36114 HAS SOUS 2261 HAS SOUPS 2115 WITH SCORE 2151.668
AT ITER 9144 NEW BEST:: SOT 47436 SOS 36670 HAS SOPS 36116 HAS SOUS 2260 HAS SOUPS 2114 WITH SCORE 2150.67
AT ITER 9307 NEW BEST:: SOT 47434 SOS 36668 HAS SOPS 36114 HAS SOUS 2260 HAS SOUPS 2114 WITH SCORE 2150.668
AT ITER 9410 NEW BEST:: SOT 47431 SOS 36664 HAS SOPS 36110 HAS SOUS 2260 HAS SOUPS 2114 WITH SCORE 2150.664
AT ITER 9411 NEW BEST:: SOT 47433 SOS 36666 HAS SOPS 36112 HAS SOUS 2259 HAS SOUPS 2113 WITH SCORE 2149.666
AT ITER 9472 NEW BEST:: SOT 47431 SOS 36664 HAS SOPS 36110 HAS SOUS 2258 HAS SOUPS 2112 WITH SCORE 2148.664
AT ITER 9498 NEW BEST:: SOT 47414 SOS 36652 HAS SOPS 36098 HAS SOUS 2253 HAS SOUPS 2107 WITH SCORE 2143.652
AT ITER 9499 NEW BEST:: SOT 47413 SOS 36653 HAS SOPS 36099 HAS SOUS 2252 HAS SOUPS 2106 WITH SCORE 2142.653
AT ITER 9524 NEW BEST:: SOT 47409 SOS 36649 HAS SOPS 36095 HAS SOUS 2250 HAS SOUPS 2104 WITH SCORE 2140.649
AT ITER 9533 NEW BEST:: SOT 47401 SOS 36641 HAS SOPS 36087 HAS SOUS 2246 HAS SOUPS 2100 WITH SCORE 2136.641
AT ITER 9544 NEW BEST:: SOT 47401 SOS 36641 HAS SOPS 36087 HAS SOUS 2243 HAS SOUPS 2097 WITH SCORE 2133.641
AT ITER 9709 NEW BEST:: SOT 47401 SOS 36641 HAS SOPS 36087 HAS SOUS 2242 HAS SOUPS 2096 WITH SCORE 2132.641
AT ITER 9716 NEW BEST:: SOT 47391 SOS 36631 HAS SOPS 36077 HAS SOUS 2237 HAS SOUPS 2091 WITH SCORE 2127.631
AT ITER 9769 NEW BEST:: SOT 47361 SOS 36601 HAS SOPS 36047 HAS SOUS 2236 HAS SOUPS 2090 WITH SCORE 2126.601
AT ITER 9794 NEW BEST:: SOT 47359 SOS 36599 HAS SOPS 36045 HAS SOUS 2233 HAS SOUPS 2087 WITH SCORE 2123.599
AT ITER 9824 NEW BEST:: SOT 47359 SOS 36597 HAS SOPS 36045 HAS SOUS 2232 HAS SOUPS 2087 WITH SCORE 2123.597
AT ITER 9861 NEW BEST:: SOT 47351 SOS 36589 HAS SOPS 36037 HAS SOUS 2228 HAS SOUPS 2083 WITH SCORE 2119.589
AT ITER 9898 NEW BEST:: SOT 47351 SOS 36589 HAS SOPS 36037 HAS SOUS 2225 HAS SOUPS 2080 WITH SCORE 2116.589
AT ITER 9975 NEW BEST:: SOT 47351 SOS 36589 HAS SOPS 36037 HAS SOUS 2223 HAS SOUPS 2078 WITH SCORE 2114.589
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 15633376 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16124900 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SemanticWebServices-PT-S128P15"
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 SemanticWebServices-PT-S128P15, 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 r363-smll-167891814300408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S128P15.tgz
mv SemanticWebServices-PT-S128P15 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 ;