About the Execution of Smart+red for DLCround-PT-08a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6570.119 | 3600000.00 | 3665877.00 | 9974.30 | 2.4010E+0012 4.9262E+0014 1 157 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484600704.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCround-PT-08a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484600704
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 940K
-rw-r--r-- 1 mcc users 6.4K Feb 25 19:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 19:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 18:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 18:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 19:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 151K Feb 25 19:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 19:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 25 19:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 479K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678415120070
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-08a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 02:25:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 02:25:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 02:25:21] [INFO ] Load time of PNML (sax parser for PT used): 104 ms
[2023-03-10 02:25:21] [INFO ] Transformed 263 places.
[2023-03-10 02:25:21] [INFO ] Transformed 1907 transitions.
[2023-03-10 02:25:21] [INFO ] Found NUPN structural information;
[2023-03-10 02:25:21] [INFO ] Parsed PT model containing 263 places and 1907 transitions and 7354 arcs in 174 ms.
[2023-03-10 02:25:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 263 places, 1907 transitions and 7354 arcs took 16 ms.
Total runtime 217 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 08a
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: 263 places, 1907 transitions, 7354 arcs.
AT ITER 0 NEW BEST:: SOT 320727 SOS 265771 HAS SOPS 160044 HAS SOUS 35066 HAS SOUPS 23630 WITH SCORE 23895.771
AT ITER 1 NEW BEST:: SOT 320683 SOS 265845 HAS SOPS 159956 HAS SOUS 35040 HAS SOUPS 23598 WITH SCORE 23863.845
AT ITER 18 NEW BEST:: SOT 320617 SOS 266842 HAS SOPS 160278 HAS SOUS 34999 HAS SOUPS 23532 WITH SCORE 23798.842
AT ITER 34 NEW BEST:: SOT 320548 SOS 265876 HAS SOPS 160140 HAS SOUS 34914 HAS SOUPS 23516 WITH SCORE 23781.876
AT ITER 42 NEW BEST:: SOT 320537 SOS 264345 HAS SOPS 159229 HAS SOUS 34555 HAS SOUPS 22522 WITH SCORE 22786.345
AT ITER 48 NEW BEST:: SOT 320495 SOS 264149 HAS SOPS 159159 HAS SOUS 34513 HAS SOUPS 22494 WITH SCORE 22758.149
AT ITER 52 NEW BEST:: SOT 320590 SOS 263157 HAS SOPS 159067 HAS SOUS 34417 HAS SOUPS 22473 WITH SCORE 22736.157
AT ITER 57 NEW BEST:: SOT 320607 SOS 263239 HAS SOPS 158824 HAS SOUS 34185 HAS SOUPS 22005 WITH SCORE 22268.239
AT ITER 60 NEW BEST:: SOT 320601 SOS 263155 HAS SOPS 158740 HAS SOUS 34173 HAS SOUPS 21993 WITH SCORE 22256.155
AT ITER 66 NEW BEST:: SOT 320461 SOS 263158 HAS SOPS 158743 HAS SOUS 33781 HAS SOUPS 21601 WITH SCORE 21864.158
AT ITER 74 NEW BEST:: SOT 320430 SOS 262693 HAS SOPS 158650 HAS SOUS 33743 HAS SOUPS 21594 WITH SCORE 21856.693
AT ITER 77 NEW BEST:: SOT 320400 SOS 262633 HAS SOPS 158590 HAS SOUS 33716 HAS SOUPS 21567 WITH SCORE 21829.633
AT ITER 84 NEW BEST:: SOT 319774 SOS 262330 HAS SOPS 158287 HAS SOUS 32916 HAS SOUPS 20767 WITH SCORE 21029.33
AT ITER 87 NEW BEST:: SOT 319698 SOS 262817 HAS SOPS 158369 HAS SOUS 32899 HAS SOUPS 20735 WITH SCORE 20997.817
AT ITER 93 NEW BEST:: SOT 319674 SOS 262793 HAS SOPS 158345 HAS SOUS 32875 HAS SOUPS 20711 WITH SCORE 20973.793
AT ITER 96 NEW BEST:: SOT 319660 SOS 261855 HAS SOPS 157407 HAS SOUS 32875 HAS SOUPS 20711 WITH SCORE 20972.855
AT ITER 98 NEW BEST:: SOT 319647 SOS 261686 HAS SOPS 157394 HAS SOUS 32849 HAS SOUPS 20698 WITH SCORE 20959.686
AT ITER 103 NEW BEST:: SOT 319178 SOS 261352 HAS SOPS 157149 HAS SOUS 32886 HAS SOUPS 20691 WITH SCORE 20952.352
AT ITER 114 NEW BEST:: SOT 319158 SOS 261322 HAS SOPS 157139 HAS SOUS 32866 HAS SOUPS 20681 WITH SCORE 20942.322
AT ITER 125 NEW BEST:: SOT 319150 SOS 261214 HAS SOPS 157079 HAS SOUS 32854 HAS SOUPS 20673 WITH SCORE 20934.214
AT ITER 143 NEW BEST:: SOT 319124 SOS 260602 HAS SOPS 156803 HAS SOUS 32824 HAS SOUPS 20671 WITH SCORE 20931.602
AT ITER 144 NEW BEST:: SOT 319059 SOS 260682 HAS SOPS 156883 HAS SOUS 32614 HAS SOUPS 20461 WITH SCORE 20721.682
AT ITER 159 NEW BEST:: SOT 319059 SOS 260682 HAS SOPS 156850 HAS SOUS 32591 HAS SOUPS 20438 WITH SCORE 20698.682
AT ITER 162 NEW BEST:: SOT 319070 SOS 260294 HAS SOPS 156831 HAS SOUS 32495 HAS SOUPS 20383 WITH SCORE 20643.294
AT ITER 168 NEW BEST:: SOT 319065 SOS 260289 HAS SOPS 156826 HAS SOUS 32490 HAS SOUPS 20378 WITH SCORE 20638.289
AT ITER 169 NEW BEST:: SOT 319924 SOS 261307 HAS SOPS 157844 HAS SOUS 32482 HAS SOUPS 20370 WITH SCORE 20631.307
AT ITER 178 NEW BEST:: SOT 319852 SOS 260287 HAS SOPS 157268 HAS SOUS 32379 HAS SOUPS 20304 WITH SCORE 20564.287
AT ITER 188 NEW BEST:: SOT 319748 SOS 260183 HAS SOPS 157164 HAS SOUS 32318 HAS SOUPS 20247 WITH SCORE 20507.183
AT ITER 200 NEW BEST:: SOT 319740 SOS 260071 HAS SOPS 157052 HAS SOUS 32310 HAS SOUPS 20239 WITH SCORE 20499.071
AT ITER 201 NEW BEST:: SOT 319727 SOS 259876 HAS SOPS 157013 HAS SOUS 32271 HAS SOUPS 20213 WITH SCORE 20472.876
AT ITER 204 NEW BEST:: SOT 319777 SOS 259514 HAS SOPS 156651 HAS SOUS 32179 HAS SOUPS 20121 WITH SCORE 20380.514
AT ITER 207 NEW BEST:: SOT 319777 SOS 259498 HAS SOPS 156633 HAS SOUS 32177 HAS SOUPS 20119 WITH SCORE 20378.498
AT ITER 210 NEW BEST:: SOT 319777 SOS 259475 HAS SOPS 156656 HAS SOUS 32150 HAS SOUPS 20115 WITH SCORE 20374.475
AT ITER 211 NEW BEST:: SOT 319701 SOS 255943 HAS SOPS 153724 HAS SOUS 32089 HAS SOUPS 20104 WITH SCORE 20359.943
AT ITER 214 NEW BEST:: SOT 319701 SOS 255973 HAS SOPS 153694 HAS SOUS 32117 HAS SOUPS 20102 WITH SCORE 20357.973
AT ITER 228 NEW BEST:: SOT 319693 SOS 255965 HAS SOPS 153686 HAS SOUS 32117 HAS SOUPS 20102 WITH SCORE 20357.965
AT ITER 232 NEW BEST:: SOT 318502 SOS 253008 HAS SOPS 152578 HAS SOUS 32256 HAS SOUPS 20023 WITH SCORE 20276.008
AT ITER 246 NEW BEST:: SOT 318456 SOS 252364 HAS SOPS 152486 HAS SOUS 32169 HAS SOUPS 19982 WITH SCORE 20234.364
AT ITER 269 NEW BEST:: SOT 317749 SOS 250795 HAS SOPS 152089 HAS SOUS 32100 HAS SOUPS 19973 WITH SCORE 20223.795
AT ITER 270 NEW BEST:: SOT 317733 SOS 250771 HAS SOPS 152081 HAS SOUS 32084 HAS SOUPS 19965 WITH SCORE 20215.771
AT ITER 272 NEW BEST:: SOT 317733 SOS 250771 HAS SOPS 152056 HAS SOUS 32079 HAS SOUPS 19940 WITH SCORE 20190.771
AT ITER 274 NEW BEST:: SOT 317719 SOS 250763 HAS SOPS 152036 HAS SOUS 32026 HAS SOUPS 19887 WITH SCORE 20137.763
AT ITER 291 NEW BEST:: SOT 317832 SOS 251045 HAS SOPS 152100 HAS SOUS 32015 HAS SOUPS 19861 WITH SCORE 20112.045
AT ITER 318 NEW BEST:: SOT 316803 SOS 242164 HAS SOPS 145301 HAS SOUS 31872 HAS SOUPS 19827 WITH SCORE 20069.164
AT ITER 338 NEW BEST:: SOT 316983 SOS 242448 HAS SOPS 145583 HAS SOUS 31623 HAS SOUPS 19578 WITH SCORE 19820.448
AT ITER 341 NEW BEST:: SOT 316967 SOS 242432 HAS SOPS 145551 HAS SOUS 31623 HAS SOUPS 19578 WITH SCORE 19820.432
AT ITER 352 NEW BEST:: SOT 317370 SOS 242761 HAS SOPS 145762 HAS SOUS 31532 HAS SOUPS 19532 WITH SCORE 19774.761
AT ITER 353 NEW BEST:: SOT 317359 SOS 242750 HAS SOPS 145751 HAS SOUS 31513 HAS SOUPS 19513 WITH SCORE 19755.75
AT ITER 358 NEW BEST:: SOT 316953 SOS 242344 HAS SOPS 145160 HAS SOUS 31348 HAS SOUPS 19216 WITH SCORE 19458.344
AT ITER 363 NEW BEST:: SOT 316951 SOS 242364 HAS SOPS 145156 HAS SOUS 31346 HAS SOUPS 19212 WITH SCORE 19454.364
AT ITER 366 NEW BEST:: SOT 317291 SOS 242704 HAS SOPS 145496 HAS SOUS 31336 HAS SOUPS 19194 WITH SCORE 19436.704
AT ITER 368 NEW BEST:: SOT 316432 SOS 240576 HAS SOPS 144827 HAS SOUS 31262 HAS SOUPS 19188 WITH SCORE 19428.576
AT ITER 374 NEW BEST:: SOT 316482 SOS 240764 HAS SOPS 144670 HAS SOUS 31183 HAS SOUPS 18841 WITH SCORE 19081.764
AT ITER 377 NEW BEST:: SOT 316402 SOS 240164 HAS SOPS 144550 HAS SOUS 31103 HAS SOUPS 18801 WITH SCORE 19041.164
AT ITER 383 NEW BEST:: SOT 315237 SOS 237902 HAS SOPS 143593 HAS SOUS 30359 HAS SOUPS 18202 WITH SCORE 18439.902
AT ITER 391 NEW BEST:: SOT 315223 SOS 238166 HAS SOPS 143763 HAS SOUS 30345 HAS SOUPS 18188 WITH SCORE 18426.166
AT ITER 395 NEW BEST:: SOT 313655 SOS 235281 HAS SOPS 142852 HAS SOUS 30187 HAS SOUPS 18171 WITH SCORE 18406.281
AT ITER 398 NEW BEST:: SOT 313655 SOS 235281 HAS SOPS 142852 HAS SOUS 30178 HAS SOUPS 18166 WITH SCORE 18401.281
AT ITER 410 NEW BEST:: SOT 313575 SOS 235317 HAS SOPS 142741 HAS SOUS 30165 HAS SOUPS 18153 WITH SCORE 18388.317
AT ITER 430 NEW BEST:: SOT 313557 SOS 235299 HAS SOPS 142723 HAS SOUS 30156 HAS SOUPS 18144 WITH SCORE 18379.299
AT ITER 433 NEW BEST:: SOT 313413 SOS 232296 HAS SOPS 139820 HAS SOUS 30017 HAS SOUPS 18033 WITH SCORE 18265.296
AT ITER 446 NEW BEST:: SOT 313420 SOS 232142 HAS SOPS 139666 HAS SOUS 30017 HAS SOUPS 18033 WITH SCORE 18265.142
AT ITER 467 NEW BEST:: SOT 313164 SOS 231848 HAS SOPS 139486 HAS SOUS 30008 HAS SOUPS 18024 WITH SCORE 18255.848
AT ITER 474 NEW BEST:: SOT 313156 SOS 231818 HAS SOPS 139474 HAS SOUS 30002 HAS SOUPS 18020 WITH SCORE 18251.818
AT ITER 479 NEW BEST:: SOT 313620 SOS 232205 HAS SOPS 139478 HAS SOUS 29778 HAS SOUPS 17776 WITH SCORE 18008.205
AT ITER 480 NEW BEST:: SOT 313592 SOS 232177 HAS SOPS 139450 HAS SOUS 29741 HAS SOUPS 17743 WITH SCORE 17975.177
AT ITER 486 NEW BEST:: SOT 312724 SOS 230205 HAS SOPS 138511 HAS SOUS 29186 HAS SOUPS 17281 WITH SCORE 17511.205
AT ITER 494 NEW BEST:: SOT 312685 SOS 227135 HAS SOPS 135441 HAS SOUS 29182 HAS SOUPS 17277 WITH SCORE 17504.135
AT ITER 497 NEW BEST:: SOT 312211 SOS 226112 HAS SOPS 135145 HAS SOUS 29141 HAS SOUPS 17234 WITH SCORE 17460.112
AT ITER 505 NEW BEST:: SOT 312181 SOS 226076 HAS SOPS 135121 HAS SOUS 28976 HAS SOUPS 17135 WITH SCORE 17361.076
AT ITER 509 NEW BEST:: SOT 312165 SOS 226040 HAS SOPS 135109 HAS SOUS 28974 HAS SOUPS 17133 WITH SCORE 17359.04
AT ITER 510 NEW BEST:: SOT 312127 SOS 224910 HAS SOPS 134723 HAS SOUS 28876 HAS SOUPS 17097 WITH SCORE 17321.91
AT ITER 518 NEW BEST:: SOT 312116 SOS 224888 HAS SOPS 134723 HAS SOUS 28865 HAS SOUPS 17097 WITH SCORE 17321.888
AT ITER 522 NEW BEST:: SOT 312362 SOS 225221 HAS SOPS 134966 HAS SOUS 28835 HAS SOUPS 17079 WITH SCORE 17304.221
AT ITER 526 NEW BEST:: SOT 310985 SOS 222564 HAS SOPS 134241 HAS SOUS 28524 HAS SOUPS 17074 WITH SCORE 17296.564
AT ITER 548 NEW BEST:: SOT 310957 SOS 222526 HAS SOPS 134223 HAS SOUS 28496 HAS SOUPS 17056 WITH SCORE 17278.526
AT ITER 554 NEW BEST:: SOT 310939 SOS 220198 HAS SOPS 132327 HAS SOUS 28442 HAS SOUPS 17038 WITH SCORE 17258.198
AT ITER 586 NEW BEST:: SOT 311214 SOS 220473 HAS SOPS 132332 HAS SOUS 28582 HAS SOUPS 16974 WITH SCORE 17194.473
AT ITER 595 NEW BEST:: SOT 310737 SOS 219631 HAS SOPS 132003 HAS SOUS 28534 HAS SOUPS 16944 WITH SCORE 17163.631
AT ITER 598 NEW BEST:: SOT 310732 SOS 220681 HAS SOPS 133072 HAS SOUS 28528 HAS SOUPS 16938 WITH SCORE 17158.681
AT ITER 641 NEW BEST:: SOT 310711 SOS 220683 HAS SOPS 132900 HAS SOUS 28520 HAS SOUPS 16917 WITH SCORE 17137.683
AT ITER 650 NEW BEST:: SOT 310609 SOS 219765 HAS SOPS 132186 HAS SOUS 28503 HAS SOUPS 16900 WITH SCORE 17119.765
AT ITER 685 NEW BEST:: SOT 310771 SOS 219959 HAS SOPS 132306 HAS SOUS 28493 HAS SOUPS 16874 WITH SCORE 17093.959
AT ITER 686 NEW BEST:: SOT 310868 SOS 220057 HAS SOPS 132404 HAS SOUS 28469 HAS SOUPS 16850 WITH SCORE 17070.057
AT ITER 694 NEW BEST:: SOT 310859 SOS 219919 HAS SOPS 132386 HAS SOUS 28441 HAS SOUPS 16832 WITH SCORE 17051.919
AT ITER 697 NEW BEST:: SOT 310862 SOS 220060 HAS SOPS 132527 HAS SOUS 28432 HAS SOUPS 16823 WITH SCORE 17043.06
AT ITER 700 NEW BEST:: SOT 310900 SOS 219568 HAS SOPS 132419 HAS SOUS 28396 HAS SOUPS 16819 WITH SCORE 17038.568
AT ITER 703 NEW BEST:: SOT 310926 SOS 219594 HAS SOPS 132390 HAS SOUS 28301 HAS SOUPS 16724 WITH SCORE 16943.594
AT ITER 716 NEW BEST:: SOT 310854 SOS 219923 HAS SOPS 132477 HAS SOUS 28268 HAS SOUPS 16691 WITH SCORE 16910.923
AT ITER 719 NEW BEST:: SOT 310917 SOS 219293 HAS SOPS 132819 HAS SOUS 28169 HAS SOUPS 16673 WITH SCORE 16892.293
AT ITER 742 NEW BEST:: SOT 310910 SOS 219279 HAS SOPS 132805 HAS SOUS 28162 HAS SOUPS 16666 WITH SCORE 16885.279
AT ITER 744 NEW BEST:: SOT 311291 SOS 219660 HAS SOPS 132981 HAS SOUS 28095 HAS SOUPS 16599 WITH SCORE 16818.66
AT ITER 749 NEW BEST:: SOT 311327 SOS 219702 HAS SOPS 133005 HAS SOUS 28092 HAS SOUPS 16596 WITH SCORE 16815.702
AT ITER 754 NEW BEST:: SOT 311321 SOS 219693 HAS SOPS 133002 HAS SOUS 28086 HAS SOUPS 16593 WITH SCORE 16812.693
AT ITER 759 NEW BEST:: SOT 311333 SOS 219649 HAS SOPS 133009 HAS SOUS 28061 HAS SOUPS 16568 WITH SCORE 16787.649
AT ITER 767 NEW BEST:: SOT 311024 SOS 219252 HAS SOPS 132514 HAS SOUS 28065 HAS SOUPS 16532 WITH SCORE 16751.252
AT ITER 771 NEW BEST:: SOT 311008 SOS 218507 HAS SOPS 132141 HAS SOUS 28004 HAS SOUPS 16502 WITH SCORE 16720.507
AT ITER 775 NEW BEST:: SOT 311299 SOS 218860 HAS SOPS 132308 HAS SOUS 27954 HAS SOUPS 16452 WITH SCORE 16670.86
AT ITER 777 NEW BEST:: SOT 311282 SOS 218726 HAS SOPS 132294 HAS SOUS 27922 HAS SOUPS 16430 WITH SCORE 16648.726
AT ITER 783 NEW BEST:: SOT 311282 SOS 218326 HAS SOPS 131669 HAS SOUS 27947 HAS SOUPS 16430 WITH SCORE 16648.326
AT ITER 791 NEW BEST:: SOT 311260 SOS 218278 HAS SOPS 131655 HAS SOUS 27943 HAS SOUPS 16428 WITH SCORE 16646.278
AT ITER 816 NEW BEST:: SOT 311159 SOS 217989 HAS SOPS 131553 HAS SOUS 27891 HAS SOUPS 16423 WITH SCORE 16640.989
AT ITER 825 NEW BEST:: SOT 310436 SOS 216425 HAS SOPS 130258 HAS SOUS 27901 HAS SOUPS 16413 WITH SCORE 16629.425
AT ITER 827 NEW BEST:: SOT 310428 SOS 216320 HAS SOPS 130201 HAS SOUS 27888 HAS SOUPS 16404 WITH SCORE 16620.32
AT ITER 831 NEW BEST:: SOT 309695 SOS 215272 HAS SOPS 129448 HAS SOUS 27923 HAS SOUPS 16386 WITH SCORE 16601.272
AT ITER 834 NEW BEST:: SOT 309806 SOS 215287 HAS SOPS 129463 HAS SOUS 27894 HAS SOUPS 16357 WITH SCORE 16572.287
AT ITER 840 NEW BEST:: SOT 310171 SOS 215652 HAS SOPS 129528 HAS SOUS 28047 HAS SOUPS 16334 WITH SCORE 16549.652
AT ITER 849 NEW BEST:: SOT 310158 SOS 215262 HAS SOPS 129515 HAS SOUS 28021 HAS SOUPS 16321 WITH SCORE 16536.262
AT ITER 857 NEW BEST:: SOT 309943 SOS 213538 HAS SOPS 127753 HAS SOUS 27934 HAS SOUPS 16234 WITH SCORE 16447.538
AT ITER 864 NEW BEST:: SOT 309896 SOS 213664 HAS SOPS 127795 HAS SOUS 27877 HAS SOUPS 16177 WITH SCORE 16390.664
AT ITER 866 NEW BEST:: SOT 310043 SOS 213837 HAS SOPS 127812 HAS SOUS 27835 HAS SOUPS 16135 WITH SCORE 16348.837
AT ITER 894 NEW BEST:: SOT 310135 SOS 213656 HAS SOPS 127850 HAS SOUS 27832 HAS SOUPS 16132 WITH SCORE 16345.656
AT ITER 928 NEW BEST:: SOT 310135 SOS 213656 HAS SOPS 127850 HAS SOUS 27679 HAS SOUPS 16047 WITH SCORE 16260.656
AT ITER 938 NEW BEST:: SOT 310139 SOS 213388 HAS SOPS 127630 HAS SOUS 27671 HAS SOUPS 16043 WITH SCORE 16256.388
AT ITER 954 NEW BEST:: SOT 310139 SOS 213306 HAS SOPS 127548 HAS SOUS 27671 HAS SOUPS 16043 WITH SCORE 16256.306
AT ITER 986 NEW BEST:: SOT 310151 SOS 213282 HAS SOPS 127512 HAS SOUS 27671 HAS SOUPS 16043 WITH SCORE 16256.282
AT ITER 990 NEW BEST:: SOT 310152 SOS 213287 HAS SOPS 127518 HAS SOUS 27661 HAS SOUPS 16041 WITH SCORE 16254.287
AT ITER 1053 NEW BEST:: SOT 310152 SOS 213177 HAS SOPS 127507 HAS SOUS 27639 HAS SOUPS 16030 WITH SCORE 16243.177
AT ITER 1056 NEW BEST:: SOT 310027 SOS 212601 HAS SOPS 127336 HAS SOUS 27578 HAS SOUPS 16014 WITH SCORE 16226.601
AT ITER 1075 NEW BEST:: SOT 310023 SOS 212593 HAS SOPS 127336 HAS SOUS 27574 HAS SOUPS 16014 WITH SCORE 16226.593
AT ITER 1082 NEW BEST:: SOT 309892 SOS 212542 HAS SOPS 127285 HAS SOUS 27579 HAS SOUPS 15999 WITH SCORE 16211.542
AT ITER 1094 NEW BEST:: SOT 309886 SOS 212530 HAS SOPS 127273 HAS SOUS 27573 HAS SOUPS 15993 WITH SCORE 16205.53
AT ITER 1101 NEW BEST:: SOT 309777 SOS 212395 HAS SOPS 127203 HAS SOUS 27560 HAS SOUPS 15980 WITH SCORE 16192.395
AT ITER 1109 NEW BEST:: SOT 309767 SOS 212375 HAS SOPS 127203 HAS SOUS 27550 HAS SOUPS 15980 WITH SCORE 16192.375
AT ITER 1111 NEW BEST:: SOT 309047 SOS 211598 HAS SOPS 126711 HAS SOUS 27514 HAS SOUPS 15944 WITH SCORE 16155.598
AT ITER 1113 NEW BEST:: SOT 308963 SOS 211878 HAS SOPS 126367 HAS SOUS 27534 HAS SOUPS 15912 WITH SCORE 16123.878
AT ITER 1115 NEW BEST:: SOT 309043 SOS 212022 HAS SOPS 126415 HAS SOUS 27536 HAS SOUPS 15906 WITH SCORE 16118.022
AT ITER 1123 NEW BEST:: SOT 309033 SOS 212072 HAS SOPS 126405 HAS SOUS 27531 HAS SOUPS 15896 WITH SCORE 16108.072
AT ITER 1128 NEW BEST:: SOT 308573 SOS 211500 HAS SOPS 126057 HAS SOUS 27473 HAS SOUPS 15896 WITH SCORE 16107.5
AT ITER 1130 NEW BEST:: SOT 308562 SOS 211482 HAS SOPS 126042 HAS SOUS 27472 HAS SOUPS 15895 WITH SCORE 16106.482
AT ITER 1133 NEW BEST:: SOT 308795 SOS 211666 HAS SOPS 126074 HAS SOUS 27515 HAS SOUPS 15852 WITH SCORE 16063.666
AT ITER 1163 NEW BEST:: SOT 308759 SOS 211594 HAS SOPS 126074 HAS SOUS 27479 HAS SOUPS 15852 WITH SCORE 16063.594
AT ITER 1194 NEW BEST:: SOT 308678 SOS 210954 HAS SOPS 125950 HAS SOUS 27404 HAS SOUPS 15820 WITH SCORE 16030.954
AT ITER 1197 NEW BEST:: SOT 308666 SOS 211011 HAS SOPS 126112 HAS SOUS 27113 HAS SOUPS 15776 WITH SCORE 15987.011
AT ITER 1209 NEW BEST:: SOT 308658 SOS 210995 HAS SOPS 126112 HAS SOUS 27105 HAS SOUPS 15776 WITH SCORE 15986.995
AT ITER 1221 NEW BEST:: SOT 308648 SOS 210844 HAS SOPS 126093 HAS SOUS 27085 HAS SOUPS 15767 WITH SCORE 15977.844
AT ITER 1252 NEW BEST:: SOT 308603 SOS 210988 HAS SOPS 126075 HAS SOUS 27076 HAS SOUPS 15758 WITH SCORE 15968.988
AT ITER 1260 NEW BEST:: SOT 309032 SOS 211417 HAS SOPS 126270 HAS SOUS 27069 HAS SOUPS 15751 WITH SCORE 15962.417
AT ITER 1269 NEW BEST:: SOT 309022 SOS 211277 HAS SOPS 126130 HAS SOUS 27059 HAS SOUPS 15741 WITH SCORE 15952.277
AT ITER 1274 NEW BEST:: SOT 309079 SOS 211340 HAS SOPS 126157 HAS SOUS 27053 HAS SOUPS 15735 WITH SCORE 15946.34
AT ITER 1275 NEW BEST:: SOT 309053 SOS 211162 HAS SOPS 126105 HAS SOUS 26987 HAS SOUPS 15683 WITH SCORE 15894.162
AT ITER 1281 NEW BEST:: SOT 309042 SOS 211140 HAS SOPS 126105 HAS SOUS 26967 HAS SOUPS 15678 WITH SCORE 15889.14
AT ITER 1312 NEW BEST:: SOT 309025 SOS 211106 HAS SOPS 126105 HAS SOUS 26950 HAS SOUPS 15678 WITH SCORE 15889.106
AT ITER 1314 NEW BEST:: SOT 309025 SOS 211259 HAS SOPS 126124 HAS SOUS 26952 HAS SOUPS 15665 WITH SCORE 15876.259
AT ITER 1351 NEW BEST:: SOT 308944 SOS 210677 HAS SOPS 125574 HAS SOUS 26861 HAS SOUPS 15574 WITH SCORE 15784.677
AT ITER 1354 NEW BEST:: SOT 309100 SOS 211067 HAS SOPS 125730 HAS SOUS 26731 HAS SOUPS 15522 WITH SCORE 15733.067
AT ITER 1372 NEW BEST:: SOT 309184 SOS 211151 HAS SOPS 125814 HAS SOUS 26696 HAS SOUPS 15487 WITH SCORE 15698.151
AT ITER 1377 NEW BEST:: SOT 309214 SOS 211268 HAS SOPS 125928 HAS SOUS 26517 HAS SOUPS 15449 WITH SCORE 15660.268
AT ITER 1378 NEW BEST:: SOT 309209 SOS 211258 HAS SOPS 125928 HAS SOUS 26512 HAS SOUPS 15449 WITH SCORE 15660.258
AT ITER 1404 NEW BEST:: SOT 309209 SOS 211258 HAS SOPS 125928 HAS SOUS 26494 HAS SOUPS 15439 WITH SCORE 15650.258
AT ITER 1424 NEW BEST:: SOT 309176 SOS 210488 HAS SOPS 125180 HAS SOUS 26458 HAS SOUPS 15403 WITH SCORE 15613.488
AT ITER 1425 NEW BEST:: SOT 309176 SOS 210488 HAS SOPS 125180 HAS SOUS 26071 HAS SOUPS 15188 WITH SCORE 15398.488
AT ITER 1444 NEW BEST:: SOT 309238 SOS 210690 HAS SOPS 125458 HAS SOUS 26040 HAS SOUPS 15174 WITH SCORE 15384.69
AT ITER 1455 NEW BEST:: SOT 309219 SOS 210725 HAS SOPS 125452 HAS SOUS 26022 HAS SOUPS 15161 WITH SCORE 15371.725
AT ITER 1457 NEW BEST:: SOT 309219 SOS 210725 HAS SOPS 125452 HAS SOUS 25950 HAS SOUPS 15121 WITH SCORE 15331.725
AT ITER 1484 NEW BEST:: SOT 309159 SOS 210655 HAS SOPS 125412 HAS SOUS 25945 HAS SOUPS 15116 WITH SCORE 15326.655
AT ITER 1495 NEW BEST:: SOT 308890 SOS 210080 HAS SOPS 125257 HAS SOUS 25909 HAS SOUPS 15098 WITH SCORE 15308.08
AT ITER 1499 NEW BEST:: SOT 308773 SOS 209963 HAS SOPS 125200 HAS SOUS 25900 HAS SOUPS 15089 WITH SCORE 15298.963
AT ITER 1502 NEW BEST:: SOT 308761 SOS 209807 HAS SOPS 125116 HAS SOUS 25894 HAS SOUPS 15089 WITH SCORE 15298.807
AT ITER 1517 NEW BEST:: SOT 308741 SOS 209668 HAS SOPS 125076 HAS SOUS 25843 HAS SOUPS 15049 WITH SCORE 15258.668
AT ITER 1528 NEW BEST:: SOT 308705 SOS 209353 HAS SOPS 124953 HAS SOUS 25827 HAS SOUPS 15049 WITH SCORE 15258.353
AT ITER 1543 NEW BEST:: SOT 308725 SOS 209540 HAS SOPS 125608 HAS SOUS 25772 HAS SOUPS 15033 WITH SCORE 15242.54
AT ITER 1546 NEW BEST:: SOT 308707 SOS 209510 HAS SOPS 125593 HAS SOUS 25763 HAS SOUPS 15027 WITH SCORE 15236.51
AT ITER 1555 NEW BEST:: SOT 308601 SOS 207804 HAS SOPS 125013 HAS SOUS 25576 HAS SOUPS 14941 WITH SCORE 15148.804
AT ITER 1558 NEW BEST:: SOT 308477 SOS 207580 HAS SOPS 124941 HAS SOUS 25564 HAS SOUPS 14941 WITH SCORE 15148.58
AT ITER 1569 NEW BEST:: SOT 308475 SOS 207578 HAS SOPS 124941 HAS SOUS 25564 HAS SOUPS 14941 WITH SCORE 15148.578
AT ITER 1597 NEW BEST:: SOT 308469 SOS 207104 HAS SOPS 124539 HAS SOUS 25555 HAS SOUPS 14938 WITH SCORE 15145.104
AT ITER 1599 NEW BEST:: SOT 308448 SOS 207074 HAS SOPS 124509 HAS SOUS 25541 HAS SOUPS 14924 WITH SCORE 15131.074
AT ITER 1602 NEW BEST:: SOT 308398 SOS 206852 HAS SOPS 124440 HAS SOUS 25514 HAS SOUPS 14914 WITH SCORE 15120.852
AT ITER 1618 NEW BEST:: SOT 308393 SOS 206440 HAS SOPS 124100 HAS SOUS 25503 HAS SOUPS 14909 WITH SCORE 15115.44
AT ITER 1630 NEW BEST:: SOT 308390 SOS 206398 HAS SOPS 124058 HAS SOUS 25497 HAS SOUPS 14903 WITH SCORE 15109.398
AT ITER 1651 NEW BEST:: SOT 308370 SOS 206372 HAS SOPS 124044 HAS SOUS 25487 HAS SOUPS 14897 WITH SCORE 15103.372
AT ITER 1672 NEW BEST:: SOT 308347 SOS 206441 HAS SOPS 123477 HAS SOUS 25501 HAS SOUPS 14858 WITH SCORE 15064.441
AT ITER 1679 NEW BEST:: SOT 308408 SOS 205933 HAS SOPS 123149 HAS SOUS 25490 HAS SOUPS 14832 WITH SCORE 15037.933
AT ITER 1691 NEW BEST:: SOT 308408 SOS 205933 HAS SOPS 123149 HAS SOUS 25486 HAS SOUPS 14828 WITH SCORE 15033.933
AT ITER 1700 NEW BEST:: SOT 308408 SOS 206064 HAS SOPS 123150 HAS SOUS 25485 HAS SOUPS 14816 WITH SCORE 15022.064
AT ITER 1715 NEW BEST:: SOT 308438 SOS 206118 HAS SOPS 123168 HAS SOUS 25479 HAS SOUPS 14810 WITH SCORE 15016.118
AT ITER 1728 NEW BEST:: SOT 308488 SOS 203464 HAS SOPS 120920 HAS SOUS 25446 HAS SOUPS 14808 WITH SCORE 15011.464
AT ITER 1735 NEW BEST:: SOT 308485 SOS 203407 HAS SOPS 120863 HAS SOUS 25445 HAS SOUPS 14807 WITH SCORE 15010.407
AT ITER 1742 NEW BEST:: SOT 308525 SOS 203447 HAS SOPS 120857 HAS SOUS 25439 HAS SOUPS 14801 WITH SCORE 15004.447
AT ITER 1777 NEW BEST:: SOT 308527 SOS 203163 HAS SOPS 121089 HAS SOUS 25367 HAS SOUPS 14772 WITH SCORE 14975.163
AT ITER 1796 NEW BEST:: SOT 308637 SOS 203361 HAS SOPS 121155 HAS SOUS 25357 HAS SOUPS 14758 WITH SCORE 14961.361
AT ITER 1849 NEW BEST:: SOT 308616 SOS 201735 HAS SOPS 119781 HAS SOUS 25336 HAS SOUPS 14758 WITH SCORE 14959.735
AT ITER 1911 NEW BEST:: SOT 308607 SOS 201726 HAS SOPS 119772 HAS SOUS 25327 HAS SOUPS 14749 WITH SCORE 14950.726
AT ITER 1936 NEW BEST:: SOT 308506 SOS 200969 HAS SOPS 119015 HAS SOUS 25290 HAS SOUPS 14712 WITH SCORE 14912.969
AT ITER 1956 NEW BEST:: SOT 308551 SOS 201014 HAS SOPS 119015 HAS SOUS 25156 HAS SOUPS 14674 WITH SCORE 14875.014
AT ITER 1965 NEW BEST:: SOT 308549 SOS 200900 HAS SOPS 118901 HAS SOUS 25154 HAS SOUPS 14672 WITH SCORE 14872.9
AT ITER 1975 NEW BEST:: SOT 308554 SOS 200728 HAS SOPS 118813 HAS SOUS 25143 HAS SOUPS 14668 WITH SCORE 14868.728
AT ITER 1992 NEW BEST:: SOT 308477 SOS 200988 HAS SOPS 118509 HAS SOUS 25148 HAS SOUPS 14626 WITH SCORE 14826.988
AT ITER 2004 NEW BEST:: SOT 308510 SOS 199563 HAS SOPS 117936 HAS SOUS 25039 HAS SOUPS 14588 WITH SCORE 14787.563
AT ITER 2024 NEW BEST:: SOT 308503 SOS 199549 HAS SOPS 117922 HAS SOUS 25032 HAS SOUPS 14581 WITH SCORE 14780.549
AT ITER 2029 NEW BEST:: SOT 308489 SOS 199521 HAS SOPS 117894 HAS SOUS 25018 HAS SOUPS 14567 WITH SCORE 14766.521
AT ITER 2045 NEW BEST:: SOT 308495 SOS 198941 HAS SOPS 117974 HAS SOUS 24963 HAS SOUPS 14567 WITH SCORE 14765.941
AT ITER 2068 NEW BEST:: SOT 308558 SOS 199004 HAS SOPS 117975 HAS SOUS 24955 HAS SOUPS 14563 WITH SCORE 14762.004
AT ITER 2086 NEW BEST:: SOT 308604 SOS 199014 HAS SOPS 117975 HAS SOUS 24901 HAS SOUPS 14553 WITH SCORE 14752.014
AT ITER 2106 NEW BEST:: SOT 308580 SOS 199278 HAS SOPS 117651 HAS SOUS 24900 HAS SOUPS 14503 WITH SCORE 14702.278
AT ITER 2115 NEW BEST:: SOT 308564 SOS 199070 HAS SOPS 117539 HAS SOUS 24876 HAS SOUPS 14487 WITH SCORE 14686.07
AT ITER 2142 NEW BEST:: SOT 308656 SOS 198220 HAS SOPS 117465 HAS SOUS 24802 HAS SOUPS 14479 WITH SCORE 14677.22
AT ITER 2187 NEW BEST:: SOT 308655 SOS 198219 HAS SOPS 117464 HAS SOUS 24801 HAS SOUPS 14478 WITH SCORE 14676.219
AT ITER 2203 NEW BEST:: SOT 308651 SOS 198211 HAS SOPS 117464 HAS SOUS 24797 HAS SOUPS 14478 WITH SCORE 14676.211
AT ITER 2214 NEW BEST:: SOT 308600 SOS 198489 HAS SOPS 117583 HAS SOUS 24787 HAS SOUPS 14476 WITH SCORE 14674.489
AT ITER 2216 NEW BEST:: SOT 308363 SOS 196251 HAS SOPS 115696 HAS SOUS 24778 HAS SOUPS 14467 WITH SCORE 14663.251
AT ITER 2240 NEW BEST:: SOT 308768 SOS 197220 HAS SOPS 116018 HAS SOUS 24604 HAS SOUPS 14367 WITH SCORE 14564.22
AT ITER 2241 NEW BEST:: SOT 308742 SOS 197142 HAS SOPS 115976 HAS SOUS 24598 HAS SOUPS 14363 WITH SCORE 14560.142
AT ITER 2245 NEW BEST:: SOT 308245 SOS 195914 HAS SOPS 115478 HAS SOUS 24553 HAS SOUPS 14344 WITH SCORE 14539.914
AT ITER 2264 NEW BEST:: SOT 308213 SOS 195882 HAS SOPS 115478 HAS SOUS 24489 HAS SOUPS 14280 WITH SCORE 14475.882
AT ITER 2270 NEW BEST:: SOT 308036 SOS 194586 HAS SOPS 114477 HAS SOUS 24466 HAS SOUPS 14270 WITH SCORE 14464.586
AT ITER 2275 NEW BEST:: SOT 308017 SOS 194416 HAS SOPS 114175 HAS SOUS 24469 HAS SOUPS 14262 WITH SCORE 14456.416
AT ITER 2278 NEW BEST:: SOT 308007 SOS 194331 HAS SOPS 114030 HAS SOUS 24469 HAS SOUPS 14257 WITH SCORE 14451.331
AT ITER 2342 NEW BEST:: SOT 307994 SOS 194305 HAS SOPS 113848 HAS SOUS 24482 HAS SOUPS 14257 WITH SCORE 14451.305
AT ITER 2343 NEW BEST:: SOT 307994 SOS 194305 HAS SOPS 113848 HAS SOUS 24473 HAS SOUPS 14252 WITH SCORE 14446.305
AT ITER 2352 NEW BEST:: SOT 307985 SOS 194187 HAS SOPS 113730 HAS SOUS 24472 HAS SOUPS 14251 WITH SCORE 14445.187
AT ITER 2353 NEW BEST:: SOT 307985 SOS 194187 HAS SOPS 113730 HAS SOUS 24464 HAS SOUPS 14243 WITH SCORE 14437.187
AT ITER 2385 NEW BEST:: SOT 307969 SOS 194171 HAS SOPS 113730 HAS SOUS 24458 HAS SOUPS 14237 WITH SCORE 14431.171
AT ITER 2397 NEW BEST:: SOT 307991 SOS 194173 HAS SOPS 113265 HAS SOUS 24491 HAS SOUPS 14232 WITH SCORE 14426.173
AT ITER 2406 NEW BEST:: SOT 307988 SOS 194117 HAS SOPS 113254 HAS SOUS 24478 HAS SOUPS 14224 WITH SCORE 14418.117
AT ITER 2409 NEW BEST:: SOT 307988 SOS 194117 HAS SOPS 113254 HAS SOUS 24460 HAS SOUPS 14214 WITH SCORE 14408.117
AT ITER 2423 NEW BEST:: SOT 307583 SOS 193202 HAS SOPS 112509 HAS SOUS 24429 HAS SOUPS 14183 WITH SCORE 14376.202
AT ITER 2430 NEW BEST:: SOT 307689 SOS 193490 HAS SOPS 112639 HAS SOUS 24434 HAS SOUPS 14176 WITH SCORE 14369.49
AT ITER 2447 NEW BEST:: SOT 307662 SOS 193532 HAS SOPS 112681 HAS SOUS 24428 HAS SOUPS 14170 WITH SCORE 14363.532
AT ITER 2452 NEW BEST:: SOT 307631 SOS 193038 HAS SOPS 112187 HAS SOUS 24426 HAS SOUPS 14168 WITH SCORE 14361.038
AT ITER 2469 NEW BEST:: SOT 307599 SOS 193862 HAS SOPS 113011 HAS SOUS 24378 HAS SOUPS 14120 WITH SCORE 14313.862
AT ITER 2495 NEW BEST:: SOT 307609 SOS 193888 HAS SOPS 113019 HAS SOUS 24370 HAS SOUPS 14114 WITH SCORE 14307.888
AT ITER 2603 NEW BEST:: SOT 307593 SOS 193776 HAS SOPS 112907 HAS SOUS 24370 HAS SOUPS 14114 WITH SCORE 14307.776
AT ITER 2607 NEW BEST:: SOT 307600 SOS 193756 HAS SOPS 113355 HAS SOUS 24331 HAS SOUPS 14114 WITH SCORE 14307.756
AT ITER 2618 NEW BEST:: SOT 307581 SOS 193633 HAS SOPS 113076 HAS SOUS 24329 HAS SOUPS 14099 WITH SCORE 14292.633
AT ITER 2704 NEW BEST:: SOT 307577 SOS 193471 HAS SOPS 112938 HAS SOUS 24323 HAS SOUPS 14095 WITH SCORE 14288.471
AT ITER 2707 NEW BEST:: SOT 307511 SOS 193267 HAS SOPS 112828 HAS SOUS 24310 HAS SOUPS 14090 WITH SCORE 14283.267
AT ITER 2732 NEW BEST:: SOT 307519 SOS 193275 HAS SOPS 112828 HAS SOUS 24263 HAS SOUPS 14071 WITH SCORE 14264.275
AT ITER 2741 NEW BEST:: SOT 307447 SOS 193191 HAS SOPS 112768 HAS SOUS 24255 HAS SOUPS 14071 WITH SCORE 14264.191
AT ITER 2742 NEW BEST:: SOT 307405 SOS 193129 HAS SOPS 112746 HAS SOUS 24223 HAS SOUPS 14051 WITH SCORE 14244.129
AT ITER 2748 NEW BEST:: SOT 307411 SOS 192747 HAS SOPS 112364 HAS SOUS 24198 HAS SOUPS 14026 WITH SCORE 14218.747
AT ITER 2754 NEW BEST:: SOT 307408 SOS 193092 HAS SOPS 112385 HAS SOUS 24212 HAS SOUPS 14013 WITH SCORE 14206.092
AT ITER 2792 NEW BEST:: SOT 307408 SOS 193082 HAS SOPS 112383 HAS SOUS 24204 HAS SOUPS 14007 WITH SCORE 14200.082
AT ITER 2833 NEW BEST:: SOT 307368 SOS 192830 HAS SOPS 112199 HAS SOUS 24192 HAS SOUPS 13999 WITH SCORE 14191.83
AT ITER 2946 NEW BEST:: SOT 307072 SOS 192283 HAS SOPS 111972 HAS SOUS 24127 HAS SOUPS 13956 WITH SCORE 14148.283
AT ITER 2947 NEW BEST:: SOT 307072 SOS 192283 HAS SOPS 111972 HAS SOUS 24055 HAS SOUPS 13916 WITH SCORE 14108.283
AT ITER 2963 NEW BEST:: SOT 307107 SOS 192318 HAS SOPS 111972 HAS SOUS 24037 HAS SOUPS 13906 WITH SCORE 14098.318
AT ITER 2964 NEW BEST:: SOT 307099 SOS 192337 HAS SOPS 111978 HAS SOUS 24035 HAS SOUPS 13905 WITH SCORE 14097.337
AT ITER 2966 NEW BEST:: SOT 307098 SOS 192336 HAS SOPS 111977 HAS SOUS 24033 HAS SOUPS 13903 WITH SCORE 14095.336
AT ITER 2975 NEW BEST:: SOT 307175 SOS 192476 HAS SOPS 112019 HAS SOUS 24032 HAS SOUPS 13895 WITH SCORE 14087.476
AT ITER 2978 NEW BEST:: SOT 307154 SOS 192062 HAS SOPS 111977 HAS SOUS 24001 HAS SOUPS 13895 WITH SCORE 14087.062
AT ITER 2992 NEW BEST:: SOT 307150 SOS 192040 HAS SOPS 111955 HAS SOUS 23997 HAS SOUPS 13891 WITH SCORE 14083.04
AT ITER 2996 NEW BEST:: SOT 307894 SOS 193342 HAS SOPS 112327 HAS SOUS 24053 HAS SOUPS 13885 WITH SCORE 14078.342
AT ITER 2999 NEW BEST:: SOT 307882 SOS 193318 HAS SOPS 112159 HAS SOUS 24065 HAS SOUPS 13885 WITH SCORE 14078.318
AT ITER 3002 NEW BEST:: SOT 307969 SOS 193525 HAS SOPS 112216 HAS SOUS 24079 HAS SOUPS 13882 WITH SCORE 14075.525
AT ITER 3022 NEW BEST:: SOT 307918 SOS 193474 HAS SOPS 112216 HAS SOUS 24062 HAS SOUPS 13861 WITH SCORE 14054.474
AT ITER 3063 NEW BEST:: SOT 307948 SOS 192933 HAS SOPS 111824 HAS SOUS 24044 HAS SOUPS 13855 WITH SCORE 14047.933
AT ITER 3084 NEW BEST:: SOT 307907 SOS 192892 HAS SOPS 111824 HAS SOUS 24044 HAS SOUPS 13855 WITH SCORE 14047.892
AT ITER 3134 NEW BEST:: SOT 307881 SOS 192814 HAS SOPS 111782 HAS SOUS 24038 HAS SOUPS 13851 WITH SCORE 14043.814
AT ITER 3138 NEW BEST:: SOT 307869 SOS 192773 HAS SOPS 111729 HAS SOUS 24025 HAS SOUPS 13838 WITH SCORE 14030.773
AT ITER 3172 NEW BEST:: SOT 307186 SOS 190700 HAS SOPS 110611 HAS SOUS 23879 HAS SOUPS 13736 WITH SCORE 13926.7
AT ITER 3316 NEW BEST:: SOT 307136 SOS 190650 HAS SOPS 110611 HAS SOUS 23879 HAS SOUPS 13736 WITH SCORE 13926.65
AT ITER 3454 NEW BEST:: SOT 306553 SOS 189590 HAS SOPS 110293 HAS SOUS 23826 HAS SOUPS 13736 WITH SCORE 13925.59
AT ITER 3465 NEW BEST:: SOT 306552 SOS 189588 HAS SOPS 110291 HAS SOUS 23824 HAS SOUPS 13734 WITH SCORE 13923.588
AT ITER 3487 NEW BEST:: SOT 306258 SOS 188772 HAS SOPS 109915 HAS SOUS 23774 HAS SOUPS 13716 WITH SCORE 13904.772
AT ITER 3495 NEW BEST:: SOT 306255 SOS 188700 HAS SOPS 109915 HAS SOUS 23765 HAS SOUPS 13713 WITH SCORE 13901.7
AT ITER 3497 NEW BEST:: SOT 306254 SOS 188698 HAS SOPS 109913 HAS SOUS 23764 HAS SOUPS 13712 WITH SCORE 13900.698
AT ITER 3545 NEW BEST:: SOT 306235 SOS 188432 HAS SOPS 109419 HAS SOUS 23783 HAS SOUPS 13712 WITH SCORE 13900.432
AT ITER 3549 NEW BEST:: SOT 306234 SOS 188431 HAS SOPS 109419 HAS SOUS 23783 HAS SOUPS 13712 WITH SCORE 13900.431
AT ITER 3579 NEW BEST:: SOT 306231 SOS 188428 HAS SOPS 109419 HAS SOUS 23783 HAS SOUPS 13712 WITH SCORE 13900.428
AT ITER 3613 NEW BEST:: SOT 306231 SOS 188428 HAS SOPS 109419 HAS SOUS 23774 HAS SOUPS 13707 WITH SCORE 13895.428
AT ITER 3643 NEW BEST:: SOT 306901 SOS 189266 HAS SOPS 109981 HAS SOUS 23701 HAS SOUPS 13648 WITH SCORE 13837.266
AT ITER 3728 NEW BEST:: SOT 306901 SOS 189224 HAS SOPS 109975 HAS SOUS 23695 HAS SOUPS 13645 WITH SCORE 13834.224
AT ITER 3837 NEW BEST:: SOT 307506 SOS 190324 HAS SOPS 110305 HAS SOUS 23738 HAS SOUPS 13633 WITH SCORE 13823.324
AT ITER 3930 NEW BEST:: SOT 307502 SOS 190316 HAS SOPS 110297 HAS SOUS 23715 HAS SOUPS 13610 WITH SCORE 13800.316
AT ITER 3952 NEW BEST:: SOT 307476 SOS 190133 HAS SOPS 109960 HAS SOUS 23699 HAS SOUPS 13582 WITH SCORE 13772.133
AT ITER 3960 NEW BEST:: SOT 308129 SOS 190906 HAS SOPS 110408 HAS SOUS 23646 HAS SOUPS 13529 WITH SCORE 13719.906
AT ITER 3972 NEW BEST:: SOT 308123 SOS 190729 HAS SOPS 110411 HAS SOUS 23627 HAS SOUPS 13525 WITH SCORE 13715.729
AT ITER 3996 NEW BEST:: SOT 307881 SOS 189965 HAS SOPS 109747 HAS SOUS 23605 HAS SOUPS 13503 WITH SCORE 13692.965
AT ITER 4032 NEW BEST:: SOT 307787 SOS 189833 HAS SOPS 109649 HAS SOUS 23598 HAS SOUPS 13496 WITH SCORE 13685.833
AT ITER 4037 NEW BEST:: SOT 307430 SOS 189451 HAS SOPS 109351 HAS SOUS 23616 HAS SOUPS 13495 WITH SCORE 13684.451
AT ITER 4048 NEW BEST:: SOT 307451 SOS 189505 HAS SOPS 109366 HAS SOUS 23616 HAS SOUPS 13492 WITH SCORE 13681.505
AT ITER 4051 NEW BEST:: SOT 307401 SOS 189377 HAS SOPS 109325 HAS SOUS 23593 HAS SOUPS 13489 WITH SCORE 13678.377
AT ITER 4055 NEW BEST:: SOT 307401 SOS 189366 HAS SOPS 109314 HAS SOUS 23593 HAS SOUPS 13489 WITH SCORE 13678.366
AT ITER 4088 NEW BEST:: SOT 307435 SOS 189400 HAS SOPS 109292 HAS SOUS 23577 HAS SOUPS 13473 WITH SCORE 13662.4
AT ITER 4105 NEW BEST:: SOT 307471 SOS 189436 HAS SOPS 109292 HAS SOUS 23550 HAS SOUPS 13458 WITH SCORE 13647.436
AT ITER 4135 NEW BEST:: SOT 307446 SOS 189411 HAS SOPS 109292 HAS SOUS 23550 HAS SOUPS 13458 WITH SCORE 13647.411
AT ITER 4174 NEW BEST:: SOT 307437 SOS 189405 HAS SOPS 109286 HAS SOUS 23547 HAS SOUPS 13455 WITH SCORE 13644.405
AT ITER 4198 NEW BEST:: SOT 307543 SOS 189627 HAS SOPS 109348 HAS SOUS 23550 HAS SOUPS 13450 WITH SCORE 13639.627
AT ITER 4201 NEW BEST:: SOT 307543 SOS 189627 HAS SOPS 109348 HAS SOUS 23528 HAS SOUPS 13428 WITH SCORE 13617.627
AT ITER 4228 NEW BEST:: SOT 307542 SOS 189626 HAS SOPS 109348 HAS SOUS 23528 HAS SOUPS 13428 WITH SCORE 13617.626
AT ITER 4248 NEW BEST:: SOT 307254 SOS 188988 HAS SOPS 109160 HAS SOUS 23489 HAS SOUPS 13414 WITH SCORE 13602.988
AT ITER 4270 NEW BEST:: SOT 306762 SOS 188238 HAS SOPS 108456 HAS SOUS 23518 HAS SOUPS 13410 WITH SCORE 13598.238
AT ITER 4318 NEW BEST:: SOT 306618 SOS 186722 HAS SOPS 107169 HAS SOUS 23463 HAS SOUPS 13367 WITH SCORE 13553.722
AT ITER 4327 NEW BEST:: SOT 306640 SOS 186762 HAS SOPS 107181 HAS SOUS 23463 HAS SOUPS 13365 WITH SCORE 13551.762
AT ITER 4341 NEW BEST:: SOT 306446 SOS 186422 HAS SOPS 106905 HAS SOUS 23449 HAS SOUPS 13351 WITH SCORE 13537.422
AT ITER 4345 NEW BEST:: SOT 306446 SOS 186412 HAS SOPS 106907 HAS SOUS 23448 HAS SOUPS 13351 WITH SCORE 13537.412
AT ITER 4369 NEW BEST:: SOT 305941 SOS 185528 HAS SOPS 106634 HAS SOUS 23413 HAS SOUPS 13351 WITH SCORE 13536.528
AT ITER 4396 NEW BEST:: SOT 305916 SOS 185250 HAS SOPS 106128 HAS SOUS 23420 HAS SOUPS 13339 WITH SCORE 13524.25
AT ITER 4404 NEW BEST:: SOT 305913 SOS 185129 HAS SOPS 106067 HAS SOUS 23414 HAS SOUPS 13338 WITH SCORE 13523.129
AT ITER 4458 NEW BEST:: SOT 305907 SOS 185009 HAS SOPS 106055 HAS SOUS 23399 HAS SOUPS 13332 WITH SCORE 13517.009
AT ITER 4523 NEW BEST:: SOT 305907 SOS 185009 HAS SOPS 106055 HAS SOUS 23318 HAS SOUPS 13287 WITH SCORE 13472.009
AT ITER 4620 NEW BEST:: SOT 305956 SOS 185058 HAS SOPS 106055 HAS SOUS 23309 HAS SOUPS 13282 WITH SCORE 13467.058
AT ITER 4625 NEW BEST:: SOT 305765 SOS 184475 HAS SOPS 105775 HAS SOUS 23294 HAS SOUPS 13272 WITH SCORE 13456.475
AT ITER 4635 NEW BEST:: SOT 305768 SOS 184439 HAS SOPS 105775 HAS SOUS 23291 HAS SOUPS 13272 WITH SCORE 13456.439
AT ITER 4641 NEW BEST:: SOT 305774 SOS 184449 HAS SOPS 105779 HAS SOUS 23286 HAS SOUPS 13269 WITH SCORE 13453.449
AT ITER 4664 NEW BEST:: SOT 305720 SOS 184325 HAS SOPS 105624 HAS SOUS 23286 HAS SOUPS 13261 WITH SCORE 13445.325
AT ITER 4692 NEW BEST:: SOT 305913 SOS 184672 HAS SOPS 105716 HAS SOUS 23270 HAS SOUPS 13228 WITH SCORE 13412.672
AT ITER 4736 NEW BEST:: SOT 307186 SOS 187225 HAS SOPS 106490 HAS SOUS 23311 HAS SOUPS 13222 WITH SCORE 13409.225
AT ITER 4763 NEW BEST:: SOT 307150 SOS 187213 HAS SOPS 106445 HAS SOUS 23299 HAS SOUPS 13216 WITH SCORE 13403.213
AT ITER 4781 NEW BEST:: SOT 307146 SOS 187018 HAS SOPS 106454 HAS SOUS 23278 HAS SOUPS 13212 WITH SCORE 13399.018
AT ITER 4811 NEW BEST:: SOT 307106 SOS 187120 HAS SOPS 106498 HAS SOUS 23265 HAS SOUPS 13187 WITH SCORE 13374.12
AT ITER 4844 NEW BEST:: SOT 307104 SOS 187094 HAS SOPS 106472 HAS SOUS 23262 HAS SOUPS 13184 WITH SCORE 13371.094
AT ITER 4850 NEW BEST:: SOT 307104 SOS 187094 HAS SOPS 106472 HAS SOUS 23253 HAS SOUPS 13179 WITH SCORE 13366.094
AT ITER 4952 NEW BEST:: SOT 307102 SOS 187092 HAS SOPS 106472 HAS SOUS 23253 HAS SOUPS 13179 WITH SCORE 13366.092
AT ITER 4980 NEW BEST:: SOT 307318 SOS 187370 HAS SOPS 106628 HAS SOUS 23247 HAS SOUPS 13175 WITH SCORE 13362.37
AT ITER 4992 NEW BEST:: SOT 307313 SOS 187313 HAS SOPS 106598 HAS SOUS 23231 HAS SOUPS 13172 WITH SCORE 13359.313
AT ITER 4998 NEW BEST:: SOT 307313 SOS 187313 HAS SOPS 106598 HAS SOUS 23225 HAS SOUPS 13166 WITH SCORE 13353.313
AT ITER 5013 NEW BEST:: SOT 307230 SOS 186625 HAS SOPS 106474 HAS SOUS 23145 HAS SOUPS 13133 WITH SCORE 13319.625
AT ITER 5014 NEW BEST:: SOT 307230 SOS 186625 HAS SOPS 106474 HAS SOUS 23127 HAS SOUPS 13123 WITH SCORE 13309.625
AT ITER 5040 NEW BEST:: SOT 307230 SOS 186607 HAS SOPS 106456 HAS SOUS 23127 HAS SOUPS 13123 WITH SCORE 13309.607
AT ITER 5094 NEW BEST:: SOT 307224 SOS 186523 HAS SOPS 106456 HAS SOUS 23110 HAS SOUPS 13113 WITH SCORE 13299.523
AT ITER 5098 NEW BEST:: SOT 307630 SOS 186935 HAS SOPS 106764 HAS SOUS 23078 HAS SOUPS 13100 WITH SCORE 13286.935
AT ITER 5119 NEW BEST:: SOT 307660 SOS 186971 HAS SOPS 106780 HAS SOUS 23064 HAS SOUPS 13086 WITH SCORE 13272.971
AT ITER 5162 NEW BEST:: SOT 307667 SOS 187189 HAS SOPS 106998 HAS SOUS 23057 HAS SOUPS 13079 WITH SCORE 13266.189
AT ITER 5222 NEW BEST:: SOT 307459 SOS 186617 HAS SOPS 106516 HAS SOUS 23046 HAS SOUPS 13068 WITH SCORE 13254.617
AT ITER 5227 NEW BEST:: SOT 307306 SOS 186294 HAS SOPS 106397 HAS SOUS 23029 HAS SOUPS 13051 WITH SCORE 13237.294
AT ITER 5236 NEW BEST:: SOT 307295 SOS 186283 HAS SOPS 106397 HAS SOUS 23029 HAS SOUPS 13051 WITH SCORE 13237.283
AT ITER 5238 NEW BEST:: SOT 307270 SOS 185874 HAS SOPS 106408 HAS SOUS 22978 HAS SOUPS 13035 WITH SCORE 13220.874
AT ITER 5334 NEW BEST:: SOT 307260 SOS 185542 HAS SOPS 106076 HAS SOUS 22968 HAS SOUPS 13025 WITH SCORE 13210.542
AT ITER 5366 NEW BEST:: SOT 307249 SOS 185786 HAS SOPS 106285 HAS SOUS 22967 HAS SOUPS 13024 WITH SCORE 13209.786
AT ITER 5375 NEW BEST:: SOT 307245 SOS 185690 HAS SOPS 106285 HAS SOUS 22953 HAS SOUPS 13018 WITH SCORE 13203.69
AT ITER 5470 NEW BEST:: SOT 307242 SOS 185645 HAS SOPS 106240 HAS SOUS 22953 HAS SOUPS 13018 WITH SCORE 13203.645
AT ITER 5561 NEW BEST:: SOT 307561 SOS 186225 HAS SOPS 106414 HAS SOUS 22953 HAS SOUPS 12989 WITH SCORE 13175.225
AT ITER 5582 NEW BEST:: SOT 307561 SOS 186225 HAS SOPS 106414 HAS SOUS 22899 HAS SOUPS 12959 WITH SCORE 13145.225
AT ITER 5586 NEW BEST:: SOT 307518 SOS 186179 HAS SOPS 106388 HAS SOUS 22893 HAS SOUPS 12953 WITH SCORE 13139.179
AT ITER 5642 NEW BEST:: SOT 307370 SOS 184679 HAS SOPS 105139 HAS SOUS 22872 HAS SOUPS 12932 WITH SCORE 13116.679
AT ITER 5701 NEW BEST:: SOT 307368 SOS 184651 HAS SOPS 105111 HAS SOUS 22870 HAS SOUPS 12930 WITH SCORE 13114.651
AT ITER 5737 NEW BEST:: SOT 307368 SOS 184664 HAS SOPS 105112 HAS SOUS 22869 HAS SOUPS 12928 WITH SCORE 13112.664
AT ITER 5783 NEW BEST:: SOT 307490 SOS 184947 HAS SOPS 105190 HAS SOUS 22847 HAS SOUPS 12906 WITH SCORE 13090.947
AT ITER 5788 NEW BEST:: SOT 307802 SOS 185493 HAS SOPS 105346 HAS SOUS 22847 HAS SOUPS 12880 WITH SCORE 13065.493
AT ITER 5834 NEW BEST:: SOT 307805 SOS 185521 HAS SOPS 105374 HAS SOUS 22832 HAS SOUPS 12865 WITH SCORE 13050.521
AT ITER 5855 NEW BEST:: SOT 307805 SOS 185521 HAS SOPS 105374 HAS SOUS 22823 HAS SOUPS 12860 WITH SCORE 13045.521
AT ITER 5886 NEW BEST:: SOT 307802 SOS 185539 HAS SOPS 105374 HAS SOUS 22821 HAS SOUPS 12858 WITH SCORE 13043.539
AT ITER 5904 NEW BEST:: SOT 307797 SOS 185509 HAS SOPS 105368 HAS SOUS 22816 HAS SOUPS 12855 WITH SCORE 13040.509
AT ITER 5957 NEW BEST:: SOT 307790 SOS 185502 HAS SOPS 105368 HAS SOUS 22814 HAS SOUPS 12853 WITH SCORE 13038.502
AT ITER 5973 NEW BEST:: SOT 307792 SOS 185442 HAS SOPS 105320 HAS SOUS 22812 HAS SOUPS 12852 WITH SCORE 13037.442
AT ITER 5974 NEW BEST:: SOT 308067 SOS 185795 HAS SOPS 105552 HAS SOUS 22807 HAS SOUPS 12847 WITH SCORE 13032.795
AT ITER 6025 NEW BEST:: SOT 308078 SOS 185910 HAS SOPS 105502 HAS SOUS 22818 HAS SOUPS 12845 WITH SCORE 13030.91
AT ITER 6030 NEW BEST:: SOT 309028 SOS 187989 HAS SOPS 106124 HAS SOUS 22859 HAS SOUPS 12815 WITH SCORE 13002.989
AT ITER 6043 NEW BEST:: SOT 309001 SOS 187931 HAS SOPS 106066 HAS SOUS 22851 HAS SOUPS 12807 WITH SCORE 12994.931
AT ITER 6161 NEW BEST:: SOT 308998 SOS 187916 HAS SOPS 105891 HAS SOUS 22842 HAS SOUPS 12785 WITH SCORE 12972.916
AT ITER 6187 NEW BEST:: SOT 308996 SOS 187912 HAS SOPS 105887 HAS SOUS 22840 HAS SOUPS 12783 WITH SCORE 12970.912
AT ITER 6359 NEW BEST:: SOT 308876 SOS 187792 HAS SOPS 105767 HAS SOUS 22840 HAS SOUPS 12783 WITH SCORE 12970.792
AT ITER 6454 NEW BEST:: SOT 308872 SOS 187736 HAS SOPS 105759 HAS SOUS 22832 HAS SOUPS 12779 WITH SCORE 12966.736
AT ITER 6500 NEW BEST:: SOT 308872 SOS 187716 HAS SOPS 105759 HAS SOUS 22832 HAS SOUPS 12779 WITH SCORE 12966.716
AT ITER 6519 NEW BEST:: SOT 308860 SOS 187660 HAS SOPS 105761 HAS SOUS 22826 HAS SOUPS 12779 WITH SCORE 12966.66
AT ITER 6524 NEW BEST:: SOT 308860 SOS 187660 HAS SOPS 105761 HAS SOUS 22817 HAS SOUPS 12774 WITH SCORE 12961.66
AT ITER 6783 NEW BEST:: SOT 308780 SOS 187499 HAS SOPS 105638 HAS SOUS 22810 HAS SOUPS 12767 WITH SCORE 12954.499
AT ITER 6908 NEW BEST:: SOT 308784 SOS 187633 HAS SOPS 105772 HAS SOUS 22807 HAS SOUPS 12764 WITH SCORE 12951.633
AT ITER 7051 NEW BEST:: SOT 308692 SOS 187436 HAS SOPS 105617 HAS SOUS 22799 HAS SOUPS 12756 WITH SCORE 12943.436
AT ITER 7078 NEW BEST:: SOT 308696 SOS 187436 HAS SOPS 105561 HAS SOUS 22796 HAS SOUPS 12749 WITH SCORE 12936.436
AT ITER 7163 NEW BEST:: SOT 308687 SOS 187320 HAS SOPS 105445 HAS SOUS 22788 HAS SOUPS 12741 WITH SCORE 12928.32
AT ITER 7220 NEW BEST:: SOT 308687 SOS 187320 HAS SOPS 105445 HAS SOUS 22784 HAS SOUPS 12737 WITH SCORE 12924.32
AT ITER 7259 NEW BEST:: SOT 308667 SOS 187300 HAS SOPS 105450 HAS SOUS 22753 HAS SOUPS 12722 WITH SCORE 12909.3
AT ITER 7303 NEW BEST:: SOT 308620 SOS 187836 HAS SOPS 105446 HAS SOUS 22792 HAS SOUPS 12716 WITH SCORE 12903.836
AT ITER 7304 NEW BEST:: SOT 308800 SOS 188151 HAS SOPS 105536 HAS SOUS 22805 HAS SOUPS 12714 WITH SCORE 12902.151
AT ITER 7314 NEW BEST:: SOT 308819 SOS 187605 HAS SOPS 105122 HAS SOUS 22791 HAS SOUPS 12711 WITH SCORE 12898.605
AT ITER 7342 NEW BEST:: SOT 308799 SOS 187563 HAS SOPS 105080 HAS SOUS 22789 HAS SOUPS 12707 WITH SCORE 12894.563
AT ITER 7380 NEW BEST:: SOT 308840 SOS 187604 HAS SOPS 105080 HAS SOUS 22744 HAS SOUPS 12682 WITH SCORE 12869.604
AT ITER 7387 NEW BEST:: SOT 308851 SOS 187607 HAS SOPS 105083 HAS SOUS 22731 HAS SOUPS 12669 WITH SCORE 12856.607
AT ITER 7437 NEW BEST:: SOT 308829 SOS 187528 HAS SOPS 105037 HAS SOUS 22717 HAS SOUPS 12661 WITH SCORE 12848.528
AT ITER 7501 NEW BEST:: SOT 308961 SOS 187768 HAS SOPS 105109 HAS SOUS 22728 HAS SOUPS 12656 WITH SCORE 12843.768
AT ITER 7574 NEW BEST:: SOT 308931 SOS 187543 HAS SOPS 104884 HAS SOUS 22713 HAS SOUPS 12641 WITH SCORE 12828.543
AT ITER 7737 NEW BEST:: SOT 308922 SOS 187516 HAS SOPS 104842 HAS SOUS 22716 HAS SOUPS 12641 WITH SCORE 12828.516
AT ITER 7791 NEW BEST:: SOT 308988 SOS 187721 HAS SOPS 104915 HAS SOUS 22750 HAS SOUPS 12639 WITH SCORE 12826.721
AT ITER 7846 NEW BEST:: SOT 308958 SOS 187789 HAS SOPS 104993 HAS SOUS 22740 HAS SOUPS 12629 WITH SCORE 12816.789
AT ITER 7861 NEW BEST:: SOT 308892 SOS 187630 HAS SOPS 104942 HAS SOUS 22738 HAS SOUPS 12627 WITH SCORE 12814.63
AT ITER 7909 NEW BEST:: SOT 308891 SOS 187628 HAS SOPS 104940 HAS SOUS 22737 HAS SOUPS 12626 WITH SCORE 12813.628
AT ITER 7940 NEW BEST:: SOT 308044 SOS 185935 HAS SOPS 104415 HAS SOUS 22722 HAS SOUPS 12627 WITH SCORE 12812.935
AT ITER 8008 NEW BEST:: SOT 308051 SOS 185951 HAS SOPS 104419 HAS SOUS 22720 HAS SOUPS 12625 WITH SCORE 12810.951
AT ITER 8010 NEW BEST:: SOT 308085 SOS 185985 HAS SOPS 104419 HAS SOUS 22693 HAS SOUPS 12610 WITH SCORE 12795.985
AT ITER 8114 NEW BEST:: SOT 308481 SOS 186678 HAS SOPS 104617 HAS SOUS 22712 HAS SOUPS 12596 WITH SCORE 12782.678
AT ITER 8226 NEW BEST:: SOT 308468 SOS 186663 HAS SOPS 104608 HAS SOUS 22712 HAS SOUPS 12596 WITH SCORE 12782.663
AT ITER 8353 NEW BEST:: SOT 308343 SOS 186011 HAS SOPS 104162 HAS SOUS 22693 HAS SOUPS 12577 WITH SCORE 12763.011
AT ITER 8361 NEW BEST:: SOT 308333 SOS 185881 HAS SOPS 104092 HAS SOUS 22683 HAS SOUPS 12572 WITH SCORE 12757.881
AT ITER 8394 NEW BEST:: SOT 308254 SOS 185654 HAS SOPS 103891 HAS SOUS 22672 HAS SOUPS 12561 WITH SCORE 12746.654
AT ITER 8425 NEW BEST:: SOT 307864 SOS 185239 HAS SOPS 103632 HAS SOUS 22672 HAS SOUPS 12555 WITH SCORE 12740.239
AT ITER 8485 NEW BEST:: SOT 307666 SOS 184879 HAS SOPS 103524 HAS SOUS 22654 HAS SOUPS 12555 WITH SCORE 12739.879
AT ITER 8683 NEW BEST:: SOT 307693 SOS 184901 HAS SOPS 103322 HAS SOUS 22660 HAS SOUPS 12545 WITH SCORE 12729.901
AT ITER 8687 NEW BEST:: SOT 307690 SOS 184868 HAS SOPS 103289 HAS SOUS 22660 HAS SOUPS 12545 WITH SCORE 12729.868
AT ITER 8817 NEW BEST:: SOT 307690 SOS 184868 HAS SOPS 103289 HAS SOUS 22651 HAS SOUPS 12540 WITH SCORE 12724.868
AT ITER 8837 NEW BEST:: SOT 307676 SOS 184854 HAS SOPS 103289 HAS SOUS 22651 HAS SOUPS 12540 WITH SCORE 12724.854
AT ITER 8861 NEW BEST:: SOT 307680 SOS 184854 HAS SOPS 103233 HAS SOUS 22647 HAS SOUPS 12532 WITH SCORE 12716.854
AT ITER 8983 NEW BEST:: SOT 307683 SOS 184860 HAS SOPS 103236 HAS SOUS 22644 HAS SOUPS 12529 WITH SCORE 12713.86
AT ITER 9040 NEW BEST:: SOT 307539 SOS 184812 HAS SOPS 103188 HAS SOUS 22668 HAS SOUPS 12529 WITH SCORE 12713.812
AT ITER 9066 NEW BEST:: SOT 307525 SOS 184797 HAS SOPS 103179 HAS SOUS 22667 HAS SOUPS 12528 WITH SCORE 12712.797
AT ITER 9078 NEW BEST:: SOT 307503 SOS 184757 HAS SOPS 103167 HAS SOUS 22665 HAS SOUPS 12528 WITH SCORE 12712.757
AT ITER 9110 NEW BEST:: SOT 307501 SOS 184761 HAS SOPS 103166 HAS SOUS 22665 HAS SOUPS 12527 WITH SCORE 12711.761
AT ITER 9170 NEW BEST:: SOT 307498 SOS 184700 HAS SOPS 103105 HAS SOUS 22656 HAS SOUPS 12518 WITH SCORE 12702.7
AT ITER 9197 NEW BEST:: SOT 307494 SOS 184750 HAS SOPS 103123 HAS SOUS 22649 HAS SOUPS 12511 WITH SCORE 12695.75
AT ITER 9239 NEW BEST:: SOT 307483 SOS 184739 HAS SOPS 103123 HAS SOUS 22649 HAS SOUPS 12511 WITH SCORE 12695.739
AT ITER 9264 NEW BEST:: SOT 307471 SOS 184727 HAS SOPS 103123 HAS SOUS 22649 HAS SOUPS 12511 WITH SCORE 12695.727
AT ITER 9399 NEW BEST:: SOT 307449 SOS 184562 HAS SOPS 103090 HAS SOUS 22631 HAS SOUPS 12504 WITH SCORE 12688.562
AT ITER 9504 NEW BEST:: SOT 307451 SOS 184782 HAS SOPS 103147 HAS SOUS 22643 HAS SOUPS 12503 WITH SCORE 12687.782
AT ITER 9593 NEW BEST:: SOT 307478 SOS 184762 HAS SOPS 103127 HAS SOUS 22642 HAS SOUPS 12502 WITH SCORE 12686.762
AT ITER 9615 NEW BEST:: SOT 307475 SOS 184734 HAS SOPS 103075 HAS SOUS 22643 HAS SOUPS 12501 WITH SCORE 12685.734
AT ITER 9621 NEW BEST:: SOT 307262 SOS 184733 HAS SOPS 102934 HAS SOUS 22677 HAS SOUPS 12501 WITH SCORE 12685.733
AT ITER 9630 NEW BEST:: SOT 307356 SOS 184964 HAS SOPS 103002 HAS SOUS 22676 HAS SOUPS 12500 WITH SCORE 12684.964
AT ITER 9854 NEW BEST:: SOT 307349 SOS 184874 HAS SOPS 103008 HAS SOUS 22664 HAS SOUPS 12496 WITH SCORE 12680.874
AT ITER 9855 NEW BEST:: SOT 307298 SOS 184718 HAS SOPS 102909 HAS SOUS 22641 HAS SOUPS 12479 WITH SCORE 12663.718
STATE_SPACE STATES 2401000000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 157 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 492616600000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 9602624 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123644 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-08a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DLCround-PT-08a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484600704"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-08a.tgz
mv DLCround-PT-08a 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 ;