About the Execution of Smart+red for NoC3x3-PT-7B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3446.495 | 3600000.00 | 3625000.00 | 10029.60 | [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.r267-smll-167863541700336.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 NoC3x3-PT-7B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541700336
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 8.0K Feb 26 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 09:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 09:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 09:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 09:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 130K Feb 26 09:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 2.0M 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 1678860456924
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=NoC3x3-PT-7B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 06:07:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 06:07:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 06:07:40] [INFO ] Load time of PNML (sax parser for PT used): 525 ms
[2023-03-15 06:07:40] [INFO ] Transformed 7014 places.
[2023-03-15 06:07:40] [INFO ] Transformed 8833 transitions.
[2023-03-15 06:07:40] [INFO ] Found NUPN structural information;
[2023-03-15 06:07:40] [INFO ] Parsed PT model containing 7014 places and 8833 transitions and 19619 arcs in 757 ms.
[2023-03-15 06:07:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 7014 places, 8833 transitions and 19619 arcs took 81 ms.
Total runtime 884 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 7B
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: 7014 places, 8833 transitions, 19619 arcs.
AT ITER 0 NEW BEST:: SOT 32421435 SOS 3262032 HAS SOPS 3262032 HAS SOUS 2812389 HAS SOUPS 2812389 WITH SCORE 2815651.032
AT ITER 1 NEW BEST:: SOT 32421434 SOS 3262030 HAS SOPS 3262030 HAS SOUS 2812387 HAS SOUPS 2812387 WITH SCORE 2815649.03
AT ITER 5 NEW BEST:: SOT 32421503 SOS 3262025 HAS SOPS 3262025 HAS SOUS 2811979 HAS SOUPS 2811979 WITH SCORE 2815241.025
AT ITER 31 NEW BEST:: SOT 32421740 SOS 3262499 HAS SOPS 3262499 HAS SOUS 2811874 HAS SOUPS 2811874 WITH SCORE 2815136.499
AT ITER 35 NEW BEST:: SOT 32421650 SOS 3262319 HAS SOPS 3262319 HAS SOUS 2811784 HAS SOUPS 2811784 WITH SCORE 2815046.319
AT ITER 52 NEW BEST:: SOT 32421650 SOS 3261059 HAS SOPS 3261059 HAS SOUS 2811783 HAS SOUPS 2811783 WITH SCORE 2815044.059
AT ITER 93 NEW BEST:: SOT 32421581 SOS 3260723 HAS SOPS 3260723 HAS SOUS 2811624 HAS SOUPS 2811624 WITH SCORE 2814884.723
AT ITER 117 NEW BEST:: SOT 32421458 SOS 3260722 HAS SOPS 3260722 HAS SOUS 2811623 HAS SOUPS 2811623 WITH SCORE 2814883.722
AT ITER 133 NEW BEST:: SOT 32421310 SOS 3260267 HAS SOPS 3260267 HAS SOUS 2811475 HAS SOUPS 2811475 WITH SCORE 2814735.267
AT ITER 134 NEW BEST:: SOT 32421187 SOS 3261296 HAS SOPS 3261296 HAS SOUS 2811437 HAS SOUPS 2811437 WITH SCORE 2814698.296
AT ITER 159 NEW BEST:: SOT 32420687 SOS 3257301 HAS SOPS 3257301 HAS SOUS 2810669 HAS SOUPS 2810669 WITH SCORE 2813926.301
AT ITER 160 NEW BEST:: SOT 32420420 SOS 3257009 HAS SOPS 3257009 HAS SOUS 2810393 HAS SOUPS 2810393 WITH SCORE 2813650.009
AT ITER 217 NEW BEST:: SOT 32419831 SOS 3255831 HAS SOPS 3255831 HAS SOUS 2809215 HAS SOUPS 2809215 WITH SCORE 2812470.831
AT ITER 265 NEW BEST:: SOT 32419831 SOS 3255571 HAS SOPS 3255571 HAS SOUS 2809215 HAS SOUPS 2809215 WITH SCORE 2812470.571
AT ITER 283 NEW BEST:: SOT 32419582 SOS 3255073 HAS SOPS 3255073 HAS SOUS 2808753 HAS SOUPS 2808753 WITH SCORE 2812008.073
AT ITER 286 NEW BEST:: SOT 32419582 SOS 3254961 HAS SOPS 3254961 HAS SOUS 2808753 HAS SOUPS 2808753 WITH SCORE 2812007.961
AT ITER 371 NEW BEST:: SOT 32419582 SOS 3254886 HAS SOPS 3254886 HAS SOUS 2808752 HAS SOUPS 2808752 WITH SCORE 2812006.886
AT ITER 377 NEW BEST:: SOT 32419582 SOS 3254886 HAS SOPS 3254886 HAS SOUS 2808719 HAS SOUPS 2808719 WITH SCORE 2811973.886
AT ITER 401 NEW BEST:: SOT 32419357 SOS 3254661 HAS SOPS 3254661 HAS SOUS 2808494 HAS SOUPS 2808494 WITH SCORE 2811748.661
AT ITER 436 NEW BEST:: SOT 32419110 SOS 3254414 HAS SOPS 3254414 HAS SOUS 2808247 HAS SOUPS 2808247 WITH SCORE 2811501.414
AT ITER 470 NEW BEST:: SOT 32419110 SOS 3254128 HAS SOPS 3254128 HAS SOUS 2808247 HAS SOUPS 2808247 WITH SCORE 2811501.128
AT ITER 478 NEW BEST:: SOT 32415464 SOS 3270617 HAS SOPS 3270617 HAS SOUS 2805509 HAS SOUPS 2805509 WITH SCORE 2808779.617
AT ITER 492 NEW BEST:: SOT 32415464 SOS 3270531 HAS SOPS 3270531 HAS SOUS 2805509 HAS SOUPS 2805509 WITH SCORE 2808779.531
AT ITER 550 NEW BEST:: SOT 32414996 SOS 3269945 HAS SOPS 3269945 HAS SOUS 2804804 HAS SOUPS 2804804 WITH SCORE 2808073.945
AT ITER 588 NEW BEST:: SOT 32412441 SOS 3273490 HAS SOPS 3273490 HAS SOUS 2802617 HAS SOUPS 2802617 WITH SCORE 2805890.49
AT ITER 624 NEW BEST:: SOT 32412441 SOS 3273527 HAS SOPS 3273527 HAS SOUS 2802571 HAS SOUPS 2802571 WITH SCORE 2805844.527
AT ITER 648 NEW BEST:: SOT 32412296 SOS 3273402 HAS SOPS 3273402 HAS SOUS 2802474 HAS SOUPS 2802474 WITH SCORE 2805747.402
AT ITER 683 NEW BEST:: SOT 32412070 SOS 3273406 HAS SOPS 3273406 HAS SOUS 2802253 HAS SOUPS 2802253 WITH SCORE 2805526.406
AT ITER 696 NEW BEST:: SOT 32411844 SOS 3273180 HAS SOPS 3273180 HAS SOUS 2802027 HAS SOUPS 2802027 WITH SCORE 2805300.18
AT ITER 702 NEW BEST:: SOT 32411451 SOS 3273018 HAS SOPS 3273018 HAS SOUS 2801518 HAS SOUPS 2801518 WITH SCORE 2804791.018
AT ITER 706 NEW BEST:: SOT 32411185 SOS 3272825 HAS SOPS 3272825 HAS SOUS 2801238 HAS SOUPS 2801238 WITH SCORE 2804510.825
AT ITER 718 NEW BEST:: SOT 32411185 SOS 3272803 HAS SOPS 3272803 HAS SOUS 2801211 HAS SOUPS 2801211 WITH SCORE 2804483.803
AT ITER 743 NEW BEST:: SOT 32411211 SOS 3272855 HAS SOPS 3272855 HAS SOUS 2801129 HAS SOUPS 2801129 WITH SCORE 2804401.855
AT ITER 758 NEW BEST:: SOT 32410643 SOS 3272571 HAS SOPS 3272571 HAS SOUS 2800691 HAS SOUPS 2800691 WITH SCORE 2803963.571
AT ITER 770 NEW BEST:: SOT 32410805 SOS 3272171 HAS SOPS 3272171 HAS SOUS 2800491 HAS SOUPS 2800491 WITH SCORE 2803763.171
AT ITER 809 NEW BEST:: SOT 32409794 SOS 3274021 HAS SOPS 3274021 HAS SOUS 2799380 HAS SOUPS 2799380 WITH SCORE 2802654.021
AT ITER 819 NEW BEST:: SOT 32409326 SOS 3271600 HAS SOPS 3271600 HAS SOUS 2798912 HAS SOUPS 2798912 WITH SCORE 2802183.6
AT ITER 830 NEW BEST:: SOT 32409369 SOS 3271686 HAS SOPS 3271686 HAS SOUS 2798744 HAS SOUPS 2798744 WITH SCORE 2802015.686
AT ITER 870 NEW BEST:: SOT 32409226 SOS 3271683 HAS SOPS 3271683 HAS SOUS 2798601 HAS SOUPS 2798601 WITH SCORE 2801872.683
AT ITER 916 NEW BEST:: SOT 32409036 SOS 3271303 HAS SOPS 3271303 HAS SOUS 2798221 HAS SOUPS 2798221 WITH SCORE 2801492.303
AT ITER 938 NEW BEST:: SOT 32409073 SOS 3271025 HAS SOPS 3271025 HAS SOUS 2798082 HAS SOUPS 2798082 WITH SCORE 2801353.025
AT ITER 958 NEW BEST:: SOT 32408831 SOS 3270919 HAS SOPS 3270919 HAS SOUS 2797776 HAS SOUPS 2797776 WITH SCORE 2801046.919
AT ITER 981 NEW BEST:: SOT 32408514 SOS 3270285 HAS SOPS 3270285 HAS SOUS 2797001 HAS SOUPS 2797001 WITH SCORE 2800271.285
AT ITER 999 NEW BEST:: SOT 32408358 SOS 3270265 HAS SOPS 3270265 HAS SOUS 2796699 HAS SOUPS 2796699 WITH SCORE 2799969.265
AT ITER 1009 NEW BEST:: SOT 32408358 SOS 3270099 HAS SOPS 3270099 HAS SOUS 2796698 HAS SOUPS 2796698 WITH SCORE 2799968.099
AT ITER 1033 NEW BEST:: SOT 32408387 SOS 3270157 HAS SOPS 3270157 HAS SOUS 2796400 HAS SOUPS 2796400 WITH SCORE 2799670.157
AT ITER 1133 NEW BEST:: SOT 32408548 SOS 3270479 HAS SOPS 3270479 HAS SOUS 2796253 HAS SOUPS 2796253 WITH SCORE 2799523.479
AT ITER 1135 NEW BEST:: SOT 32408543 SOS 3270469 HAS SOPS 3270469 HAS SOUS 2796243 HAS SOUPS 2796243 WITH SCORE 2799513.469
AT ITER 1166 NEW BEST:: SOT 32408543 SOS 3270254 HAS SOPS 3270254 HAS SOUS 2796243 HAS SOUPS 2796243 WITH SCORE 2799513.254
AT ITER 1240 NEW BEST:: SOT 32408269 SOS 3270254 HAS SOPS 3270254 HAS SOUS 2796237 HAS SOUPS 2796237 WITH SCORE 2799507.254
AT ITER 1248 NEW BEST:: SOT 32408907 SOS 3269159 HAS SOPS 3269159 HAS SOUS 2795930 HAS SOUPS 2795930 WITH SCORE 2799199.159
AT ITER 1270 NEW BEST:: SOT 32408552 SOS 3269647 HAS SOPS 3269647 HAS SOUS 2795859 HAS SOUPS 2795859 WITH SCORE 2799128.647
AT ITER 1308 NEW BEST:: SOT 32408552 SOS 3269564 HAS SOPS 3269564 HAS SOUS 2795776 HAS SOUPS 2795776 WITH SCORE 2799045.564
AT ITER 1352 NEW BEST:: SOT 32408461 SOS 3269124 HAS SOPS 3269124 HAS SOUS 2795685 HAS SOUPS 2795685 WITH SCORE 2798954.124
AT ITER 1414 NEW BEST:: SOT 32408447 SOS 3269096 HAS SOPS 3269096 HAS SOUS 2795670 HAS SOUPS 2795670 WITH SCORE 2798939.096
AT ITER 1421 NEW BEST:: SOT 32408293 SOS 3268634 HAS SOPS 3268634 HAS SOUS 2795361 HAS SOUPS 2795361 WITH SCORE 2798629.634
AT ITER 1428 NEW BEST:: SOT 32408218 SOS 3268409 HAS SOPS 3268409 HAS SOUS 2795211 HAS SOUPS 2795211 WITH SCORE 2798479.409
AT ITER 1485 NEW BEST:: SOT 32408183 SOS 3268843 HAS SOPS 3268843 HAS SOUS 2795176 HAS SOUPS 2795176 WITH SCORE 2798444.843
AT ITER 1505 NEW BEST:: SOT 32408092 SOS 3268756 HAS SOPS 3268756 HAS SOUS 2795085 HAS SOUPS 2795085 WITH SCORE 2798353.756
AT ITER 1528 NEW BEST:: SOT 32407672 SOS 3268464 HAS SOPS 3268464 HAS SOUS 2794665 HAS SOUPS 2794665 WITH SCORE 2797933.464
AT ITER 1602 NEW BEST:: SOT 32407350 SOS 3268142 HAS SOPS 3268142 HAS SOUS 2794343 HAS SOUPS 2794343 WITH SCORE 2797611.142
AT ITER 1609 NEW BEST:: SOT 32407263 SOS 3268130 HAS SOPS 3268130 HAS SOUS 2794280 HAS SOUPS 2794280 WITH SCORE 2797548.13
AT ITER 1629 NEW BEST:: SOT 32407263 SOS 3268097 HAS SOPS 3268097 HAS SOUS 2794274 HAS SOUPS 2794274 WITH SCORE 2797542.097
AT ITER 1655 NEW BEST:: SOT 32407263 SOS 3267923 HAS SOPS 3267923 HAS SOUS 2794273 HAS SOUPS 2794273 WITH SCORE 2797540.923
AT ITER 1660 NEW BEST:: SOT 32407288 SOS 3267973 HAS SOPS 3267973 HAS SOUS 2793700 HAS SOUPS 2793700 WITH SCORE 2796967.973
AT ITER 1675 NEW BEST:: SOT 32407077 SOS 3266819 HAS SOPS 3266819 HAS SOUS 2793047 HAS SOUPS 2793047 WITH SCORE 2796313.819
AT ITER 1685 NEW BEST:: SOT 32406828 SOS 3266321 HAS SOPS 3266321 HAS SOUS 2792549 HAS SOUPS 2792549 WITH SCORE 2795815.321
AT ITER 1693 NEW BEST:: SOT 32406828 SOS 3266227 HAS SOPS 3266227 HAS SOUS 2792549 HAS SOUPS 2792549 WITH SCORE 2795815.227
AT ITER 1725 NEW BEST:: SOT 32406464 SOS 3265499 HAS SOPS 3265499 HAS SOUS 2792185 HAS SOUPS 2792185 WITH SCORE 2795450.499
AT ITER 1741 NEW BEST:: SOT 32406464 SOS 3265329 HAS SOPS 3265329 HAS SOUS 2792100 HAS SOUPS 2792100 WITH SCORE 2795365.329
AT ITER 1769 NEW BEST:: SOT 32406569 SOS 3266069 HAS SOPS 3266069 HAS SOUS 2792081 HAS SOUPS 2792081 WITH SCORE 2795347.069
AT ITER 1800 NEW BEST:: SOT 32406569 SOS 3265935 HAS SOPS 3265935 HAS SOUS 2792081 HAS SOUPS 2792081 WITH SCORE 2795346.935
AT ITER 1803 NEW BEST:: SOT 32406255 SOS 3265725 HAS SOPS 3265725 HAS SOUS 2791805 HAS SOUPS 2791805 WITH SCORE 2795070.725
AT ITER 1855 NEW BEST:: SOT 32406255 SOS 3265725 HAS SOPS 3265725 HAS SOUS 2791804 HAS SOUPS 2791804 WITH SCORE 2795069.725
AT ITER 1875 NEW BEST:: SOT 32406255 SOS 3265675 HAS SOPS 3265675 HAS SOUS 2791754 HAS SOUPS 2791754 WITH SCORE 2795019.675
AT ITER 1889 NEW BEST:: SOT 32406170 SOS 3265505 HAS SOPS 3265505 HAS SOUS 2791584 HAS SOUPS 2791584 WITH SCORE 2794849.505
AT ITER 1897 NEW BEST:: SOT 32405822 SOS 3265157 HAS SOPS 3265157 HAS SOUS 2791062 HAS SOUPS 2791062 WITH SCORE 2794327.157
AT ITER 1937 NEW BEST:: SOT 32405822 SOS 3265080 HAS SOPS 3265080 HAS SOUS 2790985 HAS SOUPS 2790985 WITH SCORE 2794250.08
AT ITER 2010 NEW BEST:: SOT 32405693 SOS 3265047 HAS SOPS 3265047 HAS SOUS 2790952 HAS SOUPS 2790952 WITH SCORE 2794217.047
AT ITER 2073 NEW BEST:: SOT 32404688 SOS 3263593 HAS SOPS 3263593 HAS SOUS 2789391 HAS SOUPS 2789391 WITH SCORE 2792654.593
AT ITER 2113 NEW BEST:: SOT 32404688 SOS 3263578 HAS SOPS 3263578 HAS SOUS 2789391 HAS SOUPS 2789391 WITH SCORE 2792654.578
AT ITER 2143 NEW BEST:: SOT 32404559 SOS 3263878 HAS SOPS 3263878 HAS SOUS 2789368 HAS SOUPS 2789368 WITH SCORE 2792631.878
AT ITER 2152 NEW BEST:: SOT 32404559 SOS 3263878 HAS SOPS 3263878 HAS SOUS 2789223 HAS SOUPS 2789223 WITH SCORE 2792486.878
AT ITER 2172 NEW BEST:: SOT 32404559 SOS 3263848 HAS SOPS 3263848 HAS SOUS 2789222 HAS SOUPS 2789222 WITH SCORE 2792485.848
AT ITER 2179 NEW BEST:: SOT 32404577 SOS 3263866 HAS SOPS 3263866 HAS SOUS 2788900 HAS SOUPS 2788900 WITH SCORE 2792163.866
AT ITER 2206 NEW BEST:: SOT 32404583 SOS 3263878 HAS SOPS 3263878 HAS SOUS 2788462 HAS SOUPS 2788462 WITH SCORE 2791725.878
AT ITER 2216 NEW BEST:: SOT 32404304 SOS 3263227 HAS SOPS 3263227 HAS SOUS 2788090 HAS SOUPS 2788090 WITH SCORE 2791353.227
AT ITER 2271 NEW BEST:: SOT 32404148 SOS 3262603 HAS SOPS 3262603 HAS SOUS 2787778 HAS SOUPS 2787778 WITH SCORE 2791040.603
AT ITER 2361 NEW BEST:: SOT 32401895 SOS 3264462 HAS SOPS 3264462 HAS SOUS 2786191 HAS SOUPS 2786191 WITH SCORE 2789455.462
AT ITER 2382 NEW BEST:: SOT 32402010 SOS 3264692 HAS SOPS 3264692 HAS SOUS 2785994 HAS SOUPS 2785994 WITH SCORE 2789258.692
AT ITER 2387 NEW BEST:: SOT 32402009 SOS 3264690 HAS SOPS 3264690 HAS SOUS 2785993 HAS SOUPS 2785993 WITH SCORE 2789257.69
AT ITER 2390 NEW BEST:: SOT 32401395 SOS 3267902 HAS SOPS 3267902 HAS SOUS 2785631 HAS SOUPS 2785631 WITH SCORE 2788898.902
AT ITER 2398 NEW BEST:: SOT 32401431 SOS 3267974 HAS SOPS 3267974 HAS SOUS 2785484 HAS SOUPS 2785484 WITH SCORE 2788751.974
AT ITER 2437 NEW BEST:: SOT 32401431 SOS 3267831 HAS SOPS 3267831 HAS SOUS 2785447 HAS SOUPS 2785447 WITH SCORE 2788714.831
AT ITER 2503 NEW BEST:: SOT 32401431 SOS 3267831 HAS SOPS 3267831 HAS SOUS 2785377 HAS SOUPS 2785377 WITH SCORE 2788644.831
AT ITER 2507 NEW BEST:: SOT 32401431 SOS 3267831 HAS SOPS 3267831 HAS SOUS 2785375 HAS SOUPS 2785375 WITH SCORE 2788642.831
AT ITER 2523 NEW BEST:: SOT 32401431 SOS 3267586 HAS SOPS 3267586 HAS SOUS 2785374 HAS SOUPS 2785374 WITH SCORE 2788641.586
AT ITER 2529 NEW BEST:: SOT 32401165 SOS 3267320 HAS SOPS 3267320 HAS SOUS 2785108 HAS SOUPS 2785108 WITH SCORE 2788375.32
AT ITER 2579 NEW BEST:: SOT 32401169 SOS 3267119 HAS SOPS 3267119 HAS SOUS 2784907 HAS SOUPS 2784907 WITH SCORE 2788174.119
AT ITER 2594 NEW BEST:: SOT 32400578 SOS 3266891 HAS SOPS 3266891 HAS SOUS 2784415 HAS SOUPS 2784415 WITH SCORE 2787681.891
AT ITER 2634 NEW BEST:: SOT 32400578 SOS 3266329 HAS SOPS 3266329 HAS SOUS 2784413 HAS SOUPS 2784413 WITH SCORE 2787679.329
AT ITER 2641 NEW BEST:: SOT 32400578 SOS 3266211 HAS SOPS 3266211 HAS SOUS 2784405 HAS SOUPS 2784405 WITH SCORE 2787671.211
AT ITER 2651 NEW BEST:: SOT 32400373 SOS 3266005 HAS SOPS 3266005 HAS SOUS 2784199 HAS SOUPS 2784199 WITH SCORE 2787465.005
AT ITER 2658 NEW BEST:: SOT 32400373 SOS 3266005 HAS SOPS 3266005 HAS SOUS 2784137 HAS SOUPS 2784137 WITH SCORE 2787403.005
AT ITER 2659 NEW BEST:: SOT 32400041 SOS 3265673 HAS SOPS 3265673 HAS SOUS 2783805 HAS SOUPS 2783805 WITH SCORE 2787070.673
AT ITER 2660 NEW BEST:: SOT 32400134 SOS 3265642 HAS SOPS 3265642 HAS SOUS 2783572 HAS SOUPS 2783572 WITH SCORE 2786837.642
AT ITER 2692 NEW BEST:: SOT 32400011 SOS 3265396 HAS SOPS 3265396 HAS SOUS 2783415 HAS SOUPS 2783415 WITH SCORE 2786680.396
AT ITER 2725 NEW BEST:: SOT 32400011 SOS 3265268 HAS SOPS 3265268 HAS SOUS 2783287 HAS SOUPS 2783287 WITH SCORE 2786552.268
AT ITER 2745 NEW BEST:: SOT 32397457 SOS 3267432 HAS SOPS 3267432 HAS SOUS 2780816 HAS SOUPS 2780816 WITH SCORE 2784083.432
AT ITER 2754 NEW BEST:: SOT 32397630 SOS 3268716 HAS SOPS 3268716 HAS SOUS 2780701 HAS SOUPS 2780701 WITH SCORE 2783969.716
AT ITER 2756 NEW BEST:: SOT 32397630 SOS 3268716 HAS SOPS 3268716 HAS SOUS 2780697 HAS SOUPS 2780697 WITH SCORE 2783965.716
AT ITER 2779 NEW BEST:: SOT 32397187 SOS 3268288 HAS SOPS 3268288 HAS SOUS 2780254 HAS SOUPS 2780254 WITH SCORE 2783522.288
AT ITER 2780 NEW BEST:: SOT 32397186 SOS 3268286 HAS SOPS 3268286 HAS SOUS 2780253 HAS SOUPS 2780253 WITH SCORE 2783521.286
AT ITER 2791 NEW BEST:: SOT 32397186 SOS 3268237 HAS SOPS 3268237 HAS SOUS 2780204 HAS SOUPS 2780204 WITH SCORE 2783472.237
AT ITER 2795 NEW BEST:: SOT 32396648 SOS 3269641 HAS SOPS 3269641 HAS SOUS 2780189 HAS SOUPS 2780189 WITH SCORE 2783458.641
AT ITER 2806 NEW BEST:: SOT 32396473 SOS 3268994 HAS SOPS 3268994 HAS SOUS 2779717 HAS SOUPS 2779717 WITH SCORE 2782985.994
AT ITER 2807 NEW BEST:: SOT 32396473 SOS 3268994 HAS SOPS 3268994 HAS SOUS 2779698 HAS SOUPS 2779698 WITH SCORE 2782966.994
AT ITER 2815 NEW BEST:: SOT 32395332 SOS 3267690 HAS SOPS 3267690 HAS SOUS 2778394 HAS SOUPS 2778394 WITH SCORE 2781661.69
AT ITER 2831 NEW BEST:: SOT 32395192 SOS 3268682 HAS SOPS 3268682 HAS SOUS 2777875 HAS SOUPS 2777875 WITH SCORE 2781143.682
AT ITER 2881 NEW BEST:: SOT 32395124 SOS 3268546 HAS SOPS 3268546 HAS SOUS 2777875 HAS SOUPS 2777875 WITH SCORE 2781143.546
AT ITER 2890 NEW BEST:: SOT 32395124 SOS 3268512 HAS SOPS 3268512 HAS SOUS 2777875 HAS SOUPS 2777875 WITH SCORE 2781143.512
AT ITER 2896 NEW BEST:: SOT 32394186 SOS 3268049 HAS SOPS 3268049 HAS SOUS 2777029 HAS SOUPS 2777029 WITH SCORE 2780297.049
AT ITER 2952 NEW BEST:: SOT 32394072 SOS 3267935 HAS SOPS 3267935 HAS SOUS 2776896 HAS SOUPS 2776896 WITH SCORE 2780163.935
AT ITER 2962 NEW BEST:: SOT 32394080 SOS 3268738 HAS SOPS 3268738 HAS SOUS 2776670 HAS SOUPS 2776670 WITH SCORE 2779938.738
AT ITER 2971 NEW BEST:: SOT 32393674 SOS 3268332 HAS SOPS 3268332 HAS SOUS 2776264 HAS SOUPS 2776264 WITH SCORE 2779532.332
AT ITER 2975 NEW BEST:: SOT 32393829 SOS 3268177 HAS SOPS 3268177 HAS SOUS 2776264 HAS SOUPS 2776264 WITH SCORE 2779532.177
AT ITER 2996 NEW BEST:: SOT 32393685 SOS 3268033 HAS SOPS 3268033 HAS SOUS 2776120 HAS SOUPS 2776120 WITH SCORE 2779388.033
AT ITER 3013 NEW BEST:: SOT 32393388 SOS 3267736 HAS SOPS 3267736 HAS SOUS 2775823 HAS SOUPS 2775823 WITH SCORE 2779090.736
AT ITER 3022 NEW BEST:: SOT 32392178 SOS 3266966 HAS SOPS 3266966 HAS SOUS 2774723 HAS SOUPS 2774723 WITH SCORE 2777989.966
AT ITER 3026 NEW BEST:: SOT 32392152 SOS 3266966 HAS SOPS 3266966 HAS SOUS 2774697 HAS SOUPS 2774697 WITH SCORE 2777963.966
AT ITER 3069 NEW BEST:: SOT 32392083 SOS 3266581 HAS SOPS 3266581 HAS SOUS 2774381 HAS SOUPS 2774381 WITH SCORE 2777647.581
AT ITER 3080 NEW BEST:: SOT 32392007 SOS 3266084 HAS SOPS 3266084 HAS SOUS 2773960 HAS SOUPS 2773960 WITH SCORE 2777226.084
AT ITER 3091 NEW BEST:: SOT 32390054 SOS 3266456 HAS SOPS 3266456 HAS SOUS 2771645 HAS SOUPS 2771645 WITH SCORE 2774911.456
AT ITER 3106 NEW BEST:: SOT 32390054 SOS 3266443 HAS SOPS 3266443 HAS SOUS 2771632 HAS SOUPS 2771632 WITH SCORE 2774898.443
AT ITER 3112 NEW BEST:: SOT 32390004 SOS 3266714 HAS SOPS 3266714 HAS SOUS 2771582 HAS SOUPS 2771582 WITH SCORE 2774848.714
AT ITER 3139 NEW BEST:: SOT 32389839 SOS 3266606 HAS SOPS 3266606 HAS SOUS 2771364 HAS SOUPS 2771364 WITH SCORE 2774630.606
AT ITER 3145 NEW BEST:: SOT 32389662 SOS 3266804 HAS SOPS 3266804 HAS SOUS 2771198 HAS SOUPS 2771198 WITH SCORE 2774464.804
AT ITER 3153 NEW BEST:: SOT 32389567 SOS 3266614 HAS SOPS 3266614 HAS SOUS 2771096 HAS SOUPS 2771096 WITH SCORE 2774362.614
AT ITER 3209 NEW BEST:: SOT 32389567 SOS 3266425 HAS SOPS 3266425 HAS SOUS 2771096 HAS SOUPS 2771096 WITH SCORE 2774362.425
AT ITER 3254 NEW BEST:: SOT 32389567 SOS 3265492 HAS SOPS 3265492 HAS SOUS 2770785 HAS SOUPS 2770785 WITH SCORE 2774050.492
AT ITER 3255 NEW BEST:: SOT 32389516 SOS 3265492 HAS SOPS 3265492 HAS SOUS 2770683 HAS SOUPS 2770683 WITH SCORE 2773948.492
AT ITER 3279 NEW BEST:: SOT 32389515 SOS 3265174 HAS SOPS 3265174 HAS SOUS 2770366 HAS SOUPS 2770366 WITH SCORE 2773631.174
AT ITER 3309 NEW BEST:: SOT 32389368 SOS 3265594 HAS SOPS 3265594 HAS SOUS 2770345 HAS SOUPS 2770345 WITH SCORE 2773610.594
AT ITER 3336 NEW BEST:: SOT 32389349 SOS 3265556 HAS SOPS 3265556 HAS SOUS 2770307 HAS SOUPS 2770307 WITH SCORE 2773572.556
AT ITER 3493 NEW BEST:: SOT 32389349 SOS 3265388 HAS SOPS 3265388 HAS SOUS 2770306 HAS SOUPS 2770306 WITH SCORE 2773571.388
AT ITER 3526 NEW BEST:: SOT 32388804 SOS 3265368 HAS SOPS 3265368 HAS SOUS 2769937 HAS SOUPS 2769937 WITH SCORE 2773202.368
AT ITER 3535 NEW BEST:: SOT 32388804 SOS 3265313 HAS SOPS 3265313 HAS SOUS 2769882 HAS SOUPS 2769882 WITH SCORE 2773147.313
AT ITER 3626 NEW BEST:: SOT 32388408 SOS 3265079 HAS SOPS 3265079 HAS SOUS 2769512 HAS SOUPS 2769512 WITH SCORE 2772777.079
AT ITER 3669 NEW BEST:: SOT 32387854 SOS 3264333 HAS SOPS 3264333 HAS SOUS 2768766 HAS SOUPS 2768766 WITH SCORE 2772030.333
AT ITER 3740 NEW BEST:: SOT 32386214 SOS 3265298 HAS SOPS 3265298 HAS SOUS 2767126 HAS SOUPS 2767126 WITH SCORE 2770391.298
AT ITER 3755 NEW BEST:: SOT 32385973 SOS 3265057 HAS SOPS 3265057 HAS SOUS 2766885 HAS SOUPS 2766885 WITH SCORE 2770150.057
AT ITER 3769 NEW BEST:: SOT 32386136 SOS 3265383 HAS SOPS 3265383 HAS SOUS 2766195 HAS SOUPS 2766195 WITH SCORE 2769460.383
AT ITER 3821 NEW BEST:: SOT 32385736 SOS 3261383 HAS SOPS 3261383 HAS SOUS 2765392 HAS SOUPS 2765392 WITH SCORE 2768653.383
AT ITER 3829 NEW BEST:: SOT 32385575 SOS 3261283 HAS SOPS 3261283 HAS SOUS 2765231 HAS SOUPS 2765231 WITH SCORE 2768492.283
AT ITER 3840 NEW BEST:: SOT 32385412 SOS 3261120 HAS SOPS 3261120 HAS SOUS 2765068 HAS SOUPS 2765068 WITH SCORE 2768329.12
AT ITER 3849 NEW BEST:: SOT 32385412 SOS 3261034 HAS SOPS 3261034 HAS SOUS 2765068 HAS SOUPS 2765068 WITH SCORE 2768329.034
AT ITER 3854 NEW BEST:: SOT 32385412 SOS 3260752 HAS SOPS 3260752 HAS SOUS 2765068 HAS SOUPS 2765068 WITH SCORE 2768328.752
AT ITER 3858 NEW BEST:: SOT 32385412 SOS 3260607 HAS SOPS 3260607 HAS SOUS 2765063 HAS SOUPS 2765063 WITH SCORE 2768323.607
AT ITER 3860 NEW BEST:: SOT 32385412 SOS 3260540 HAS SOPS 3260540 HAS SOUS 2765063 HAS SOUPS 2765063 WITH SCORE 2768323.54
AT ITER 3890 NEW BEST:: SOT 32385412 SOS 3260316 HAS SOPS 3260316 HAS SOUS 2765062 HAS SOUPS 2765062 WITH SCORE 2768322.316
AT ITER 4006 NEW BEST:: SOT 32384904 SOS 3259808 HAS SOPS 3259808 HAS SOUS 2764046 HAS SOUPS 2764046 WITH SCORE 2767305.808
AT ITER 4092 NEW BEST:: SOT 32384885 SOS 3259751 HAS SOPS 3259751 HAS SOUS 2764027 HAS SOUPS 2764027 WITH SCORE 2767286.751
AT ITER 4100 NEW BEST:: SOT 32384885 SOS 3259673 HAS SOPS 3259673 HAS SOUS 2764027 HAS SOUPS 2764027 WITH SCORE 2767286.673
AT ITER 4131 NEW BEST:: SOT 32384936 SOS 3259034 HAS SOPS 3259034 HAS SOUS 2763824 HAS SOUPS 2763824 WITH SCORE 2767083.034
AT ITER 4141 NEW BEST:: SOT 32384935 SOS 3259032 HAS SOPS 3259032 HAS SOUS 2763823 HAS SOUPS 2763823 WITH SCORE 2767082.032
AT ITER 4155 NEW BEST:: SOT 32384935 SOS 3259032 HAS SOPS 3259032 HAS SOUS 2763780 HAS SOUPS 2763780 WITH SCORE 2767039.032
AT ITER 4163 NEW BEST:: SOT 32385108 SOS 3259902 HAS SOPS 3259902 HAS SOUS 2763749 HAS SOUPS 2763749 WITH SCORE 2767008.902
AT ITER 4217 NEW BEST:: SOT 32385576 SOS 3260465 HAS SOPS 3260465 HAS SOUS 2763516 HAS SOUPS 2763516 WITH SCORE 2766776.465
AT ITER 4241 NEW BEST:: SOT 32385392 SOS 3259729 HAS SOPS 3259729 HAS SOUS 2763332 HAS SOUPS 2763332 WITH SCORE 2766591.729
AT ITER 4302 NEW BEST:: SOT 32385364 SOS 3259673 HAS SOPS 3259673 HAS SOUS 2763276 HAS SOUPS 2763276 WITH SCORE 2766535.673
AT ITER 4308 NEW BEST:: SOT 32384807 SOS 3258870 HAS SOPS 3258870 HAS SOUS 2762408 HAS SOUPS 2762408 WITH SCORE 2765666.87
AT ITER 4318 NEW BEST:: SOT 32384860 SOS 3258701 HAS SOPS 3258701 HAS SOUS 2762239 HAS SOUPS 2762239 WITH SCORE 2765497.701
AT ITER 4326 NEW BEST:: SOT 32384860 SOS 3258701 HAS SOPS 3258701 HAS SOUS 2762218 HAS SOUPS 2762218 WITH SCORE 2765476.701
AT ITER 4358 NEW BEST:: SOT 32384737 SOS 3258455 HAS SOPS 3258455 HAS SOUS 2761624 HAS SOUPS 2761624 WITH SCORE 2764882.455
AT ITER 4384 NEW BEST:: SOT 32384646 SOS 3258489 HAS SOPS 3258489 HAS SOUS 2761463 HAS SOUPS 2761463 WITH SCORE 2764721.489
AT ITER 4410 NEW BEST:: SOT 32384628 SOS 3258453 HAS SOPS 3258453 HAS SOUS 2761445 HAS SOUPS 2761445 WITH SCORE 2764703.453
AT ITER 4463 NEW BEST:: SOT 32380801 SOS 3274800 HAS SOPS 3274800 HAS SOUS 2760910 HAS SOUPS 2760910 WITH SCORE 2764184.8
AT ITER 4524 NEW BEST:: SOT 32379896 SOS 3274295 HAS SOPS 3274295 HAS SOUS 2760005 HAS SOUPS 2760005 WITH SCORE 2763279.295
AT ITER 4531 NEW BEST:: SOT 32379728 SOS 3273959 HAS SOPS 3273959 HAS SOUS 2759669 HAS SOUPS 2759669 WITH SCORE 2762942.959
AT ITER 4609 NEW BEST:: SOT 32379667 SOS 3273837 HAS SOPS 3273837 HAS SOUS 2759547 HAS SOUPS 2759547 WITH SCORE 2762820.837
AT ITER 4636 NEW BEST:: SOT 32379261 SOS 3276165 HAS SOPS 3276165 HAS SOUS 2758972 HAS SOUPS 2758972 WITH SCORE 2762248.165
AT ITER 4642 NEW BEST:: SOT 32379149 SOS 3275941 HAS SOPS 3275941 HAS SOUS 2758748 HAS SOUPS 2758748 WITH SCORE 2762023.941
AT ITER 4659 NEW BEST:: SOT 32379061 SOS 3276595 HAS SOPS 3276595 HAS SOUS 2758660 HAS SOUPS 2758660 WITH SCORE 2761936.595
AT ITER 4686 NEW BEST:: SOT 32378896 SOS 3276265 HAS SOPS 3276265 HAS SOUS 2758564 HAS SOUPS 2758564 WITH SCORE 2761840.265
AT ITER 4720 NEW BEST:: SOT 32378799 SOS 3275974 HAS SOPS 3275974 HAS SOUS 2758369 HAS SOUPS 2758369 WITH SCORE 2761644.974
AT ITER 4732 NEW BEST:: SOT 32378501 SOS 3275676 HAS SOPS 3275676 HAS SOUS 2758193 HAS SOUPS 2758193 WITH SCORE 2761468.676
AT ITER 4756 NEW BEST:: SOT 32378501 SOS 3275608 HAS SOPS 3275608 HAS SOUS 2758193 HAS SOUPS 2758193 WITH SCORE 2761468.608
AT ITER 4759 NEW BEST:: SOT 32378359 SOS 3275465 HAS SOPS 3275465 HAS SOUS 2758050 HAS SOUPS 2758050 WITH SCORE 2761325.465
AT ITER 4886 NEW BEST:: SOT 32378122 SOS 3274991 HAS SOPS 3274991 HAS SOUS 2757576 HAS SOUPS 2757576 WITH SCORE 2760850.991
AT ITER 4900 NEW BEST:: SOT 32378037 SOS 3274821 HAS SOPS 3274821 HAS SOUS 2757490 HAS SOUPS 2757490 WITH SCORE 2760764.821
AT ITER 4941 NEW BEST:: SOT 32378037 SOS 3274753 HAS SOPS 3274753 HAS SOUS 2757489 HAS SOUPS 2757489 WITH SCORE 2760763.753
AT ITER 5000 NEW BEST:: SOT 32377364 SOS 3278819 HAS SOPS 3278819 HAS SOUS 2757360 HAS SOUPS 2757360 WITH SCORE 2760638.819
AT ITER 5013 NEW BEST:: SOT 32377158 SOS 3278407 HAS SOPS 3278407 HAS SOUS 2756833 HAS SOUPS 2756833 WITH SCORE 2760111.407
AT ITER 5041 NEW BEST:: SOT 32376938 SOS 3277967 HAS SOPS 3277967 HAS SOUS 2756190 HAS SOUPS 2756190 WITH SCORE 2759467.967
AT ITER 5049 NEW BEST:: SOT 32376830 SOS 3277751 HAS SOPS 3277751 HAS SOUS 2756062 HAS SOUPS 2756062 WITH SCORE 2759339.751
AT ITER 5076 NEW BEST:: SOT 32373126 SOS 3293169 HAS SOPS 3293169 HAS SOUS 2755740 HAS SOUPS 2755740 WITH SCORE 2759033.169
AT ITER 5104 NEW BEST:: SOT 32373126 SOS 3293168 HAS SOPS 3293168 HAS SOUS 2755703 HAS SOUPS 2755703 WITH SCORE 2758996.168
AT ITER 5136 NEW BEST:: SOT 32372605 SOS 3292647 HAS SOPS 3292647 HAS SOUS 2755182 HAS SOUPS 2755182 WITH SCORE 2758474.647
AT ITER 5150 NEW BEST:: SOT 32372371 SOS 3292849 HAS SOPS 3292849 HAS SOUS 2754955 HAS SOUPS 2754955 WITH SCORE 2758247.849
AT ITER 5151 NEW BEST:: SOT 32371944 SOS 3292392 HAS SOPS 3292392 HAS SOUS 2753208 HAS SOUPS 2753208 WITH SCORE 2756500.392
AT ITER 5155 NEW BEST:: SOT 32370617 SOS 3292112 HAS SOPS 3292112 HAS SOUS 2751881 HAS SOUPS 2751881 WITH SCORE 2755173.112
AT ITER 5172 NEW BEST:: SOT 32370884 SOS 3291429 HAS SOPS 3291429 HAS SOUS 2751448 HAS SOUPS 2751448 WITH SCORE 2754739.429
AT ITER 5175 NEW BEST:: SOT 32370869 SOS 3291470 HAS SOPS 3291470 HAS SOUS 2751362 HAS SOUPS 2751362 WITH SCORE 2754653.47
AT ITER 5209 NEW BEST:: SOT 32370457 SOS 3291434 HAS SOPS 3291434 HAS SOUS 2751081 HAS SOUPS 2751081 WITH SCORE 2754372.434
AT ITER 5233 NEW BEST:: SOT 32369506 SOS 3290494 HAS SOPS 3290494 HAS SOUS 2750110 HAS SOUPS 2750110 WITH SCORE 2753400.494
AT ITER 5247 NEW BEST:: SOT 32369506 SOS 3290180 HAS SOPS 3290180 HAS SOUS 2750110 HAS SOUPS 2750110 WITH SCORE 2753400.18
AT ITER 5256 NEW BEST:: SOT 32369484 SOS 3290136 HAS SOPS 3290136 HAS SOUS 2750066 HAS SOUPS 2750066 WITH SCORE 2753356.136
AT ITER 5274 NEW BEST:: SOT 32369779 SOS 3290726 HAS SOPS 3290726 HAS SOUS 2749883 HAS SOUPS 2749883 WITH SCORE 2753173.726
AT ITER 5335 NEW BEST:: SOT 32369315 SOS 3290573 HAS SOPS 3290573 HAS SOUS 2749574 HAS SOUPS 2749574 WITH SCORE 2752864.573
AT ITER 5340 NEW BEST:: SOT 32369226 SOS 3290128 HAS SOPS 3290128 HAS SOUS 2749396 HAS SOUPS 2749396 WITH SCORE 2752686.128
AT ITER 5410 NEW BEST:: SOT 32369030 SOS 3289832 HAS SOPS 3289832 HAS SOUS 2749166 HAS SOUPS 2749166 WITH SCORE 2752455.832
AT ITER 5413 NEW BEST:: SOT 32368924 SOS 3289620 HAS SOPS 3289620 HAS SOUS 2748954 HAS SOUPS 2748954 WITH SCORE 2752243.62
AT ITER 5419 NEW BEST:: SOT 32368924 SOS 3289425 HAS SOPS 3289425 HAS SOUS 2748759 HAS SOUPS 2748759 WITH SCORE 2752048.425
AT ITER 5429 NEW BEST:: SOT 32368719 SOS 3289015 HAS SOPS 3289015 HAS SOUS 2748349 HAS SOUPS 2748349 WITH SCORE 2751638.015
AT ITER 5475 NEW BEST:: SOT 32368627 SOS 3288861 HAS SOPS 3288861 HAS SOUS 2748200 HAS SOUPS 2748200 WITH SCORE 2751488.861
AT ITER 5500 NEW BEST:: SOT 32368627 SOS 3288251 HAS SOPS 3288251 HAS SOUS 2748065 HAS SOUPS 2748065 WITH SCORE 2751353.251
AT ITER 5503 NEW BEST:: SOT 32366669 SOS 3286934 HAS SOPS 3286934 HAS SOUS 2746169 HAS SOUPS 2746169 WITH SCORE 2749455.934
AT ITER 5506 NEW BEST:: SOT 32366645 SOS 3286946 HAS SOPS 3286946 HAS SOUS 2746145 HAS SOUPS 2746145 WITH SCORE 2749431.946
AT ITER 5554 NEW BEST:: SOT 32366232 SOS 3283378 HAS SOPS 3283378 HAS SOUS 2745753 HAS SOUPS 2745753 WITH SCORE 2749036.378
AT ITER 5559 NEW BEST:: SOT 32366163 SOS 3283240 HAS SOPS 3283240 HAS SOUS 2745111 HAS SOUPS 2745111 WITH SCORE 2748394.24
AT ITER 5584 NEW BEST:: SOT 32366219 SOS 3282982 HAS SOPS 3282982 HAS SOUS 2744625 HAS SOUPS 2744625 WITH SCORE 2747907.982
AT ITER 5592 NEW BEST:: SOT 32362785 SOS 3280364 HAS SOPS 3280364 HAS SOUS 2741401 HAS SOUPS 2741401 WITH SCORE 2744681.364
AT ITER 5649 NEW BEST:: SOT 32362785 SOS 3280162 HAS SOPS 3280162 HAS SOUS 2741401 HAS SOUPS 2741401 WITH SCORE 2744681.162
AT ITER 5681 NEW BEST:: SOT 32362776 SOS 3279904 HAS SOPS 3279904 HAS SOUS 2741392 HAS SOUPS 2741392 WITH SCORE 2744671.904
AT ITER 5734 NEW BEST:: SOT 32362487 SOS 3279326 HAS SOPS 3279326 HAS SOUS 2740956 HAS SOUPS 2740956 WITH SCORE 2744235.326
AT ITER 5738 NEW BEST:: SOT 32362537 SOS 3279226 HAS SOPS 3279226 HAS SOUS 2740956 HAS SOUPS 2740956 WITH SCORE 2744235.226
AT ITER 5743 NEW BEST:: SOT 32362537 SOS 3279069 HAS SOPS 3279069 HAS SOUS 2740790 HAS SOUPS 2740790 WITH SCORE 2744069.069
AT ITER 5756 NEW BEST:: SOT 32362361 SOS 3278541 HAS SOPS 3278541 HAS SOUS 2740614 HAS SOUPS 2740614 WITH SCORE 2743892.541
AT ITER 5787 NEW BEST:: SOT 32360717 SOS 3276897 HAS SOPS 3276897 HAS SOUS 2738970 HAS SOUPS 2738970 WITH SCORE 2742246.897
AT ITER 5823 NEW BEST:: SOT 32360717 SOS 3276897 HAS SOPS 3276897 HAS SOUS 2738936 HAS SOUPS 2738936 WITH SCORE 2742212.897
AT ITER 5850 NEW BEST:: SOT 32360448 SOS 3276359 HAS SOPS 3276359 HAS SOUS 2738398 HAS SOUPS 2738398 WITH SCORE 2741674.359
AT ITER 5881 NEW BEST:: SOT 32360448 SOS 3276358 HAS SOPS 3276358 HAS SOUS 2738397 HAS SOUPS 2738397 WITH SCORE 2741673.358
AT ITER 5894 NEW BEST:: SOT 32359828 SOS 3275768 HAS SOPS 3275768 HAS SOUS 2737777 HAS SOUPS 2737777 WITH SCORE 2741052.768
AT ITER 5916 NEW BEST:: SOT 32360041 SOS 3276194 HAS SOPS 3276194 HAS SOUS 2737359 HAS SOUPS 2737359 WITH SCORE 2740635.194
AT ITER 5937 NEW BEST:: SOT 32359330 SOS 3275720 HAS SOPS 3275720 HAS SOUS 2736648 HAS SOUPS 2736648 WITH SCORE 2739923.72
AT ITER 6050 NEW BEST:: SOT 32359014 SOS 3275088 HAS SOPS 3275088 HAS SOUS 2736000 HAS SOUPS 2736000 WITH SCORE 2739275.088
AT ITER 6055 NEW BEST:: SOT 32358607 SOS 3274882 HAS SOPS 3274882 HAS SOUS 2735289 HAS SOUPS 2735289 WITH SCORE 2738563.882
AT ITER 6069 NEW BEST:: SOT 32358552 SOS 3274772 HAS SOPS 3274772 HAS SOUS 2735240 HAS SOUPS 2735240 WITH SCORE 2738514.772
AT ITER 6097 NEW BEST:: SOT 32358316 SOS 3274771 HAS SOPS 3274771 HAS SOUS 2735239 HAS SOUPS 2735239 WITH SCORE 2738513.771
AT ITER 6099 NEW BEST:: SOT 32358219 SOS 3274577 HAS SOPS 3274577 HAS SOUS 2734591 HAS SOUPS 2734591 WITH SCORE 2737865.577
AT ITER 6107 NEW BEST:: SOT 32358160 SOS 3274629 HAS SOPS 3274629 HAS SOUS 2734541 HAS SOUPS 2734541 WITH SCORE 2737815.629
AT ITER 6113 NEW BEST:: SOT 32358160 SOS 3274413 HAS SOPS 3274413 HAS SOUS 2734325 HAS SOUPS 2734325 WITH SCORE 2737599.413
AT ITER 6115 NEW BEST:: SOT 32358279 SOS 3274294 HAS SOPS 3274294 HAS SOUS 2734325 HAS SOUPS 2734325 WITH SCORE 2737599.294
AT ITER 6140 NEW BEST:: SOT 32358279 SOS 3274255 HAS SOPS 3274255 HAS SOUS 2734286 HAS SOUPS 2734286 WITH SCORE 2737560.255
AT ITER 6181 NEW BEST:: SOT 32358279 SOS 3274193 HAS SOPS 3274193 HAS SOUS 2734286 HAS SOUPS 2734286 WITH SCORE 2737560.193
AT ITER 6192 NEW BEST:: SOT 32358129 SOS 3273492 HAS SOPS 3273492 HAS SOUS 2733480 HAS SOUPS 2733480 WITH SCORE 2736753.492
AT ITER 6216 NEW BEST:: SOT 32358129 SOS 3273492 HAS SOPS 3273492 HAS SOUS 2733420 HAS SOUPS 2733420 WITH SCORE 2736693.492
AT ITER 6222 NEW BEST:: SOT 32358054 SOS 3272612 HAS SOPS 3272612 HAS SOUS 2732979 HAS SOUPS 2732979 WITH SCORE 2736251.612
AT ITER 6241 NEW BEST:: SOT 32358054 SOS 3272392 HAS SOPS 3272392 HAS SOUS 2732767 HAS SOUPS 2732767 WITH SCORE 2736039.392
AT ITER 6262 NEW BEST:: SOT 32358033 SOS 3272350 HAS SOPS 3272350 HAS SOUS 2732725 HAS SOUPS 2732725 WITH SCORE 2735997.35
AT ITER 6368 NEW BEST:: SOT 32358013 SOS 3272290 HAS SOPS 3272290 HAS SOUS 2732685 HAS SOUPS 2732685 WITH SCORE 2735957.29
AT ITER 6402 NEW BEST:: SOT 32358013 SOS 3271983 HAS SOPS 3271983 HAS SOUS 2732378 HAS SOUPS 2732378 WITH SCORE 2735649.983
AT ITER 6426 NEW BEST:: SOT 32357540 SOS 3268417 HAS SOPS 3268417 HAS SOUS 2731905 HAS SOUPS 2731905 WITH SCORE 2735173.417
AT ITER 6460 NEW BEST:: SOT 32355896 SOS 3266773 HAS SOPS 3266773 HAS SOUS 2730261 HAS SOUPS 2730261 WITH SCORE 2733527.773
AT ITER 6552 NEW BEST:: SOT 32355841 SOS 3264577 HAS SOPS 3264577 HAS SOUS 2729442 HAS SOUPS 2729442 WITH SCORE 2732706.577
AT ITER 6570 NEW BEST:: SOT 32355836 SOS 3265079 HAS SOPS 3265079 HAS SOUS 2729203 HAS SOUPS 2729203 WITH SCORE 2732468.079
AT ITER 6643 NEW BEST:: SOT 32356073 SOS 3265553 HAS SOPS 3265553 HAS SOUS 2729115 HAS SOUPS 2729115 WITH SCORE 2732380.553
AT ITER 6644 NEW BEST:: SOT 32355848 SOS 3265328 HAS SOPS 3265328 HAS SOUS 2728890 HAS SOUPS 2728890 WITH SCORE 2732155.328
AT ITER 6661 NEW BEST:: SOT 32355736 SOS 3265328 HAS SOPS 3265328 HAS SOUS 2728778 HAS SOUPS 2728778 WITH SCORE 2732043.328
AT ITER 6666 NEW BEST:: SOT 32356130 SOS 3265328 HAS SOPS 3265328 HAS SOUS 2728768 HAS SOUPS 2728768 WITH SCORE 2732033.328
AT ITER 6758 NEW BEST:: SOT 32355970 SOS 3264688 HAS SOPS 3264688 HAS SOUS 2728448 HAS SOUPS 2728448 WITH SCORE 2731712.688
AT ITER 6760 NEW BEST:: SOT 32355970 SOS 3264366 HAS SOPS 3264366 HAS SOUS 2728447 HAS SOUPS 2728447 WITH SCORE 2731711.366
AT ITER 6783 NEW BEST:: SOT 32355575 SOS 3263971 HAS SOPS 3263971 HAS SOUS 2728052 HAS SOUPS 2728052 WITH SCORE 2731315.971
AT ITER 6823 NEW BEST:: SOT 32355489 SOS 3263885 HAS SOPS 3263885 HAS SOUS 2727923 HAS SOUPS 2727923 WITH SCORE 2731186.885
AT ITER 6844 NEW BEST:: SOT 32355845 SOS 3263529 HAS SOPS 3263529 HAS SOUS 2727923 HAS SOUPS 2727923 WITH SCORE 2731186.529
AT ITER 6854 NEW BEST:: SOT 32354128 SOS 3263371 HAS SOPS 3263371 HAS SOUS 2726346 HAS SOUPS 2726346 WITH SCORE 2729609.371
AT ITER 6868 NEW BEST:: SOT 32353889 SOS 3263593 HAS SOPS 3263593 HAS SOUS 2726136 HAS SOUPS 2726136 WITH SCORE 2729399.593
AT ITER 6869 NEW BEST:: SOT 32352336 SOS 3275903 HAS SOPS 3275903 HAS SOUS 2726110 HAS SOUPS 2726110 WITH SCORE 2729385.903
AT ITER 6873 NEW BEST:: SOT 32352436 SOS 3274938 HAS SOPS 3274938 HAS SOUS 2726077 HAS SOUPS 2726077 WITH SCORE 2729351.938
AT ITER 6891 NEW BEST:: SOT 32352121 SOS 3275362 HAS SOPS 3275362 HAS SOUS 2726072 HAS SOUPS 2726072 WITH SCORE 2729347.362
AT ITER 6893 NEW BEST:: SOT 32352026 SOS 3275077 HAS SOPS 3275077 HAS SOUS 2725881 HAS SOUPS 2725881 WITH SCORE 2729156.077
AT ITER 6954 NEW BEST:: SOT 32351091 SOS 3274329 HAS SOPS 3274329 HAS SOUS 2725133 HAS SOUPS 2725133 WITH SCORE 2728407.329
AT ITER 6975 NEW BEST:: SOT 32350479 SOS 3274160 HAS SOPS 3274160 HAS SOUS 2724732 HAS SOUPS 2724732 WITH SCORE 2728006.16
AT ITER 6976 NEW BEST:: SOT 32350451 SOS 3274104 HAS SOPS 3274104 HAS SOUS 2724704 HAS SOUPS 2724704 WITH SCORE 2727978.104
AT ITER 7005 NEW BEST:: SOT 32345137 SOS 3268734 HAS SOPS 3268734 HAS SOUS 2719390 HAS SOUPS 2719390 WITH SCORE 2722658.734
AT ITER 7014 NEW BEST:: SOT 32344913 SOS 3268042 HAS SOPS 3268042 HAS SOUS 2718687 HAS SOUPS 2718687 WITH SCORE 2721955.042
AT ITER 7041 NEW BEST:: SOT 32344913 SOS 3267704 HAS SOPS 3267704 HAS SOUS 2718518 HAS SOUPS 2718518 WITH SCORE 2721785.704
AT ITER 7053 NEW BEST:: SOT 32339866 SOS 3263376 HAS SOPS 3263376 HAS SOUS 2714244 HAS SOUPS 2714244 WITH SCORE 2717507.376
AT ITER 7126 NEW BEST:: SOT 32339866 SOS 3263220 HAS SOPS 3263220 HAS SOUS 2714237 HAS SOUPS 2714237 WITH SCORE 2717500.22
AT ITER 7132 NEW BEST:: SOT 32339866 SOS 3263116 HAS SOPS 3263116 HAS SOUS 2714228 HAS SOUPS 2714228 WITH SCORE 2717491.116
AT ITER 7159 NEW BEST:: SOT 32339865 SOS 3263085 HAS SOPS 3263085 HAS SOUS 2714226 HAS SOUPS 2714226 WITH SCORE 2717489.085
AT ITER 7173 NEW BEST:: SOT 32340370 SOS 3263579 HAS SOPS 3263579 HAS SOUS 2714167 HAS SOUPS 2714167 WITH SCORE 2717430.579
AT ITER 7244 NEW BEST:: SOT 32340370 SOS 3263210 HAS SOPS 3263210 HAS SOUS 2714130 HAS SOUPS 2714130 WITH SCORE 2717393.21
AT ITER 7262 NEW BEST:: SOT 32340663 SOS 3263796 HAS SOPS 3263796 HAS SOUS 2713865 HAS SOUPS 2713865 WITH SCORE 2717128.796
AT ITER 7305 NEW BEST:: SOT 32340663 SOS 3261318 HAS SOPS 3261318 HAS SOUS 2713865 HAS SOUPS 2713865 WITH SCORE 2717126.318
AT ITER 7318 NEW BEST:: SOT 32340325 SOS 3260954 HAS SOPS 3260954 HAS SOUS 2713594 HAS SOUPS 2713594 WITH SCORE 2716854.954
AT ITER 7349 NEW BEST:: SOT 32340397 SOS 3261098 HAS SOPS 3261098 HAS SOUS 2713580 HAS SOUPS 2713580 WITH SCORE 2716841.098
AT ITER 7352 NEW BEST:: SOT 32340366 SOS 3261036 HAS SOPS 3261036 HAS SOUS 2713518 HAS SOUPS 2713518 WITH SCORE 2716779.036
AT ITER 7387 NEW BEST:: SOT 32340359 SOS 3260189 HAS SOPS 3260189 HAS SOUS 2712678 HAS SOUPS 2712678 WITH SCORE 2715938.189
AT ITER 7438 NEW BEST:: SOT 32340305 SOS 3260027 HAS SOPS 3260027 HAS SOUS 2712570 HAS SOUPS 2712570 WITH SCORE 2715830.027
AT ITER 7462 NEW BEST:: SOT 32340305 SOS 3260027 HAS SOPS 3260027 HAS SOUS 2712495 HAS SOUPS 2712495 WITH SCORE 2715755.027
AT ITER 7483 NEW BEST:: SOT 32340264 SOS 3260027 HAS SOPS 3260027 HAS SOUS 2712486 HAS SOUPS 2712486 WITH SCORE 2715746.027
AT ITER 7555 NEW BEST:: SOT 32340525 SOS 3260549 HAS SOPS 3260549 HAS SOUS 2712420 HAS SOUPS 2712420 WITH SCORE 2715680.549
AT ITER 7559 NEW BEST:: SOT 32340422 SOS 3260889 HAS SOPS 3260889 HAS SOUS 2712317 HAS SOUPS 2712317 WITH SCORE 2715577.889
AT ITER 7584 NEW BEST:: SOT 32340422 SOS 3260749 HAS SOPS 3260749 HAS SOUS 2712317 HAS SOUPS 2712317 WITH SCORE 2715577.749
AT ITER 7585 NEW BEST:: SOT 32340300 SOS 3260749 HAS SOPS 3260749 HAS SOUS 2712195 HAS SOUPS 2712195 WITH SCORE 2715455.749
AT ITER 7593 NEW BEST:: SOT 32340070 SOS 3260289 HAS SOPS 3260289 HAS SOUS 2711735 HAS SOUPS 2711735 WITH SCORE 2714995.289
AT ITER 7656 NEW BEST:: SOT 32340014 SOS 3260193 HAS SOPS 3260193 HAS SOUS 2711667 HAS SOUPS 2711667 WITH SCORE 2714927.193
AT ITER 7673 NEW BEST:: SOT 32338339 SOS 3262105 HAS SOPS 3262105 HAS SOUS 2710558 HAS SOUPS 2710558 WITH SCORE 2713820.105
AT ITER 7707 NEW BEST:: SOT 32338419 SOS 3261686 HAS SOPS 3261686 HAS SOUS 2710444 HAS SOUPS 2710444 WITH SCORE 2713705.686
AT ITER 7722 NEW BEST:: SOT 32338419 SOS 3261571 HAS SOPS 3261571 HAS SOUS 2710329 HAS SOUPS 2710329 WITH SCORE 2713590.571
AT ITER 7729 NEW BEST:: SOT 32338024 SOS 3261339 HAS SOPS 3261339 HAS SOUS 2709934 HAS SOUPS 2709934 WITH SCORE 2713195.339
AT ITER 7731 NEW BEST:: SOT 32337937 SOS 3261165 HAS SOPS 3261165 HAS SOUS 2709760 HAS SOUPS 2709760 WITH SCORE 2713021.165
AT ITER 7745 NEW BEST:: SOT 32337726 SOS 3260743 HAS SOPS 3260743 HAS SOUS 2709549 HAS SOUPS 2709549 WITH SCORE 2712809.743
AT ITER 7758 NEW BEST:: SOT 32336126 SOS 3259100 HAS SOPS 3259100 HAS SOUS 2707948 HAS SOUPS 2707948 WITH SCORE 2711207.1
AT ITER 7788 NEW BEST:: SOT 32336126 SOS 3259073 HAS SOPS 3259073 HAS SOUS 2707947 HAS SOUPS 2707947 WITH SCORE 2711206.073
AT ITER 7808 NEW BEST:: SOT 32336126 SOS 3258760 HAS SOPS 3258760 HAS SOUS 2707947 HAS SOUPS 2707947 WITH SCORE 2711205.76
AT ITER 7809 NEW BEST:: SOT 32336026 SOS 3258560 HAS SOPS 3258560 HAS SOUS 2707792 HAS SOUPS 2707792 WITH SCORE 2711050.56
AT ITER 7845 NEW BEST:: SOT 32334077 SOS 3257579 HAS SOPS 3257579 HAS SOUS 2706437 HAS SOUPS 2706437 WITH SCORE 2709694.579
AT ITER 7892 NEW BEST:: SOT 32333810 SOS 3257045 HAS SOPS 3257045 HAS SOUS 2705843 HAS SOUPS 2705843 WITH SCORE 2709100.045
AT ITER 7916 NEW BEST:: SOT 32333762 SOS 3256949 HAS SOPS 3256949 HAS SOUS 2705766 HAS SOUPS 2705766 WITH SCORE 2709022.949
AT ITER 7935 NEW BEST:: SOT 32333762 SOS 3256424 HAS SOPS 3256424 HAS SOUS 2705761 HAS SOUPS 2705761 WITH SCORE 2709017.424
AT ITER 7940 NEW BEST:: SOT 32333662 SOS 3256224 HAS SOPS 3256224 HAS SOUS 2705611 HAS SOUPS 2705611 WITH SCORE 2708867.224
AT ITER 8086 NEW BEST:: SOT 32333575 SOS 3256204 HAS SOPS 3256204 HAS SOUS 2705099 HAS SOUPS 2705099 WITH SCORE 2708355.204
AT ITER 8101 NEW BEST:: SOT 32333486 SOS 3255937 HAS SOPS 3255937 HAS SOUS 2704921 HAS SOUPS 2704921 WITH SCORE 2708176.937
AT ITER 8115 NEW BEST:: SOT 32333486 SOS 3255937 HAS SOPS 3255937 HAS SOUS 2704920 HAS SOUPS 2704920 WITH SCORE 2708175.937
AT ITER 8134 NEW BEST:: SOT 32333368 SOS 3255701 HAS SOPS 3255701 HAS SOUS 2704684 HAS SOUPS 2704684 WITH SCORE 2707939.701
AT ITER 8194 NEW BEST:: SOT 32333189 SOS 3255593 HAS SOPS 3255593 HAS SOUS 2704576 HAS SOUPS 2704576 WITH SCORE 2707831.593
AT ITER 8234 NEW BEST:: SOT 32332764 SOS 3255168 HAS SOPS 3255168 HAS SOUS 2704151 HAS SOUPS 2704151 WITH SCORE 2707406.168
AT ITER 8260 NEW BEST:: SOT 32332764 SOS 3254638 HAS SOPS 3254638 HAS SOUS 2704150 HAS SOUPS 2704150 WITH SCORE 2707404.638
AT ITER 8292 NEW BEST:: SOT 32332709 SOS 3254594 HAS SOPS 3254594 HAS SOUS 2704106 HAS SOUPS 2704106 WITH SCORE 2707360.594
AT ITER 8327 NEW BEST:: SOT 32332552 SOS 3254515 HAS SOPS 3254515 HAS SOUS 2703969 HAS SOUPS 2703969 WITH SCORE 2707223.515
AT ITER 8401 NEW BEST:: SOT 32332279 SOS 3253969 HAS SOPS 3253969 HAS SOUS 2703423 HAS SOUPS 2703423 WITH SCORE 2706676.969
AT ITER 8421 NEW BEST:: SOT 32332695 SOS 3254487 HAS SOPS 3254487 HAS SOUS 2703323 HAS SOUPS 2703323 WITH SCORE 2706577.487
AT ITER 8427 NEW BEST:: SOT 32332685 SOS 3254264 HAS SOPS 3254264 HAS SOUS 2703295 HAS SOUPS 2703295 WITH SCORE 2706549.264
AT ITER 8448 NEW BEST:: SOT 32332885 SOS 3253694 HAS SOPS 3253694 HAS SOUS 2703073 HAS SOUPS 2703073 WITH SCORE 2706326.694
AT ITER 8544 NEW BEST:: SOT 32332776 SOS 3253694 HAS SOPS 3253694 HAS SOUS 2702964 HAS SOUPS 2702964 WITH SCORE 2706217.694
AT ITER 8603 NEW BEST:: SOT 32332163 SOS 3253056 HAS SOPS 3253056 HAS SOUS 2702351 HAS SOUPS 2702351 WITH SCORE 2705604.056
AT ITER 8610 NEW BEST:: SOT 32332162 SOS 3252709 HAS SOPS 3252709 HAS SOUS 2702349 HAS SOUPS 2702349 WITH SCORE 2705601.709
AT ITER 8615 NEW BEST:: SOT 32332162 SOS 3252621 HAS SOPS 3252621 HAS SOUS 2702263 HAS SOUPS 2702263 WITH SCORE 2705515.621
AT ITER 8637 NEW BEST:: SOT 32332185 SOS 3252667 HAS SOPS 3252667 HAS SOUS 2702244 HAS SOUPS 2702244 WITH SCORE 2705496.667
AT ITER 8643 NEW BEST:: SOT 32332164 SOS 3252625 HAS SOPS 3252625 HAS SOUS 2702143 HAS SOUPS 2702143 WITH SCORE 2705395.625
AT ITER 8658 NEW BEST:: SOT 32331998 SOS 3252293 HAS SOPS 3252293 HAS SOUS 2701977 HAS SOUPS 2701977 WITH SCORE 2705229.293
AT ITER 8686 NEW BEST:: SOT 32331957 SOS 3252211 HAS SOPS 3252211 HAS SOUS 2701917 HAS SOUPS 2701917 WITH SCORE 2705169.211
AT ITER 8710 NEW BEST:: SOT 32331709 SOS 3251640 HAS SOPS 3251640 HAS SOUS 2701346 HAS SOUPS 2701346 WITH SCORE 2704597.64
AT ITER 8741 NEW BEST:: SOT 32331584 SOS 3251390 HAS SOPS 3251390 HAS SOUS 2701221 HAS SOUPS 2701221 WITH SCORE 2704472.39
AT ITER 8744 NEW BEST:: SOT 32331524 SOS 3250937 HAS SOPS 3250937 HAS SOUS 2701008 HAS SOUPS 2701008 WITH SCORE 2704258.937
AT ITER 8749 NEW BEST:: SOT 32331524 SOS 3249342 HAS SOPS 3249342 HAS SOUS 2700689 HAS SOUPS 2700689 WITH SCORE 2703938.342
AT ITER 8795 NEW BEST:: SOT 32331488 SOS 3249386 HAS SOPS 3249386 HAS SOUS 2700653 HAS SOUPS 2700653 WITH SCORE 2703902.386
AT ITER 8830 NEW BEST:: SOT 32331488 SOS 3249328 HAS SOPS 3249328 HAS SOUS 2700595 HAS SOUPS 2700595 WITH SCORE 2703844.328
AT ITER 8848 NEW BEST:: SOT 32331180 SOS 3249020 HAS SOPS 3249020 HAS SOUS 2700284 HAS SOUPS 2700284 WITH SCORE 2703533.02
AT ITER 8907 NEW BEST:: SOT 32327632 SOS 3253954 HAS SOPS 3253954 HAS SOUS 2696935 HAS SOUPS 2696935 WITH SCORE 2700188.954
AT ITER 8913 NEW BEST:: SOT 32327557 SOS 3253804 HAS SOPS 3253804 HAS SOUS 2696785 HAS SOUPS 2696785 WITH SCORE 2700038.804
AT ITER 8943 NEW BEST:: SOT 32327529 SOS 3253748 HAS SOPS 3253748 HAS SOUS 2696729 HAS SOUPS 2696729 WITH SCORE 2699982.748
AT ITER 8965 NEW BEST:: SOT 32327408 SOS 3253506 HAS SOPS 3253506 HAS SOUS 2696636 HAS SOUPS 2696636 WITH SCORE 2699889.506
AT ITER 8968 NEW BEST:: SOT 32327078 SOS 3253247 HAS SOPS 3253247 HAS SOUS 2696344 HAS SOUPS 2696344 WITH SCORE 2699597.247
AT ITER 8978 NEW BEST:: SOT 32327078 SOS 3253112 HAS SOPS 3253112 HAS SOUS 2696209 HAS SOUPS 2696209 WITH SCORE 2699462.112
AT ITER 9010 NEW BEST:: SOT 32327078 SOS 3253112 HAS SOPS 3253112 HAS SOUS 2696203 HAS SOUPS 2696203 WITH SCORE 2699456.112
AT ITER 9023 NEW BEST:: SOT 32326981 SOS 3252918 HAS SOPS 3252918 HAS SOUS 2696009 HAS SOUPS 2696009 WITH SCORE 2699261.918
AT ITER 9109 NEW BEST:: SOT 32326981 SOS 3253657 HAS SOPS 3253657 HAS SOUS 2695637 HAS SOUPS 2695637 WITH SCORE 2698890.657
AT ITER 9114 NEW BEST:: SOT 32326825 SOS 3253761 HAS SOPS 3253761 HAS SOUS 2695481 HAS SOUPS 2695481 WITH SCORE 2698734.761
AT ITER 9169 NEW BEST:: SOT 32326629 SOS 3253611 HAS SOPS 3253611 HAS SOUS 2695406 HAS SOUPS 2695406 WITH SCORE 2698659.611
AT ITER 9184 NEW BEST:: SOT 32325926 SOS 3252677 HAS SOPS 3252677 HAS SOUS 2694472 HAS SOUPS 2694472 WITH SCORE 2697724.677
AT ITER 9229 NEW BEST:: SOT 32325457 SOS 3252083 HAS SOPS 3252083 HAS SOUS 2694003 HAS SOUPS 2694003 WITH SCORE 2697255.083
AT ITER 9260 NEW BEST:: SOT 32324779 SOS 3252083 HAS SOPS 3252083 HAS SOUS 2693325 HAS SOUPS 2693325 WITH SCORE 2696577.083
AT ITER 9266 NEW BEST:: SOT 32321799 SOS 3250094 HAS SOPS 3250094 HAS SOUS 2690988 HAS SOUPS 2690988 WITH SCORE 2694238.094
AT ITER 9268 NEW BEST:: SOT 32321726 SOS 3249696 HAS SOPS 3249696 HAS SOUS 2690555 HAS SOUPS 2690555 WITH SCORE 2693804.696
AT ITER 9272 NEW BEST:: SOT 32321687 SOS 3249540 HAS SOPS 3249540 HAS SOUS 2690516 HAS SOUPS 2690516 WITH SCORE 2693765.54
AT ITER 9282 NEW BEST:: SOT 32320429 SOS 3252406 HAS SOPS 3252406 HAS SOUS 2689258 HAS SOUPS 2689258 WITH SCORE 2692510.406
AT ITER 9315 NEW BEST:: SOT 32320429 SOS 3252034 HAS SOPS 3252034 HAS SOUS 2689063 HAS SOUPS 2689063 WITH SCORE 2692315.034
AT ITER 9317 NEW BEST:: SOT 32320323 SOS 3251875 HAS SOPS 3251875 HAS SOUS 2688957 HAS SOUPS 2688957 WITH SCORE 2692208.875
AT ITER 9321 NEW BEST:: SOT 32320279 SOS 3252427 HAS SOPS 3252427 HAS SOUS 2688820 HAS SOUPS 2688820 WITH SCORE 2692072.427
AT ITER 9352 NEW BEST:: SOT 32320199 SOS 3252267 HAS SOPS 3252267 HAS SOUS 2688740 HAS SOUPS 2688740 WITH SCORE 2691992.267
AT ITER 9355 NEW BEST:: SOT 32320112 SOS 3252093 HAS SOPS 3252093 HAS SOUS 2688653 HAS SOUPS 2688653 WITH SCORE 2691905.093
AT ITER 9369 NEW BEST:: SOT 32319708 SOS 3251285 HAS SOPS 3251285 HAS SOUS 2688125 HAS SOUPS 2688125 WITH SCORE 2691376.285
AT ITER 9409 NEW BEST:: SOT 32319707 SOS 3251283 HAS SOPS 3251283 HAS SOUS 2688123 HAS SOUPS 2688123 WITH SCORE 2691374.283
AT ITER 9451 NEW BEST:: SOT 32319573 SOS 3251216 HAS SOPS 3251216 HAS SOUS 2688056 HAS SOUPS 2688056 WITH SCORE 2691307.216
AT ITER 9480 NEW BEST:: SOT 32319045 SOS 3250160 HAS SOPS 3250160 HAS SOUS 2687400 HAS SOUPS 2687400 WITH SCORE 2690650.16
AT ITER 9497 NEW BEST:: SOT 32318562 SOS 3249929 HAS SOPS 3249929 HAS SOUS 2687168 HAS SOUPS 2687168 WITH SCORE 2690417.929
AT ITER 9498 NEW BEST:: SOT 32318297 SOS 3249399 HAS SOPS 3249399 HAS SOUS 2686638 HAS SOUPS 2686638 WITH SCORE 2689887.399
AT ITER 9580 NEW BEST:: SOT 32318266 SOS 3249368 HAS SOPS 3249368 HAS SOUS 2686607 HAS SOUPS 2686607 WITH SCORE 2689856.368
AT ITER 9593 NEW BEST:: SOT 32317487 SOS 3248594 HAS SOPS 3248594 HAS SOUS 2685436 HAS SOUPS 2685436 WITH SCORE 2688684.594
AT ITER 9611 NEW BEST:: SOT 32317163 SOS 3248304 HAS SOPS 3248304 HAS SOUS 2685112 HAS SOUPS 2685112 WITH SCORE 2688360.304
AT ITER 9625 NEW BEST:: SOT 32317163 SOS 3248101 HAS SOPS 3248101 HAS SOUS 2685111 HAS SOUPS 2685111 WITH SCORE 2688359.101
AT ITER 9650 NEW BEST:: SOT 32317123 SOS 3248021 HAS SOPS 3248021 HAS SOUS 2685071 HAS SOUPS 2685071 WITH SCORE 2688319.021
AT ITER 9666 NEW BEST:: SOT 32316899 SOS 3247797 HAS SOPS 3247797 HAS SOUS 2684847 HAS SOUPS 2684847 WITH SCORE 2688094.797
AT ITER 9689 NEW BEST:: SOT 32316939 SOS 3247717 HAS SOPS 3247717 HAS SOUS 2684847 HAS SOUPS 2684847 WITH SCORE 2688094.717
AT ITER 9731 NEW BEST:: SOT 32316939 SOS 3247650 HAS SOPS 3247650 HAS SOUS 2684847 HAS SOUPS 2684847 WITH SCORE 2688094.65
AT ITER 9750 NEW BEST:: SOT 32316723 SOS 3247362 HAS SOPS 3247362 HAS SOUS 2684559 HAS SOUPS 2684559 WITH SCORE 2687806.362
AT ITER 9753 NEW BEST:: SOT 32316711 SOS 3247346 HAS SOPS 3247346 HAS SOUS 2684535 HAS SOUPS 2684535 WITH SCORE 2687782.346
AT ITER 9796 NEW BEST:: SOT 32316431 SOS 3247066 HAS SOPS 3247066 HAS SOUS 2683975 HAS SOUPS 2683975 WITH SCORE 2687222.066
AT ITER 9856 NEW BEST:: SOT 32316113 SOS 3246787 HAS SOPS 3246787 HAS SOUS 2683657 HAS SOUPS 2683657 WITH SCORE 2686903.787
AT ITER 9866 NEW BEST:: SOT 32316416 SOS 3247393 HAS SOPS 3247393 HAS SOUS 2683476 HAS SOUPS 2683476 WITH SCORE 2686723.393
AT ITER 9910 NEW BEST:: SOT 32316390 SOS 3247341 HAS SOPS 3247341 HAS SOUS 2683424 HAS SOUPS 2683424 WITH SCORE 2686671.341
AT ITER 9923 NEW BEST:: SOT 32316187 SOS 3247197 HAS SOPS 3247197 HAS SOUS 2683221 HAS SOUPS 2683221 WITH SCORE 2686468.197
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 12715548 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16116996 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="NoC3x3-PT-7B"
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 NoC3x3-PT-7B, 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 r267-smll-167863541700336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-7B.tgz
mv NoC3x3-PT-7B 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 ;