About the Execution of Smart+red for DBSingleClientW-PT-d2m04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2421.600 | 3600000.00 | 3635591.00 | 11430.40 | [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.r107-tall-167814484000296.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 DBSingleClientW-PT-d2m04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484000296
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 7.0K Feb 26 15:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 15:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 15:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 15:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 15:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 141K Feb 26 15:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 15:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 26 15:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.6M 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 1678356344173
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=DBSingleClientW-PT-d2m04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 10:05:45] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 10:05:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 10:05:45] [INFO ] Load time of PNML (sax parser for PT used): 255 ms
[2023-03-09 10:05:45] [INFO ] Transformed 4763 places.
[2023-03-09 10:05:45] [INFO ] Transformed 2478 transitions.
[2023-03-09 10:05:46] [INFO ] Parsed PT model containing 4763 places and 2478 transitions and 9912 arcs in 369 ms.
[2023-03-09 10:05:46] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4763 places, 2478 transitions and 9912 arcs took 27 ms.
Total runtime 425 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m04
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: 4763 places, 2478 transitions, 9912 arcs.
AT ITER 0 NEW BEST:: SOT 2905994 SOS 2846537 HAS SOPS 2846509 HAS SOUS 2065506 HAS SOUPS 2065478 WITH SCORE 2068324.537
AT ITER 8 NEW BEST:: SOT 2906006 SOS 2846549 HAS SOPS 2846521 HAS SOUS 2064273 HAS SOUPS 2064245 WITH SCORE 2067091.549
AT ITER 110 NEW BEST:: SOT 2906006 SOS 2846549 HAS SOPS 2846521 HAS SOUS 2064059 HAS SOUPS 2064031 WITH SCORE 2066877.549
AT ITER 126 NEW BEST:: SOT 2906006 SOS 2846569 HAS SOPS 2846541 HAS SOUS 2064016 HAS SOUPS 2063988 WITH SCORE 2066834.569
AT ITER 217 NEW BEST:: SOT 2906006 SOS 2846569 HAS SOPS 2846541 HAS SOUS 2064015 HAS SOUPS 2063987 WITH SCORE 2066833.569
AT ITER 267 NEW BEST:: SOT 2198523 SOS 2139420 HAS SOPS 2139058 HAS SOUS 1356859 HAS SOUPS 1356504 WITH SCORE 1358643.42
AT ITER 282 NEW BEST:: SOT 2199561 SOS 2140458 HAS SOPS 2140096 HAS SOUS 1356660 HAS SOUPS 1356305 WITH SCORE 1358445.458
AT ITER 327 NEW BEST:: SOT 2200590 SOS 2141487 HAS SOPS 2141125 HAS SOUS 1356434 HAS SOUPS 1356079 WITH SCORE 1358220.487
AT ITER 336 NEW BEST:: SOT 2200507 SOS 2141404 HAS SOPS 2141042 HAS SOUS 1356372 HAS SOUPS 1356017 WITH SCORE 1358158.404
AT ITER 343 NEW BEST:: SOT 2200467 SOS 2141364 HAS SOPS 2141002 HAS SOUS 1355962 HAS SOUPS 1355607 WITH SCORE 1357748.364
AT ITER 370 NEW BEST:: SOT 2201700 SOS 2142597 HAS SOPS 2142235 HAS SOUS 1355599 HAS SOUPS 1355244 WITH SCORE 1357386.597
AT ITER 443 NEW BEST:: SOT 2201980 SOS 2142877 HAS SOPS 2142515 HAS SOUS 1355139 HAS SOUPS 1354784 WITH SCORE 1356926.877
AT ITER 444 NEW BEST:: SOT 2201980 SOS 2142877 HAS SOPS 2142515 HAS SOUS 1355021 HAS SOUPS 1354666 WITH SCORE 1356808.877
AT ITER 454 NEW BEST:: SOT 2203050 SOS 2143947 HAS SOPS 2143585 HAS SOUS 1354545 HAS SOUPS 1354190 WITH SCORE 1356333.947
AT ITER 461 NEW BEST:: SOT 2205680 SOS 2146577 HAS SOPS 2146215 HAS SOUS 1352341 HAS SOUPS 1351986 WITH SCORE 1354132.577
AT ITER 506 NEW BEST:: SOT 2205810 SOS 2146707 HAS SOPS 2146345 HAS SOUS 1352081 HAS SOUPS 1351726 WITH SCORE 1353872.707
AT ITER 528 NEW BEST:: SOT 2205717 SOS 2146614 HAS SOPS 2146252 HAS SOUS 1351928 HAS SOUPS 1351573 WITH SCORE 1353719.614
AT ITER 553 NEW BEST:: SOT 2205717 SOS 2146614 HAS SOPS 2146252 HAS SOUS 1351774 HAS SOUPS 1351419 WITH SCORE 1353565.614
AT ITER 609 NEW BEST:: SOT 2205775 SOS 2146672 HAS SOPS 2146310 HAS SOUS 1351253 HAS SOUPS 1350898 WITH SCORE 1353044.672
AT ITER 617 NEW BEST:: SOT 2208643 SOS 2149540 HAS SOPS 2149178 HAS SOUS 1348154 HAS SOUPS 1347799 WITH SCORE 1349948.54
AT ITER 653 NEW BEST:: SOT 2210856 SOS 2151753 HAS SOPS 2151391 HAS SOUS 1347776 HAS SOUPS 1347421 WITH SCORE 1349572.753
AT ITER 666 NEW BEST:: SOT 2210856 SOS 2151753 HAS SOPS 2151391 HAS SOUS 1347394 HAS SOUPS 1347039 WITH SCORE 1349190.753
AT ITER 699 NEW BEST:: SOT 2211467 SOS 2152364 HAS SOPS 2152002 HAS SOUS 1347158 HAS SOUPS 1346803 WITH SCORE 1348955.364
AT ITER 702 NEW BEST:: SOT 2212529 SOS 2153426 HAS SOPS 2153064 HAS SOUS 1345007 HAS SOUPS 1344652 WITH SCORE 1346805.426
AT ITER 813 NEW BEST:: SOT 2213205 SOS 2154102 HAS SOPS 2153740 HAS SOUS 1343863 HAS SOUPS 1343508 WITH SCORE 1345662.102
AT ITER 896 NEW BEST:: SOT 2213205 SOS 2154102 HAS SOPS 2153740 HAS SOUS 1342111 HAS SOUPS 1341756 WITH SCORE 1343910.102
AT ITER 958 NEW BEST:: SOT 2215678 SOS 2156575 HAS SOPS 2156213 HAS SOUS 1338836 HAS SOUPS 1338481 WITH SCORE 1340637.575
AT ITER 1059 NEW BEST:: SOT 2216549 SOS 2157446 HAS SOPS 2157084 HAS SOUS 1338124 HAS SOUPS 1337769 WITH SCORE 1339926.446
AT ITER 1116 NEW BEST:: SOT 2216549 SOS 2157446 HAS SOPS 2157084 HAS SOUS 1337236 HAS SOUPS 1336881 WITH SCORE 1339038.446
AT ITER 1156 NEW BEST:: SOT 2216549 SOS 2155226 HAS SOPS 2154864 HAS SOUS 1337154 HAS SOUPS 1336799 WITH SCORE 1338954.226
AT ITER 1225 NEW BEST:: SOT 2217171 SOS 2155848 HAS SOPS 2155486 HAS SOUS 1336420 HAS SOUPS 1336065 WITH SCORE 1338220.848
AT ITER 1237 NEW BEST:: SOT 2217171 SOS 2155848 HAS SOPS 2155486 HAS SOUS 1333551 HAS SOUPS 1333196 WITH SCORE 1335351.848
AT ITER 1270 NEW BEST:: SOT 2218301 SOS 2156701 HAS SOPS 2156339 HAS SOUS 1330371 HAS SOUPS 1330016 WITH SCORE 1332172.701
AT ITER 1336 NEW BEST:: SOT 2218301 SOS 2156388 HAS SOPS 2156026 HAS SOUS 1330295 HAS SOUPS 1329940 WITH SCORE 1332096.388
AT ITER 1352 NEW BEST:: SOT 2220602 SOS 2158689 HAS SOPS 2158327 HAS SOUS 1330177 HAS SOUPS 1329822 WITH SCORE 1331980.689
AT ITER 1418 NEW BEST:: SOT 2220602 SOS 2157868 HAS SOPS 2157506 HAS SOUS 1324353 HAS SOUPS 1323998 WITH SCORE 1326155.868
AT ITER 1422 NEW BEST:: SOT 2220602 SOS 2157868 HAS SOPS 2157506 HAS SOUS 1323921 HAS SOUPS 1323566 WITH SCORE 1325723.868
AT ITER 1464 NEW BEST:: SOT 2220602 SOS 2157868 HAS SOPS 2157506 HAS SOUS 1323369 HAS SOUPS 1323014 WITH SCORE 1325171.868
AT ITER 1479 NEW BEST:: SOT 2224122 SOS 2161388 HAS SOPS 2161026 HAS SOUS 1321876 HAS SOUPS 1321521 WITH SCORE 1323682.388
AT ITER 1483 NEW BEST:: SOT 2224122 SOS 2161002 HAS SOPS 2160640 HAS SOUS 1317820 HAS SOUPS 1317465 WITH SCORE 1319626.002
AT ITER 1487 NEW BEST:: SOT 2224559 SOS 2161439 HAS SOPS 2161077 HAS SOUS 1317076 HAS SOUPS 1316721 WITH SCORE 1318882.439
AT ITER 1499 NEW BEST:: SOT 2224559 SOS 2161771 HAS SOPS 2161409 HAS SOUS 1316844 HAS SOUPS 1316489 WITH SCORE 1318650.771
AT ITER 1516 NEW BEST:: SOT 2225861 SOS 2163073 HAS SOPS 2162711 HAS SOUS 1316426 HAS SOUPS 1316071 WITH SCORE 1318234.073
AT ITER 1538 NEW BEST:: SOT 2226296 SOS 2163508 HAS SOPS 2163146 HAS SOUS 1315809 HAS SOUPS 1315454 WITH SCORE 1317617.508
AT ITER 1565 NEW BEST:: SOT 2226296 SOS 2163508 HAS SOPS 2163146 HAS SOUS 1315777 HAS SOUPS 1315422 WITH SCORE 1317585.508
AT ITER 1596 NEW BEST:: SOT 2226265 SOS 2163477 HAS SOPS 2163115 HAS SOUS 1315388 HAS SOUPS 1315033 WITH SCORE 1317196.477
AT ITER 1667 NEW BEST:: SOT 2226211 SOS 2163423 HAS SOPS 2163061 HAS SOUS 1315352 HAS SOUPS 1314997 WITH SCORE 1317160.423
AT ITER 1746 NEW BEST:: SOT 2226211 SOS 2163423 HAS SOPS 2163061 HAS SOUS 1314854 HAS SOUPS 1314499 WITH SCORE 1316662.423
AT ITER 1828 NEW BEST:: SOT 2226211 SOS 2163423 HAS SOPS 2163061 HAS SOUS 1314471 HAS SOUPS 1314116 WITH SCORE 1316279.423
AT ITER 1849 NEW BEST:: SOT 2228400 SOS 2165612 HAS SOPS 2165250 HAS SOUS 1313743 HAS SOUPS 1313388 WITH SCORE 1315553.612
AT ITER 1868 NEW BEST:: SOT 2232090 SOS 2169302 HAS SOPS 2168940 HAS SOUS 1311724 HAS SOUPS 1311369 WITH SCORE 1313538.302
AT ITER 1887 NEW BEST:: SOT 2232090 SOS 2169302 HAS SOPS 2168940 HAS SOUS 1311719 HAS SOUPS 1311364 WITH SCORE 1313533.302
AT ITER 1907 NEW BEST:: SOT 2232346 SOS 2169558 HAS SOPS 2169196 HAS SOUS 1311482 HAS SOUPS 1311127 WITH SCORE 1313296.558
AT ITER 1924 NEW BEST:: SOT 2233231 SOS 2170443 HAS SOPS 2170081 HAS SOUS 1311177 HAS SOUPS 1310822 WITH SCORE 1312992.443
AT ITER 2017 NEW BEST:: SOT 2233231 SOS 2170443 HAS SOPS 2170081 HAS SOUS 1310935 HAS SOUPS 1310580 WITH SCORE 1312750.443
AT ITER 2089 NEW BEST:: SOT 2233153 SOS 2170365 HAS SOPS 2170003 HAS SOUS 1310778 HAS SOUPS 1310423 WITH SCORE 1312593.365
AT ITER 2117 NEW BEST:: SOT 2233153 SOS 2170365 HAS SOPS 2170003 HAS SOUS 1310487 HAS SOUPS 1310132 WITH SCORE 1312302.365
AT ITER 2132 NEW BEST:: SOT 2233471 SOS 2170683 HAS SOPS 2170321 HAS SOUS 1309766 HAS SOUPS 1309411 WITH SCORE 1311581.683
AT ITER 2159 NEW BEST:: SOT 2233222 SOS 2170434 HAS SOPS 2170072 HAS SOUS 1308827 HAS SOUPS 1308472 WITH SCORE 1310642.434
AT ITER 2207 NEW BEST:: SOT 2233126 SOS 2170338 HAS SOPS 2169976 HAS SOUS 1308481 HAS SOUPS 1308126 WITH SCORE 1310296.338
AT ITER 2232 NEW BEST:: SOT 2238601 SOS 2175813 HAS SOPS 2175451 HAS SOUS 1308014 HAS SOUPS 1307659 WITH SCORE 1309834.813
AT ITER 2233 NEW BEST:: SOT 2238601 SOS 2175813 HAS SOPS 2175451 HAS SOUS 1307599 HAS SOUPS 1307244 WITH SCORE 1309419.813
AT ITER 2256 NEW BEST:: SOT 2239103 SOS 2176315 HAS SOPS 2175953 HAS SOUS 1307241 HAS SOUPS 1306886 WITH SCORE 1309062.315
AT ITER 2263 NEW BEST:: SOT 2240004 SOS 2177216 HAS SOPS 2176854 HAS SOUS 1306219 HAS SOUPS 1305864 WITH SCORE 1308041.216
AT ITER 2312 NEW BEST:: SOT 2241242 SOS 2178454 HAS SOPS 2178092 HAS SOUS 1304854 HAS SOUPS 1304499 WITH SCORE 1306677.454
AT ITER 2318 NEW BEST:: SOT 2241788 SOS 2179000 HAS SOPS 2178638 HAS SOUS 1304424 HAS SOUPS 1304069 WITH SCORE 1306248.0
AT ITER 2368 NEW BEST:: SOT 2241951 SOS 2179163 HAS SOPS 2178801 HAS SOUS 1303181 HAS SOUPS 1302826 WITH SCORE 1305005.163
AT ITER 2377 NEW BEST:: SOT 2241951 SOS 2179163 HAS SOPS 2178801 HAS SOUS 1302544 HAS SOUPS 1302189 WITH SCORE 1304368.163
AT ITER 2417 NEW BEST:: SOT 2247567 SOS 2184779 HAS SOPS 2184417 HAS SOUS 1302442 HAS SOUPS 1302087 WITH SCORE 1304271.779
AT ITER 2441 NEW BEST:: SOT 2247567 SOS 2175497 HAS SOPS 2175135 HAS SOUS 1302442 HAS SOUPS 1302087 WITH SCORE 1304262.497
AT ITER 2457 NEW BEST:: SOT 2247567 SOS 2175497 HAS SOPS 2175135 HAS SOUS 1302313 HAS SOUPS 1301958 WITH SCORE 1304133.497
AT ITER 2503 NEW BEST:: SOT 2247567 SOS 2175497 HAS SOPS 2175135 HAS SOUS 1301403 HAS SOUPS 1301048 WITH SCORE 1303223.497
AT ITER 2508 NEW BEST:: SOT 2247745 SOS 2175675 HAS SOPS 2175313 HAS SOUS 1301246 HAS SOUPS 1300891 WITH SCORE 1303066.675
AT ITER 2517 NEW BEST:: SOT 2247716 SOS 2175646 HAS SOPS 2175284 HAS SOUS 1301238 HAS SOUPS 1300883 WITH SCORE 1303058.646
AT ITER 2518 NEW BEST:: SOT 2247716 SOS 2175646 HAS SOPS 2175284 HAS SOUS 1295845 HAS SOUPS 1295490 WITH SCORE 1297665.646
AT ITER 2568 NEW BEST:: SOT 2247717 SOS 2175647 HAS SOPS 2175285 HAS SOUS 1294810 HAS SOUPS 1294455 WITH SCORE 1296630.647
AT ITER 2615 NEW BEST:: SOT 2247717 SOS 2175647 HAS SOPS 2175285 HAS SOUS 1294709 HAS SOUPS 1294354 WITH SCORE 1296529.647
AT ITER 2618 NEW BEST:: SOT 2247717 SOS 2175457 HAS SOPS 2175095 HAS SOUS 1294709 HAS SOUPS 1294354 WITH SCORE 1296529.457
AT ITER 2623 NEW BEST:: SOT 2247717 SOS 2175457 HAS SOPS 2175095 HAS SOUS 1294707 HAS SOUPS 1294352 WITH SCORE 1296527.457
AT ITER 2661 NEW BEST:: SOT 2247717 SOS 2175457 HAS SOPS 2175095 HAS SOUS 1294705 HAS SOUPS 1294350 WITH SCORE 1296525.457
AT ITER 2667 NEW BEST:: SOT 2247695 SOS 2175435 HAS SOPS 2175073 HAS SOUS 1294661 HAS SOUPS 1294306 WITH SCORE 1296481.435
AT ITER 2699 NEW BEST:: SOT 2252078 SOS 2179818 HAS SOPS 2179456 HAS SOUS 1294484 HAS SOUPS 1294129 WITH SCORE 1296308.818
AT ITER 2717 NEW BEST:: SOT 2254278 SOS 2182018 HAS SOPS 2181656 HAS SOUS 1293303 HAS SOUPS 1292948 WITH SCORE 1295130.018
AT ITER 2731 NEW BEST:: SOT 2254363 SOS 2182103 HAS SOPS 2181741 HAS SOUS 1293241 HAS SOUPS 1292886 WITH SCORE 1295068.103
AT ITER 2799 NEW BEST:: SOT 2254641 SOS 2182381 HAS SOPS 2182019 HAS SOUS 1293108 HAS SOUPS 1292753 WITH SCORE 1294935.381
AT ITER 2810 NEW BEST:: SOT 2255806 SOS 2183546 HAS SOPS 2183184 HAS SOUS 1290507 HAS SOUPS 1290152 WITH SCORE 1292335.546
AT ITER 2849 NEW BEST:: SOT 2255806 SOS 2183546 HAS SOPS 2183184 HAS SOUS 1289529 HAS SOUPS 1289174 WITH SCORE 1291357.546
AT ITER 2864 NEW BEST:: SOT 2257612 SOS 2185352 HAS SOPS 2184990 HAS SOUS 1289127 HAS SOUPS 1288772 WITH SCORE 1290957.352
AT ITER 2881 NEW BEST:: SOT 2260093 SOS 2187833 HAS SOPS 2187471 HAS SOUS 1288047 HAS SOUPS 1287692 WITH SCORE 1289879.833
AT ITER 2890 NEW BEST:: SOT 2260052 SOS 2187792 HAS SOPS 2187430 HAS SOUS 1287965 HAS SOUPS 1287610 WITH SCORE 1289797.792
AT ITER 2974 NEW BEST:: SOT 2260052 SOS 2187792 HAS SOPS 2187430 HAS SOUS 1287955 HAS SOUPS 1287600 WITH SCORE 1289787.792
AT ITER 2990 NEW BEST:: SOT 2264427 SOS 2192167 HAS SOPS 2191805 HAS SOUS 1287488 HAS SOUPS 1287133 WITH SCORE 1289325.167
AT ITER 3015 NEW BEST:: SOT 2264427 SOS 2192167 HAS SOPS 2191805 HAS SOUS 1287453 HAS SOUPS 1287098 WITH SCORE 1289290.167
AT ITER 3035 NEW BEST:: SOT 2266113 SOS 2193853 HAS SOPS 2193491 HAS SOUS 1287009 HAS SOUPS 1286654 WITH SCORE 1288847.853
AT ITER 3037 NEW BEST:: SOT 2266113 SOS 2193853 HAS SOPS 2193491 HAS SOUS 1285047 HAS SOUPS 1284692 WITH SCORE 1286885.853
AT ITER 3038 NEW BEST:: SOT 2266113 SOS 2193853 HAS SOPS 2193491 HAS SOUS 1283063 HAS SOUPS 1282708 WITH SCORE 1284901.853
AT ITER 3061 NEW BEST:: SOT 2266079 SOS 2193819 HAS SOPS 2193457 HAS SOUS 1282995 HAS SOUPS 1282640 WITH SCORE 1284833.819
AT ITER 3132 NEW BEST:: SOT 2269754 SOS 2197494 HAS SOPS 2197132 HAS SOUS 1280352 HAS SOUPS 1279997 WITH SCORE 1282194.494
AT ITER 3138 NEW BEST:: SOT 2270077 SOS 2197817 HAS SOPS 2197455 HAS SOUS 1280125 HAS SOUPS 1279770 WITH SCORE 1281967.817
AT ITER 3219 NEW BEST:: SOT 2270077 SOS 2197817 HAS SOPS 2197455 HAS SOUS 1280094 HAS SOUPS 1279739 WITH SCORE 1281936.817
AT ITER 3228 NEW BEST:: SOT 2270331 SOS 2198071 HAS SOPS 2197709 HAS SOUS 1279251 HAS SOUPS 1278896 WITH SCORE 1281094.071
AT ITER 3268 NEW BEST:: SOT 2270331 SOS 2198071 HAS SOPS 2197709 HAS SOUS 1278220 HAS SOUPS 1277865 WITH SCORE 1280063.071
AT ITER 3329 NEW BEST:: SOT 2271766 SOS 2199506 HAS SOPS 2199144 HAS SOUS 1278024 HAS SOUPS 1277669 WITH SCORE 1279868.506
AT ITER 3366 NEW BEST:: SOT 2271605 SOS 2199345 HAS SOPS 2199144 HAS SOUS 1277863 HAS SOUPS 1277669 WITH SCORE 1279868.345
AT ITER 3417 NEW BEST:: SOT 2271605 SOS 2199345 HAS SOPS 2199144 HAS SOUS 1277581 HAS SOUPS 1277387 WITH SCORE 1279586.345
AT ITER 3423 NEW BEST:: SOT 2275660 SOS 2203400 HAS SOPS 2203199 HAS SOUS 1277276 HAS SOUPS 1277082 WITH SCORE 1279285.4
AT ITER 3448 NEW BEST:: SOT 2275707 SOS 2203447 HAS SOPS 2203246 HAS SOUS 1277261 HAS SOUPS 1277067 WITH SCORE 1279270.447
AT ITER 3457 NEW BEST:: SOT 2276510 SOS 2204250 HAS SOPS 2204049 HAS SOUS 1277023 HAS SOUPS 1276829 WITH SCORE 1279033.25
AT ITER 3568 NEW BEST:: SOT 2280935 SOS 2208631 HAS SOPS 2208430 HAS SOUS 1274024 HAS SOUPS 1273830 WITH SCORE 1276038.631
AT ITER 3590 NEW BEST:: SOT 2277631 SOS 2205327 HAS SOPS 2205126 HAS SOUS 1273505 HAS SOUPS 1273311 WITH SCORE 1275516.327
AT ITER 3621 NEW BEST:: SOT 2277631 SOS 2205327 HAS SOPS 2205126 HAS SOUS 1272466 HAS SOUPS 1272272 WITH SCORE 1274477.327
AT ITER 3625 NEW BEST:: SOT 2277631 SOS 2205008 HAS SOPS 2204807 HAS SOUS 1272462 HAS SOUPS 1272268 WITH SCORE 1274473.008
AT ITER 3649 NEW BEST:: SOT 2283214 SOS 2210591 HAS SOPS 2210390 HAS SOUS 1272262 HAS SOUPS 1272068 WITH SCORE 1274278.591
AT ITER 3669 NEW BEST:: SOT 2283101 SOS 2210478 HAS SOPS 2210277 HAS SOUS 1272072 HAS SOUPS 1271878 WITH SCORE 1274088.478
AT ITER 3711 NEW BEST:: SOT 2283101 SOS 2210474 HAS SOPS 2210273 HAS SOUS 1272065 HAS SOUPS 1271871 WITH SCORE 1274081.474
AT ITER 3732 NEW BEST:: SOT 2290106 SOS 2217479 HAS SOPS 2217278 HAS SOUS 1271579 HAS SOUPS 1271385 WITH SCORE 1273602.479
AT ITER 3740 NEW BEST:: SOT 2290565 SOS 2217938 HAS SOPS 2217737 HAS SOUS 1270503 HAS SOUPS 1270309 WITH SCORE 1272526.938
AT ITER 3742 NEW BEST:: SOT 2290565 SOS 2217113 HAS SOPS 2216912 HAS SOUS 1265694 HAS SOUPS 1265500 WITH SCORE 1267717.113
AT ITER 3834 NEW BEST:: SOT 2290565 SOS 2217113 HAS SOPS 2216912 HAS SOUS 1264311 HAS SOUPS 1264117 WITH SCORE 1266334.113
AT ITER 3955 NEW BEST:: SOT 2291234 SOS 2217782 HAS SOPS 2217581 HAS SOUS 1263864 HAS SOUPS 1263670 WITH SCORE 1265887.782
AT ITER 3972 NEW BEST:: SOT 2292576 SOS 2219124 HAS SOPS 2218923 HAS SOUS 1257797 HAS SOUPS 1257603 WITH SCORE 1259822.124
AT ITER 4048 NEW BEST:: SOT 2294996 SOS 2221544 HAS SOPS 2221343 HAS SOUS 1254836 HAS SOUPS 1254642 WITH SCORE 1256863.544
AT ITER 4059 NEW BEST:: SOT 2294872 SOS 2221420 HAS SOPS 2221219 HAS SOUS 1254836 HAS SOUPS 1254642 WITH SCORE 1256863.42
AT ITER 4118 NEW BEST:: SOT 2299940 SOS 2225778 HAS SOPS 2225410 HAS SOUS 1251837 HAS SOUPS 1251643 WITH SCORE 1253868.778
AT ITER 4218 NEW BEST:: SOT 2299940 SOS 2225778 HAS SOPS 2225410 HAS SOUS 1251672 HAS SOUPS 1251478 WITH SCORE 1253703.778
AT ITER 4228 NEW BEST:: SOT 2303030 SOS 2228868 HAS SOPS 2228500 HAS SOUS 1249878 HAS SOUPS 1249684 WITH SCORE 1251912.868
AT ITER 4240 NEW BEST:: SOT 2310400 SOS 2235864 HAS SOPS 2235496 HAS SOUS 1248124 HAS SOUPS 1247930 WITH SCORE 1250165.864
AT ITER 4258 NEW BEST:: SOT 2310622 SOS 2236086 HAS SOPS 2235718 HAS SOUS 1246063 HAS SOUPS 1245869 WITH SCORE 1248105.086
AT ITER 4264 NEW BEST:: SOT 2320450 SOS 2245083 HAS SOPS 2244715 HAS SOUS 1241165 HAS SOUPS 1240971 WITH SCORE 1243216.083
AT ITER 4288 NEW BEST:: SOT 2321274 SOS 2245907 HAS SOPS 2245539 HAS SOUS 1241135 HAS SOUPS 1240941 WITH SCORE 1243186.907
AT ITER 4291 NEW BEST:: SOT 2321274 SOS 2241389 HAS SOPS 2241021 HAS SOUS 1240658 HAS SOUPS 1240464 WITH SCORE 1242705.389
AT ITER 4344 NEW BEST:: SOT 2320999 SOS 2241114 HAS SOPS 2240746 HAS SOUS 1240324 HAS SOUPS 1240130 WITH SCORE 1242371.114
AT ITER 4425 NEW BEST:: SOT 2320999 SOS 2241114 HAS SOPS 2240746 HAS SOUS 1239882 HAS SOUPS 1239688 WITH SCORE 1241929.114
AT ITER 4483 NEW BEST:: SOT 2320999 SOS 2239570 HAS SOPS 2239202 HAS SOUS 1239786 HAS SOUPS 1239592 WITH SCORE 1241831.57
AT ITER 4488 NEW BEST:: SOT 2322462 SOS 2241033 HAS SOPS 2240665 HAS SOUS 1239748 HAS SOUPS 1239554 WITH SCORE 1241795.033
AT ITER 4500 NEW BEST:: SOT 2322462 SOS 2241033 HAS SOPS 2240665 HAS SOUS 1239537 HAS SOUPS 1239343 WITH SCORE 1241584.033
AT ITER 4513 NEW BEST:: SOT 2322302 SOS 2240873 HAS SOPS 2240505 HAS SOUS 1238786 HAS SOUPS 1238592 WITH SCORE 1240832.873
AT ITER 4556 NEW BEST:: SOT 2322302 SOS 2240873 HAS SOPS 2240505 HAS SOUS 1238692 HAS SOUPS 1238498 WITH SCORE 1240738.873
AT ITER 4563 NEW BEST:: SOT 2321480 SOS 2240051 HAS SOPS 2239683 HAS SOUS 1238542 HAS SOUPS 1238348 WITH SCORE 1240588.051
AT ITER 4580 NEW BEST:: SOT 2322241 SOS 2240812 HAS SOPS 2240444 HAS SOUS 1237430 HAS SOUPS 1237236 WITH SCORE 1239476.812
AT ITER 4611 NEW BEST:: SOT 2324901 SOS 2243472 HAS SOPS 2243104 HAS SOUS 1234770 HAS SOUPS 1234576 WITH SCORE 1236819.472
AT ITER 4616 NEW BEST:: SOT 2324812 SOS 2243383 HAS SOPS 2243015 HAS SOUS 1234437 HAS SOUPS 1234243 WITH SCORE 1236486.383
AT ITER 4655 NEW BEST:: SOT 2324967 SOS 2243538 HAS SOPS 2243170 HAS SOUS 1234282 HAS SOUPS 1234088 WITH SCORE 1236331.538
AT ITER 4699 NEW BEST:: SOT 2324967 SOS 2243538 HAS SOPS 2243170 HAS SOUS 1234281 HAS SOUPS 1234087 WITH SCORE 1236330.538
AT ITER 4721 NEW BEST:: SOT 2324849 SOS 2243420 HAS SOPS 2243052 HAS SOUS 1234163 HAS SOUPS 1233969 WITH SCORE 1236212.42
AT ITER 4746 NEW BEST:: SOT 2323241 SOS 2241812 HAS SOPS 2241444 HAS SOUS 1232555 HAS SOUPS 1232361 WITH SCORE 1234602.812
AT ITER 4811 NEW BEST:: SOT 2337113 SOS 2254861 HAS SOPS 2254493 HAS SOUS 1231495 HAS SOUPS 1231301 WITH SCORE 1233555.861
AT ITER 4824 NEW BEST:: SOT 2337113 SOS 2254861 HAS SOPS 2254493 HAS SOUS 1231125 HAS SOUPS 1230931 WITH SCORE 1233185.861
AT ITER 4933 NEW BEST:: SOT 2337113 SOS 2254861 HAS SOPS 2254493 HAS SOUS 1228137 HAS SOUPS 1227943 WITH SCORE 1230197.861
AT ITER 4968 NEW BEST:: SOT 2337113 SOS 2254861 HAS SOPS 2254493 HAS SOUS 1227604 HAS SOUPS 1227410 WITH SCORE 1229664.861
AT ITER 4990 NEW BEST:: SOT 2355989 SOS 2273523 HAS SOPS 2273155 HAS SOUS 1227123 HAS SOUPS 1226929 WITH SCORE 1229202.523
AT ITER 5006 NEW BEST:: SOT 2355989 SOS 2273523 HAS SOPS 2273155 HAS SOUS 1226942 HAS SOUPS 1226748 WITH SCORE 1229021.523
AT ITER 5083 NEW BEST:: SOT 2355765 SOS 2273299 HAS SOPS 2272931 HAS SOUS 1226494 HAS SOUPS 1226300 WITH SCORE 1228573.299
AT ITER 5092 NEW BEST:: SOT 2360809 SOS 2278343 HAS SOPS 2277975 HAS SOUS 1225673 HAS SOUPS 1225479 WITH SCORE 1227757.343
AT ITER 5103 NEW BEST:: SOT 2360809 SOS 2278343 HAS SOPS 2277975 HAS SOUS 1225196 HAS SOUPS 1225002 WITH SCORE 1227280.343
AT ITER 5122 NEW BEST:: SOT 2361316 SOS 2278850 HAS SOPS 2278482 HAS SOUS 1224527 HAS SOUPS 1224333 WITH SCORE 1226611.85
AT ITER 5128 NEW BEST:: SOT 2362701 SOS 2280235 HAS SOPS 2279867 HAS SOUS 1223881 HAS SOUPS 1223687 WITH SCORE 1225967.235
AT ITER 5136 NEW BEST:: SOT 2362701 SOS 2280235 HAS SOPS 2279867 HAS SOUS 1223595 HAS SOUPS 1223401 WITH SCORE 1225681.235
AT ITER 5139 NEW BEST:: SOT 2362701 SOS 2280235 HAS SOPS 2279867 HAS SOUS 1222850 HAS SOUPS 1222656 WITH SCORE 1224936.235
AT ITER 5140 NEW BEST:: SOT 2362701 SOS 2280235 HAS SOPS 2279867 HAS SOUS 1222563 HAS SOUPS 1222369 WITH SCORE 1224649.235
AT ITER 5175 NEW BEST:: SOT 2363375 SOS 2280909 HAS SOPS 2280541 HAS SOUS 1221508 HAS SOUPS 1221314 WITH SCORE 1223594.909
AT ITER 5190 NEW BEST:: SOT 2363375 SOS 2280909 HAS SOPS 2280541 HAS SOUS 1221174 HAS SOUPS 1220980 WITH SCORE 1223260.909
AT ITER 5230 NEW BEST:: SOT 2363375 SOS 2280909 HAS SOPS 2280541 HAS SOUS 1220646 HAS SOUPS 1220452 WITH SCORE 1222732.909
AT ITER 5262 NEW BEST:: SOT 2365605 SOS 2283139 HAS SOPS 2282771 HAS SOUS 1218672 HAS SOUPS 1218478 WITH SCORE 1220761.139
AT ITER 5310 NEW BEST:: SOT 2365538 SOS 2283072 HAS SOPS 2282704 HAS SOUS 1218538 HAS SOUPS 1218344 WITH SCORE 1220627.072
AT ITER 5341 NEW BEST:: SOT 2366356 SOS 2283890 HAS SOPS 2283522 HAS SOUS 1218338 HAS SOUPS 1218144 WITH SCORE 1220427.89
AT ITER 5360 NEW BEST:: SOT 2366356 SOS 2283890 HAS SOPS 2283522 HAS SOUS 1218311 HAS SOUPS 1218117 WITH SCORE 1220400.89
AT ITER 5377 NEW BEST:: SOT 2369966 SOS 2287500 HAS SOPS 2287132 HAS SOUS 1217868 HAS SOUPS 1217674 WITH SCORE 1219961.5
AT ITER 5378 NEW BEST:: SOT 2385531 SOS 2303065 HAS SOPS 2302697 HAS SOUS 1211333 HAS SOUPS 1211139 WITH SCORE 1213442.065
AT ITER 5408 NEW BEST:: SOT 2386354 SOS 2303888 HAS SOPS 2303520 HAS SOUS 1211243 HAS SOUPS 1211049 WITH SCORE 1213352.888
AT ITER 5411 NEW BEST:: SOT 2396045 SOS 2313579 HAS SOPS 2313211 HAS SOUS 1210834 HAS SOUPS 1210640 WITH SCORE 1212953.579
AT ITER 5425 NEW BEST:: SOT 2419229 SOS 2335934 HAS SOPS 2335566 HAS SOUS 1210253 HAS SOUPS 1210059 WITH SCORE 1212394.934
AT ITER 5449 NEW BEST:: SOT 2422214 SOS 2338919 HAS SOPS 2338551 HAS SOUS 1210250 HAS SOUPS 1210056 WITH SCORE 1212394.919
AT ITER 5513 NEW BEST:: SOT 2423211 SOS 2339916 HAS SOPS 2339548 HAS SOUS 1210049 HAS SOUPS 1209855 WITH SCORE 1212194.916
AT ITER 5520 NEW BEST:: SOT 2423713 SOS 2340418 HAS SOPS 2340050 HAS SOUS 1209591 HAS SOUPS 1209397 WITH SCORE 1211737.418
AT ITER 5545 NEW BEST:: SOT 2426142 SOS 2342847 HAS SOPS 2342479 HAS SOUS 1209071 HAS SOUPS 1208877 WITH SCORE 1211219.847
AT ITER 5603 NEW BEST:: SOT 2426142 SOS 2342847 HAS SOPS 2342479 HAS SOUS 1208414 HAS SOUPS 1208220 WITH SCORE 1210562.847
AT ITER 5622 NEW BEST:: SOT 2426142 SOS 2331391 HAS SOPS 2331023 HAS SOUS 1207636 HAS SOUPS 1207442 WITH SCORE 1209773.391
AT ITER 5623 NEW BEST:: SOT 2426142 SOS 2331391 HAS SOPS 2331023 HAS SOUS 1207590 HAS SOUPS 1207396 WITH SCORE 1209727.391
AT ITER 5701 NEW BEST:: SOT 2427611 SOS 2332860 HAS SOPS 2332492 HAS SOUS 1207293 HAS SOUPS 1207099 WITH SCORE 1209431.86
AT ITER 5719 NEW BEST:: SOT 2429071 SOS 2334320 HAS SOPS 2333952 HAS SOUS 1206877 HAS SOUPS 1206683 WITH SCORE 1209017.32
AT ITER 5750 NEW BEST:: SOT 2446063 SOS 2348250 HAS SOPS 2347882 HAS SOUS 1205068 HAS SOUPS 1204874 WITH SCORE 1207222.25
AT ITER 5834 NEW BEST:: SOT 2446063 SOS 2348250 HAS SOPS 2347882 HAS SOUS 1205060 HAS SOUPS 1204866 WITH SCORE 1207214.25
AT ITER 5857 NEW BEST:: SOT 2446063 SOS 2348250 HAS SOPS 2347882 HAS SOUS 1205028 HAS SOUPS 1204834 WITH SCORE 1207182.25
AT ITER 5870 NEW BEST:: SOT 2446168 SOS 2348355 HAS SOPS 2347987 HAS SOUS 1202988 HAS SOUPS 1202794 WITH SCORE 1205142.355
AT ITER 5883 NEW BEST:: SOT 2446168 SOS 2348550 HAS SOPS 2348182 HAS SOUS 1197157 HAS SOUPS 1196963 WITH SCORE 1199311.55
AT ITER 5899 NEW BEST:: SOT 2446168 SOS 2348550 HAS SOPS 2348182 HAS SOUS 1197091 HAS SOUPS 1196897 WITH SCORE 1199245.55
AT ITER 5905 NEW BEST:: SOT 2446168 SOS 2348550 HAS SOPS 2348182 HAS SOUS 1196298 HAS SOUPS 1196104 WITH SCORE 1198452.55
AT ITER 5940 NEW BEST:: SOT 2446168 SOS 2348550 HAS SOPS 2348182 HAS SOUS 1194191 HAS SOUPS 1193997 WITH SCORE 1196345.55
AT ITER 5942 NEW BEST:: SOT 2448265 SOS 2350647 HAS SOPS 2350279 HAS SOUS 1192309 HAS SOUPS 1192115 WITH SCORE 1194465.647
AT ITER 5976 NEW BEST:: SOT 2447507 SOS 2349889 HAS SOPS 2349521 HAS SOUS 1191759 HAS SOUPS 1191565 WITH SCORE 1193914.889
AT ITER 5987 NEW BEST:: SOT 2448676 SOS 2351058 HAS SOPS 2350690 HAS SOUS 1191205 HAS SOUPS 1191011 WITH SCORE 1193362.058
AT ITER 6032 NEW BEST:: SOT 2448676 SOS 2351058 HAS SOPS 2350690 HAS SOUS 1191198 HAS SOUPS 1191004 WITH SCORE 1193355.058
AT ITER 6034 NEW BEST:: SOT 2450032 SOS 2352414 HAS SOPS 2352046 HAS SOUS 1190038 HAS SOUPS 1189844 WITH SCORE 1192196.414
AT ITER 6065 NEW BEST:: SOT 2450032 SOS 2342502 HAS SOPS 2342134 HAS SOUS 1181601 HAS SOUPS 1181407 WITH SCORE 1183749.502
AT ITER 6082 NEW BEST:: SOT 2460640 SOS 2352068 HAS SOPS 2351700 HAS SOUS 1175632 HAS SOUPS 1175438 WITH SCORE 1177790.068
AT ITER 6088 NEW BEST:: SOT 2460585 SOS 2352013 HAS SOPS 2351645 HAS SOUS 1175522 HAS SOUPS 1175328 WITH SCORE 1177680.013
AT ITER 6091 NEW BEST:: SOT 2460585 SOS 2352176 HAS SOPS 2351808 HAS SOUS 1175341 HAS SOUPS 1175147 WITH SCORE 1177499.176
AT ITER 6118 NEW BEST:: SOT 2461902 SOS 2353493 HAS SOPS 2353125 HAS SOUS 1173073 HAS SOUPS 1172879 WITH SCORE 1175232.493
AT ITER 6122 NEW BEST:: SOT 2461902 SOS 2353493 HAS SOPS 2353125 HAS SOUS 1172932 HAS SOUPS 1172738 WITH SCORE 1175091.493
AT ITER 6133 NEW BEST:: SOT 2468761 SOS 2360352 HAS SOPS 2359984 HAS SOUS 1168986 HAS SOUPS 1168792 WITH SCORE 1171152.352
AT ITER 6159 NEW BEST:: SOT 2468761 SOS 2360352 HAS SOPS 2359984 HAS SOUS 1168820 HAS SOUPS 1168626 WITH SCORE 1170986.352
AT ITER 6175 NEW BEST:: SOT 2465437 SOS 2357028 HAS SOPS 2356660 HAS SOUS 1168816 HAS SOUPS 1168622 WITH SCORE 1170979.028
AT ITER 6179 NEW BEST:: SOT 2465245 SOS 2356836 HAS SOPS 2356468 HAS SOUS 1168768 HAS SOUPS 1168574 WITH SCORE 1170930.836
AT ITER 6186 NEW BEST:: SOT 2465245 SOS 2356836 HAS SOPS 2356468 HAS SOUS 1168140 HAS SOUPS 1167946 WITH SCORE 1170302.836
AT ITER 6190 NEW BEST:: SOT 2468742 SOS 2360333 HAS SOPS 2359965 HAS SOUS 1167598 HAS SOUPS 1167404 WITH SCORE 1169764.333
AT ITER 6202 NEW BEST:: SOT 2469840 SOS 2361431 HAS SOPS 2361063 HAS SOUS 1167310 HAS SOUPS 1167116 WITH SCORE 1169477.431
AT ITER 6227 NEW BEST:: SOT 2469840 SOS 2361229 HAS SOPS 2360861 HAS SOUS 1166906 HAS SOUPS 1166712 WITH SCORE 1169073.229
AT ITER 6228 NEW BEST:: SOT 2472170 SOS 2363559 HAS SOPS 2363191 HAS SOUS 1165848 HAS SOUPS 1165654 WITH SCORE 1168017.559
AT ITER 6324 NEW BEST:: SOT 2472170 SOS 2362175 HAS SOPS 2361807 HAS SOUS 1159506 HAS SOUPS 1159312 WITH SCORE 1161674.175
AT ITER 6357 NEW BEST:: SOT 2473448 SOS 2363453 HAS SOPS 2363085 HAS SOUS 1159036 HAS SOUPS 1158842 WITH SCORE 1161205.453
AT ITER 6373 NEW BEST:: SOT 2473202 SOS 2363207 HAS SOPS 2362839 HAS SOUS 1158033 HAS SOUPS 1157839 WITH SCORE 1160202.207
AT ITER 6383 NEW BEST:: SOT 2474149 SOS 2364154 HAS SOPS 2363786 HAS SOUS 1157997 HAS SOUPS 1157803 WITH SCORE 1160167.154
AT ITER 6413 NEW BEST:: SOT 2474149 SOS 2364154 HAS SOPS 2363786 HAS SOUS 1157902 HAS SOUPS 1157708 WITH SCORE 1160072.154
AT ITER 6432 NEW BEST:: SOT 2474149 SOS 2364176 HAS SOPS 2363808 HAS SOUS 1150558 HAS SOUPS 1150364 WITH SCORE 1152728.176
AT ITER 6446 NEW BEST:: SOT 2478087 SOS 2368011 HAS SOPS 2367643 HAS SOUS 1148226 HAS SOUPS 1148032 WITH SCORE 1150400.011
AT ITER 6456 NEW BEST:: SOT 2478741 SOS 2368665 HAS SOPS 2368297 HAS SOUS 1148184 HAS SOUPS 1147990 WITH SCORE 1150358.665
AT ITER 6466 NEW BEST:: SOT 2479357 SOS 2369281 HAS SOPS 2368913 HAS SOUS 1147904 HAS SOUPS 1147710 WITH SCORE 1150079.281
AT ITER 6473 NEW BEST:: SOT 2480368 SOS 2370292 HAS SOPS 2369924 HAS SOUS 1146567 HAS SOUPS 1146373 WITH SCORE 1148743.292
AT ITER 6485 NEW BEST:: SOT 2482798 SOS 2372722 HAS SOPS 2372354 HAS SOUS 1144778 HAS SOUPS 1144584 WITH SCORE 1146956.722
AT ITER 6499 NEW BEST:: SOT 2468261 SOS 2358185 HAS SOPS 2357817 HAS SOUS 1144396 HAS SOUPS 1144202 WITH SCORE 1146560.185
AT ITER 6517 NEW BEST:: SOT 2471123 SOS 2361047 HAS SOPS 2360679 HAS SOUS 1143159 HAS SOUPS 1142965 WITH SCORE 1145326.047
AT ITER 6525 NEW BEST:: SOT 2471123 SOS 2340603 HAS SOPS 2340235 HAS SOUS 1143159 HAS SOUPS 1142965 WITH SCORE 1145305.603
AT ITER 6562 NEW BEST:: SOT 2471123 SOS 2340603 HAS SOPS 2340235 HAS SOUS 1132405 HAS SOUPS 1132211 WITH SCORE 1134551.603
AT ITER 6574 NEW BEST:: SOT 2478482 SOS 2346964 HAS SOPS 2346596 HAS SOUS 1125549 HAS SOUPS 1125355 WITH SCORE 1127701.964
AT ITER 6614 NEW BEST:: SOT 2478482 SOS 2337268 HAS SOPS 2336900 HAS SOUS 1125539 HAS SOUPS 1125345 WITH SCORE 1127682.268
AT ITER 6621 NEW BEST:: SOT 2478482 SOS 2337040 HAS SOPS 2336672 HAS SOUS 1125539 HAS SOUPS 1125345 WITH SCORE 1127682.04
AT ITER 6636 NEW BEST:: SOT 2479817 SOS 2338375 HAS SOPS 2338007 HAS SOUS 1124069 HAS SOUPS 1123875 WITH SCORE 1126213.375
AT ITER 6685 NEW BEST:: SOT 2479302 SOS 2337860 HAS SOPS 2337492 HAS SOUS 1123966 HAS SOUPS 1123772 WITH SCORE 1126109.86
AT ITER 6732 NEW BEST:: SOT 2479716 SOS 2337927 HAS SOPS 2337145 HAS SOUS 1123865 HAS SOUPS 1123424 WITH SCORE 1125761.927
AT ITER 6739 NEW BEST:: SOT 2479716 SOS 2337149 HAS SOPS 2336367 HAS SOUS 1123779 HAS SOUPS 1123338 WITH SCORE 1125675.149
AT ITER 6747 NEW BEST:: SOT 2481575 SOS 2339008 HAS SOPS 2338226 HAS SOUS 1123550 HAS SOUPS 1123109 WITH SCORE 1125448.008
AT ITER 6761 NEW BEST:: SOT 2483383 SOS 2340468 HAS SOPS 2337878 HAS SOUS 1124574 HAS SOUPS 1122739 WITH SCORE 1125079.468
AT ITER 6869 NEW BEST:: SOT 2484365 SOS 2341450 HAS SOPS 2338860 HAS SOUS 1124523 HAS SOUPS 1122688 WITH SCORE 1125029.45
AT ITER 6892 NEW BEST:: SOT 2484365 SOS 2341400 HAS SOPS 2338810 HAS SOUS 1124123 HAS SOUPS 1122288 WITH SCORE 1124629.4
AT ITER 6930 NEW BEST:: SOT 2484659 SOS 2341637 HAS SOPS 2339047 HAS SOUS 1122183 HAS SOUPS 1120348 WITH SCORE 1122689.637
AT ITER 6943 NEW BEST:: SOT 2484659 SOS 2341346 HAS SOPS 2338756 HAS SOUS 1122183 HAS SOUPS 1120348 WITH SCORE 1122689.346
AT ITER 6988 NEW BEST:: SOT 2484575 SOS 2341262 HAS SOPS 2338672 HAS SOUS 1121884 HAS SOUPS 1120049 WITH SCORE 1122390.262
AT ITER 6992 NEW BEST:: SOT 2484575 SOS 2341262 HAS SOPS 2338672 HAS SOUS 1121746 HAS SOUPS 1119911 WITH SCORE 1122252.262
AT ITER 7005 NEW BEST:: SOT 2485995 SOS 2342312 HAS SOPS 2338660 HAS SOUS 1121729 HAS SOUPS 1119894 WITH SCORE 1122236.312
AT ITER 7049 NEW BEST:: SOT 2486050 SOS 2342307 HAS SOPS 2338655 HAS SOUS 1120316 HAS SOUPS 1118481 WITH SCORE 1120823.307
AT ITER 7059 NEW BEST:: SOT 2509392 SOS 2364661 HAS SOPS 2361009 HAS SOUS 1116851 HAS SOUPS 1115016 WITH SCORE 1117380.661
AT ITER 7060 NEW BEST:: SOT 2510571 SOS 2365840 HAS SOPS 2362188 HAS SOUS 1115464 HAS SOUPS 1113629 WITH SCORE 1115994.84
AT ITER 7077 NEW BEST:: SOT 2512011 SOS 2367280 HAS SOPS 2363628 HAS SOUS 1114690 HAS SOUPS 1112855 WITH SCORE 1115222.28
AT ITER 7079 NEW BEST:: SOT 2511537 SOS 2366806 HAS SOPS 2363154 HAS SOUS 1114498 HAS SOUPS 1112663 WITH SCORE 1115029.806
AT ITER 7139 NEW BEST:: SOT 2539773 SOS 2394026 HAS SOPS 2390374 HAS SOUS 1113891 HAS SOUPS 1112056 WITH SCORE 1114450.026
AT ITER 7146 NEW BEST:: SOT 2539620 SOS 2393873 HAS SOPS 2390221 HAS SOUS 1112904 HAS SOUPS 1111069 WITH SCORE 1113462.873
AT ITER 7183 NEW BEST:: SOT 2539984 SOS 2394237 HAS SOPS 2390585 HAS SOUS 1112673 HAS SOUPS 1110838 WITH SCORE 1113232.237
AT ITER 7200 NEW BEST:: SOT 2539984 SOS 2393746 HAS SOPS 2390094 HAS SOUS 1112347 HAS SOUPS 1110512 WITH SCORE 1112905.746
AT ITER 7233 NEW BEST:: SOT 2539984 SOS 2394838 HAS SOPS 2391186 HAS SOUS 1101504 HAS SOUPS 1099669 WITH SCORE 1102063.838
AT ITER 7237 NEW BEST:: SOT 2539984 SOS 2402872 HAS SOPS 2399220 HAS SOUS 1097917 HAS SOUPS 1096082 WITH SCORE 1098484.872
AT ITER 7249 NEW BEST:: SOT 2540606 SOS 2403494 HAS SOPS 2399842 HAS SOUS 1097470 HAS SOUPS 1095635 WITH SCORE 1098038.494
AT ITER 7281 NEW BEST:: SOT 2544641 SOS 2407529 HAS SOPS 2403877 HAS SOUS 1083535 HAS SOUPS 1081700 WITH SCORE 1084107.529
AT ITER 7289 NEW BEST:: SOT 2544641 SOS 2407529 HAS SOPS 2403877 HAS SOUS 1083534 HAS SOUPS 1081699 WITH SCORE 1084106.529
AT ITER 7322 NEW BEST:: SOT 2545802 SOS 2408690 HAS SOPS 2405038 HAS SOUS 1082442 HAS SOUPS 1080607 WITH SCORE 1083015.69
AT ITER 7338 NEW BEST:: SOT 2545548 SOS 2408436 HAS SOPS 2404784 HAS SOUS 1082311 HAS SOUPS 1080476 WITH SCORE 1082884.436
AT ITER 7342 NEW BEST:: SOT 2544998 SOS 2407886 HAS SOPS 2404234 HAS SOUS 1082195 HAS SOUPS 1080360 WITH SCORE 1082767.886
AT ITER 7386 NEW BEST:: SOT 2543105 SOS 2405993 HAS SOPS 2402341 HAS SOUS 1082085 HAS SOUPS 1080250 WITH SCORE 1082655.993
AT ITER 7411 NEW BEST:: SOT 2543105 SOS 2394503 HAS SOPS 2390851 HAS SOUS 1076793 HAS SOUPS 1074958 WITH SCORE 1077352.503
AT ITER 7442 NEW BEST:: SOT 2542700 SOS 2394098 HAS SOPS 2390851 HAS SOUS 1076388 HAS SOUPS 1074958 WITH SCORE 1077352.098
AT ITER 7454 NEW BEST:: SOT 2544806 SOS 2396204 HAS SOPS 2392957 HAS SOUS 1076229 HAS SOUPS 1074799 WITH SCORE 1077195.204
AT ITER 7563 NEW BEST:: SOT 2545049 SOS 2396447 HAS SOPS 2393200 HAS SOUS 1075173 HAS SOUPS 1073743 WITH SCORE 1076139.447
AT ITER 7596 NEW BEST:: SOT 2545049 SOS 2396386 HAS SOPS 2393139 HAS SOUS 1074990 HAS SOUPS 1073560 WITH SCORE 1075956.386
AT ITER 7611 NEW BEST:: SOT 2545049 SOS 2396386 HAS SOPS 2393139 HAS SOUS 1074325 HAS SOUPS 1072895 WITH SCORE 1075291.386
AT ITER 7614 NEW BEST:: SOT 2545049 SOS 2396240 HAS SOPS 2392993 HAS SOUS 1073775 HAS SOUPS 1072345 WITH SCORE 1074741.24
AT ITER 7646 NEW BEST:: SOT 2544850 SOS 2396041 HAS SOPS 2392794 HAS SOUS 1073193 HAS SOUPS 1071763 WITH SCORE 1074159.041
AT ITER 7654 NEW BEST:: SOT 2544850 SOS 2396041 HAS SOPS 2392794 HAS SOUS 1073181 HAS SOUPS 1071751 WITH SCORE 1074147.041
AT ITER 7692 NEW BEST:: SOT 2544872 SOS 2396063 HAS SOPS 2392816 HAS SOUS 1072774 HAS SOUPS 1071344 WITH SCORE 1073740.063
AT ITER 7710 NEW BEST:: SOT 2544872 SOS 2396063 HAS SOPS 2392816 HAS SOUS 1070869 HAS SOUPS 1069439 WITH SCORE 1071835.063
AT ITER 7715 NEW BEST:: SOT 2546167 SOS 2397358 HAS SOPS 2394111 HAS SOUS 1070386 HAS SOUPS 1068956 WITH SCORE 1071353.358
AT ITER 7729 NEW BEST:: SOT 2548000 SOS 2399191 HAS SOPS 2395944 HAS SOUS 1070008 HAS SOUPS 1068578 WITH SCORE 1070977.191
AT ITER 7792 NEW BEST:: SOT 2548000 SOS 2399191 HAS SOPS 2395944 HAS SOUS 1069775 HAS SOUPS 1068345 WITH SCORE 1070744.191
AT ITER 7802 NEW BEST:: SOT 2549399 SOS 2400590 HAS SOPS 2397343 HAS SOUS 1068759 HAS SOUPS 1067329 WITH SCORE 1069729.59
AT ITER 7807 NEW BEST:: SOT 2549399 SOS 2400590 HAS SOPS 2397343 HAS SOUS 1068695 HAS SOUPS 1067265 WITH SCORE 1069665.59
AT ITER 7844 NEW BEST:: SOT 2549399 SOS 2400590 HAS SOPS 2397343 HAS SOUS 1068580 HAS SOUPS 1067150 WITH SCORE 1069550.59
AT ITER 7884 NEW BEST:: SOT 2550006 SOS 2401197 HAS SOPS 2397950 HAS SOUS 1068360 HAS SOUPS 1066930 WITH SCORE 1069331.197
AT ITER 7892 NEW BEST:: SOT 2551994 SOS 2403185 HAS SOPS 2399938 HAS SOUS 1068047 HAS SOUPS 1066617 WITH SCORE 1069020.185
AT ITER 7995 NEW BEST:: SOT 2528582 SOS 2379773 HAS SOPS 2376526 HAS SOUS 1061835 HAS SOUPS 1060405 WITH SCORE 1062784.773
AT ITER 7996 NEW BEST:: SOT 2547710 SOS 2397130 HAS SOPS 2393883 HAS SOUS 1058581 HAS SOUPS 1057151 WITH SCORE 1059548.13
AT ITER 8002 NEW BEST:: SOT 2547775 SOS 2397195 HAS SOPS 2393948 HAS SOUS 1058550 HAS SOUPS 1057120 WITH SCORE 1059517.195
AT ITER 8016 NEW BEST:: SOT 2550481 SOS 2398518 HAS SOPS 2395271 HAS SOUS 1053562 HAS SOUPS 1052132 WITH SCORE 1054530.518
AT ITER 8076 NEW BEST:: SOT 2577277 SOS 2423955 HAS SOPS 2420708 HAS SOUS 1051984 HAS SOUPS 1050554 WITH SCORE 1052977.955
AT ITER 8118 NEW BEST:: SOT 2577277 SOS 2423878 HAS SOPS 2420631 HAS SOUS 1051984 HAS SOUPS 1050554 WITH SCORE 1052977.878
AT ITER 8127 NEW BEST:: SOT 2577985 SOS 2424586 HAS SOPS 2421339 HAS SOUS 1051805 HAS SOUPS 1050375 WITH SCORE 1052799.586
AT ITER 8189 NEW BEST:: SOT 2578967 SOS 2425568 HAS SOPS 2422321 HAS SOUS 1051741 HAS SOUPS 1050311 WITH SCORE 1052736.568
AT ITER 8194 NEW BEST:: SOT 2581897 SOS 2428498 HAS SOPS 2425251 HAS SOUS 1051295 HAS SOUPS 1049865 WITH SCORE 1052293.498
AT ITER 8211 NEW BEST:: SOT 2581840 SOS 2428441 HAS SOPS 2425251 HAS SOUS 1051295 HAS SOUPS 1049865 WITH SCORE 1052293.441
AT ITER 8226 NEW BEST:: SOT 2582061 SOS 2428662 HAS SOPS 2425472 HAS SOUS 1050853 HAS SOUPS 1049423 WITH SCORE 1051851.662
AT ITER 8310 NEW BEST:: SOT 2582061 SOS 2428662 HAS SOPS 2425472 HAS SOUS 1038407 HAS SOUPS 1036977 WITH SCORE 1039405.662
AT ITER 8328 NEW BEST:: SOT 2581026 SOS 2427627 HAS SOPS 2424437 HAS SOUS 1038200 HAS SOUPS 1036770 WITH SCORE 1039197.627
AT ITER 8345 NEW BEST:: SOT 2582793 SOS 2429394 HAS SOPS 2426204 HAS SOUS 1038051 HAS SOUPS 1036621 WITH SCORE 1039050.394
AT ITER 8367 NEW BEST:: SOT 2583527 SOS 2430128 HAS SOPS 2426938 HAS SOUS 1036728 HAS SOUPS 1035298 WITH SCORE 1037728.128
AT ITER 8395 NEW BEST:: SOT 2579633 SOS 2426234 HAS SOPS 2423044 HAS SOUS 1036074 HAS SOUPS 1034644 WITH SCORE 1037070.234
AT ITER 8427 NEW BEST:: SOT 2579633 SOS 2426006 HAS SOPS 2422816 HAS SOUS 1035846 HAS SOUPS 1034416 WITH SCORE 1036842.006
AT ITER 8430 NEW BEST:: SOT 2578679 SOS 2425052 HAS SOPS 2421862 HAS SOUS 1035311 HAS SOUPS 1033881 WITH SCORE 1036306.052
AT ITER 8467 NEW BEST:: SOT 2578679 SOS 2425052 HAS SOPS 2421862 HAS SOUS 1033922 HAS SOUPS 1032492 WITH SCORE 1034917.052
AT ITER 8477 NEW BEST:: SOT 2578730 SOS 2425103 HAS SOPS 2421913 HAS SOUS 1033727 HAS SOUPS 1032297 WITH SCORE 1034722.103
AT ITER 8482 NEW BEST:: SOT 2578730 SOS 2425103 HAS SOPS 2421913 HAS SOUS 1033657 HAS SOUPS 1032227 WITH SCORE 1034652.103
AT ITER 8516 NEW BEST:: SOT 2576552 SOS 2422925 HAS SOPS 2419735 HAS SOUS 1033459 HAS SOUPS 1032029 WITH SCORE 1034451.925
AT ITER 8543 NEW BEST:: SOT 2589624 SOS 2435997 HAS SOPS 2432807 HAS SOUS 1029047 HAS SOUPS 1027617 WITH SCORE 1030052.997
AT ITER 8591 NEW BEST:: SOT 2589624 SOS 2435997 HAS SOPS 2432807 HAS SOUS 1029046 HAS SOUPS 1027616 WITH SCORE 1030051.997
AT ITER 8599 NEW BEST:: SOT 2589624 SOS 2435997 HAS SOPS 2432807 HAS SOUS 1028912 HAS SOUPS 1027482 WITH SCORE 1029917.997
AT ITER 8603 NEW BEST:: SOT 2589033 SOS 2435406 HAS SOPS 2432216 HAS SOUS 1028518 HAS SOUPS 1027088 WITH SCORE 1029523.406
AT ITER 8606 NEW BEST:: SOT 2588870 SOS 2435243 HAS SOPS 2432053 HAS SOUS 1028082 HAS SOUPS 1026652 WITH SCORE 1029087.243
AT ITER 8674 NEW BEST:: SOT 2592982 SOS 2439355 HAS SOPS 2436165 HAS SOUS 1025434 HAS SOUPS 1024004 WITH SCORE 1026443.355
AT ITER 8686 NEW BEST:: SOT 2594278 SOS 2440651 HAS SOPS 2437461 HAS SOUS 1024781 HAS SOUPS 1023351 WITH SCORE 1025791.651
AT ITER 8701 NEW BEST:: SOT 2594278 SOS 2440651 HAS SOPS 2437461 HAS SOUS 1024367 HAS SOUPS 1022937 WITH SCORE 1025377.651
AT ITER 8746 NEW BEST:: SOT 2594278 SOS 2440651 HAS SOPS 2437461 HAS SOUS 1024212 HAS SOUPS 1022782 WITH SCORE 1025222.651
AT ITER 8748 NEW BEST:: SOT 2606829 SOS 2451852 HAS SOPS 2448662 HAS SOUS 1018371 HAS SOUPS 1016941 WITH SCORE 1019392.852
AT ITER 8755 NEW BEST:: SOT 2608917 SOS 2433425 HAS SOPS 2427823 HAS SOUS 1013936 HAS SOUPS 1012506 WITH SCORE 1014939.425
AT ITER 8784 NEW BEST:: SOT 2608309 SOS 2432817 HAS SOPS 2427215 HAS SOUS 1013328 HAS SOUPS 1011898 WITH SCORE 1014330.817
AT ITER 8842 NEW BEST:: SOT 2608309 SOS 2430713 HAS SOPS 2425111 HAS SOUS 1012974 HAS SOUPS 1011544 WITH SCORE 1013974.713
AT ITER 8845 NEW BEST:: SOT 2608151 SOS 2430555 HAS SOPS 2424953 HAS SOUS 1011470 HAS SOUPS 1010040 WITH SCORE 1012470.555
AT ITER 8851 NEW BEST:: SOT 2608151 SOS 2411742 HAS SOPS 2406140 HAS SOUS 1003537 HAS SOUPS 1002107 WITH SCORE 1004518.742
AT ITER 8859 NEW BEST:: SOT 2609420 SOS 2413011 HAS SOPS 2407409 HAS SOUS 1003261 HAS SOUPS 1001831 WITH SCORE 1004244.011
AT ITER 8931 NEW BEST:: SOT 2611832 SOS 2415423 HAS SOPS 2409821 HAS SOUS 1003073 HAS SOUPS 1001643 WITH SCORE 1004058.423
AT ITER 8942 NEW BEST:: SOT 2611832 SOS 2414968 HAS SOPS 2409366 HAS SOUS 1002618 HAS SOUPS 1001188 WITH SCORE 1003602.968
AT ITER 8967 NEW BEST:: SOT 2631980 SOS 2432328 HAS SOPS 2426601 HAS SOUS 998830 HAS SOUPS 997400 WITH SCORE 999832.328
AT ITER 9001 NEW BEST:: SOT 2631980 SOS 2432328 HAS SOPS 2426601 HAS SOUS 998685 HAS SOUPS 997255 WITH SCORE 999687.328
AT ITER 9003 NEW BEST:: SOT 2631980 SOS 2432328 HAS SOPS 2426601 HAS SOUS 998284 HAS SOUPS 996854 WITH SCORE 999286.328
AT ITER 9073 NEW BEST:: SOT 2632903 SOS 2433251 HAS SOPS 2427524 HAS SOUS 998193 HAS SOUPS 996763 WITH SCORE 999196.251
AT ITER 9083 NEW BEST:: SOT 2632903 SOS 2433251 HAS SOPS 2427524 HAS SOUS 997604 HAS SOUPS 996174 WITH SCORE 998607.251
AT ITER 9084 NEW BEST:: SOT 2633951 SOS 2434299 HAS SOPS 2428572 HAS SOUS 997162 HAS SOUPS 995732 WITH SCORE 998166.299
AT ITER 9096 NEW BEST:: SOT 2637875 SOS 2438223 HAS SOPS 2432496 HAS SOUS 994510 HAS SOUPS 993080 WITH SCORE 995518.223
AT ITER 9119 NEW BEST:: SOT 2643230 SOS 2443273 HAS SOPS 2437546 HAS SOUS 994204 HAS SOUPS 992774 WITH SCORE 995217.273
AT ITER 9128 NEW BEST:: SOT 2643230 SOS 2443273 HAS SOPS 2437546 HAS SOUS 994106 HAS SOUPS 992676 WITH SCORE 995119.273
AT ITER 9137 NEW BEST:: SOT 2643230 SOS 2443395 HAS SOPS 2437668 HAS SOUS 993008 HAS SOUPS 991578 WITH SCORE 994021.395
AT ITER 9166 NEW BEST:: SOT 2643162 SOS 2443327 HAS SOPS 2437600 HAS SOUS 992872 HAS SOUPS 991442 WITH SCORE 993885.327
AT ITER 9173 NEW BEST:: SOT 2649560 SOS 2446997 HAS SOPS 2441145 HAS SOUS 987443 HAS SOUPS 986013 WITH SCORE 988459.997
AT ITER 9212 NEW BEST:: SOT 2649653 SOS 2446943 HAS SOPS 2441091 HAS SOUS 986861 HAS SOUPS 985431 WITH SCORE 987877.943
AT ITER 9234 NEW BEST:: SOT 2647880 SOS 2445170 HAS SOPS 2439318 HAS SOUS 986683 HAS SOUPS 985253 WITH SCORE 987698.17
AT ITER 9241 NEW BEST:: SOT 2647880 SOS 2445244 HAS SOPS 2439392 HAS SOUS 986599 HAS SOUPS 985169 WITH SCORE 987614.244
AT ITER 9268 NEW BEST:: SOT 2641016 SOS 2438380 HAS SOPS 2432528 HAS SOUS 985455 HAS SOUPS 984025 WITH SCORE 986463.38
AT ITER 9270 NEW BEST:: SOT 2646206 SOS 2420203 HAS SOPS 2409210 HAS SOUS 980451 HAS SOUPS 979021 WITH SCORE 981441.203
AT ITER 9279 NEW BEST:: SOT 2671781 SOS 2442314 HAS SOPS 2430936 HAS SOUS 977401 HAS SOUPS 975971 WITH SCORE 978413.314
AT ITER 9294 NEW BEST:: SOT 2673013 SOS 2443179 HAS SOPS 2430739 HAS SOUS 976969 HAS SOUPS 975539 WITH SCORE 977982.179
AT ITER 9325 NEW BEST:: SOT 2673013 SOS 2417443 HAS SOPS 2405003 HAS SOUS 976527 HAS SOUPS 975097 WITH SCORE 977514.443
AT ITER 9351 NEW BEST:: SOT 2673584 SOS 2417947 HAS SOPS 2405507 HAS SOUS 976067 HAS SOUPS 974637 WITH SCORE 977054.947
AT ITER 9368 NEW BEST:: SOT 2673331 SOS 2417694 HAS SOPS 2405254 HAS SOUS 975905 HAS SOUPS 974475 WITH SCORE 976892.694
AT ITER 9404 NEW BEST:: SOT 2677482 SOS 2421845 HAS SOPS 2409405 HAS SOUS 963118 HAS SOUPS 961688 WITH SCORE 964109.845
AT ITER 9410 NEW BEST:: SOT 2682199 SOS 2403793 HAS SOPS 2385304 HAS SOUS 956759 HAS SOUPS 955329 WITH SCORE 957732.793
AT ITER 9436 NEW BEST:: SOT 2682199 SOS 2400983 HAS SOPS 2382494 HAS SOUS 955831 HAS SOUPS 954401 WITH SCORE 956801.983
AT ITER 9440 NEW BEST:: SOT 2682199 SOS 2391605 HAS SOPS 2373116 HAS SOUS 955223 HAS SOUPS 953793 WITH SCORE 956184.605
AT ITER 9486 NEW BEST:: SOT 2686159 SOS 2394912 HAS SOPS 2376423 HAS SOUS 952606 HAS SOUPS 951176 WITH SCORE 953570.912
AT ITER 9527 NEW BEST:: SOT 2686159 SOS 2393353 HAS SOPS 2374864 HAS SOUS 951186 HAS SOUPS 949756 WITH SCORE 952149.353
AT ITER 9541 NEW BEST:: SOT 2687550 SOS 2394744 HAS SOPS 2376255 HAS SOUS 950844 HAS SOUPS 949414 WITH SCORE 951808.744
AT ITER 9553 NEW BEST:: SOT 2689360 SOS 2396554 HAS SOPS 2378065 HAS SOUS 950401 HAS SOUPS 948971 WITH SCORE 951367.554
AT ITER 9590 NEW BEST:: SOT 2689360 SOS 2391739 HAS SOPS 2373250 HAS SOUS 948042 HAS SOUPS 946612 WITH SCORE 949003.739
AT ITER 9596 NEW BEST:: SOT 2689360 SOS 2391704 HAS SOPS 2373215 HAS SOUS 948007 HAS SOUPS 946577 WITH SCORE 948968.704
AT ITER 9634 NEW BEST:: SOT 2691184 SOS 2393528 HAS SOPS 2375039 HAS SOUS 947640 HAS SOUPS 946210 WITH SCORE 948603.528
AT ITER 9665 NEW BEST:: SOT 2694829 SOS 2396874 HAS SOPS 2378385 HAS SOUS 946874 HAS SOUPS 945444 WITH SCORE 947840.874
AT ITER 9675 NEW BEST:: SOT 2695235 SOS 2397280 HAS SOPS 2378791 HAS SOUS 945390 HAS SOUPS 943960 WITH SCORE 946357.28
AT ITER 9729 NEW BEST:: SOT 2695235 SOS 2397280 HAS SOPS 2378791 HAS SOUS 945389 HAS SOUPS 943959 WITH SCORE 946356.28
AT ITER 9772 NEW BEST:: SOT 2695235 SOS 2397117 HAS SOPS 2378628 HAS SOUS 944665 HAS SOUPS 943235 WITH SCORE 945632.117
AT ITER 9816 NEW BEST:: SOT 2696923 SOS 2398805 HAS SOPS 2380316 HAS SOUS 944342 HAS SOUPS 942912 WITH SCORE 945310.805
AT ITER 9826 NEW BEST:: SOT 2710762 SOS 2408425 HAS SOPS 2389255 HAS SOUS 940955 HAS SOUPS 939525 WITH SCORE 941933.425
AT ITER 9836 NEW BEST:: SOT 2710762 SOS 2408573 HAS SOPS 2389403 HAS SOUS 940666 HAS SOUPS 939236 WITH SCORE 941644.573
AT ITER 9842 NEW BEST:: SOT 2713605 SOS 2411296 HAS SOPS 2392126 HAS SOUS 939717 HAS SOUPS 938287 WITH SCORE 940698.296
AT ITER 9871 NEW BEST:: SOT 2710118 SOS 2407809 HAS SOPS 2388639 HAS SOUS 939400 HAS SOUPS 937970 WITH SCORE 940377.809
AT ITER 9896 NEW BEST:: SOT 2710252 SOS 2407943 HAS SOPS 2388773 HAS SOUS 939392 HAS SOUPS 937962 WITH SCORE 940369.943
AT ITER 9964 NEW BEST:: SOT 2726288 SOS 2423979 HAS SOPS 2404809 HAS SOUS 931203 HAS SOUPS 929773 WITH SCORE 932196.979
AT ITER 9965 NEW BEST:: SOT 2715020 SOS 2413106 HAS SOPS 2396741 HAS SOUS 929315 HAS SOUPS 927885 WITH SCORE 930298.106
AT ITER 9989 NEW BEST:: SOT 2728947 SOS 2427033 HAS SOPS 2410668 HAS SOUS 922107 HAS SOUPS 920677 WITH SCORE 923104.033
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13744296 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16118708 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="DBSingleClientW-PT-d2m04"
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 DBSingleClientW-PT-d2m04, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484000296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DBSingleClientW-PT-d2m04.tgz
mv DBSingleClientW-PT-d2m04 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 ;