About the Execution of Smart+red for HypercubeGrid-PT-C5K3P3B15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14963.836 | 3600000.00 | 3662637.00 | 9796.90 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r235-tall-167856421100024.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 HypercubeGrid-PT-C5K3P3B15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421100024
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.7K Feb 26 11:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 11:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 06:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 06:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 26 23:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 26 23:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 26 19:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 26 19:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 14M 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 1678626505845
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=HypercubeGrid-PT-C5K3P3B15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 13:08:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 13:08:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 13:08:27] [INFO ] Load time of PNML (sax parser for PT used): 591 ms
[2023-03-12 13:08:28] [INFO ] Transformed 9153 places.
[2023-03-12 13:08:28] [INFO ] Transformed 25110 transitions.
[2023-03-12 13:08:28] [INFO ] Parsed PT model containing 9153 places and 25110 transitions and 100440 arcs in 759 ms.
[2023-03-12 13:08:28] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 9153 places, 25110 transitions and 100440 arcs took 152 ms.
Total runtime 944 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypercubeGrid (PT), instance C5K3P3B15
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: 9153 places, 25110 transitions, 100440 arcs.
AT ITER 0 NEW BEST:: SOT 127694680 SOS 25094353 HAS SOPS 25094353 HAS SOUS 8335615 HAS SOUPS 8335615 WITH SCORE 8360709.353
AT ITER 31 NEW BEST:: SOT 127694680 SOS 25094353 HAS SOPS 25094353 HAS SOUS 8335560 HAS SOUPS 8335560 WITH SCORE 8360654.353
AT ITER 44 NEW BEST:: SOT 127694170 SOS 25089013 HAS SOPS 25089013 HAS SOUS 8334060 HAS SOUPS 8334060 WITH SCORE 8359149.013
AT ITER 46 NEW BEST:: SOT 127690660 SOS 25085113 HAS SOPS 25085113 HAS SOUS 8330160 HAS SOUPS 8330160 WITH SCORE 8355245.113
AT ITER 54 NEW BEST:: SOT 127690601 SOS 25085054 HAS SOPS 25085054 HAS SOUS 8330130 HAS SOUPS 8330130 WITH SCORE 8355215.054
AT ITER 77 NEW BEST:: SOT 127686092 SOS 25075535 HAS SOPS 25075535 HAS SOUS 8324619 HAS SOUPS 8324619 WITH SCORE 8349694.535
AT ITER 93 NEW BEST:: SOT 127686092 SOS 25075265 HAS SOPS 25075265 HAS SOUS 8324589 HAS SOUPS 8324589 WITH SCORE 8349664.265
AT ITER 99 NEW BEST:: SOT 127686048 SOS 25075177 HAS SOPS 25075177 HAS SOUS 8324501 HAS SOUPS 8324501 WITH SCORE 8349576.177
AT ITER 161 NEW BEST:: SOT 127686048 SOS 25075177 HAS SOPS 25075177 HAS SOUS 8324347 HAS SOUPS 8324347 WITH SCORE 8349422.177
AT ITER 216 NEW BEST:: SOT 127681962 SOS 25070637 HAS SOPS 25070637 HAS SOUS 8318949 HAS SOUPS 8318949 WITH SCORE 8344019.637
AT ITER 292 NEW BEST:: SOT 127681635 SOS 25067367 HAS SOPS 25067367 HAS SOUS 8318295 HAS SOUPS 8318295 WITH SCORE 8343362.367
AT ITER 294 NEW BEST:: SOT 127681635 SOS 25063142 HAS SOPS 25063142 HAS SOUS 8318030 HAS SOUPS 8318030 WITH SCORE 8343093.142
AT ITER 315 NEW BEST:: SOT 127681448 SOS 25061272 HAS SOPS 25061272 HAS SOUS 8317656 HAS SOUPS 8317656 WITH SCORE 8342717.272
AT ITER 317 NEW BEST:: SOT 127681703 SOS 25061527 HAS SOPS 25061527 HAS SOUS 8317635 HAS SOUPS 8317635 WITH SCORE 8342696.527
AT ITER 344 NEW BEST:: SOT 127680911 SOS 25060735 HAS SOPS 25060735 HAS SOUS 8316843 HAS SOUPS 8316843 WITH SCORE 8341903.735
AT ITER 397 NEW BEST:: SOT 127681037 SOS 25057666 HAS SOPS 25057666 HAS SOUS 8316726 HAS SOUPS 8316726 WITH SCORE 8341783.666
AT ITER 420 NEW BEST:: SOT 127680861 SOS 25057314 HAS SOPS 25057314 HAS SOUS 8315350 HAS SOUPS 8315350 WITH SCORE 8340407.314
AT ITER 466 NEW BEST:: SOT 127680738 SOS 25057191 HAS SOPS 25057191 HAS SOUS 8315283 HAS SOUPS 8315283 WITH SCORE 8340340.191
AT ITER 482 NEW BEST:: SOT 127680413 SOS 25056541 HAS SOPS 25056541 HAS SOUS 8313715 HAS SOUPS 8313715 WITH SCORE 8338771.541
AT ITER 483 NEW BEST:: SOT 127679909 SOS 25055162 HAS SOPS 25055162 HAS SOUS 8313379 HAS SOUPS 8313379 WITH SCORE 8338434.162
AT ITER 543 NEW BEST:: SOT 127679909 SOS 25055162 HAS SOPS 25055162 HAS SOUS 8313231 HAS SOUPS 8313231 WITH SCORE 8338286.162
AT ITER 550 NEW BEST:: SOT 127680076 SOS 25052409 HAS SOPS 25052409 HAS SOUS 8313222 HAS SOUPS 8313222 WITH SCORE 8338274.409
AT ITER 557 NEW BEST:: SOT 127675684 SOS 25047529 HAS SOPS 25047529 HAS SOUS 8307651 HAS SOUPS 8307651 WITH SCORE 8332698.529
AT ITER 592 NEW BEST:: SOT 127675511 SOS 25047356 HAS SOPS 25047356 HAS SOUS 8307305 HAS SOUPS 8307305 WITH SCORE 8332352.356
AT ITER 598 NEW BEST:: SOT 127675414 SOS 25047162 HAS SOPS 25047162 HAS SOUS 8307111 HAS SOUPS 8307111 WITH SCORE 8332158.162
AT ITER 609 NEW BEST:: SOT 127675242 SOS 25045442 HAS SOPS 25045442 HAS SOUS 8306767 HAS SOUPS 8306767 WITH SCORE 8331812.442
AT ITER 632 NEW BEST:: SOT 127675242 SOS 25045000 HAS SOPS 25045000 HAS SOUS 8306325 HAS SOUPS 8306325 WITH SCORE 8331370.0
AT ITER 655 NEW BEST:: SOT 127675242 SOS 25044936 HAS SOPS 25044936 HAS SOUS 8306114 HAS SOUPS 8306114 WITH SCORE 8331158.936
AT ITER 663 NEW BEST:: SOT 127670850 SOS 25036152 HAS SOPS 25036152 HAS SOUS 8303192 HAS SOUPS 8303192 WITH SCORE 8328228.152
AT ITER 724 NEW BEST:: SOT 127670850 SOS 25036152 HAS SOPS 25036152 HAS SOUS 8303158 HAS SOUPS 8303158 WITH SCORE 8328194.152
AT ITER 737 NEW BEST:: SOT 127670696 SOS 25034458 HAS SOPS 25034458 HAS SOUS 8302696 HAS SOUPS 8302696 WITH SCORE 8327730.458
AT ITER 749 NEW BEST:: SOT 127670349 SOS 25030641 HAS SOPS 25030641 HAS SOUS 8301655 HAS SOUPS 8301655 WITH SCORE 8326685.641
AT ITER 779 NEW BEST:: SOT 127666704 SOS 25023261 HAS SOPS 25023261 HAS SOUS 8300314 HAS SOUPS 8300314 WITH SCORE 8325337.261
AT ITER 788 NEW BEST:: SOT 127666299 SOS 25019994 HAS SOPS 25019994 HAS SOUS 8299231 HAS SOUPS 8299231 WITH SCORE 8324250.994
AT ITER 803 NEW BEST:: SOT 127666060 SOS 25019755 HAS SOPS 25019755 HAS SOUS 8299231 HAS SOUPS 8299231 WITH SCORE 8324250.755
AT ITER 814 NEW BEST:: SOT 127665930 SOS 25019495 HAS SOPS 25019495 HAS SOUS 8298971 HAS SOUPS 8298971 WITH SCORE 8323990.495
AT ITER 833 NEW BEST:: SOT 127662177 SOS 25015325 HAS SOPS 25015325 HAS SOUS 8294801 HAS SOUPS 8294801 WITH SCORE 8319816.325
AT ITER 941 NEW BEST:: SOT 127662127 SOS 25012234 HAS SOPS 25012234 HAS SOUS 8294590 HAS SOUPS 8294590 WITH SCORE 8319602.234
AT ITER 945 NEW BEST:: SOT 127661790 SOS 25011560 HAS SOPS 25011560 HAS SOUS 8293484 HAS SOUPS 8293484 WITH SCORE 8318495.56
AT ITER 946 NEW BEST:: SOT 127661790 SOS 25007289 HAS SOPS 25007289 HAS SOUS 8293293 HAS SOUPS 8293293 WITH SCORE 8318300.289
AT ITER 982 NEW BEST:: SOT 127661440 SOS 25003439 HAS SOPS 25003439 HAS SOUS 8292243 HAS SOUPS 8292243 WITH SCORE 8317246.439
AT ITER 1027 NEW BEST:: SOT 127661317 SOS 25003193 HAS SOPS 25003193 HAS SOUS 8291997 HAS SOUPS 8291997 WITH SCORE 8317000.193
AT ITER 1040 NEW BEST:: SOT 127661317 SOS 24999278 HAS SOPS 24999278 HAS SOUS 8291562 HAS SOUPS 8291562 WITH SCORE 8316561.278
AT ITER 1047 NEW BEST:: SOT 127661210 SOS 24999064 HAS SOPS 24999064 HAS SOUS 8291348 HAS SOUPS 8291348 WITH SCORE 8316347.064
AT ITER 1048 NEW BEST:: SOT 127661210 SOS 24996514 HAS SOPS 24996514 HAS SOUS 8290838 HAS SOUPS 8290838 WITH SCORE 8315834.514
AT ITER 1053 NEW BEST:: SOT 127659754 SOS 24995058 HAS SOPS 24995058 HAS SOUS 8289382 HAS SOUPS 8289382 WITH SCORE 8314377.058
AT ITER 1067 NEW BEST:: SOT 127659754 SOS 24994675 HAS SOPS 24994675 HAS SOUS 8288999 HAS SOUPS 8288999 WITH SCORE 8313993.675
AT ITER 1091 NEW BEST:: SOT 127659754 SOS 24990452 HAS SOPS 24990452 HAS SOUS 8288736 HAS SOUPS 8288736 WITH SCORE 8313726.452
AT ITER 1097 NEW BEST:: SOT 127659605 SOS 24988962 HAS SOPS 24988962 HAS SOUS 8288438 HAS SOUPS 8288438 WITH SCORE 8313426.962
AT ITER 1110 NEW BEST:: SOT 127659605 SOS 24985432 HAS SOPS 24985432 HAS SOUS 8287732 HAS SOUPS 8287732 WITH SCORE 8312717.432
AT ITER 1154 NEW BEST:: SOT 127659311 SOS 24982492 HAS SOPS 24982492 HAS SOUS 8287144 HAS SOUPS 8287144 WITH SCORE 8312126.492
AT ITER 1241 NEW BEST:: SOT 127655342 SOS 24978082 HAS SOPS 24978082 HAS SOUS 8282029 HAS SOUPS 8282029 WITH SCORE 8307007.082
AT ITER 1269 NEW BEST:: SOT 127655242 SOS 24977982 HAS SOPS 24977982 HAS SOUS 8281648 HAS SOUPS 8281648 WITH SCORE 8306625.982
AT ITER 1270 NEW BEST:: SOT 127654736 SOS 24972416 HAS SOPS 24972416 HAS SOUS 8280130 HAS SOUPS 8280130 WITH SCORE 8305102.416
AT ITER 1289 NEW BEST:: SOT 127650281 SOS 24963226 HAS SOPS 24963226 HAS SOUS 8276835 HAS SOUPS 8276835 WITH SCORE 8301798.226
AT ITER 1311 NEW BEST:: SOT 127650281 SOS 24958736 HAS SOPS 24958736 HAS SOUS 8275937 HAS SOUPS 8275937 WITH SCORE 8300895.736
AT ITER 1323 NEW BEST:: SOT 127650153 SOS 24954344 HAS SOPS 24954344 HAS SOUS 8275625 HAS SOUPS 8275625 WITH SCORE 8300579.344
AT ITER 1329 NEW BEST:: SOT 127646121 SOS 24945832 HAS SOPS 24945832 HAS SOUS 8270697 HAS SOUPS 8270697 WITH SCORE 8295642.832
AT ITER 1347 NEW BEST:: SOT 127646121 SOS 24945832 HAS SOPS 24945832 HAS SOUS 8270639 HAS SOUPS 8270639 WITH SCORE 8295584.832
AT ITER 1349 NEW BEST:: SOT 127649495 SOS 24949484 HAS SOPS 24949484 HAS SOUS 8270331 HAS SOUPS 8270331 WITH SCORE 8295280.484
AT ITER 1426 NEW BEST:: SOT 127644905 SOS 24939975 HAS SOPS 24939975 HAS SOUS 8266531 HAS SOUPS 8266531 WITH SCORE 8291470.975
AT ITER 1441 NEW BEST:: SOT 127640570 SOS 24931305 HAS SOPS 24931305 HAS SOUS 8263268 HAS SOUPS 8263268 WITH SCORE 8288199.305
AT ITER 1506 NEW BEST:: SOT 127640397 SOS 24931132 HAS SOPS 24931132 HAS SOUS 8263095 HAS SOUPS 8263095 WITH SCORE 8288026.132
AT ITER 1586 NEW BEST:: SOT 127640253 SOS 24929548 HAS SOPS 24929548 HAS SOUS 8262663 HAS SOUPS 8262663 WITH SCORE 8287592.548
AT ITER 1595 NEW BEST:: SOT 127638111 SOS 24925026 HAS SOPS 24925026 HAS SOUS 8260045 HAS SOUPS 8260045 WITH SCORE 8284970.026
AT ITER 1617 NEW BEST:: SOT 127638111 SOS 24922106 HAS SOPS 24922106 HAS SOUS 8260005 HAS SOUPS 8260005 WITH SCORE 8284927.106
AT ITER 1679 NEW BEST:: SOT 127638033 SOS 24921950 HAS SOPS 24921950 HAS SOUS 8259849 HAS SOUPS 8259849 WITH SCORE 8284770.95
AT ITER 1712 NEW BEST:: SOT 127633672 SOS 24913228 HAS SOPS 24913228 HAS SOUS 8257116 HAS SOUPS 8257116 WITH SCORE 8282029.228
AT ITER 1716 NEW BEST:: SOT 127633634 SOS 24913152 HAS SOPS 24913152 HAS SOUS 8257040 HAS SOUPS 8257040 WITH SCORE 8281953.152
AT ITER 1775 NEW BEST:: SOT 127632635 SOS 24912153 HAS SOPS 24912153 HAS SOUS 8256041 HAS SOUPS 8256041 WITH SCORE 8280953.153
AT ITER 1776 NEW BEST:: SOT 127632635 SOS 24909393 HAS SOPS 24909393 HAS SOUS 8255489 HAS SOUPS 8255489 WITH SCORE 8280398.393
AT ITER 1790 NEW BEST:: SOT 127629827 SOS 24903777 HAS SOPS 24903777 HAS SOUS 8252369 HAS SOUPS 8252369 WITH SCORE 8277272.777
AT ITER 1805 NEW BEST:: SOT 127629365 SOS 24899157 HAS SOPS 24899157 HAS SOUS 8251445 HAS SOUPS 8251445 WITH SCORE 8276344.157
AT ITER 1823 NEW BEST:: SOT 127626125 SOS 24892394 HAS SOPS 24892394 HAS SOUS 8248178 HAS SOUPS 8248178 WITH SCORE 8273070.394
AT ITER 1824 NEW BEST:: SOT 127626125 SOS 24892394 HAS SOPS 24892394 HAS SOUS 8247726 HAS SOUPS 8247726 WITH SCORE 8272618.394
AT ITER 1827 NEW BEST:: SOT 127622798 SOS 24885740 HAS SOPS 24885740 HAS SOUS 8246814 HAS SOUPS 8246814 WITH SCORE 8271699.74
AT ITER 1858 NEW BEST:: SOT 127620878 SOS 24883820 HAS SOPS 24883820 HAS SOUS 8244894 HAS SOUPS 8244894 WITH SCORE 8269777.82
AT ITER 1870 NEW BEST:: SOT 127620793 SOS 24879335 HAS SOPS 24879335 HAS SOUS 8244489 HAS SOUPS 8244489 WITH SCORE 8269368.335
AT ITER 1892 NEW BEST:: SOT 127617994 SOS 24876225 HAS SOPS 24876225 HAS SOUS 8241262 HAS SOUPS 8241262 WITH SCORE 8266138.225
AT ITER 1895 NEW BEST:: SOT 127617049 SOS 24874296 HAS SOPS 24874296 HAS SOUS 8240767 HAS SOUPS 8240767 WITH SCORE 8265641.296
AT ITER 1918 NEW BEST:: SOT 127615689 SOS 24872936 HAS SOPS 24872936 HAS SOUS 8239407 HAS SOUPS 8239407 WITH SCORE 8264279.936
AT ITER 1943 NEW BEST:: SOT 127615764 SOS 24869306 HAS SOPS 24869306 HAS SOUS 8239137 HAS SOUPS 8239137 WITH SCORE 8264006.306
AT ITER 1957 NEW BEST:: SOT 127615634 SOS 24867876 HAS SOPS 24867876 HAS SOUS 8238747 HAS SOUPS 8238747 WITH SCORE 8263614.876
AT ITER 2014 NEW BEST:: SOT 127611593 SOS 24859794 HAS SOPS 24859794 HAS SOUS 8237755 HAS SOUPS 8237755 WITH SCORE 8262614.794
AT ITER 2045 NEW BEST:: SOT 127611752 SOS 24859953 HAS SOPS 24859953 HAS SOUS 8237645 HAS SOUPS 8237645 WITH SCORE 8262504.953
AT ITER 2104 NEW BEST:: SOT 127607421 SOS 24851291 HAS SOPS 24851291 HAS SOUS 8235394 HAS SOUPS 8235394 WITH SCORE 8260245.291
AT ITER 2159 NEW BEST:: SOT 127607367 SOS 24850412 HAS SOPS 24850412 HAS SOUS 8235355 HAS SOUPS 8235355 WITH SCORE 8260205.412
AT ITER 2209 NEW BEST:: SOT 127607367 SOS 24851204 HAS SOPS 24851204 HAS SOUS 8234651 HAS SOUPS 8234651 WITH SCORE 8259502.204
AT ITER 2221 NEW BEST:: SOT 127603524 SOS 24846934 HAS SOPS 24846934 HAS SOUS 8230678 HAS SOUPS 8230678 WITH SCORE 8255524.934
AT ITER 2223 NEW BEST:: SOT 127603136 SOS 24843054 HAS SOPS 24843054 HAS SOUS 8229902 HAS SOUPS 8229902 WITH SCORE 8254745.054
AT ITER 2348 NEW BEST:: SOT 127598896 SOS 24834574 HAS SOPS 24834574 HAS SOUS 8227317 HAS SOUPS 8227317 WITH SCORE 8252151.574
AT ITER 2349 NEW BEST:: SOT 127598896 SOS 24834574 HAS SOPS 24834574 HAS SOUS 8227289 HAS SOUPS 8227289 WITH SCORE 8252123.574
AT ITER 2354 NEW BEST:: SOT 127600582 SOS 24837946 HAS SOPS 24837946 HAS SOUS 8226959 HAS SOUPS 8226959 WITH SCORE 8251796.946
AT ITER 2356 NEW BEST:: SOT 127596262 SOS 24829306 HAS SOPS 24829306 HAS SOUS 8224779 HAS SOUPS 8224779 WITH SCORE 8249608.306
AT ITER 2370 NEW BEST:: SOT 127596104 SOS 24829148 HAS SOPS 24829148 HAS SOUS 8224733 HAS SOUPS 8224733 WITH SCORE 8249562.148
AT ITER 2386 NEW BEST:: SOT 127594360 SOS 24827404 HAS SOPS 24827404 HAS SOUS 8222989 HAS SOUPS 8222989 WITH SCORE 8247816.404
AT ITER 2388 NEW BEST:: SOT 127592803 SOS 24825847 HAS SOPS 24825847 HAS SOUS 8221432 HAS SOUPS 8221432 WITH SCORE 8246257.847
AT ITER 2428 NEW BEST:: SOT 127592643 SOS 24821172 HAS SOPS 24821172 HAS SOUS 8220837 HAS SOUPS 8220837 WITH SCORE 8245658.172
AT ITER 2440 NEW BEST:: SOT 127589934 SOS 24818162 HAS SOPS 24818162 HAS SOUS 8217827 HAS SOUPS 8217827 WITH SCORE 8242645.162
AT ITER 2478 NEW BEST:: SOT 127585974 SOS 24813762 HAS SOPS 24813762 HAS SOUS 8212015 HAS SOUPS 8212015 WITH SCORE 8236828.762
AT ITER 2496 NEW BEST:: SOT 127585801 SOS 24812032 HAS SOPS 24812032 HAS SOUS 8211669 HAS SOUPS 8211669 WITH SCORE 8236481.032
AT ITER 2514 NEW BEST:: SOT 127585801 SOS 24812032 HAS SOPS 24812032 HAS SOUS 8211509 HAS SOUPS 8211509 WITH SCORE 8236321.032
AT ITER 2529 NEW BEST:: SOT 127585801 SOS 24811981 HAS SOPS 24811981 HAS SOUS 8211458 HAS SOUPS 8211458 WITH SCORE 8236269.981
AT ITER 2541 NEW BEST:: SOT 127585801 SOS 24809092 HAS SOPS 24809092 HAS SOUS 8211137 HAS SOUPS 8211137 WITH SCORE 8235946.092
AT ITER 2572 NEW BEST:: SOT 127587853 SOS 24812929 HAS SOPS 24812929 HAS SOUS 8209082 HAS SOUPS 8209082 WITH SCORE 8233894.929
AT ITER 2590 NEW BEST:: SOT 127587883 SOS 24809614 HAS SOPS 24809614 HAS SOUS 8208767 HAS SOUPS 8208767 WITH SCORE 8233576.614
AT ITER 2595 NEW BEST:: SOT 127587883 SOS 24809614 HAS SOPS 24809614 HAS SOUS 8208148 HAS SOUPS 8208148 WITH SCORE 8232957.614
AT ITER 2637 NEW BEST:: SOT 127587883 SOS 24805834 HAS SOPS 24805834 HAS SOUS 8207392 HAS SOUPS 8207392 WITH SCORE 8232197.834
AT ITER 2653 NEW BEST:: SOT 127587645 SOS 24805358 HAS SOPS 24805358 HAS SOUS 8206916 HAS SOUPS 8206916 WITH SCORE 8231721.358
AT ITER 2655 NEW BEST:: SOT 127587645 SOS 24805448 HAS SOPS 24805448 HAS SOUS 8206836 HAS SOUPS 8206836 WITH SCORE 8231641.448
AT ITER 2658 NEW BEST:: SOT 127586661 SOS 24804464 HAS SOPS 24804464 HAS SOUS 8205852 HAS SOUPS 8205852 WITH SCORE 8230656.464
AT ITER 2696 NEW BEST:: SOT 127586661 SOS 24804464 HAS SOPS 24804464 HAS SOUS 8205828 HAS SOUPS 8205828 WITH SCORE 8230632.464
AT ITER 2710 NEW BEST:: SOT 127586661 SOS 24802536 HAS SOPS 24802536 HAS SOUS 8205820 HAS SOUPS 8205820 WITH SCORE 8230622.536
AT ITER 2736 NEW BEST:: SOT 127586566 SOS 24801586 HAS SOPS 24801586 HAS SOUS 8205630 HAS SOUPS 8205630 WITH SCORE 8230431.586
AT ITER 2742 NEW BEST:: SOT 127586266 SOS 24798286 HAS SOPS 24798286 HAS SOUS 8204730 HAS SOUPS 8204730 WITH SCORE 8229528.286
AT ITER 2800 NEW BEST:: SOT 127584594 SOS 24796614 HAS SOPS 24796614 HAS SOUS 8203058 HAS SOUPS 8203058 WITH SCORE 8227854.614
AT ITER 2809 NEW BEST:: SOT 127584520 SOS 24796466 HAS SOPS 24796466 HAS SOUS 8202910 HAS SOUPS 8202910 WITH SCORE 8227706.466
AT ITER 2863 NEW BEST:: SOT 127582225 SOS 24793916 HAS SOPS 24793916 HAS SOUS 8200360 HAS SOUPS 8200360 WITH SCORE 8225153.916
AT ITER 2901 NEW BEST:: SOT 127582225 SOS 24790596 HAS SOPS 24790596 HAS SOUS 8199696 HAS SOUPS 8199696 WITH SCORE 8224486.596
AT ITER 2918 NEW BEST:: SOT 127582225 SOS 24790596 HAS SOPS 24790596 HAS SOUS 8199550 HAS SOUPS 8199550 WITH SCORE 8224340.596
AT ITER 2973 NEW BEST:: SOT 127582225 SOS 24788836 HAS SOPS 24788836 HAS SOUS 8199198 HAS SOUPS 8199198 WITH SCORE 8223986.836
AT ITER 3026 NEW BEST:: SOT 127582225 SOS 24788836 HAS SOPS 24788836 HAS SOUS 8199071 HAS SOUPS 8199071 WITH SCORE 8223859.836
AT ITER 3036 NEW BEST:: SOT 127582069 SOS 24788524 HAS SOPS 24788524 HAS SOUS 8198759 HAS SOUPS 8198759 WITH SCORE 8223547.524
AT ITER 3041 NEW BEST:: SOT 127583212 SOS 24790427 HAS SOPS 24790427 HAS SOUS 8197922 HAS SOUPS 8197922 WITH SCORE 8222712.427
AT ITER 3044 NEW BEST:: SOT 127583212 SOS 24790427 HAS SOPS 24790427 HAS SOUS 8197858 HAS SOUPS 8197858 WITH SCORE 8222648.427
AT ITER 3057 NEW BEST:: SOT 127578914 SOS 24781831 HAS SOPS 24781831 HAS SOUS 8195469 HAS SOUPS 8195469 WITH SCORE 8220250.831
AT ITER 3125 NEW BEST:: SOT 127578617 SOS 24781237 HAS SOPS 24781237 HAS SOUS 8194051 HAS SOUPS 8194051 WITH SCORE 8218832.237
AT ITER 3134 NEW BEST:: SOT 127578617 SOS 24777122 HAS SOPS 24777122 HAS SOUS 8193896 HAS SOUPS 8193896 WITH SCORE 8218673.122
AT ITER 3225 NEW BEST:: SOT 127578825 SOS 24777330 HAS SOPS 24777330 HAS SOUS 8193738 HAS SOUPS 8193738 WITH SCORE 8218515.33
AT ITER 3264 NEW BEST:: SOT 127578825 SOS 24777150 HAS SOPS 24777150 HAS SOUS 8193702 HAS SOUPS 8193702 WITH SCORE 8218479.15
AT ITER 3274 NEW BEST:: SOT 127579194 SOS 24777524 HAS SOPS 24777524 HAS SOUS 8192515 HAS SOUPS 8192515 WITH SCORE 8217292.524
AT ITER 3278 NEW BEST:: SOT 127576146 SOS 24774476 HAS SOPS 24774476 HAS SOUS 8189467 HAS SOUPS 8189467 WITH SCORE 8214241.476
AT ITER 3311 NEW BEST:: SOT 127574368 SOS 24772872 HAS SOPS 24772872 HAS SOUS 8187863 HAS SOUPS 8187863 WITH SCORE 8212635.872
AT ITER 3318 NEW BEST:: SOT 127574368 SOS 24770055 HAS SOPS 24770055 HAS SOUS 8187550 HAS SOUPS 8187550 WITH SCORE 8212320.055
AT ITER 3337 NEW BEST:: SOT 127574368 SOS 24770604 HAS SOPS 24770604 HAS SOUS 8187305 HAS SOUPS 8187305 WITH SCORE 8212075.604
AT ITER 3368 NEW BEST:: SOT 127574368 SOS 24770973 HAS SOPS 24770973 HAS SOUS 8187210 HAS SOUPS 8187210 WITH SCORE 8211980.973
AT ITER 3407 NEW BEST:: SOT 127571928 SOS 24768533 HAS SOPS 24768533 HAS SOUS 8184770 HAS SOUPS 8184770 WITH SCORE 8209538.533
AT ITER 3441 NEW BEST:: SOT 127568283 SOS 24761043 HAS SOPS 24761043 HAS SOUS 8182365 HAS SOUPS 8182365 WITH SCORE 8207126.043
AT ITER 3460 NEW BEST:: SOT 127568154 SOS 24760785 HAS SOPS 24760785 HAS SOUS 8182107 HAS SOUPS 8182107 WITH SCORE 8206867.785
AT ITER 3500 NEW BEST:: SOT 127566507 SOS 24759138 HAS SOPS 24759138 HAS SOUS 8180460 HAS SOUPS 8180460 WITH SCORE 8205219.138
AT ITER 3566 NEW BEST:: SOT 127566507 SOS 24759138 HAS SOPS 24759138 HAS SOUS 8179754 HAS SOUPS 8179754 WITH SCORE 8204513.138
AT ITER 3588 NEW BEST:: SOT 127566147 SOS 24755616 HAS SOPS 24755616 HAS SOUS 8179016 HAS SOUPS 8179016 WITH SCORE 8203771.616
AT ITER 3598 NEW BEST:: SOT 127566048 SOS 24755517 HAS SOPS 24755517 HAS SOUS 8178917 HAS SOUPS 8178917 WITH SCORE 8203672.517
AT ITER 3654 NEW BEST:: SOT 127564976 SOS 24754445 HAS SOPS 24754445 HAS SOUS 8177845 HAS SOUPS 8177845 WITH SCORE 8202599.445
AT ITER 3657 NEW BEST:: SOT 127564741 SOS 24751860 HAS SOPS 24751860 HAS SOUS 8177140 HAS SOUPS 8177140 WITH SCORE 8201891.86
AT ITER 3684 NEW BEST:: SOT 127562113 SOS 24748940 HAS SOPS 24748940 HAS SOUS 8173959 HAS SOUPS 8173959 WITH SCORE 8198707.94
AT ITER 3711 NEW BEST:: SOT 127560799 SOS 24746306 HAS SOPS 24746306 HAS SOUS 8172381 HAS SOUPS 8172381 WITH SCORE 8197127.306
AT ITER 3747 NEW BEST:: SOT 127560799 SOS 24741756 HAS SOPS 24741756 HAS SOUS 8171471 HAS SOUPS 8171471 WITH SCORE 8196212.756
AT ITER 3756 NEW BEST:: SOT 127560799 SOS 24741648 HAS SOPS 24741648 HAS SOUS 8170499 HAS SOUPS 8170499 WITH SCORE 8195240.648
AT ITER 3775 NEW BEST:: SOT 127560487 SOS 24741336 HAS SOPS 24741336 HAS SOUS 8170187 HAS SOUPS 8170187 WITH SCORE 8194928.336
AT ITER 3785 NEW BEST:: SOT 127560487 SOS 24741633 HAS SOPS 24741633 HAS SOUS 8169923 HAS SOUPS 8169923 WITH SCORE 8194664.633
AT ITER 3787 NEW BEST:: SOT 127560487 SOS 24741633 HAS SOPS 24741633 HAS SOUS 8169434 HAS SOUPS 8169434 WITH SCORE 8194175.633
AT ITER 3810 NEW BEST:: SOT 127560424 SOS 24741003 HAS SOPS 24741003 HAS SOUS 8169308 HAS SOUPS 8169308 WITH SCORE 8194049.003
AT ITER 3821 NEW BEST:: SOT 127560090 SOS 24737663 HAS SOPS 24737663 HAS SOUS 8168640 HAS SOUPS 8168640 WITH SCORE 8193377.663
AT ITER 3824 NEW BEST:: SOT 127559945 SOS 24733458 HAS SOPS 24733458 HAS SOUS 8168395 HAS SOUPS 8168395 WITH SCORE 8193128.458
AT ITER 3843 NEW BEST:: SOT 127555803 SOS 24725174 HAS SOPS 24725174 HAS SOUS 8166888 HAS SOUPS 8166888 WITH SCORE 8191613.174
AT ITER 3858 NEW BEST:: SOT 127553265 SOS 24722354 HAS SOPS 24722354 HAS SOUS 8164068 HAS SOUPS 8164068 WITH SCORE 8188790.354
AT ITER 3869 NEW BEST:: SOT 127552365 SOS 24721454 HAS SOPS 24721454 HAS SOUS 8163168 HAS SOUPS 8163168 WITH SCORE 8187889.454
AT ITER 3891 NEW BEST:: SOT 127548720 SOS 24713947 HAS SOPS 24713947 HAS SOUS 8160242 HAS SOUPS 8160242 WITH SCORE 8184955.947
AT ITER 3898 NEW BEST:: SOT 127546000 SOS 24711227 HAS SOPS 24711227 HAS SOUS 8157522 HAS SOUPS 8157522 WITH SCORE 8182233.227
AT ITER 3947 NEW BEST:: SOT 127545935 SOS 24711097 HAS SOPS 24711097 HAS SOUS 8157392 HAS SOUPS 8157392 WITH SCORE 8182103.097
AT ITER 4002 NEW BEST:: SOT 127545889 SOS 24711005 HAS SOPS 24711005 HAS SOUS 8157300 HAS SOUPS 8157300 WITH SCORE 8182011.005
AT ITER 4026 NEW BEST:: SOT 127545889 SOS 24707454 HAS SOPS 24707454 HAS SOUS 8156989 HAS SOUPS 8156989 WITH SCORE 8181696.454
AT ITER 4031 NEW BEST:: SOT 127541869 SOS 24699414 HAS SOPS 24699414 HAS SOUS 8155779 HAS SOUPS 8155779 WITH SCORE 8180478.414
AT ITER 4099 NEW BEST:: SOT 127541773 SOS 24699222 HAS SOPS 24699222 HAS SOUS 8155587 HAS SOUPS 8155587 WITH SCORE 8180286.222
AT ITER 4190 NEW BEST:: SOT 127541773 SOS 24697371 HAS SOPS 24697371 HAS SOUS 8155416 HAS SOUPS 8155416 WITH SCORE 8180113.371
AT ITER 4227 NEW BEST:: SOT 127541773 SOS 24694050 HAS SOPS 24694050 HAS SOUS 8155047 HAS SOUPS 8155047 WITH SCORE 8179741.05
AT ITER 4238 NEW BEST:: SOT 127541663 SOS 24692950 HAS SOPS 24692950 HAS SOUS 8154827 HAS SOUPS 8154827 WITH SCORE 8179519.95
AT ITER 4248 NEW BEST:: SOT 127541318 SOS 24692605 HAS SOPS 24692605 HAS SOUS 8154482 HAS SOUPS 8154482 WITH SCORE 8179174.605
AT ITER 4255 NEW BEST:: SOT 127538364 SOS 24686697 HAS SOPS 24686697 HAS SOUS 8152825 HAS SOUPS 8152825 WITH SCORE 8177511.697
AT ITER 4276 NEW BEST:: SOT 127538364 SOS 24686454 HAS SOPS 24686454 HAS SOUS 8152798 HAS SOUPS 8152798 WITH SCORE 8177484.454
AT ITER 4284 NEW BEST:: SOT 127537734 SOS 24685824 HAS SOPS 24685824 HAS SOUS 8152752 HAS SOUPS 8152752 WITH SCORE 8177437.824
AT ITER 4286 NEW BEST:: SOT 127537449 SOS 24685539 HAS SOPS 24685539 HAS SOUS 8152182 HAS SOUPS 8152182 WITH SCORE 8176867.539
AT ITER 4321 NEW BEST:: SOT 127533167 SOS 24676975 HAS SOPS 24676975 HAS SOUS 8148604 HAS SOUPS 8148604 WITH SCORE 8173280.975
AT ITER 4330 NEW BEST:: SOT 127533105 SOS 24676913 HAS SOPS 24676913 HAS SOUS 8148542 HAS SOUPS 8148542 WITH SCORE 8173218.913
AT ITER 4353 NEW BEST:: SOT 127531273 SOS 24675081 HAS SOPS 24675081 HAS SOUS 8146710 HAS SOUPS 8146710 WITH SCORE 8171385.081
AT ITER 4356 NEW BEST:: SOT 127530598 SOS 24674406 HAS SOPS 24674406 HAS SOUS 8146035 HAS SOUPS 8146035 WITH SCORE 8170709.406
AT ITER 4358 NEW BEST:: SOT 127530598 SOS 24672866 HAS SOPS 24672866 HAS SOUS 8145727 HAS SOUPS 8145727 WITH SCORE 8170399.866
AT ITER 4383 NEW BEST:: SOT 127530408 SOS 24672676 HAS SOPS 24672676 HAS SOUS 8145727 HAS SOUPS 8145727 WITH SCORE 8170399.676
AT ITER 4400 NEW BEST:: SOT 127530317 SOS 24672585 HAS SOPS 24672585 HAS SOUS 8144999 HAS SOUPS 8144999 WITH SCORE 8169671.585
AT ITER 4401 NEW BEST:: SOT 127530444 SOS 24670337 HAS SOPS 24670337 HAS SOUS 8144975 HAS SOUPS 8144975 WITH SCORE 8169645.337
AT ITER 4422 NEW BEST:: SOT 127530231 SOS 24667979 HAS SOPS 24667979 HAS SOUS 8144321 HAS SOUPS 8144321 WITH SCORE 8168988.979
AT ITER 4431 NEW BEST:: SOT 127529854 SOS 24667602 HAS SOPS 24667602 HAS SOUS 8144321 HAS SOUPS 8144321 WITH SCORE 8168988.602
AT ITER 4458 NEW BEST:: SOT 127529854 SOS 24663039 HAS SOPS 24663039 HAS SOUS 8143814 HAS SOUPS 8143814 WITH SCORE 8168477.039
AT ITER 4533 NEW BEST:: SOT 127529656 SOS 24661059 HAS SOPS 24661059 HAS SOUS 8143418 HAS SOUPS 8143418 WITH SCORE 8168079.059
AT ITER 4549 NEW BEST:: SOT 127529502 SOS 24659519 HAS SOPS 24659519 HAS SOUS 8143110 HAS SOUPS 8143110 WITH SCORE 8167769.519
AT ITER 4571 NEW BEST:: SOT 127529429 SOS 24658789 HAS SOPS 24658789 HAS SOUS 8142964 HAS SOUPS 8142964 WITH SCORE 8167622.789
AT ITER 4591 NEW BEST:: SOT 127529302 SOS 24660391 HAS SOPS 24660391 HAS SOUS 8141476 HAS SOUPS 8141476 WITH SCORE 8166136.391
AT ITER 4638 NEW BEST:: SOT 127527718 SOS 24658807 HAS SOPS 24658807 HAS SOUS 8139892 HAS SOUPS 8139892 WITH SCORE 8164550.807
AT ITER 4715 NEW BEST:: SOT 127523529 SOS 24650429 HAS SOPS 24650429 HAS SOUS 8137814 HAS SOUPS 8137814 WITH SCORE 8162464.429
AT ITER 4727 NEW BEST:: SOT 127520077 SOS 24642637 HAS SOPS 24642637 HAS SOUS 8134963 HAS SOUPS 8134963 WITH SCORE 8159605.637
AT ITER 4794 NEW BEST:: SOT 127520086 SOS 24642546 HAS SOPS 24642546 HAS SOUS 8134872 HAS SOUPS 8134872 WITH SCORE 8159514.546
AT ITER 4809 NEW BEST:: SOT 127518694 SOS 24641154 HAS SOPS 24641154 HAS SOUS 8133480 HAS SOUPS 8133480 WITH SCORE 8158121.154
AT ITER 4820 NEW BEST:: SOT 127518184 SOS 24636993 HAS SOPS 24636993 HAS SOUS 8132111 HAS SOUPS 8132111 WITH SCORE 8156747.993
AT ITER 4844 NEW BEST:: SOT 127518101 SOS 24636827 HAS SOPS 24636827 HAS SOUS 8131385 HAS SOUPS 8131385 WITH SCORE 8156021.827
AT ITER 4847 NEW BEST:: SOT 127515311 SOS 24634037 HAS SOPS 24634037 HAS SOUS 8128595 HAS SOUPS 8128595 WITH SCORE 8153229.037
AT ITER 4858 NEW BEST:: SOT 127515284 SOS 24633983 HAS SOPS 24633983 HAS SOUS 8128541 HAS SOUPS 8128541 WITH SCORE 8153174.983
AT ITER 4878 NEW BEST:: SOT 127515564 SOS 24634263 HAS SOPS 24634263 HAS SOUS 8128300 HAS SOUPS 8128300 WITH SCORE 8152934.263
AT ITER 4887 NEW BEST:: SOT 127515564 SOS 24630977 HAS SOPS 24630977 HAS SOUS 8128254 HAS SOUPS 8128254 WITH SCORE 8152884.977
AT ITER 4901 NEW BEST:: SOT 127514924 SOS 24630337 HAS SOPS 24630337 HAS SOUS 8127614 HAS SOUPS 8127614 WITH SCORE 8152244.337
AT ITER 4917 NEW BEST:: SOT 127511747 SOS 24626807 HAS SOPS 24626807 HAS SOUS 8122687 HAS SOUPS 8122687 WITH SCORE 8147313.807
AT ITER 4945 NEW BEST:: SOT 127511747 SOS 24626909 HAS SOPS 24626909 HAS SOUS 8122085 HAS SOUPS 8122085 WITH SCORE 8146711.909
AT ITER 4955 NEW BEST:: SOT 127511557 SOS 24626529 HAS SOPS 24626529 HAS SOUS 8121425 HAS SOUPS 8121425 WITH SCORE 8146051.529
AT ITER 4963 NEW BEST:: SOT 127510099 SOS 24625071 HAS SOPS 24625071 HAS SOUS 8119967 HAS SOUPS 8119967 WITH SCORE 8144592.071
AT ITER 4986 NEW BEST:: SOT 127506886 SOS 24618645 HAS SOPS 24618645 HAS SOUS 8116397 HAS SOUPS 8116397 WITH SCORE 8141015.645
AT ITER 4999 NEW BEST:: SOT 127506481 SOS 24615144 HAS SOPS 24615144 HAS SOUS 8115288 HAS SOUPS 8115288 WITH SCORE 8139903.144
AT ITER 5023 NEW BEST:: SOT 127506481 SOS 24614799 HAS SOPS 24614799 HAS SOUS 8112132 HAS SOUPS 8112132 WITH SCORE 8136746.799
AT ITER 5036 NEW BEST:: SOT 127506061 SOS 24610179 HAS SOPS 24610179 HAS SOUS 8110872 HAS SOUPS 8110872 WITH SCORE 8135482.179
AT ITER 5048 NEW BEST:: SOT 127502740 SOS 24606858 HAS SOPS 24606858 HAS SOUS 8107551 HAS SOUPS 8107551 WITH SCORE 8132157.858
AT ITER 5104 NEW BEST:: SOT 127502737 SOS 24603524 HAS SOPS 24603524 HAS SOUS 8107457 HAS SOUPS 8107457 WITH SCORE 8132060.524
AT ITER 5113 NEW BEST:: SOT 127500025 SOS 24600812 HAS SOPS 24600812 HAS SOUS 8104745 HAS SOUPS 8104745 WITH SCORE 8129345.812
AT ITER 5134 NEW BEST:: SOT 127500025 SOS 24600812 HAS SOPS 24600812 HAS SOUS 8104532 HAS SOUPS 8104532 WITH SCORE 8129132.812
AT ITER 5138 NEW BEST:: SOT 127499683 SOS 24600470 HAS SOPS 24600470 HAS SOUS 8104190 HAS SOUPS 8104190 WITH SCORE 8128790.47
AT ITER 5157 NEW BEST:: SOT 127499683 SOS 24596024 HAS SOPS 24596024 HAS SOUS 8103696 HAS SOUPS 8103696 WITH SCORE 8128292.024
AT ITER 5213 NEW BEST:: SOT 127499683 SOS 24594404 HAS SOPS 24594404 HAS SOUS 8103372 HAS SOUPS 8103372 WITH SCORE 8127966.404
AT ITER 5236 NEW BEST:: SOT 127499242 SOS 24593963 HAS SOPS 24593963 HAS SOUS 8102931 HAS SOUPS 8102931 WITH SCORE 8127524.963
AT ITER 5300 NEW BEST:: SOT 127498785 SOS 24593049 HAS SOPS 24593049 HAS SOUS 8100128 HAS SOUPS 8100128 WITH SCORE 8124721.049
AT ITER 5327 NEW BEST:: SOT 127498304 SOS 24587758 HAS SOPS 24587758 HAS SOUS 8098685 HAS SOUPS 8098685 WITH SCORE 8123272.758
AT ITER 5350 NEW BEST:: SOT 127498349 SOS 24587848 HAS SOPS 24587848 HAS SOUS 8098375 HAS SOUPS 8098375 WITH SCORE 8122962.848
AT ITER 5361 NEW BEST:: SOT 127498349 SOS 24587848 HAS SOPS 24587848 HAS SOUS 8098357 HAS SOUPS 8098357 WITH SCORE 8122944.848
AT ITER 5391 NEW BEST:: SOT 127494074 SOS 24578823 HAS SOPS 24578823 HAS SOUS 8093132 HAS SOUPS 8093132 WITH SCORE 8117710.823
AT ITER 5408 NEW BEST:: SOT 127489828 SOS 24570331 HAS SOPS 24570331 HAS SOUS 8091205 HAS SOUPS 8091205 WITH SCORE 8115775.331
AT ITER 5409 NEW BEST:: SOT 127489652 SOS 24568571 HAS SOPS 24568571 HAS SOUS 8090853 HAS SOUPS 8090853 WITH SCORE 8115421.571
AT ITER 5414 NEW BEST:: SOT 127489492 SOS 24563804 HAS SOPS 24563804 HAS SOUS 8090254 HAS SOUPS 8090254 WITH SCORE 8114817.804
AT ITER 5430 NEW BEST:: SOT 127486362 SOS 24557544 HAS SOPS 24557544 HAS SOUS 8087864 HAS SOUPS 8087864 WITH SCORE 8112421.544
AT ITER 5505 NEW BEST:: SOT 127486326 SOS 24557508 HAS SOPS 24557508 HAS SOUS 8087864 HAS SOUPS 8087864 WITH SCORE 8112421.508
AT ITER 5597 NEW BEST:: SOT 127486326 SOS 24554808 HAS SOPS 24554808 HAS SOUS 8087324 HAS SOUPS 8087324 WITH SCORE 8111878.808
AT ITER 5612 NEW BEST:: SOT 127486174 SOS 24550540 HAS SOPS 24550540 HAS SOUS 8087136 HAS SOUPS 8087136 WITH SCORE 8111686.54
AT ITER 5620 NEW BEST:: SOT 127486174 SOS 24550540 HAS SOPS 24550540 HAS SOUS 8086807 HAS SOUPS 8086807 WITH SCORE 8111357.54
AT ITER 5648 NEW BEST:: SOT 127486174 SOS 24550540 HAS SOPS 24550540 HAS SOUS 8086321 HAS SOUPS 8086321 WITH SCORE 8110871.54
AT ITER 5650 NEW BEST:: SOT 127485436 SOS 24549064 HAS SOPS 24549064 HAS SOUS 8085501 HAS SOUPS 8085501 WITH SCORE 8110050.064
AT ITER 5665 NEW BEST:: SOT 127485396 SOS 24548984 HAS SOPS 24548984 HAS SOUS 8085421 HAS SOUPS 8085421 WITH SCORE 8109969.984
AT ITER 5743 NEW BEST:: SOT 127485234 SOS 24548822 HAS SOPS 24548822 HAS SOUS 8085259 HAS SOUPS 8085259 WITH SCORE 8109807.822
AT ITER 5760 NEW BEST:: SOT 127483236 SOS 24546602 HAS SOPS 24546602 HAS SOUS 8081263 HAS SOUPS 8081263 WITH SCORE 8105809.602
AT ITER 5813 NEW BEST:: SOT 127483236 SOS 24547448 HAS SOPS 24547448 HAS SOUS 8080534 HAS SOUPS 8080534 WITH SCORE 8105081.448
AT ITER 5880 NEW BEST:: SOT 127483236 SOS 24547448 HAS SOPS 24547448 HAS SOUS 8080158 HAS SOUPS 8080158 WITH SCORE 8104705.448
AT ITER 5979 NEW BEST:: SOT 127482923 SOS 24548246 HAS SOPS 24548246 HAS SOUS 8079532 HAS SOUPS 8079532 WITH SCORE 8104080.246
AT ITER 6027 NEW BEST:: SOT 127482923 SOS 24547292 HAS SOPS 24547292 HAS SOUS 8079426 HAS SOUPS 8079426 WITH SCORE 8103973.292
AT ITER 6064 NEW BEST:: SOT 127479314 SOS 24543282 HAS SOPS 24543282 HAS SOUS 8073878 HAS SOUPS 8073878 WITH SCORE 8098421.282
AT ITER 6091 NEW BEST:: SOT 127479188 SOS 24543156 HAS SOPS 24543156 HAS SOUS 8073671 HAS SOUPS 8073671 WITH SCORE 8098214.156
AT ITER 6114 NEW BEST:: SOT 127478900 SOS 24539988 HAS SOPS 24539988 HAS SOUS 8072807 HAS SOUPS 8072807 WITH SCORE 8097346.988
AT ITER 6150 NEW BEST:: SOT 127478835 SOS 24535893 HAS SOPS 24535893 HAS SOUS 8072672 HAS SOUPS 8072672 WITH SCORE 8097207.893
AT ITER 6159 NEW BEST:: SOT 127476627 SOS 24533685 HAS SOPS 24533685 HAS SOUS 8070464 HAS SOUPS 8070464 WITH SCORE 8094997.685
AT ITER 6225 NEW BEST:: SOT 127473467 SOS 24527365 HAS SOPS 24527365 HAS SOUS 8067744 HAS SOUPS 8067744 WITH SCORE 8092271.365
AT ITER 6236 NEW BEST:: SOT 127473467 SOS 24527338 HAS SOPS 24527338 HAS SOUS 8067717 HAS SOUPS 8067717 WITH SCORE 8092244.338
AT ITER 6257 NEW BEST:: SOT 127473467 SOS 24525588 HAS SOPS 24525588 HAS SOUS 8067367 HAS SOUPS 8067367 WITH SCORE 8091892.588
AT ITER 6260 NEW BEST:: SOT 127473027 SOS 24521188 HAS SOPS 24521188 HAS SOUS 8066487 HAS SOUPS 8066487 WITH SCORE 8091008.188
AT ITER 6275 NEW BEST:: SOT 127473027 SOS 24521632 HAS SOPS 24521632 HAS SOUS 8066083 HAS SOUPS 8066083 WITH SCORE 8090604.632
AT ITER 6330 NEW BEST:: SOT 127468437 SOS 24517391 HAS SOPS 24517391 HAS SOUS 8065226 HAS SOUPS 8065226 WITH SCORE 8089743.391
AT ITER 6359 NEW BEST:: SOT 127468437 SOS 24517351 HAS SOPS 24517351 HAS SOUS 8065186 HAS SOUPS 8065186 WITH SCORE 8089703.351
AT ITER 6414 NEW BEST:: SOT 127466781 SOS 24515695 HAS SOPS 24515695 HAS SOUS 8063530 HAS SOUPS 8063530 WITH SCORE 8088045.695
AT ITER 6508 NEW BEST:: SOT 127464018 SOS 24510169 HAS SOPS 24510169 HAS SOUS 8060460 HAS SOUPS 8060460 WITH SCORE 8084970.169
AT ITER 6512 NEW BEST:: SOT 127463874 SOS 24510025 HAS SOPS 24510025 HAS SOUS 8060172 HAS SOUPS 8060172 WITH SCORE 8084682.025
AT ITER 6523 NEW BEST:: SOT 127463874 SOS 24510502 HAS SOPS 24510502 HAS SOUS 8059758 HAS SOUPS 8059758 WITH SCORE 8084268.502
AT ITER 6583 NEW BEST:: SOT 127463233 SOS 24508368 HAS SOPS 24508368 HAS SOUS 8058960 HAS SOUPS 8058960 WITH SCORE 8083468.368
AT ITER 6587 NEW BEST:: SOT 127463233 SOS 24509032 HAS SOPS 24509032 HAS SOUS 8058213 HAS SOUPS 8058213 WITH SCORE 8082722.032
AT ITER 6588 NEW BEST:: SOT 127463233 SOS 24506432 HAS SOPS 24506432 HAS SOUS 8057693 HAS SOUPS 8057693 WITH SCORE 8082199.432
AT ITER 6606 NEW BEST:: SOT 127459056 SOS 24498078 HAS SOPS 24498078 HAS SOUS 8055746 HAS SOUPS 8055746 WITH SCORE 8080244.078
AT ITER 6612 NEW BEST:: SOT 127458575 SOS 24493268 HAS SOPS 24493268 HAS SOUS 8054784 HAS SOUPS 8054784 WITH SCORE 8079277.268
AT ITER 6673 NEW BEST:: SOT 127456820 SOS 24489618 HAS SOPS 24489618 HAS SOUS 8053134 HAS SOUPS 8053134 WITH SCORE 8077623.618
AT ITER 6717 NEW BEST:: SOT 127456720 SOS 24488518 HAS SOPS 24488518 HAS SOUS 8052834 HAS SOUPS 8052834 WITH SCORE 8077322.518
AT ITER 6720 NEW BEST:: SOT 127456435 SOS 24487948 HAS SOPS 24487948 HAS SOUS 8051464 HAS SOUPS 8051464 WITH SCORE 8075951.948
AT ITER 6775 NEW BEST:: SOT 127456398 SOS 24484472 HAS SOPS 24484472 HAS SOUS 8051228 HAS SOUPS 8051228 WITH SCORE 8075712.472
AT ITER 6816 NEW BEST:: SOT 127456486 SOS 24482200 HAS SOPS 24482200 HAS SOUS 8051132 HAS SOUPS 8051132 WITH SCORE 8075614.2
AT ITER 6863 NEW BEST:: SOT 127456486 SOS 24478990 HAS SOPS 24478990 HAS SOUS 8050490 HAS SOUPS 8050490 WITH SCORE 8074968.99
AT ITER 6888 NEW BEST:: SOT 127455874 SOS 24478378 HAS SOPS 24478378 HAS SOUS 8049878 HAS SOUPS 8049878 WITH SCORE 8074356.378
AT ITER 6912 NEW BEST:: SOT 127455794 SOS 24478298 HAS SOPS 24478298 HAS SOUS 8049878 HAS SOUPS 8049878 WITH SCORE 8074356.298
AT ITER 6941 NEW BEST:: SOT 127455299 SOS 24475598 HAS SOPS 24475598 HAS SOUS 8048698 HAS SOUPS 8048698 WITH SCORE 8073173.598
AT ITER 6982 NEW BEST:: SOT 127450982 SOS 24466964 HAS SOPS 24466964 HAS SOUS 8046601 HAS SOUPS 8046601 WITH SCORE 8071067.964
AT ITER 6985 NEW BEST:: SOT 127450982 SOS 24464874 HAS SOPS 24464874 HAS SOUS 8046183 HAS SOUPS 8046183 WITH SCORE 8070647.874
AT ITER 7007 NEW BEST:: SOT 127450969 SOS 24464744 HAS SOPS 24464744 HAS SOUS 8046157 HAS SOUPS 8046157 WITH SCORE 8070621.744
AT ITER 7053 NEW BEST:: SOT 127450774 SOS 24463706 HAS SOPS 24463706 HAS SOUS 8045695 HAS SOUPS 8045695 WITH SCORE 8070158.706
AT ITER 7074 NEW BEST:: SOT 127447903 SOS 24460516 HAS SOPS 24460516 HAS SOUS 8042505 HAS SOUPS 8042505 WITH SCORE 8066965.516
AT ITER 7096 NEW BEST:: SOT 127447903 SOS 24460303 HAS SOPS 24460303 HAS SOUS 8041948 HAS SOUPS 8041948 WITH SCORE 8066408.303
AT ITER 7131 NEW BEST:: SOT 127447803 SOS 24458254 HAS SOPS 24458254 HAS SOUS 8041819 HAS SOUPS 8041819 WITH SCORE 8066277.254
AT ITER 7154 NEW BEST:: SOT 127447630 SOS 24456524 HAS SOPS 24456524 HAS SOUS 8041473 HAS SOUPS 8041473 WITH SCORE 8065929.524
AT ITER 7157 NEW BEST:: SOT 127447451 SOS 24456345 HAS SOPS 24456345 HAS SOUS 8041294 HAS SOUPS 8041294 WITH SCORE 8065750.345
AT ITER 7186 NEW BEST:: SOT 127447451 SOS 24457416 HAS SOPS 24457416 HAS SOUS 8040376 HAS SOUPS 8040376 WITH SCORE 8064833.416
AT ITER 7232 NEW BEST:: SOT 127447451 SOS 24454776 HAS SOPS 24454776 HAS SOUS 8039848 HAS SOUPS 8039848 WITH SCORE 8064302.776
AT ITER 7285 NEW BEST:: SOT 127447154 SOS 24454479 HAS SOPS 24454479 HAS SOUS 8039551 HAS SOUPS 8039551 WITH SCORE 8064005.479
AT ITER 7301 NEW BEST:: SOT 127446954 SOS 24454279 HAS SOPS 24454279 HAS SOUS 8039351 HAS SOUPS 8039351 WITH SCORE 8063805.279
AT ITER 7313 NEW BEST:: SOT 127446954 SOS 24452389 HAS SOPS 24452389 HAS SOUS 8038973 HAS SOUPS 8038973 WITH SCORE 8063425.389
AT ITER 7412 NEW BEST:: SOT 127446765 SOS 24452200 HAS SOPS 24452200 HAS SOUS 8038784 HAS SOUPS 8038784 WITH SCORE 8063236.2
AT ITER 7419 NEW BEST:: SOT 127446678 SOS 24452113 HAS SOPS 24452113 HAS SOUS 8038784 HAS SOUPS 8038784 WITH SCORE 8063236.113
AT ITER 7472 NEW BEST:: SOT 127446246 SOS 24451681 HAS SOPS 24451681 HAS SOUS 8038352 HAS SOUPS 8038352 WITH SCORE 8062803.681
AT ITER 7495 NEW BEST:: SOT 127445827 SOS 24451262 HAS SOPS 24451262 HAS SOUS 8037933 HAS SOUPS 8037933 WITH SCORE 8062384.262
AT ITER 7536 NEW BEST:: SOT 127444827 SOS 24450262 HAS SOPS 24450262 HAS SOUS 8036933 HAS SOUPS 8036933 WITH SCORE 8061383.262
AT ITER 7577 NEW BEST:: SOT 127441322 SOS 24443252 HAS SOPS 24443252 HAS SOUS 8034423 HAS SOUPS 8034423 WITH SCORE 8058866.252
AT ITER 7647 NEW BEST:: SOT 127441162 SOS 24443123 HAS SOPS 24443123 HAS SOUS 8034294 HAS SOUPS 8034294 WITH SCORE 8058737.123
AT ITER 7692 NEW BEST:: SOT 127441567 SOS 24443018 HAS SOPS 24443018 HAS SOUS 8031733 HAS SOUPS 8031733 WITH SCORE 8056176.018
AT ITER 7711 NEW BEST:: SOT 127441459 SOS 24442802 HAS SOPS 24442802 HAS SOUS 8031517 HAS SOUPS 8031517 WITH SCORE 8055959.802
AT ITER 7727 NEW BEST:: SOT 127441363 SOS 24442610 HAS SOPS 24442610 HAS SOUS 8031133 HAS SOUPS 8031133 WITH SCORE 8055575.61
AT ITER 7741 NEW BEST:: SOT 127440742 SOS 24441920 HAS SOPS 24441920 HAS SOUS 8029856 HAS SOUPS 8029856 WITH SCORE 8054297.92
AT ITER 7754 NEW BEST:: SOT 127440742 SOS 24441792 HAS SOPS 24441792 HAS SOUS 8029728 HAS SOUPS 8029728 WITH SCORE 8054169.792
AT ITER 7836 NEW BEST:: SOT 127440626 SOS 24441560 HAS SOPS 24441560 HAS SOUS 8029160 HAS SOUPS 8029160 WITH SCORE 8053601.56
AT ITER 7853 NEW BEST:: SOT 127437548 SOS 24438140 HAS SOPS 24438140 HAS SOUS 8025029 HAS SOUPS 8025029 WITH SCORE 8049467.14
AT ITER 7859 NEW BEST:: SOT 127437548 SOS 24436156 HAS SOPS 24436156 HAS SOUS 8025029 HAS SOUPS 8025029 WITH SCORE 8049465.156
AT ITER 7931 NEW BEST:: SOT 127437388 SOS 24435996 HAS SOPS 24435996 HAS SOUS 8024869 HAS SOUPS 8024869 WITH SCORE 8049304.996
AT ITER 7961 NEW BEST:: SOT 127433080 SOS 24427380 HAS SOPS 24427380 HAS SOUS 8022820 HAS SOUPS 8022820 WITH SCORE 8047247.38
AT ITER 7971 NEW BEST:: SOT 127433080 SOS 24427380 HAS SOPS 24427380 HAS SOUS 8022638 HAS SOUPS 8022638 WITH SCORE 8047065.38
AT ITER 7985 NEW BEST:: SOT 127433024 SOS 24427268 HAS SOPS 24427268 HAS SOUS 8022526 HAS SOUPS 8022526 WITH SCORE 8046953.268
AT ITER 7997 NEW BEST:: SOT 127432898 SOS 24427142 HAS SOPS 24427142 HAS SOUS 8022400 HAS SOUPS 8022400 WITH SCORE 8046827.142
AT ITER 8006 NEW BEST:: SOT 127432898 SOS 24424244 HAS SOPS 24424244 HAS SOUS 8022382 HAS SOUPS 8022382 WITH SCORE 8046806.244
AT ITER 8062 NEW BEST:: SOT 127432388 SOS 24418505 HAS SOPS 24418505 HAS SOUS 8020531 HAS SOUPS 8020531 WITH SCORE 8044949.505
AT ITER 8084 NEW BEST:: SOT 127432388 SOS 24414945 HAS SOPS 24414945 HAS SOUS 8019819 HAS SOUPS 8019819 WITH SCORE 8044233.945
AT ITER 8087 NEW BEST:: SOT 127432388 SOS 24415179 HAS SOPS 24415179 HAS SOUS 8019637 HAS SOUPS 8019637 WITH SCORE 8044052.179
AT ITER 8097 NEW BEST:: SOT 127432388 SOS 24414984 HAS SOPS 24414984 HAS SOUS 8019042 HAS SOUPS 8019042 WITH SCORE 8043456.984
AT ITER 8109 NEW BEST:: SOT 127432388 SOS 24414984 HAS SOPS 24414984 HAS SOUS 8019012 HAS SOUPS 8019012 WITH SCORE 8043426.984
AT ITER 8160 NEW BEST:: SOT 127430836 SOS 24413432 HAS SOPS 24413432 HAS SOUS 8017460 HAS SOUPS 8017460 WITH SCORE 8041873.432
AT ITER 8170 NEW BEST:: SOT 127430341 SOS 24409625 HAS SOPS 24409625 HAS SOUS 8016157 HAS SOUPS 8016157 WITH SCORE 8040566.625
AT ITER 8200 NEW BEST:: SOT 127430062 SOS 24409036 HAS SOPS 24409036 HAS SOUS 8015816 HAS SOUPS 8015816 WITH SCORE 8040225.036
AT ITER 8215 NEW BEST:: SOT 127429633 SOS 24404746 HAS SOPS 24404746 HAS SOUS 8014958 HAS SOUPS 8014958 WITH SCORE 8039362.746
AT ITER 8223 NEW BEST:: SOT 127429633 SOS 24401326 HAS SOPS 24401326 HAS SOUS 8014274 HAS SOUPS 8014274 WITH SCORE 8038675.326
AT ITER 8258 NEW BEST:: SOT 127429633 SOS 24398906 HAS SOPS 24398906 HAS SOUS 8013790 HAS SOUPS 8013790 WITH SCORE 8038188.906
AT ITER 8266 NEW BEST:: SOT 127429633 SOS 24398906 HAS SOPS 24398906 HAS SOUS 8013712 HAS SOUPS 8013712 WITH SCORE 8038110.906
AT ITER 8268 NEW BEST:: SOT 127429633 SOS 24400661 HAS SOPS 24400661 HAS SOUS 8012692 HAS SOUPS 8012692 WITH SCORE 8037092.661
AT ITER 8291 NEW BEST:: SOT 127429871 SOS 24400899 HAS SOPS 24400899 HAS SOUS 8012615 HAS SOUPS 8012615 WITH SCORE 8037015.899
AT ITER 8301 NEW BEST:: SOT 127429827 SOS 24400046 HAS SOPS 24400046 HAS SOUS 8012602 HAS SOUPS 8012602 WITH SCORE 8037002.046
AT ITER 8307 NEW BEST:: SOT 127429827 SOS 24398988 HAS SOPS 24398988 HAS SOUS 8012576 HAS SOUPS 8012576 WITH SCORE 8036974.988
AT ITER 8361 NEW BEST:: SOT 127429827 SOS 24398828 HAS SOPS 24398828 HAS SOUS 8012416 HAS SOUPS 8012416 WITH SCORE 8036814.828
AT ITER 8523 NEW BEST:: SOT 127429587 SOS 24396404 HAS SOPS 24396404 HAS SOUS 8011720 HAS SOUPS 8011720 WITH SCORE 8036116.404
AT ITER 8525 NEW BEST:: SOT 127425942 SOS 24388929 HAS SOPS 24388929 HAS SOUS 8009465 HAS SOUPS 8009465 WITH SCORE 8033853.929
AT ITER 8550 NEW BEST:: SOT 127422936 SOS 24385589 HAS SOPS 24385589 HAS SOUS 8006125 HAS SOUPS 8006125 WITH SCORE 8030510.589
AT ITER 8609 NEW BEST:: SOT 127422865 SOS 24385518 HAS SOPS 24385518 HAS SOUS 8006125 HAS SOUPS 8006125 WITH SCORE 8030510.518
AT ITER 8664 NEW BEST:: SOT 127422865 SOS 24385862 HAS SOPS 24385862 HAS SOUS 8005738 HAS SOUPS 8005738 WITH SCORE 8030123.862
AT ITER 8669 NEW BEST:: SOT 127422779 SOS 24382770 HAS SOPS 24382770 HAS SOUS 8005526 HAS SOUPS 8005526 WITH SCORE 8029908.77
AT ITER 8692 NEW BEST:: SOT 127422779 SOS 24379206 HAS SOPS 24379206 HAS SOUS 8005130 HAS SOUPS 8005130 WITH SCORE 8029509.206
AT ITER 8713 NEW BEST:: SOT 127421213 SOS 24374199 HAS SOPS 24374199 HAS SOUS 8004592 HAS SOUPS 8004592 WITH SCORE 8028966.199
AT ITER 8748 NEW BEST:: SOT 127421213 SOS 24374119 HAS SOPS 24374119 HAS SOUS 8004576 HAS SOUPS 8004576 WITH SCORE 8028950.119
AT ITER 8752 NEW BEST:: SOT 127421213 SOS 24373954 HAS SOPS 24373954 HAS SOUS 8003835 HAS SOUPS 8003835 WITH SCORE 8028208.954
AT ITER 8762 NEW BEST:: SOT 127421125 SOS 24370798 HAS SOPS 24370798 HAS SOUS 8003559 HAS SOUPS 8003559 WITH SCORE 8027929.798
AT ITER 8765 NEW BEST:: SOT 127421023 SOS 24369778 HAS SOPS 24369778 HAS SOUS 8003355 HAS SOUPS 8003355 WITH SCORE 8027724.778
AT ITER 8769 NEW BEST:: SOT 127421104 SOS 24365407 HAS SOPS 24365407 HAS SOUS 8003064 HAS SOUPS 8003064 WITH SCORE 8027429.407
AT ITER 8774 NEW BEST:: SOT 127421054 SOS 24365307 HAS SOPS 24365307 HAS SOUS 8002964 HAS SOUPS 8002964 WITH SCORE 8027329.307
AT ITER 8818 NEW BEST:: SOT 127421090 SOS 24361113 HAS SOPS 24361113 HAS SOUS 8002562 HAS SOUPS 8002562 WITH SCORE 8026923.113
AT ITER 8840 NEW BEST:: SOT 127421154 SOS 24358315 HAS SOPS 24358315 HAS SOUS 8002308 HAS SOUPS 8002308 WITH SCORE 8026666.315
AT ITER 8843 NEW BEST:: SOT 127421038 SOS 24358083 HAS SOPS 24358083 HAS SOUS 8001608 HAS SOUPS 8001608 WITH SCORE 8025966.083
AT ITER 8844 NEW BEST:: SOT 127420938 SOS 24355045 HAS SOPS 24355045 HAS SOUS 8001450 HAS SOUPS 8001450 WITH SCORE 8025805.045
AT ITER 8845 NEW BEST:: SOT 127420883 SOS 24353073 HAS SOPS 24353073 HAS SOUS 8001222 HAS SOUPS 8001222 WITH SCORE 8025575.073
AT ITER 8878 NEW BEST:: SOT 127420883 SOS 24352932 HAS SOPS 24352932 HAS SOUS 8001163 HAS SOUPS 8001163 WITH SCORE 8025515.932
AT ITER 8892 NEW BEST:: SOT 127420883 SOS 24352932 HAS SOPS 24352932 HAS SOUS 8000904 HAS SOUPS 8000904 WITH SCORE 8025256.932
AT ITER 8931 NEW BEST:: SOT 127420680 SOS 24350902 HAS SOPS 24350902 HAS SOUS 8000498 HAS SOUPS 8000498 WITH SCORE 8024848.902
AT ITER 8969 NEW BEST:: SOT 127419699 SOS 24348940 HAS SOPS 24348940 HAS SOUS 7999408 HAS SOUPS 7999408 WITH SCORE 8023756.94
AT ITER 8975 NEW BEST:: SOT 127419623 SOS 24348788 HAS SOPS 24348788 HAS SOUS 7999256 HAS SOUPS 7999256 WITH SCORE 8023604.788
AT ITER 8994 NEW BEST:: SOT 127419518 SOS 24348578 HAS SOPS 24348578 HAS SOUS 7999046 HAS SOUPS 7999046 WITH SCORE 8023394.578
AT ITER 9035 NEW BEST:: SOT 127419402 SOS 24347418 HAS SOPS 24347418 HAS SOUS 7998814 HAS SOUPS 7998814 WITH SCORE 8023161.418
AT ITER 9043 NEW BEST:: SOT 127420226 SOS 24347914 HAS SOPS 24347914 HAS SOUS 7997561 HAS SOUPS 7997561 WITH SCORE 8021908.914
AT ITER 9081 NEW BEST:: SOT 127420136 SOS 24347734 HAS SOPS 24347734 HAS SOUS 7997381 HAS SOUPS 7997381 WITH SCORE 8021728.734
AT ITER 9086 NEW BEST:: SOT 127419844 SOS 24347150 HAS SOPS 24347150 HAS SOUS 7996725 HAS SOUPS 7996725 WITH SCORE 8021072.15
AT ITER 9102 NEW BEST:: SOT 127419844 SOS 24343795 HAS SOPS 24343795 HAS SOUS 7996610 HAS SOUPS 7996610 WITH SCORE 8020953.795
AT ITER 9126 NEW BEST:: SOT 127418060 SOS 24342011 HAS SOPS 24342011 HAS SOUS 7994826 HAS SOUPS 7994826 WITH SCORE 8019168.011
AT ITER 9146 NEW BEST:: SOT 127415180 SOS 24339131 HAS SOPS 24339131 HAS SOUS 7991946 HAS SOUPS 7991946 WITH SCORE 8016285.131
AT ITER 9164 NEW BEST:: SOT 127412102 SOS 24335711 HAS SOPS 24335711 HAS SOUS 7986143 HAS SOUPS 7986143 WITH SCORE 8010478.711
AT ITER 9172 NEW BEST:: SOT 127411954 SOS 24335563 HAS SOPS 24335563 HAS SOUS 7986042 HAS SOUPS 7986042 WITH SCORE 8010377.563
AT ITER 9243 NEW BEST:: SOT 127412088 SOS 24333392 HAS SOPS 24333392 HAS SOUS 7986039 HAS SOUPS 7986039 WITH SCORE 8010372.392
AT ITER 9245 NEW BEST:: SOT 127411143 SOS 24331502 HAS SOPS 24331502 HAS SOUS 7984989 HAS SOUPS 7984989 WITH SCORE 8009320.502
AT ITER 9271 NEW BEST:: SOT 127411009 SOS 24331234 HAS SOPS 24331234 HAS SOUS 7984721 HAS SOUPS 7984721 WITH SCORE 8009052.234
AT ITER 9280 NEW BEST:: SOT 127411009 SOS 24331234 HAS SOPS 24331234 HAS SOUS 7984266 HAS SOUPS 7984266 WITH SCORE 8008597.234
AT ITER 9293 NEW BEST:: SOT 127410604 SOS 24328768 HAS SOPS 24328768 HAS SOUS 7983272 HAS SOUPS 7983272 WITH SCORE 8007600.768
AT ITER 9325 NEW BEST:: SOT 127410604 SOS 24332867 HAS SOPS 24332867 HAS SOUS 7982311 HAS SOUPS 7982311 WITH SCORE 8006643.867
AT ITER 9334 NEW BEST:: SOT 127410459 SOS 24332577 HAS SOPS 24332577 HAS SOUS 7982021 HAS SOUPS 7982021 WITH SCORE 8006353.577
AT ITER 9400 NEW BEST:: SOT 127410459 SOS 24328537 HAS SOPS 24328537 HAS SOUS 7981941 HAS SOUPS 7981941 WITH SCORE 8006269.537
AT ITER 9418 NEW BEST:: SOT 127409675 SOS 24327753 HAS SOPS 24327753 HAS SOUS 7981157 HAS SOUPS 7981157 WITH SCORE 8005484.753
AT ITER 9426 NEW BEST:: SOT 127409749 SOS 24324922 HAS SOPS 24324922 HAS SOUS 7980974 HAS SOUPS 7980974 WITH SCORE 8005298.922
AT ITER 9429 NEW BEST:: SOT 127409749 SOS 24321583 HAS SOPS 24321583 HAS SOUS 7980603 HAS SOUPS 7980603 WITH SCORE 8004924.583
AT ITER 9437 NEW BEST:: SOT 127409749 SOS 24320243 HAS SOPS 24320243 HAS SOUS 7980335 HAS SOUPS 7980335 WITH SCORE 8004655.243
AT ITER 9487 NEW BEST:: SOT 127409749 SOS 24319998 HAS SOPS 24319998 HAS SOUS 7980330 HAS SOUPS 7980330 WITH SCORE 8004649.998
AT ITER 9503 NEW BEST:: SOT 127410059 SOS 24320308 HAS SOPS 24320308 HAS SOUS 7980221 HAS SOUPS 7980221 WITH SCORE 8004541.308
AT ITER 9509 NEW BEST:: SOT 127406414 SOS 24312882 HAS SOPS 24312882 HAS SOUS 7978097 HAS SOUPS 7978097 WITH SCORE 8002409.882
AT ITER 9512 NEW BEST:: SOT 127406509 SOS 24310889 HAS SOPS 24310889 HAS SOUS 7977960 HAS SOUPS 7977960 WITH SCORE 8002270.889
AT ITER 9592 NEW BEST:: SOT 127406509 SOS 24310889 HAS SOPS 24310889 HAS SOUS 7977892 HAS SOUPS 7977892 WITH SCORE 8002202.889
AT ITER 9664 NEW BEST:: SOT 127402306 SOS 24302483 HAS SOPS 24302483 HAS SOUS 7975714 HAS SOUPS 7975714 WITH SCORE 8000016.483
AT ITER 9679 NEW BEST:: SOT 127401965 SOS 24301801 HAS SOPS 24301801 HAS SOUS 7973257 HAS SOUPS 7973257 WITH SCORE 7997558.801
AT ITER 9704 NEW BEST:: SOT 127401935 SOS 24301771 HAS SOPS 24301771 HAS SOUS 7973227 HAS SOUPS 7973227 WITH SCORE 7997528.771
AT ITER 9710 NEW BEST:: SOT 127401764 SOS 24301600 HAS SOPS 24301600 HAS SOUS 7973227 HAS SOUPS 7973227 WITH SCORE 7997528.6
AT ITER 9732 NEW BEST:: SOT 127401764 SOS 24301600 HAS SOPS 24301600 HAS SOUS 7973091 HAS SOUPS 7973091 WITH SCORE 7997392.6
AT ITER 9741 NEW BEST:: SOT 127401625 SOS 24298188 HAS SOPS 24298188 HAS SOUS 7972919 HAS SOUPS 7972919 WITH SCORE 7997217.188
AT ITER 9751 NEW BEST:: SOT 127398662 SOS 24292262 HAS SOPS 24292262 HAS SOUS 7970793 HAS SOUPS 7970793 WITH SCORE 7995085.262
AT ITER 9791 NEW BEST:: SOT 127397132 SOS 24290562 HAS SOPS 24290562 HAS SOUS 7968940 HAS SOUPS 7968940 WITH SCORE 7993230.562
AT ITER 9797 NEW BEST:: SOT 127397104 SOS 24290506 HAS SOPS 24290506 HAS SOUS 7968884 HAS SOUPS 7968884 WITH SCORE 7993174.506
AT ITER 9807 NEW BEST:: SOT 127396944 SOS 24288480 HAS SOPS 24288480 HAS SOUS 7968778 HAS SOUPS 7968778 WITH SCORE 7993066.48
AT ITER 9812 NEW BEST:: SOT 127396802 SOS 24287060 HAS SOPS 24287060 HAS SOUS 7968494 HAS SOUPS 7968494 WITH SCORE 7992781.06
AT ITER 9820 NEW BEST:: SOT 127393751 SOS 24280619 HAS SOPS 24280619 HAS SOUS 7964765 HAS SOUPS 7964765 WITH SCORE 7989045.619
AT ITER 9829 NEW BEST:: SOT 127392075 SOS 24277267 HAS SOPS 24277267 HAS SOUS 7963421 HAS SOUPS 7963421 WITH SCORE 7987698.267
AT ITER 9837 NEW BEST:: SOT 127391976 SOS 24277185 HAS SOPS 24277185 HAS SOUS 7963339 HAS SOUPS 7963339 WITH SCORE 7987616.185
AT ITER 9847 NEW BEST:: SOT 127389059 SOS 24272503 HAS SOPS 24272503 HAS SOUS 7961953 HAS SOUPS 7961953 WITH SCORE 7986225.503
AT ITER 9866 NEW BEST:: SOT 127389059 SOS 24269160 HAS SOPS 24269160 HAS SOUS 7961850 HAS SOUPS 7961850 WITH SCORE 7986119.16
AT ITER 9872 NEW BEST:: SOT 127385045 SOS 24264700 HAS SOPS 24264700 HAS SOUS 7957094 HAS SOUPS 7957094 WITH SCORE 7981358.7
AT ITER 9918 NEW BEST:: SOT 127385045 SOS 24264527 HAS SOPS 24264527 HAS SOUS 7956453 HAS SOUPS 7956453 WITH SCORE 7980717.527
AT ITER 9924 NEW BEST:: SOT 127384883 SOS 24264365 HAS SOPS 24264365 HAS SOUS 7956291 HAS SOUPS 7956291 WITH SCORE 7980555.365
AT ITER 9945 NEW BEST:: SOT 127380671 SOS 24255941 HAS SOPS 24255941 HAS SOUS 7955298 HAS SOUPS 7955298 WITH SCORE 7979553.941
AT ITER 9949 NEW BEST:: SOT 127376767 SOS 24251981 HAS SOPS 24251981 HAS SOUS 7952080 HAS SOUPS 7952080 WITH SCORE 7976331.981
AT ITER 9955 NEW BEST:: SOT 127375012 SOS 24248307 HAS SOPS 24248307 HAS SOUS 7950214 HAS SOUPS 7950214 WITH SCORE 7974462.307
AT ITER 9992 NEW BEST:: SOT 127374929 SOS 24248141 HAS SOPS 24248141 HAS SOUS 7950048 HAS SOUPS 7950048 WITH SCORE 7974296.141
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 1163152 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16080972 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="HypercubeGrid-PT-C5K3P3B15"
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 HypercubeGrid-PT-C5K3P3B15, 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 r235-tall-167856421100024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C5K3P3B15.tgz
mv HypercubeGrid-PT-C5K3P3B15 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 ;