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.r099-tall-167814472600608.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 smart
Input is DLCflexbar-PT-8a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472600608
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.2M
-rw-r--r-- 1 mcc users 7.8K Feb 26 07:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 07:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 18:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 18:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 27 06:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 203K Feb 27 06:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 21:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 21:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 8.7M 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 1678253833304

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-8a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 8a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 3971 places, 32571 transitions, 129321 arcs.
AT ITER 0 NEW BEST:: SOT 71640229 SOS 62951652 HAS SOPS 29653807 HAS SOUS 3330788 HAS SOUPS 1266478 WITH SCORE 1329429.652
AT ITER 60 NEW BEST:: SOT 71640027 SOS 62948278 HAS SOPS 29655383 HAS SOUS 3330271 HAS SOUPS 1266456 WITH SCORE 1329404.278
AT ITER 76 NEW BEST:: SOT 71640027 SOS 62948278 HAS SOPS 29655383 HAS SOUS 3330139 HAS SOUPS 1266324 WITH SCORE 1329272.278
AT ITER 118 NEW BEST:: SOT 71640027 SOS 62948278 HAS SOPS 29655383 HAS SOUS 3329917 HAS SOUPS 1266102 WITH SCORE 1329050.278
AT ITER 164 NEW BEST:: SOT 71640027 SOS 62948278 HAS SOPS 29655383 HAS SOUS 3329637 HAS SOUPS 1265822 WITH SCORE 1328770.278
AT ITER 234 NEW BEST:: SOT 71639613 SOS 62946208 HAS SOPS 29653313 HAS SOUS 3329223 HAS SOUPS 1265408 WITH SCORE 1328354.208
AT ITER 257 NEW BEST:: SOT 71637608 SOS 62986175 HAS SOPS 29666340 HAS SOUS 3329023 HAS SOUPS 1264310 WITH SCORE 1327296.175
AT ITER 271 NEW BEST:: SOT 71634078 SOS 63002735 HAS SOPS 29669900 HAS SOUS 3326859 HAS SOUPS 1262146 WITH SCORE 1325148.735
AT ITER 273 NEW BEST:: SOT 71634076 SOS 63002731 HAS SOPS 29669896 HAS SOUS 3326856 HAS SOUPS 1262143 WITH SCORE 1325145.731
AT ITER 275 NEW BEST:: SOT 71633854 SOS 63000709 HAS SOPS 29667874 HAS SOUS 3326634 HAS SOUPS 1261921 WITH SCORE 1324921.709
AT ITER 278 NEW BEST:: SOT 71633854 SOS 63000709 HAS SOPS 29667874 HAS SOUS 3326354 HAS SOUPS 1261641 WITH SCORE 1324641.709
AT ITER 290 NEW BEST:: SOT 71633399 SOS 62999799 HAS SOPS 29669344 HAS SOUS 3325444 HAS SOUPS 1260969 WITH SCORE 1323968.799
AT ITER 294 NEW BEST:: SOT 71633399 SOS 62999799 HAS SOPS 29669344 HAS SOUS 3325196 HAS SOUPS 1260721 WITH SCORE 1323720.799
AT ITER 315 NEW BEST:: SOT 71633399 SOS 62999799 HAS SOPS 29669344 HAS SOUS 3325108 HAS SOUPS 1260633 WITH SCORE 1323632.799
AT ITER 322 NEW BEST:: SOT 71631653 SOS 63007003 HAS SOPS 29665088 HAS SOUS 3324426 HAS SOUPS 1259569 WITH SCORE 1322576.003
AT ITER 341 NEW BEST:: SOT 71627335 SOS 63029845 HAS SOPS 29671310 HAS SOUS 3321470 HAS SOUPS 1256613 WITH SCORE 1319642.845
AT ITER 364 NEW BEST:: SOT 71626849 SOS 63025255 HAS SOPS 29672750 HAS SOUS 3320381 HAS SOUPS 1256127 WITH SCORE 1319152.255
AT ITER 365 NEW BEST:: SOT 71626849 SOS 63025255 HAS SOPS 29672750 HAS SOUS 3320133 HAS SOUPS 1255879 WITH SCORE 1318904.255
AT ITER 375 NEW BEST:: SOT 71626849 SOS 63025255 HAS SOPS 29672750 HAS SOUS 3319907 HAS SOUPS 1255653 WITH SCORE 1318678.255
AT ITER 382 NEW BEST:: SOT 71626849 SOS 63025255 HAS SOPS 29672750 HAS SOUS 3319875 HAS SOUPS 1255621 WITH SCORE 1318646.255
AT ITER 384 NEW BEST:: SOT 71626849 SOS 63025255 HAS SOPS 29672750 HAS SOUS 3319595 HAS SOUPS 1255341 WITH SCORE 1318366.255
AT ITER 491 NEW BEST:: SOT 71626849 SOS 63025255 HAS SOPS 29672750 HAS SOUS 3319315 HAS SOUPS 1255061 WITH SCORE 1318086.255
AT ITER 492 NEW BEST:: SOT 71626665 SOS 63024335 HAS SOPS 29671830 HAS SOUS 3319131 HAS SOUPS 1254877 WITH SCORE 1317901.335
AT ITER 495 NEW BEST:: SOT 71626635 SOS 63019820 HAS SOPS 29669550 HAS SOUS 3319086 HAS SOUPS 1254847 WITH SCORE 1317866.82
AT ITER 508 NEW BEST:: SOT 71622363 SOS 63047250 HAS SOPS 29678920 HAS SOUS 3315786 HAS SOUPS 1251547 WITH SCORE 1314594.25
AT ITER 553 NEW BEST:: SOT 71621036 SOS 63052164 HAS SOPS 29676604 HAS SOUS 3315325 HAS SOUPS 1250845 WITH SCORE 1313897.164
AT ITER 560 NEW BEST:: SOT 71621036 SOS 63052164 HAS SOPS 29676604 HAS SOUS 3315047 HAS SOUPS 1250567 WITH SCORE 1313619.164
AT ITER 637 NEW BEST:: SOT 71621036 SOS 63052164 HAS SOPS 29676604 HAS SOUS 3314767 HAS SOUPS 1250287 WITH SCORE 1313339.164
AT ITER 649 NEW BEST:: SOT 71621036 SOS 63052164 HAS SOPS 29676604 HAS SOUS 3314487 HAS SOUPS 1250007 WITH SCORE 1313059.164
AT ITER 659 NEW BEST:: SOT 71621036 SOS 63052164 HAS SOPS 29676604 HAS SOUS 3314383 HAS SOUPS 1249903 WITH SCORE 1312955.164
AT ITER 668 NEW BEST:: SOT 71620382 SOS 63050856 HAS SOPS 29678566 HAS SOUS 3313075 HAS SOUPS 1248922 WITH SCORE 1311972.856
AT ITER 717 NEW BEST:: SOT 71620084 SOS 63046594 HAS SOPS 29680414 HAS SOUS 3312166 HAS SOUPS 1248624 WITH SCORE 1311670.594
AT ITER 724 NEW BEST:: SOT 71617647 SOS 63061820 HAS SOPS 29681990 HAS SOUS 3311070 HAS SOUPS 1247073 WITH SCORE 1310134.82
AT ITER 729 NEW BEST:: SOT 71617956 SOS 62981144 HAS SOPS 29683711 HAS SOUS 3310415 HAS SOUPS 1246971 WITH SCORE 1309952.144
AT ITER 739 NEW BEST:: SOT 71617956 SOS 62981144 HAS SOPS 29683711 HAS SOUS 3310135 HAS SOUPS 1246691 WITH SCORE 1309672.144
AT ITER 770 NEW BEST:: SOT 71616761 SOS 63028436 HAS SOPS 29701453 HAS SOUS 3310998 HAS SOUPS 1246569 WITH SCORE 1309597.436
AT ITER 772 NEW BEST:: SOT 71616335 SOS 63025106 HAS SOPS 29702253 HAS SOUS 3310255 HAS SOUPS 1246239 WITH SCORE 1309264.106
AT ITER 816 NEW BEST:: SOT 71616042 SOS 63020758 HAS SOPS 29704175 HAS SOUS 3309572 HAS SOUPS 1246183 WITH SCORE 1309203.758
AT ITER 824 NEW BEST:: SOT 71615664 SOS 63018358 HAS SOPS 29701775 HAS SOUS 3309194 HAS SOUPS 1245805 WITH SCORE 1308823.358
AT ITER 826 NEW BEST:: SOT 71615664 SOS 63018358 HAS SOPS 29701775 HAS SOUS 3308914 HAS SOUPS 1245525 WITH SCORE 1308543.358
AT ITER 839 NEW BEST:: SOT 71615212 SOS 63018810 HAS SOPS 29702227 HAS SOUS 3308236 HAS SOUPS 1244847 WITH SCORE 1307865.81
AT ITER 849 NEW BEST:: SOT 71614676 SOS 63013790 HAS SOPS 29703787 HAS SOUS 3307042 HAS SOUPS 1244311 WITH SCORE 1307324.79
AT ITER 853 NEW BEST:: SOT 71614676 SOS 63013790 HAS SOPS 29703787 HAS SOUS 3306824 HAS SOUPS 1244093 WITH SCORE 1307106.79
AT ITER 876 NEW BEST:: SOT 71610579 SOS 63057088 HAS SOPS 29717745 HAS SOUS 3307155 HAS SOUPS 1243446 WITH SCORE 1306503.088
AT ITER 885 NEW BEST:: SOT 71610579 SOS 63057088 HAS SOPS 29717745 HAS SOUS 3306879 HAS SOUPS 1243170 WITH SCORE 1306227.088
AT ITER 897 NEW BEST:: SOT 71607130 SOS 63071612 HAS SOPS 29720689 HAS SOUS 3304037 HAS SOUPS 1240328 WITH SCORE 1303399.612
AT ITER 914 NEW BEST:: SOT 71607130 SOS 63071612 HAS SOPS 29720689 HAS SOUS 3303757 HAS SOUPS 1240048 WITH SCORE 1303119.612
AT ITER 915 NEW BEST:: SOT 71607130 SOS 63071612 HAS SOPS 29720689 HAS SOUS 3303483 HAS SOUPS 1239774 WITH SCORE 1302845.612
AT ITER 928 NEW BEST:: SOT 71606544 SOS 63070440 HAS SOPS 29724797 HAS SOUS 3302135 HAS SOUPS 1238954 WITH SCORE 1302024.44
AT ITER 993 NEW BEST:: SOT 71606544 SOS 63070440 HAS SOPS 29724797 HAS SOUS 3301893 HAS SOUPS 1238712 WITH SCORE 1301782.44
AT ITER 1016 NEW BEST:: SOT 71604379 SOS 63108321 HAS SOPS 29735498 HAS SOUS 3301391 HAS SOUPS 1237304 WITH SCORE 1300412.321
AT ITER 1026 NEW BEST:: SOT 71603617 SOS 63106797 HAS SOPS 29737784 HAS SOUS 3299867 HAS SOUPS 1236161 WITH SCORE 1299267.797
AT ITER 1065 NEW BEST:: SOT 71603617 SOS 63106797 HAS SOPS 29737784 HAS SOUS 3299601 HAS SOUPS 1235895 WITH SCORE 1299001.797
AT ITER 1072 NEW BEST:: SOT 71597496 SOS 63094104 HAS SOPS 29733799 HAS SOUS 3298948 HAS SOUPS 1235616 WITH SCORE 1298710.104
AT ITER 1100 NEW BEST:: SOT 71597122 SOS 63093356 HAS SOPS 29734921 HAS SOUS 3298200 HAS SOUPS 1235055 WITH SCORE 1298148.356
AT ITER 1101 NEW BEST:: SOT 71596918 SOS 63091498 HAS SOPS 29733063 HAS SOUS 3297996 HAS SOUPS 1234851 WITH SCORE 1297942.498
AT ITER 1105 NEW BEST:: SOT 71596918 SOS 63090340 HAS SOPS 29733835 HAS SOUS 3297803 HAS SOUPS 1234851 WITH SCORE 1297941.34
AT ITER 1110 NEW BEST:: SOT 71596918 SOS 63090340 HAS SOPS 29733835 HAS SOUS 3297599 HAS SOUPS 1234647 WITH SCORE 1297737.34
AT ITER 1130 NEW BEST:: SOT 71596468 SOS 63086794 HAS SOPS 29734699 HAS SOUS 3296708 HAS SOUPS 1234197 WITH SCORE 1297283.794
AT ITER 1139 NEW BEST:: SOT 71594925 SOS 63089616 HAS SOPS 29731191 HAS SOUS 3295676 HAS SOUPS 1232954 WITH SCORE 1296043.616
AT ITER 1169 NEW BEST:: SOT 71594925 SOS 63089616 HAS SOPS 29731191 HAS SOUS 3295404 HAS SOUPS 1232682 WITH SCORE 1295771.616
AT ITER 1214 NEW BEST:: SOT 71594925 SOS 63089616 HAS SOPS 29731191 HAS SOUS 3295164 HAS SOUPS 1232442 WITH SCORE 1295531.616
AT ITER 1216 NEW BEST:: SOT 71590921 SOS 63118376 HAS SOPS 29742031 HAS SOUS 3292645 HAS SOUPS 1229923 WITH SCORE 1293041.376
AT ITER 1217 NEW BEST:: SOT 71586123 SOS 63143192 HAS SOPS 29749667 HAS SOUS 3290339 HAS SOUPS 1227617 WITH SCORE 1290760.192
AT ITER 1262 NEW BEST:: SOT 71586123 SOS 63143192 HAS SOPS 29751527 HAS SOUS 3289967 HAS SOUPS 1227431 WITH SCORE 1290574.192
AT ITER 1348 NEW BEST:: SOT 71582935 SOS 63169250 HAS SOPS 29761625 HAS SOUS 3288099 HAS SOUPS 1225563 WITH SCORE 1288732.25
AT ITER 1351 NEW BEST:: SOT 71582935 SOS 63169250 HAS SOPS 29761625 HAS SOUS 3287839 HAS SOUPS 1225303 WITH SCORE 1288472.25
AT ITER 1359 NEW BEST:: SOT 71582935 SOS 63169250 HAS SOPS 29761625 HAS SOUS 3287679 HAS SOUPS 1225143 WITH SCORE 1288312.25
AT ITER 1367 NEW BEST:: SOT 71582935 SOS 63168090 HAS SOPS 29761625 HAS SOUS 3287562 HAS SOUPS 1225142 WITH SCORE 1288310.09
AT ITER 1404 NEW BEST:: SOT 71582935 SOS 63168090 HAS SOPS 29761625 HAS SOUS 3287282 HAS SOUPS 1224862 WITH SCORE 1288030.09
AT ITER 1413 NEW BEST:: SOT 71579178 SOS 63197462 HAS SOPS 29772857 HAS SOUS 3284568 HAS SOUPS 1222148 WITH SCORE 1285345.462
AT ITER 1414 NEW BEST:: SOT 71578814 SOS 63193746 HAS SOPS 29774121 HAS SOUS 3283706 HAS SOUPS 1221784 WITH SCORE 1284977.746
AT ITER 1419 NEW BEST:: SOT 71577018 SOS 63198050 HAS SOPS 29769965 HAS SOUS 3282496 HAS SOUPS 1220292 WITH SCORE 1283490.05
AT ITER 1466 NEW BEST:: SOT 71567347 SOS 63179502 HAS SOPS 29763619 HAS SOUS 3281641 HAS SOUPS 1220092 WITH SCORE 1283271.502
AT ITER 1471 NEW BEST:: SOT 71567347 SOS 63179502 HAS SOPS 29763619 HAS SOUS 3281391 HAS SOUPS 1219842 WITH SCORE 1283021.502
AT ITER 1480 NEW BEST:: SOT 71567327 SOS 63179462 HAS SOPS 29763579 HAS SOUS 3281371 HAS SOUPS 1219822 WITH SCORE 1283001.462
AT ITER 1512 NEW BEST:: SOT 71567327 SOS 63179462 HAS SOPS 29763579 HAS SOUS 3281197 HAS SOUPS 1219648 WITH SCORE 1282827.462
AT ITER 1517 NEW BEST:: SOT 71567327 SOS 63179462 HAS SOPS 29763579 HAS SOUS 3280917 HAS SOUPS 1219368 WITH SCORE 1282547.462
AT ITER 1532 NEW BEST:: SOT 71567327 SOS 63179462 HAS SOPS 29763579 HAS SOUS 3280637 HAS SOUPS 1219088 WITH SCORE 1282267.462
AT ITER 1549 NEW BEST:: SOT 71565754 SOS 63185360 HAS SOPS 29759787 HAS SOUS 3280012 HAS SOUPS 1218140 WITH SCORE 1281325.36
AT ITER 1576 NEW BEST:: SOT 71565754 SOS 63185360 HAS SOPS 29759787 HAS SOUS 3279732 HAS SOUPS 1217860 WITH SCORE 1281045.36
AT ITER 1582 NEW BEST:: SOT 71565780 SOS 63199448 HAS SOPS 29762355 HAS SOUS 3279724 HAS SOUPS 1217468 WITH SCORE 1280667.448
AT ITER 1601 NEW BEST:: SOT 71565780 SOS 63199448 HAS SOPS 29762355 HAS SOUS 3279714 HAS SOUPS 1217458 WITH SCORE 1280657.448
AT ITER 1665 NEW BEST:: SOT 71565780 SOS 63199448 HAS SOPS 29762355 HAS SOUS 3279682 HAS SOUPS 1217426 WITH SCORE 1280625.448
AT ITER 1666 NEW BEST:: SOT 71565780 SOS 63199448 HAS SOPS 29762355 HAS SOUS 3279620 HAS SOUPS 1217364 WITH SCORE 1280563.448
AT ITER 1685 NEW BEST:: SOT 71565382 SOS 63198652 HAS SOPS 29761559 HAS SOUS 3279023 HAS SOUPS 1216767 WITH SCORE 1279965.652
AT ITER 1704 NEW BEST:: SOT 71561269 SOS 63218068 HAS SOPS 29766495 HAS SOUS 3275597 HAS SOUPS 1213341 WITH SCORE 1276559.068
AT ITER 1717 NEW BEST:: SOT 71561269 SOS 63218068 HAS SOPS 29766495 HAS SOUS 3275565 HAS SOUPS 1213309 WITH SCORE 1276527.068
AT ITER 1721 NEW BEST:: SOT 71561269 SOS 63218068 HAS SOPS 29766495 HAS SOUS 3275285 HAS SOUPS 1213029 WITH SCORE 1276247.068
AT ITER 1729 NEW BEST:: SOT 71560783 SOS 63217096 HAS SOPS 29769413 HAS SOUS 3274275 HAS SOUPS 1212408 WITH SCORE 1275625.096
AT ITER 1790 NEW BEST:: SOT 71558404 SOS 63234612 HAS SOPS 29775069 HAS SOUS 3272939 HAS SOUPS 1211072 WITH SCORE 1274306.612
AT ITER 1834 NEW BEST:: SOT 71558404 SOS 63234612 HAS SOPS 29775069 HAS SOUS 3272659 HAS SOUPS 1210792 WITH SCORE 1274026.612
AT ITER 1842 NEW BEST:: SOT 71557466 SOS 63237904 HAS SOPS 29773801 HAS SOUS 3272290 HAS SOUPS 1210271 WITH SCORE 1273508.904
AT ITER 1878 NEW BEST:: SOT 71556521 SOS 63244820 HAS SOPS 29772947 HAS SOUS 3271688 HAS SOUPS 1209410 WITH SCORE 1272654.82
AT ITER 1887 NEW BEST:: SOT 71556521 SOS 63244820 HAS SOPS 29772947 HAS SOUS 3271408 HAS SOUPS 1209130 WITH SCORE 1272374.82
AT ITER 1917 NEW BEST:: SOT 71553853 SOS 63272300 HAS SOPS 29785087 HAS SOUS 3270687 HAS SOUPS 1208409 WITH SCORE 1271681.3
AT ITER 1975 NEW BEST:: SOT 71553593 SOS 63271780 HAS SOPS 29787167 HAS SOUS 3269907 HAS SOUPS 1207889 WITH SCORE 1271160.78
AT ITER 1976 NEW BEST:: SOT 71553349 SOS 63272132 HAS SOPS 29787519 HAS SOUS 3269747 HAS SOUPS 1207729 WITH SCORE 1271001.132
AT ITER 1979 NEW BEST:: SOT 71553349 SOS 63272132 HAS SOPS 29787519 HAS SOUS 3269641 HAS SOUPS 1207623 WITH SCORE 1270895.132
AT ITER 1983 NEW BEST:: SOT 71553043 SOS 63268568 HAS SOPS 29788875 HAS SOUS 3269003 HAS SOUPS 1207477 WITH SCORE 1270745.568
AT ITER 1988 NEW BEST:: SOT 71553043 SOS 63268568 HAS SOPS 29788875 HAS SOUS 3268723 HAS SOUPS 1207197 WITH SCORE 1270465.568
AT ITER 1997 NEW BEST:: SOT 71552703 SOS 63263310 HAS SOPS 29791247 HAS SOUS 3267620 HAS SOUPS 1206857 WITH SCORE 1270120.31
AT ITER 2006 NEW BEST:: SOT 71552691 SOS 63263286 HAS SOPS 29791223 HAS SOUS 3267608 HAS SOUPS 1206845 WITH SCORE 1270108.286
AT ITER 2009 NEW BEST:: SOT 71552691 SOS 63263286 HAS SOPS 29791223 HAS SOUS 3267568 HAS SOUPS 1206805 WITH SCORE 1270068.286
AT ITER 2022 NEW BEST:: SOT 71549747 SOS 63273252 HAS SOPS 29790929 HAS SOUS 3265306 HAS SOUPS 1204543 WITH SCORE 1267816.252
AT ITER 2095 NEW BEST:: SOT 71548576 SOS 63269832 HAS SOPS 29787509 HAS SOUS 3263596 HAS SOUPS 1202833 WITH SCORE 1266102.832
AT ITER 2108 NEW BEST:: SOT 71548576 SOS 63269832 HAS SOPS 29787509 HAS SOUS 3263448 HAS SOUPS 1202685 WITH SCORE 1265954.832
AT ITER 2126 NEW BEST:: SOT 71548576 SOS 63269832 HAS SOPS 29787509 HAS SOUS 3263376 HAS SOUPS 1202613 WITH SCORE 1265882.832
AT ITER 2135 NEW BEST:: SOT 71546230 SOS 63291380 HAS SOPS 29791057 HAS SOUS 3262210 HAS SOUPS 1200847 WITH SCORE 1264138.38
AT ITER 2153 NEW BEST:: SOT 71546852 SOS 63296863 HAS SOPS 29796540 HAS SOUS 3261968 HAS SOUPS 1200605 WITH SCORE 1263901.863
AT ITER 2177 NEW BEST:: SOT 71546852 SOS 63296863 HAS SOPS 29796540 HAS SOUS 3261688 HAS SOUPS 1200325 WITH SCORE 1263621.863
AT ITER 2197 NEW BEST:: SOT 71546748 SOS 63296655 HAS SOPS 29796332 HAS SOUS 3261532 HAS SOUPS 1200169 WITH SCORE 1263465.655
AT ITER 2201 NEW BEST:: SOT 71546748 SOS 63296655 HAS SOPS 29796332 HAS SOUS 3261492 HAS SOUPS 1200129 WITH SCORE 1263425.655
AT ITER 2222 NEW BEST:: SOT 71546378 SOS 63294583 HAS SOPS 29794260 HAS SOUS 3261302 HAS SOUPS 1199939 WITH SCORE 1263233.583
AT ITER 2247 NEW BEST:: SOT 71544706 SOS 63287189 HAS SOPS 29793616 HAS SOUS 3259812 HAS SOUPS 1199124 WITH SCORE 1262411.189
AT ITER 2248 NEW BEST:: SOT 71544706 SOS 63287189 HAS SOPS 29793616 HAS SOUS 3259532 HAS SOUPS 1198844 WITH SCORE 1262131.189
AT ITER 2252 NEW BEST:: SOT 71544706 SOS 63287189 HAS SOPS 29793616 HAS SOUS 3259484 HAS SOUPS 1198796 WITH SCORE 1262083.189
AT ITER 2287 NEW BEST:: SOT 71544706 SOS 63287189 HAS SOPS 29793616 HAS SOUS 3259338 HAS SOUPS 1198650 WITH SCORE 1261937.189
AT ITER 2288 NEW BEST:: SOT 71544706 SOS 63287189 HAS SOPS 29793616 HAS SOUS 3259058 HAS SOUPS 1198370 WITH SCORE 1261657.189
AT ITER 2294 NEW BEST:: SOT 71544634 SOS 63287045 HAS SOPS 29793472 HAS SOUS 3258986 HAS SOUPS 1198298 WITH SCORE 1261585.045
AT ITER 2298 NEW BEST:: SOT 71544295 SOS 63283175 HAS SOPS 29794922 HAS SOUS 3258292 HAS SOUPS 1198136 WITH SCORE 1261419.175
AT ITER 2315 NEW BEST:: SOT 71540868 SOS 63298477 HAS SOPS 29798884 HAS SOUS 3255607 HAS SOUPS 1195451 WITH SCORE 1258749.477
AT ITER 2333 NEW BEST:: SOT 71540868 SOS 63298477 HAS SOPS 29798884 HAS SOUS 3255365 HAS SOUPS 1195209 WITH SCORE 1258507.477
AT ITER 2337 NEW BEST:: SOT 71541763 SOS 63196297 HAS SOPS 29799514 HAS SOUS 3254579 HAS SOUPS 1195113 WITH SCORE 1258309.297
AT ITER 2379 NEW BEST:: SOT 71541763 SOS 63196297 HAS SOPS 29799514 HAS SOUS 3254299 HAS SOUPS 1194833 WITH SCORE 1258029.297
AT ITER 2415 NEW BEST:: SOT 71536922 SOS 63206179 HAS SOPS 29797336 HAS SOUS 3251400 HAS SOUPS 1191934 WITH SCORE 1255140.179
AT ITER 2416 NEW BEST:: SOT 71532889 SOS 63236059 HAS SOPS 29808576 HAS SOUS 3248438 HAS SOUPS 1188972 WITH SCORE 1252208.059
AT ITER 2433 NEW BEST:: SOT 71532889 SOS 63236059 HAS SOPS 29808576 HAS SOUS 3248390 HAS SOUPS 1188924 WITH SCORE 1252160.059
AT ITER 2441 NEW BEST:: SOT 71531749 SOS 63231295 HAS SOPS 29807952 HAS SOUS 3247766 HAS SOUPS 1188714 WITH SCORE 1251945.295
AT ITER 2457 NEW BEST:: SOT 71529886 SOS 63239159 HAS SOPS 29806666 HAS SOUS 3246812 HAS SOUPS 1187455 WITH SCORE 1250694.159
AT ITER 2466 NEW BEST:: SOT 71529574 SOS 63238535 HAS SOPS 29809162 HAS SOUS 3246188 HAS SOUPS 1187143 WITH SCORE 1250381.535
AT ITER 2494 NEW BEST:: SOT 71529248 SOS 63237883 HAS SOPS 29810140 HAS SOUS 3245536 HAS SOUPS 1186654 WITH SCORE 1249891.883
AT ITER 2515 NEW BEST:: SOT 71528880 SOS 63232995 HAS SOPS 29812172 HAS SOUS 3244476 HAS SOUPS 1186286 WITH SCORE 1249518.995
AT ITER 2517 NEW BEST:: SOT 71528880 SOS 63232995 HAS SOPS 29812172 HAS SOUS 3244286 HAS SOUPS 1186096 WITH SCORE 1249328.995
AT ITER 2543 NEW BEST:: SOT 71528880 SOS 63232995 HAS SOPS 29812172 HAS SOUS 3244062 HAS SOUPS 1185872 WITH SCORE 1249104.995
AT ITER 2549 NEW BEST:: SOT 71525958 SOS 63251529 HAS SOPS 29817486 HAS SOUS 3242213 HAS SOUPS 1184023 WITH SCORE 1247274.529
AT ITER 2558 NEW BEST:: SOT 71525637 SOS 63248469 HAS SOPS 29818456 HAS SOUS 3241580 HAS SOUPS 1183793 WITH SCORE 1247041.469
AT ITER 2559 NEW BEST:: SOT 71525068 SOS 63244859 HAS SOPS 29814846 HAS SOUS 3240702 HAS SOUPS 1182915 WITH SCORE 1246159.859
AT ITER 2563 NEW BEST:: SOT 71521134 SOS 63266203 HAS SOPS 29819510 HAS SOUS 3237997 HAS SOUPS 1180210 WITH SCORE 1243476.203
AT ITER 2564 NEW BEST:: SOT 71521134 SOS 63266203 HAS SOPS 29819510 HAS SOUS 3237827 HAS SOUPS 1180040 WITH SCORE 1243306.203
AT ITER 2569 NEW BEST:: SOT 71520984 SOS 63265903 HAS SOPS 29819210 HAS SOUS 3237677 HAS SOUPS 1179890 WITH SCORE 1243155.903
AT ITER 2575 NEW BEST:: SOT 71517822 SOS 63278281 HAS SOPS 29820208 HAS SOUS 3235355 HAS SOUPS 1177568 WITH SCORE 1240846.281
AT ITER 2584 NEW BEST:: SOT 71517822 SOS 63277361 HAS SOPS 29820208 HAS SOUS 3235263 HAS SOUPS 1177568 WITH SCORE 1240845.361
AT ITER 2593 NEW BEST:: SOT 71517798 SOS 63277313 HAS SOPS 29820160 HAS SOUS 3235239 HAS SOUPS 1177544 WITH SCORE 1240821.313
AT ITER 2603 NEW BEST:: SOT 71514910 SOS 63287967 HAS SOPS 29820814 HAS SOUS 3232991 HAS SOUPS 1175296 WITH SCORE 1238583.967
AT ITER 2620 NEW BEST:: SOT 71513695 SOS 63282777 HAS SOPS 29820224 HAS SOUS 3231910 HAS SOUPS 1174675 WITH SCORE 1237957.777
AT ITER 2659 NEW BEST:: SOT 71512008 SOS 63325456 HAS SOPS 29834733 HAS SOUS 3232064 HAS SOUPS 1173890 WITH SCORE 1237215.456
AT ITER 2668 NEW BEST:: SOT 71512008 SOS 63323016 HAS SOPS 29834903 HAS SOUS 3231803 HAS SOUPS 1173890 WITH SCORE 1237213.016
AT ITER 2700 NEW BEST:: SOT 71511786 SOS 63325088 HAS SOPS 29834755 HAS SOUS 3231655 HAS SOUPS 1173668 WITH SCORE 1236993.088
AT ITER 2710 NEW BEST:: SOT 71511786 SOS 63325088 HAS SOPS 29834755 HAS SOUS 3231375 HAS SOUPS 1173388 WITH SCORE 1236713.088
AT ITER 2776 NEW BEST:: SOT 71511786 SOS 63324992 HAS SOPS 29834819 HAS SOUS 3231359 HAS SOUPS 1173388 WITH SCORE 1236712.992
AT ITER 2786 NEW BEST:: SOT 71511564 SOS 63324548 HAS SOPS 29840115 HAS SOUS 3230563 HAS SOUPS 1173166 WITH SCORE 1236490.548
AT ITER 2798 NEW BEST:: SOT 71505711 SOS 63312313 HAS SOPS 29836208 HAS SOUS 3230439 HAS SOUPS 1173169 WITH SCORE 1236481.313
AT ITER 2832 NEW BEST:: SOT 71505502 SOS 63309805 HAS SOPS 29835790 HAS SOUS 3230020 HAS SOUPS 1172959 WITH SCORE 1236268.805
AT ITER 2858 NEW BEST:: SOT 71505502 SOS 63309805 HAS SOPS 29835790 HAS SOUS 3229740 HAS SOUPS 1172679 WITH SCORE 1235988.805
AT ITER 2908 NEW BEST:: SOT 71505502 SOS 63307235 HAS SOPS 29835790 HAS SOUS 3229483 HAS SOUPS 1172679 WITH SCORE 1235986.235
AT ITER 2919 NEW BEST:: SOT 71503909 SOS 63321127 HAS SOPS 29835102 HAS SOUS 3229430 HAS SOUPS 1172140 WITH SCORE 1235461.127
AT ITER 2951 NEW BEST:: SOT 71503909 SOS 63321127 HAS SOPS 29835102 HAS SOUS 3229150 HAS SOUPS 1171860 WITH SCORE 1235181.127
AT ITER 2995 NEW BEST:: SOT 71501944 SOS 63335047 HAS SOPS 29835372 HAS SOUS 3228906 HAS SOUPS 1171161 WITH SCORE 1234496.047
AT ITER 3025 NEW BEST:: SOT 71499356 SOS 63362565 HAS SOPS 29846230 HAS SOUS 3227089 HAS SOUPS 1169344 WITH SCORE 1232706.565
AT ITER 3028 NEW BEST:: SOT 71499356 SOS 63362565 HAS SOPS 29846230 HAS SOUS 3226925 HAS SOUPS 1169180 WITH SCORE 1232542.565
AT ITER 3035 NEW BEST:: SOT 71496605 SOS 63353343 HAS SOPS 29843208 HAS SOUS 3225651 HAS SOUPS 1168526 WITH SCORE 1231879.343
AT ITER 3069 NEW BEST:: SOT 71496605 SOS 63353343 HAS SOPS 29843208 HAS SOUS 3225371 HAS SOUPS 1168246 WITH SCORE 1231599.343
AT ITER 3076 NEW BEST:: SOT 71496397 SOS 63353587 HAS SOPS 29843452 HAS SOUS 3225125 HAS SOUPS 1168000 WITH SCORE 1231353.587
AT ITER 3083 NEW BEST:: SOT 71496107 SOS 63353007 HAS SOPS 29846682 HAS SOUS 3224119 HAS SOUPS 1167375 WITH SCORE 1230728.007
AT ITER 3086 NEW BEST:: SOT 71493634 SOS 63363085 HAS SOPS 29843170 HAS SOUS 3222542 HAS SOUPS 1165345 WITH SCORE 1228708.085
AT ITER 3154 NEW BEST:: SOT 71493634 SOS 63363085 HAS SOPS 29843170 HAS SOUS 3222270 HAS SOUPS 1165073 WITH SCORE 1228436.085
AT ITER 3171 NEW BEST:: SOT 71491985 SOS 63405881 HAS SOPS 29858006 HAS SOUS 3220781 HAS SOUPS 1162652 WITH SCORE 1226057.881
AT ITER 3196 NEW BEST:: SOT 71492323 SOS 63379441 HAS SOPS 29847376 HAS SOUS 3219695 HAS SOUPS 1162093 WITH SCORE 1225472.441
AT ITER 3198 NEW BEST:: SOT 71492323 SOS 63376921 HAS SOPS 29847376 HAS SOUS 3219443 HAS SOUPS 1162093 WITH SCORE 1225469.921
AT ITER 3200 NEW BEST:: SOT 71491939 SOS 63374881 HAS SOPS 29845336 HAS SOUS 3219059 HAS SOUPS 1161709 WITH SCORE 1225083.881
AT ITER 3209 NEW BEST:: SOT 71491933 SOS 63370139 HAS SOPS 29845324 HAS SOUS 3218173 HAS SOUPS 1161296 WITH SCORE 1224666.139
AT ITER 3211 NEW BEST:: SOT 71491701 SOS 63369675 HAS SOPS 29847180 HAS SOUS 3217709 HAS SOUPS 1161064 WITH SCORE 1224433.675
AT ITER 3213 NEW BEST:: SOT 71491701 SOS 63369675 HAS SOPS 29847180 HAS SOUS 3217429 HAS SOUPS 1160784 WITH SCORE 1224153.675
AT ITER 3218 NEW BEST:: SOT 71491701 SOS 63369675 HAS SOPS 29847180 HAS SOUS 3217149 HAS SOUPS 1160504 WITH SCORE 1223873.675
AT ITER 3232 NEW BEST:: SOT 71491453 SOS 63366923 HAS SOPS 29848188 HAS SOUS 3216532 HAS SOUPS 1160263 WITH SCORE 1223629.923
AT ITER 3256 NEW BEST:: SOT 71490007 SOS 63362595 HAS SOPS 29843860 HAS SOUS 3215078 HAS SOUPS 1158809 WITH SCORE 1222171.595
AT ITER 3259 NEW BEST:: SOT 71489966 SOS 63356404 HAS SOPS 29843778 HAS SOUS 3215027 HAS SOUPS 1158799 WITH SCORE 1222155.404
AT ITER 3279 NEW BEST:: SOT 71489966 SOS 63356404 HAS SOPS 29843778 HAS SOUS 3214815 HAS SOUPS 1158587 WITH SCORE 1221943.404
AT ITER 3289 NEW BEST:: SOT 71489966 SOS 63356404 HAS SOPS 29843778 HAS SOUS 3214659 HAS SOUPS 1158431 WITH SCORE 1221787.404
AT ITER 3339 NEW BEST:: SOT 71489966 SOS 63356404 HAS SOPS 29843778 HAS SOUS 3214409 HAS SOUPS 1158181 WITH SCORE 1221537.404
AT ITER 3356 NEW BEST:: SOT 71489679 SOS 63357224 HAS SOPS 29843368 HAS SOUS 3214245 HAS SOUPS 1157976 WITH SCORE 1221333.224
AT ITER 3357 NEW BEST:: SOT 71489676 SOS 63357252 HAS SOPS 29843366 HAS SOUS 3214243 HAS SOUPS 1157973 WITH SCORE 1221330.252
AT ITER 3413 NEW BEST:: SOT 71489676 SOS 63357252 HAS SOPS 29843366 HAS SOUS 3214187 HAS SOUPS 1157917 WITH SCORE 1221274.252
AT ITER 3434 NEW BEST:: SOT 71486477 SOS 63382048 HAS SOPS 29852602 HAS SOUS 3212273 HAS SOUPS 1156003 WITH SCORE 1219385.048
AT ITER 3438 NEW BEST:: SOT 71486452 SOS 63380618 HAS SOPS 29852552 HAS SOUS 3212084 HAS SOUPS 1155952 WITH SCORE 1219332.618
AT ITER 3468 NEW BEST:: SOT 71483990 SOS 63397372 HAS SOPS 29853226 HAS SOUS 3210983 HAS SOUPS 1154315 WITH SCORE 1217712.372
AT ITER 3485 NEW BEST:: SOT 71483334 SOS 63393300 HAS SOPS 29853844 HAS SOUS 3209566 HAS SOUPS 1153367 WITH SCORE 1216760.3
AT ITER 3488 NEW BEST:: SOT 71482767 SOS 63392658 HAS SOPS 29853202 HAS SOUS 3209301 HAS SOUPS 1153102 WITH SCORE 1216494.658
AT ITER 3492 NEW BEST:: SOT 71481003 SOS 63402392 HAS SOPS 29852466 HAS SOUS 3208773 HAS SOUPS 1152225 WITH SCORE 1215627.392
AT ITER 3502 NEW BEST:: SOT 71481003 SOS 63402392 HAS SOPS 29852466 HAS SOUS 3208741 HAS SOUPS 1152193 WITH SCORE 1215595.392
AT ITER 3541 NEW BEST:: SOT 71477800 SOS 63429960 HAS SOPS 29863374 HAS SOUS 3206966 HAS SOUPS 1150418 WITH SCORE 1213847.96
AT ITER 3588 NEW BEST:: SOT 71476175 SOS 63440184 HAS SOPS 29863008 HAS SOUS 3206407 HAS SOUPS 1149506 WITH SCORE 1212946.184
AT ITER 3629 NEW BEST:: SOT 71476065 SOS 63439964 HAS SOPS 29862788 HAS SOUS 3206187 HAS SOUPS 1149286 WITH SCORE 1212725.964
AT ITER 3632 NEW BEST:: SOT 71472217 SOS 63460354 HAS SOPS 29867938 HAS SOUS 3203441 HAS SOUPS 1146540 WITH SCORE 1210000.354
AT ITER 3638 NEW BEST:: SOT 71472217 SOS 63460354 HAS SOPS 29867938 HAS SOUS 3203181 HAS SOUPS 1146280 WITH SCORE 1209740.354
AT ITER 3641 NEW BEST:: SOT 71469567 SOS 63489040 HAS SOPS 29879984 HAS SOUS 3202048 HAS SOUPS 1145147 WITH SCORE 1208636.04
AT ITER 3667 NEW BEST:: SOT 71469567 SOS 63489040 HAS SOPS 29879984 HAS SOUS 3201910 HAS SOUPS 1145009 WITH SCORE 1208498.04
AT ITER 3684 NEW BEST:: SOT 71469567 SOS 63488686 HAS SOPS 29880220 HAS SOUS 3201851 HAS SOUPS 1145009 WITH SCORE 1208497.686
AT ITER 3689 NEW BEST:: SOT 71469567 SOS 63488686 HAS SOPS 29880220 HAS SOUS 3201571 HAS SOUPS 1144729 WITH SCORE 1208217.686
AT ITER 3690 NEW BEST:: SOT 71469254 SOS 63488060 HAS SOPS 29885904 HAS SOUS 3200627 HAS SOUPS 1144416 WITH SCORE 1207904.06
AT ITER 3791 NEW BEST:: SOT 71467856 SOS 63492268 HAS SOPS 29883932 HAS SOUS 3199627 HAS SOUPS 1143210 WITH SCORE 1206702.268
AT ITER 3818 NEW BEST:: SOT 71467856 SOS 63492268 HAS SOPS 29883932 HAS SOUS 3199535 HAS SOUPS 1143118 WITH SCORE 1206610.268
AT ITER 3825 NEW BEST:: SOT 71463845 SOS 63481141 HAS SOPS 29878735 HAS SOUS 3196815 HAS SOUPS 1140991 WITH SCORE 1204472.141
AT ITER 3828 NEW BEST:: SOT 71463673 SOS 63480797 HAS SOPS 29878391 HAS SOUS 3196729 HAS SOUPS 1140905 WITH SCORE 1204385.797
AT ITER 3835 NEW BEST:: SOT 71463538 SOS 63480527 HAS SOPS 29878121 HAS SOUS 3196527 HAS SOUPS 1140703 WITH SCORE 1204183.527
AT ITER 3861 NEW BEST:: SOT 71463538 SOS 63480527 HAS SOPS 29878121 HAS SOUS 3196247 HAS SOUPS 1140423 WITH SCORE 1203903.527
AT ITER 3874 NEW BEST:: SOT 71463538 SOS 63480527 HAS SOPS 29878121 HAS SOUS 3196011 HAS SOUPS 1140187 WITH SCORE 1203667.527
AT ITER 3919 NEW BEST:: SOT 71463538 SOS 63480527 HAS SOPS 29878121 HAS SOUS 3195943 HAS SOUPS 1140119 WITH SCORE 1203599.527
AT ITER 3932 NEW BEST:: SOT 71463186 SOS 63480527 HAS SOPS 29878121 HAS SOUS 3195767 HAS SOUPS 1139943 WITH SCORE 1203423.527
AT ITER 3948 NEW BEST:: SOT 71461038 SOS 63476231 HAS SOPS 29873825 HAS SOUS 3194511 HAS SOUPS 1138687 WITH SCORE 1202163.231
AT ITER 3989 NEW BEST:: SOT 71457533 SOS 63498005 HAS SOPS 29879139 HAS SOUS 3192040 HAS SOUPS 1136216 WITH SCORE 1199714.005
AT ITER 4037 NEW BEST:: SOT 71457533 SOS 63495425 HAS SOPS 29880859 HAS SOUS 3191610 HAS SOUPS 1136216 WITH SCORE 1199711.425
AT ITER 4067 NEW BEST:: SOT 71457195 SOS 63490591 HAS SOPS 29882955 HAS SOUS 3190579 HAS SOUPS 1135878 WITH SCORE 1199368.591
AT ITER 4071 NEW BEST:: SOT 71456963 SOS 63496655 HAS SOPS 29886299 HAS SOUS 3190483 HAS SOUPS 1135782 WITH SCORE 1199278.655
AT ITER 4119 NEW BEST:: SOT 71454798 SOS 63489493 HAS SOPS 29883857 HAS SOUS 3189313 HAS SOUPS 1135084 WITH SCORE 1198573.493
AT ITER 4133 NEW BEST:: SOT 71454798 SOS 63489493 HAS SOPS 29883857 HAS SOUS 3189251 HAS SOUPS 1135022 WITH SCORE 1198511.493
AT ITER 4147 NEW BEST:: SOT 71454420 SOS 63488737 HAS SOPS 29886451 HAS SOUS 3188538 HAS SOUPS 1134644 WITH SCORE 1198132.737
AT ITER 4148 NEW BEST:: SOT 71451506 SOS 63478475 HAS SOPS 29883579 HAS SOUS 3186206 HAS SOUPS 1133051 WITH SCORE 1196529.475
AT ITER 4159 NEW BEST:: SOT 71451132 SOS 63478475 HAS SOPS 29883579 HAS SOUS 3186018 HAS SOUPS 1132863 WITH SCORE 1196341.475
AT ITER 4162 NEW BEST:: SOT 71451132 SOS 63478475 HAS SOPS 29883579 HAS SOUS 3185738 HAS SOUPS 1132583 WITH SCORE 1196061.475
AT ITER 4179 NEW BEST:: SOT 71451476 SOS 63505695 HAS SOPS 29891509 HAS SOUS 3186289 HAS SOUPS 1132491 WITH SCORE 1195996.695
AT ITER 4180 NEW BEST:: SOT 71450070 SOS 63507979 HAS SOPS 29890153 HAS SOUS 3185261 HAS SOUPS 1131463 WITH SCORE 1194970.979
AT ITER 4194 NEW BEST:: SOT 71449776 SOS 63503917 HAS SOPS 29891881 HAS SOUS 3184388 HAS SOUPS 1131169 WITH SCORE 1194672.917
AT ITER 4196 NEW BEST:: SOT 71449776 SOS 63503917 HAS SOPS 29891881 HAS SOUS 3184108 HAS SOUPS 1130889 WITH SCORE 1194392.917
AT ITER 4219 NEW BEST:: SOT 71447687 SOS 63497087 HAS SOPS 29889471 HAS SOUS 3182590 HAS SOUPS 1129813 WITH SCORE 1193310.087
AT ITER 4237 NEW BEST:: SOT 71447687 SOS 63497087 HAS SOPS 29889471 HAS SOUS 3182310 HAS SOUPS 1129533 WITH SCORE 1193030.087
AT ITER 4239 NEW BEST:: SOT 71447815 SOS 63498435 HAS SOPS 29888999 HAS SOUS 3182192 HAS SOUPS 1129233 WITH SCORE 1192731.435
AT ITER 4293 NEW BEST:: SOT 71447637 SOS 63506851 HAS SOPS 29889675 HAS SOUS 3181974 HAS SOUPS 1128757 WITH SCORE 1192263.851
AT ITER 4294 NEW BEST:: SOT 71446702 SOS 63504981 HAS SOPS 29893785 HAS SOUS 3180702 HAS SOUPS 1128083 WITH SCORE 1191587.981
AT ITER 4317 NEW BEST:: SOT 71446702 SOS 63504981 HAS SOPS 29893785 HAS SOUS 3180534 HAS SOUPS 1127915 WITH SCORE 1191419.981
AT ITER 4319 NEW BEST:: SOT 71446218 SOS 63502249 HAS SOPS 29891053 HAS SOUS 3180050 HAS SOUPS 1127431 WITH SCORE 1190933.249
AT ITER 4347 NEW BEST:: SOT 71446218 SOS 63502249 HAS SOPS 29891053 HAS SOUS 3179770 HAS SOUPS 1127151 WITH SCORE 1190653.249
AT ITER 4385 NEW BEST:: SOT 71443587 SOS 63493021 HAS SOPS 29888435 HAS SOUS 3177913 HAS SOUPS 1125955 WITH SCORE 1189448.021
AT ITER 4389 NEW BEST:: SOT 71443587 SOS 63493021 HAS SOPS 29888435 HAS SOUS 3177663 HAS SOUPS 1125705 WITH SCORE 1189198.021
AT ITER 4415 NEW BEST:: SOT 71443485 SOS 63492817 HAS SOPS 29888231 HAS SOUS 3177561 HAS SOUPS 1125603 WITH SCORE 1189095.817
AT ITER 4442 NEW BEST:: SOT 71443485 SOS 63492817 HAS SOPS 29890201 HAS SOUS 3177167 HAS SOUPS 1125406 WITH SCORE 1188898.817
AT ITER 4455 NEW BEST:: SOT 71443485 SOS 63492817 HAS SOPS 29890201 HAS SOUS 3177089 HAS SOUPS 1125328 WITH SCORE 1188820.817
AT ITER 4507 NEW BEST:: SOT 71443485 SOS 63492817 HAS SOPS 29890201 HAS SOUS 3177005 HAS SOUPS 1125244 WITH SCORE 1188736.817
AT ITER 4518 NEW BEST:: SOT 71442109 SOS 63486215 HAS SOPS 29883599 HAS SOUS 3175799 HAS SOUPS 1124038 WITH SCORE 1187524.215
AT ITER 4528 NEW BEST:: SOT 71442109 SOS 63486215 HAS SOPS 29883599 HAS SOUS 3175549 HAS SOUPS 1123788 WITH SCORE 1187274.215
AT ITER 4584 NEW BEST:: SOT 71442109 SOS 63486215 HAS SOPS 29883599 HAS SOUS 3175519 HAS SOUPS 1123758 WITH SCORE 1187244.215
AT ITER 4587 NEW BEST:: SOT 71442109 SOS 63484061 HAS SOPS 29885035 HAS SOUS 3175160 HAS SOUPS 1123758 WITH SCORE 1187242.061
AT ITER 4604 NEW BEST:: SOT 71442109 SOS 63484061 HAS SOPS 29885035 HAS SOUS 3175130 HAS SOUPS 1123728 WITH SCORE 1187212.061
AT ITER 4611 NEW BEST:: SOT 71441561 SOS 63482965 HAS SOPS 29887929 HAS SOUS 3174183 HAS SOUPS 1123180 WITH SCORE 1186662.965
AT ITER 4623 NEW BEST:: SOT 71441156 SOS 63479281 HAS SOPS 29889035 HAS SOUS 3173440 HAS SOUPS 1122916 WITH SCORE 1186395.281
AT ITER 4637 NEW BEST:: SOT 71440194 SOS 63473997 HAS SOPS 29889351 HAS SOUS 3172643 HAS SOUPS 1122679 WITH SCORE 1186152.997
AT ITER 4659 NEW BEST:: SOT 71440194 SOS 63473997 HAS SOPS 29889351 HAS SOUS 3172363 HAS SOUPS 1122399 WITH SCORE 1185872.997
AT ITER 4711 NEW BEST:: SOT 71440083 SOS 63473775 HAS SOPS 29889129 HAS SOUS 3172252 HAS SOUPS 1122288 WITH SCORE 1185761.775
AT ITER 4747 NEW BEST:: SOT 71439307 SOS 63472223 HAS SOPS 29891457 HAS SOUS 3170700 HAS SOUPS 1121124 WITH SCORE 1184596.223
AT ITER 4750 NEW BEST:: SOT 71439006 SOS 63471621 HAS SOPS 29895585 HAS SOUS 3169994 HAS SOUPS 1120891 WITH SCORE 1184362.621
AT ITER 4759 NEW BEST:: SOT 71438541 SOS 63470691 HAS SOPS 29899415 HAS SOUS 3168882 HAS SOUPS 1120255 WITH SCORE 1183725.691
AT ITER 4766 NEW BEST:: SOT 71438334 SOS 63468927 HAS SOPS 29897651 HAS SOUS 3168675 HAS SOUPS 1120048 WITH SCORE 1183516.927
AT ITER 4778 NEW BEST:: SOT 71438290 SOS 63462743 HAS SOPS 29895277 HAS SOUS 3168294 HAS SOUPS 1119794 WITH SCORE 1183256.743
AT ITER 4782 NEW BEST:: SOT 71434937 SOS 63480083 HAS SOPS 29901077 HAS SOUS 3165692 HAS SOUPS 1117192 WITH SCORE 1180672.083
AT ITER 4796 NEW BEST:: SOT 71432808 SOS 63490609 HAS SOPS 29905443 HAS SOUS 3164293 HAS SOUPS 1115793 WITH SCORE 1179283.609
AT ITER 4798 NEW BEST:: SOT 71432196 SOS 63489385 HAS SOPS 29907989 HAS SOUS 3163016 HAS SOUPS 1114893 WITH SCORE 1178382.385
AT ITER 4809 NEW BEST:: SOT 71432196 SOS 63489385 HAS SOPS 29907989 HAS SOUS 3162736 HAS SOUPS 1114613 WITH SCORE 1178102.385
AT ITER 4814 NEW BEST:: SOT 71431724 SOS 63483271 HAS SOPS 29907205 HAS SOUS 3161867 HAS SOUPS 1114277 WITH SCORE 1177760.271
AT ITER 4815 NEW BEST:: SOT 71431228 SOS 63482279 HAS SOPS 29906213 HAS SOUS 3161371 HAS SOUPS 1113781 WITH SCORE 1177263.279
AT ITER 4818 NEW BEST:: SOT 71431015 SOS 63481853 HAS SOPS 29908867 HAS SOUS 3160542 HAS SOUPS 1113260 WITH SCORE 1176741.8530000001
AT ITER 4819 NEW BEST:: SOT 71430969 SOS 63488247 HAS SOPS 29908407 HAS SOUS 3160542 HAS SOUPS 1113214 WITH SCORE 1176702.247
AT ITER 4847 NEW BEST:: SOT 71430969 SOS 63488247 HAS SOPS 29908407 HAS SOUS 3160300 HAS SOUPS 1112972 WITH SCORE 1176460.247
AT ITER 4850 NEW BEST:: SOT 71430709 SOS 63487337 HAS SOPS 29908147 HAS SOUS 3160170 HAS SOUPS 1112907 WITH SCORE 1176394.337
AT ITER 4855 NEW BEST:: SOT 71430709 SOS 63487337 HAS SOPS 29908147 HAS SOUS 3159890 HAS SOUPS 1112627 WITH SCORE 1176114.337
AT ITER 4861 NEW BEST:: SOT 71430129 SOS 63486177 HAS SOPS 29906987 HAS SOUS 3159596 HAS SOUPS 1112333 WITH SCORE 1175819.177
AT ITER 4864 NEW BEST:: SOT 71430129 SOS 63486177 HAS SOPS 29906987 HAS SOUS 3159316 HAS SOUPS 1112053 WITH SCORE 1175539.177
AT ITER 4866 NEW BEST:: SOT 71429474 SOS 63489321 HAS SOPS 29906201 HAS SOUS 3159316 HAS SOUPS 1111922 WITH SCORE 1175411.321
AT ITER 4867 NEW BEST:: SOT 71428813 SOS 63487999 HAS SOPS 29908939 HAS SOUS 3157938 HAS SOUPS 1110950 WITH SCORE 1174437.999
AT ITER 4876 NEW BEST:: SOT 71428813 SOS 63487999 HAS SOPS 29908939 HAS SOUS 3157658 HAS SOUPS 1110670 WITH SCORE 1174157.999
AT ITER 4878 NEW BEST:: SOT 71428489 SOS 63491239 HAS SOPS 29910559 HAS SOUS 3157415 HAS SOUPS 1110427 WITH SCORE 1173918.239
AT ITER 4895 NEW BEST:: SOT 71428489 SOS 63491239 HAS SOPS 29910559 HAS SOUS 3157175 HAS SOUPS 1110187 WITH SCORE 1173678.239
AT ITER 4899 NEW BEST:: SOT 71428489 SOS 63491239 HAS SOPS 29910559 HAS SOUS 3157049 HAS SOUPS 1110061 WITH SCORE 1173552.239
AT ITER 4901 NEW BEST:: SOT 71426668 SOS 63510165 HAS SOPS 29913555 HAS SOUS 3156887 HAS SOUPS 1109368 WITH SCORE 1172878.165
AT ITER 4927 NEW BEST:: SOT 71425889 SOS 63505247 HAS SOPS 29912837 HAS SOUS 3156169 HAS SOUPS 1109070 WITH SCORE 1172575.247
AT ITER 4968 NEW BEST:: SOT 71425839 SOS 63501307 HAS SOPS 29912737 HAS SOUS 3155735 HAS SOUPS 1109020 WITH SCORE 1172521.307
AT ITER 5036 NEW BEST:: SOT 71421360 SOS 63536218 HAS SOPS 29920438 HAS SOUS 3153078 HAS SOUPS 1105456 WITH SCORE 1168992.218
AT ITER 5038 NEW BEST:: SOT 71421360 SOS 63536218 HAS SOPS 29920438 HAS SOUS 3153028 HAS SOUPS 1105406 WITH SCORE 1168942.218
AT ITER 5079 NEW BEST:: SOT 71420309 SOS 63528636 HAS SOPS 29919706 HAS SOUS 3151578 HAS SOUPS 1104641 WITH SCORE 1168169.636
AT ITER 5124 NEW BEST:: SOT 71420234 SOS 63529336 HAS SOPS 29919656 HAS SOUS 3151528 HAS SOUPS 1104566 WITH SCORE 1168095.336
AT ITER 5142 NEW BEST:: SOT 71418956 SOS 63522428 HAS SOPS 29918188 HAS SOUS 3149457 HAS SOUPS 1103039 WITH SCORE 1166561.428
AT ITER 5145 NEW BEST:: SOT 71418956 SOS 63522428 HAS SOPS 29918188 HAS SOUS 3149177 HAS SOUPS 1102759 WITH SCORE 1166281.428
AT ITER 5154 NEW BEST:: SOT 71418806 SOS 63522828 HAS SOPS 29918088 HAS SOUS 3149152 HAS SOUPS 1102734 WITH SCORE 1166256.828
AT ITER 5172 NEW BEST:: SOT 71418498 SOS 63522520 HAS SOPS 29917780 HAS SOUS 3148887 HAS SOUPS 1102469 WITH SCORE 1165991.52
AT ITER 5181 NEW BEST:: SOT 71418498 SOS 63522520 HAS SOPS 29917780 HAS SOUS 3148607 HAS SOUPS 1102189 WITH SCORE 1165711.52
AT ITER 5204 NEW BEST:: SOT 71416386 SOS 63534718 HAS SOPS 29919898 HAS SOUS 3147185 HAS SOUPS 1100767 WITH SCORE 1164301.718
AT ITER 5206 NEW BEST:: SOT 71416366 SOS 63534678 HAS SOPS 29920058 HAS SOUS 3147145 HAS SOUPS 1100747 WITH SCORE 1164281.678
AT ITER 5329 NEW BEST:: SOT 71416366 SOS 63534678 HAS SOPS 29920058 HAS SOUS 3146915 HAS SOUPS 1100517 WITH SCORE 1164051.678
AT ITER 5332 NEW BEST:: SOT 71416080 SOS 63534106 HAS SOPS 29920916 HAS SOUS 3146343 HAS SOUPS 1100088 WITH SCORE 1163622.106
AT ITER 5374 NEW BEST:: SOT 71401374 SOS 63507252 HAS SOPS 29911266 HAS SOUS 3145642 HAS SOUPS 1099938 WITH SCORE 1163445.252
AT ITER 5390 NEW BEST:: SOT 71398449 SOS 63515772 HAS SOPS 29910486 HAS SOUS 3143085 HAS SOUPS 1097381 WITH SCORE 1160896.772
AT ITER 5427 NEW BEST:: SOT 71395782 SOS 63533028 HAS SOPS 29915542 HAS SOUS 3141432 HAS SOUPS 1095728 WITH SCORE 1159261.028
AT ITER 5452 NEW BEST:: SOT 71394284 SOS 63547574 HAS SOPS 29922508 HAS SOUS 3140302 HAS SOUPS 1094598 WITH SCORE 1158145.574
AT ITER 5469 NEW BEST:: SOT 71394284 SOS 63547574 HAS SOPS 29922508 HAS SOUS 3140262 HAS SOUPS 1094558 WITH SCORE 1158105.574
AT ITER 5569 NEW BEST:: SOT 71394217 SOS 63547440 HAS SOPS 29922374 HAS SOUS 3140128 HAS SOUPS 1094424 WITH SCORE 1157971.44
AT ITER 5577 NEW BEST:: SOT 71394217 SOS 63547440 HAS SOPS 29922374 HAS SOUS 3139848 HAS SOUPS 1094144 WITH SCORE 1157691.44
AT ITER 5584 NEW BEST:: SOT 71394217 SOS 63545900 HAS SOPS 29922374 HAS SOUS 3139643 HAS SOUPS 1094093 WITH SCORE 1157638.9
AT ITER 5588 NEW BEST:: SOT 71394217 SOS 63545900 HAS SOPS 29922374 HAS SOUS 3139363 HAS SOUPS 1093813 WITH SCORE 1157358.9
AT ITER 5608 NEW BEST:: SOT 71392622 SOS 63588660 HAS SOPS 29936484 HAS SOUS 3138725 HAS SOUPS 1092220 WITH SCORE 1155808.66
AT ITER 5639 NEW BEST:: SOT 71392116 SOS 63597614 HAS SOPS 29936528 HAS SOUS 3138813 HAS SOUPS 1092011 WITH SCORE 1155608.614
AT ITER 5666 NEW BEST:: SOT 71383329 SOS 63580266 HAS SOPS 29930435 HAS SOUS 3138267 HAS SOUPS 1091813 WITH SCORE 1155393.266
AT ITER 5676 NEW BEST:: SOT 71383329 SOS 63580266 HAS SOPS 29930435 HAS SOUS 3137987 HAS SOUPS 1091533 WITH SCORE 1155113.266
AT ITER 5728 NEW BEST:: SOT 71382918 SOS 63582594 HAS SOPS 29932763 HAS SOUS 3137236 HAS SOUPS 1090782 WITH SCORE 1154364.594
AT ITER 5744 NEW BEST:: SOT 71382918 SOS 63582594 HAS SOPS 29932763 HAS SOUS 3136956 HAS SOUPS 1090502 WITH SCORE 1154084.594
AT ITER 5748 NEW BEST:: SOT 71382649 SOS 63580988 HAS SOPS 29931157 HAS SOUS 3136814 HAS SOUPS 1090360 WITH SCORE 1153940.988
AT ITER 5774 NEW BEST:: SOT 71381524 SOS 63586666 HAS SOPS 29929605 HAS SOUS 3136382 HAS SOUPS 1089687 WITH SCORE 1153273.666
AT ITER 5830 NEW BEST:: SOT 71381308 SOS 63585574 HAS SOPS 29928513 HAS SOUS 3136166 HAS SOUPS 1089471 WITH SCORE 1153056.574
AT ITER 5836 NEW BEST:: SOT 71381116 SOS 63580920 HAS SOPS 29928129 HAS SOUS 3135639 HAS SOUPS 1089371 WITH SCORE 1152951.92
AT ITER 5845 NEW BEST:: SOT 71381116 SOS 63580920 HAS SOPS 29928129 HAS SOUS 3135601 HAS SOUPS 1089333 WITH SCORE 1152913.92
AT ITER 5891 NEW BEST:: SOT 71381116 SOS 63580920 HAS SOPS 29928129 HAS SOUS 3135595 HAS SOUPS 1089327 WITH SCORE 1152907.92
AT ITER 5951 NEW BEST:: SOT 71381116 SOS 63580920 HAS SOPS 29928129 HAS SOUS 3135315 HAS SOUPS 1089047 WITH SCORE 1152627.92
AT ITER 5964 NEW BEST:: SOT 71381132 SOS 63581882 HAS SOPS 29927541 HAS SOUS 3135234 HAS SOUPS 1088811 WITH SCORE 1152392.882
AT ITER 6001 NEW BEST:: SOT 71381132 SOS 63581882 HAS SOPS 29927541 HAS SOUS 3134954 HAS SOUPS 1088531 WITH SCORE 1152112.882
AT ITER 6013 NEW BEST:: SOT 71379920 SOS 63575762 HAS SOPS 29927581 HAS SOUS 3134300 HAS SOUPS 1088493 WITH SCORE 1152068.762
AT ITER 6024 NEW BEST:: SOT 71379790 SOS 63576282 HAS SOPS 29926801 HAS SOUS 3134300 HAS SOUPS 1088363 WITH SCORE 1151939.282
AT ITER 6033 NEW BEST:: SOT 71379790 SOS 63576282 HAS SOPS 29926801 HAS SOUS 3134076 HAS SOUPS 1088139 WITH SCORE 1151715.282
AT ITER 6072 NEW BEST:: SOT 71379790 SOS 63576282 HAS SOPS 29926801 HAS SOUS 3133796 HAS SOUPS 1087859 WITH SCORE 1151435.282
AT ITER 6095 NEW BEST:: SOT 71379460 SOS 63575622 HAS SOPS 29922841 HAS SOUS 3133769 HAS SOUPS 1087502 WITH SCORE 1151077.622
AT ITER 6101 NEW BEST:: SOT 71379460 SOS 63575622 HAS SOPS 29922841 HAS SOUS 3133489 HAS SOUPS 1087222 WITH SCORE 1150797.622
AT ITER 6111 NEW BEST:: SOT 71375446 SOS 63568370 HAS SOPS 29917527 HAS SOUS 3133379 HAS SOUPS 1087112 WITH SCORE 1150680.37
AT ITER 6112 NEW BEST:: SOT 71375446 SOS 63568370 HAS SOPS 29917527 HAS SOUS 3133163 HAS SOUPS 1086896 WITH SCORE 1150464.37
AT ITER 6129 NEW BEST:: SOT 71375446 SOS 63568370 HAS SOPS 29917527 HAS SOUS 3133137 HAS SOUPS 1086870 WITH SCORE 1150438.37
AT ITER 6171 NEW BEST:: SOT 71375446 SOS 63568370 HAS SOPS 29917527 HAS SOUS 3132857 HAS SOUPS 1086590 WITH SCORE 1150158.37
AT ITER 6194 NEW BEST:: SOT 71375086 SOS 63569750 HAS SOPS 29918907 HAS SOUS 3132347 HAS SOUPS 1086080 WITH SCORE 1149649.75
AT ITER 6276 NEW BEST:: SOT 71375086 SOS 63569750 HAS SOPS 29918907 HAS SOUS 3132067 HAS SOUPS 1085800 WITH SCORE 1149369.75
AT ITER 6292 NEW BEST:: SOT 71374978 SOS 63570452 HAS SOPS 29918799 HAS SOUS 3132013 HAS SOUPS 1085719 WITH SCORE 1149289.452
AT ITER 6299 NEW BEST:: SOT 71374638 SOS 63569364 HAS SOPS 29918391 HAS SOUS 3131809 HAS SOUPS 1085583 WITH SCORE 1149152.364
AT ITER 6301 NEW BEST:: SOT 71374638 SOS 63569946 HAS SOPS 29918003 HAS SOUS 3131712 HAS SOUPS 1085389 WITH SCORE 1148958.946
AT ITER 6327 NEW BEST:: SOT 71374638 SOS 63569946 HAS SOPS 29918003 HAS SOUS 3131432 HAS SOUPS 1085109 WITH SCORE 1148678.946
AT ITER 6362 NEW BEST:: SOT 71374534 SOS 63569622 HAS SOPS 29917679 HAS SOUS 3131419 HAS SOUPS 1085096 WITH SCORE 1148665.622
AT ITER 6400 NEW BEST:: SOT 71357656 SOS 63538090 HAS SOPS 29907105 HAS SOUS 3129995 HAS SOUPS 1084910 WITH SCORE 1148448.09
AT ITER 6405 NEW BEST:: SOT 71356408 SOS 63540186 HAS SOPS 29905921 HAS SOUS 3129207 HAS SOUPS 1084122 WITH SCORE 1147662.186
AT ITER 6407 NEW BEST:: SOT 71356408 SOS 63540186 HAS SOPS 29905921 HAS SOUS 3129137 HAS SOUPS 1084052 WITH SCORE 1147592.186
AT ITER 6428 NEW BEST:: SOT 71356408 SOS 63540186 HAS SOPS 29905921 HAS SOUS 3128857 HAS SOUPS 1083772 WITH SCORE 1147312.186
AT ITER 6430 NEW BEST:: SOT 71356408 SOS 63540186 HAS SOPS 29905921 HAS SOUS 3128807 HAS SOUPS 1083722 WITH SCORE 1147262.186
AT ITER 6437 NEW BEST:: SOT 71353206 SOS 63577162 HAS SOPS 29923597 HAS SOUS 3127552 HAS SOUPS 1082467 WITH SCORE 1146044.162
AT ITER 6468 NEW BEST:: SOT 71353206 SOS 63577162 HAS SOPS 29923597 HAS SOUS 3127276 HAS SOUPS 1082191 WITH SCORE 1145768.162
AT ITER 6482 NEW BEST:: SOT 71353018 SOS 63576786 HAS SOPS 29920081 HAS SOUS 3127402 HAS SOUPS 1082003 WITH SCORE 1145579.786
AT ITER 6489 NEW BEST:: SOT 71351000 SOS 63592430 HAS SOPS 29918475 HAS SOUS 3127939 HAS SOUPS 1081965 WITH SCORE 1145557.43
AT ITER 6505 NEW BEST:: SOT 71351000 SOS 63591830 HAS SOPS 29918475 HAS SOUS 3127879 HAS SOUPS 1081965 WITH SCORE 1145556.83
AT ITER 6530 NEW BEST:: SOT 71351000 SOS 63589850 HAS SOPS 29918475 HAS SOUS 3127483 HAS SOUPS 1081767 WITH SCORE 1145356.85
AT ITER 6563 NEW BEST:: SOT 71351000 SOS 63589850 HAS SOPS 29918475 HAS SOUS 3127017 HAS SOUPS 1081301 WITH SCORE 1144890.85
AT ITER 6578 NEW BEST:: SOT 71350890 SOS 63589410 HAS SOPS 29918035 HAS SOUS 3126797 HAS SOUPS 1081081 WITH SCORE 1144670.41
AT ITER 6589 NEW BEST:: SOT 71349161 SOS 63607790 HAS SOPS 29924695 HAS SOUS 3126572 HAS SOUPS 1080856 WITH SCORE 1144463.79
AT ITER 6590 NEW BEST:: SOT 71349161 SOS 63607790 HAS SOPS 29924695 HAS SOUS 3126292 HAS SOUPS 1080576 WITH SCORE 1144183.79
AT ITER 6614 NEW BEST:: SOT 71349161 SOS 63607790 HAS SOPS 29924695 HAS SOUS 3126146 HAS SOUPS 1080430 WITH SCORE 1144037.79
AT ITER 6631 NEW BEST:: SOT 71346728 SOS 63630814 HAS SOPS 29937208 HAS SOUS 3125253 HAS SOUPS 1080068 WITH SCORE 1143698.814
AT ITER 6683 NEW BEST:: SOT 71349985 SOS 63637303 HAS SOPS 29939063 HAS SOUS 3124928 HAS SOUPS 1079561 WITH SCORE 1143198.303
AT ITER 6737 NEW BEST:: SOT 71348136 SOS 63649149 HAS SOPS 29936869 HAS SOUS 3124465 HAS SOUPS 1078630 WITH SCORE 1142279.149
AT ITER 6741 NEW BEST:: SOT 71345228 SOS 63659409 HAS SOPS 29933569 HAS SOUS 3123616 HAS SOUPS 1077329 WITH SCORE 1140988.409
AT ITER 6747 NEW BEST:: SOT 71345228 SOS 63659409 HAS SOPS 29933569 HAS SOUS 3123336 HAS SOUPS 1077049 WITH SCORE 1140708.409
AT ITER 6760 NEW BEST:: SOT 71344037 SOS 63662543 HAS SOPS 29930793 HAS SOUS 3122839 HAS SOUPS 1076355 WITH SCORE 1140017.543
AT ITER 6804 NEW BEST:: SOT 71344037 SOS 63662543 HAS SOPS 29930793 HAS SOUS 3122651 HAS SOUPS 1076167 WITH SCORE 1139829.543
AT ITER 6818 NEW BEST:: SOT 71344037 SOS 63662543 HAS SOPS 29930793 HAS SOUS 3122637 HAS SOUPS 1076153 WITH SCORE 1139815.543
AT ITER 6831 NEW BEST:: SOT 71339931 SOS 63687201 HAS SOPS 29938451 HAS SOUS 3119750 HAS SOUPS 1073266 WITH SCORE 1136953.201
AT ITER 6864 NEW BEST:: SOT 71339931 SOS 63687201 HAS SOPS 29938451 HAS SOUS 3119618 HAS SOUPS 1073134 WITH SCORE 1136821.201
AT ITER 6866 NEW BEST:: SOT 71339931 SOS 63687201 HAS SOPS 29938451 HAS SOUS 3119532 HAS SOUPS 1073048 WITH SCORE 1136735.201
AT ITER 6953 NEW BEST:: SOT 71351044 SOS 63708098 HAS SOPS 29945324 HAS SOUS 3119184 HAS SOUPS 1072217 WITH SCORE 1135925.098
AT ITER 6994 NEW BEST:: SOT 71351044 SOS 63706368 HAS SOPS 29943594 HAS SOUS 3119184 HAS SOUPS 1072217 WITH SCORE 1135923.368
AT ITER 7028 NEW BEST:: SOT 71351044 SOS 63706368 HAS SOPS 29943594 HAS SOUS 3118904 HAS SOUPS 1071937 WITH SCORE 1135643.368
AT ITER 7040 NEW BEST:: SOT 71349810 SOS 63702100 HAS SOPS 29942326 HAS SOUS 3118270 HAS SOUPS 1071603 WITH SCORE 1135305.1
AT ITER 7068 NEW BEST:: SOT 71349614 SOS 63701708 HAS SOPS 29947394 HAS SOUS 3117618 HAS SOUPS 1071497 WITH SCORE 1135198.708
AT ITER 7100 NEW BEST:: SOT 71347893 SOS 63708412 HAS SOPS 29946088 HAS SOUS 3116464 HAS SOUPS 1070076 WITH SCORE 1133784.412
AT ITER 7115 NEW BEST:: SOT 71347777 SOS 63707020 HAS SOPS 29944696 HAS SOUS 3116348 HAS SOUPS 1069960 WITH SCORE 1133667.02
AT ITER 7123 NEW BEST:: SOT 71347179 SOS 63705824 HAS SOPS 29943500 HAS SOUS 3116014 HAS SOUPS 1069626 WITH SCORE 1133331.824
AT ITER 7156 NEW BEST:: SOT 71347072 SOS 63704540 HAS SOPS 29942216 HAS SOUS 3115800 HAS SOUPS 1069412 WITH SCORE 1133116.54
AT ITER 7163 NEW BEST:: SOT 71347072 SOS 63704540 HAS SOPS 29942216 HAS SOUS 3115794 HAS SOUPS 1069406 WITH SCORE 1133110.54
AT ITER 7181 NEW BEST:: SOT 71347072 SOS 63701130 HAS SOPS 29942216 HAS SOUS 3115453 HAS SOUPS 1069406 WITH SCORE 1133107.13
AT ITER 7208 NEW BEST:: SOT 71353522 SOS 63740100 HAS SOPS 29955128 HAS SOUS 3114961 HAS SOUPS 1068286 WITH SCORE 1132026.1
AT ITER 7225 NEW BEST:: SOT 71353678 SOS 63740386 HAS SOPS 29955206 HAS SOUS 3114948 HAS SOUPS 1068260 WITH SCORE 1132000.386
AT ITER 7282 NEW BEST:: SOT 71350932 SOS 63761640 HAS SOPS 29961820 HAS SOUS 3113438 HAS SOUPS 1066750 WITH SCORE 1130511.64
AT ITER 7409 NEW BEST:: SOT 71350758 SOS 63647808 HAS SOPS 29963016 HAS SOUS 3112330 HAS SOUPS 1066414 WITH SCORE 1130061.808
AT ITER 7412 NEW BEST:: SOT 71350023 SOS 63642308 HAS SOPS 29961546 HAS SOUS 3110859 HAS SOUPS 1065346 WITH SCORE 1128988.308
AT ITER 7446 NEW BEST:: SOT 71347062 SOS 63652970 HAS SOPS 29959518 HAS SOUS 3110064 HAS SOUPS 1064128 WITH SCORE 1127780.97
AT ITER 7509 NEW BEST:: SOT 71343959 SOS 63679098 HAS SOPS 29970486 HAS SOUS 3107862 HAS SOUPS 1061926 WITH SCORE 1125605.098
AT ITER 7530 NEW BEST:: SOT 71343959 SOS 63679098 HAS SOPS 29970486 HAS SOUS 3107582 HAS SOUPS 1061646 WITH SCORE 1125325.098
AT ITER 7567 NEW BEST:: SOT 71343959 SOS 63679098 HAS SOPS 29970486 HAS SOUS 3107406 HAS SOUPS 1061470 WITH SCORE 1125149.098
AT ITER 7586 NEW BEST:: SOT 71343036 SOS 63677252 HAS SOPS 29968640 HAS SOUS 3105560 HAS SOUPS 1059624 WITH SCORE 1123301.252
AT ITER 7599 NEW BEST:: SOT 71343036 SOS 63677252 HAS SOPS 29968640 HAS SOUS 3105542 HAS SOUPS 1059606 WITH SCORE 1123283.252
AT ITER 7611 NEW BEST:: SOT 71343036 SOS 63677252 HAS SOPS 29968640 HAS SOUS 3105262 HAS SOUPS 1059326 WITH SCORE 1123003.252
AT ITER 7627 NEW BEST:: SOT 71340845 SOS 63693654 HAS SOPS 29972052 HAS SOUS 3104894 HAS SOUPS 1058525 WITH SCORE 1122218.654
AT ITER 7641 NEW BEST:: SOT 71340845 SOS 63693654 HAS SOPS 29972052 HAS SOUS 3104744 HAS SOUPS 1058375 WITH SCORE 1122068.654
AT ITER 7649 NEW BEST:: SOT 71325445 SOS 63664952 HAS SOPS 29962416 HAS SOUS 3103429 HAS SOUPS 1058191 WITH SCORE 1121855.952
AT ITER 7650 NEW BEST:: SOT 71325234 SOS 63664530 HAS SOPS 29959884 HAS SOUS 3103429 HAS SOUPS 1057980 WITH SCORE 1121644.53
AT ITER 7659 NEW BEST:: SOT 71325234 SOS 63663310 HAS SOPS 29960244 HAS SOUS 3103271 HAS SOUPS 1057980 WITH SCORE 1121643.31
AT ITER 7683 NEW BEST:: SOT 71324719 SOS 63674808 HAS SOPS 29966522 HAS SOUS 3103017 HAS SOUPS 1057726 WITH SCORE 1121400.808
AT ITER 7698 NEW BEST:: SOT 71324719 SOS 63674808 HAS SOPS 29966522 HAS SOUS 3102737 HAS SOUPS 1057446 WITH SCORE 1121120.808
AT ITER 7709 NEW BEST:: SOT 71324497 SOS 63674364 HAS SOPS 29966078 HAS SOUS 3102332 HAS SOUPS 1057041 WITH SCORE 1120715.364
AT ITER 7731 NEW BEST:: SOT 71324497 SOS 63674364 HAS SOPS 29966078 HAS SOUS 3102276 HAS SOUPS 1056985 WITH SCORE 1120659.364
AT ITER 7815 NEW BEST:: SOT 71324458 SOS 63674286 HAS SOPS 29963470 HAS SOUS 3102490 HAS SOUPS 1056946 WITH SCORE 1120620.286
AT ITER 7834 NEW BEST:: SOT 71323278 SOS 63672870 HAS SOPS 29962054 HAS SOUS 3102254 HAS SOUPS 1056710 WITH SCORE 1120382.87
AT ITER 7895 NEW BEST:: SOT 71323278 SOS 63672870 HAS SOPS 29962054 HAS SOUS 3102106 HAS SOUPS 1056562 WITH SCORE 1120234.87
AT ITER 7920 NEW BEST:: SOT 71322682 SOS 63670784 HAS SOPS 29959968 HAS SOUS 3102106 HAS SOUPS 1056562 WITH SCORE 1120232.784
AT ITER 7928 NEW BEST:: SOT 71322682 SOS 63670784 HAS SOPS 29959968 HAS SOUS 3101858 HAS SOUPS 1056314 WITH SCORE 1119984.784
AT ITER 7978 NEW BEST:: SOT 71322645 SOS 63670710 HAS SOPS 29961834 HAS SOUS 3101627 HAS SOUPS 1056277 WITH SCORE 1119947.71
AT ITER 8029 NEW BEST:: SOT 71322085 SOS 63672310 HAS SOPS 29961034 HAS SOUS 3101307 HAS SOUPS 1055877 WITH SCORE 1119549.31
AT ITER 8045 NEW BEST:: SOT 71322046 SOS 63672856 HAS SOPS 29961190 HAS SOUS 3101307 HAS SOUPS 1055864 WITH SCORE 1119536.856
AT ITER 8048 NEW BEST:: SOT 71322046 SOS 63672856 HAS SOPS 29961190 HAS SOUS 3101293 HAS SOUPS 1055850 WITH SCORE 1119522.856
AT ITER 8049 NEW BEST:: SOT 71320081 SOS 63678026 HAS SOPS 29959860 HAS SOUS 3099888 HAS SOUPS 1054445 WITH SCORE 1118123.026
AT ITER 8055 NEW BEST:: SOT 71320037 SOS 63677938 HAS SOPS 29959772 HAS SOUS 3099800 HAS SOUPS 1054357 WITH SCORE 1118034.938
AT ITER 8083 NEW BEST:: SOT 71319169 SOS 63674900 HAS SOPS 29958904 HAS SOUS 3099425 HAS SOUPS 1054199 WITH SCORE 1117873.9
AT ITER 8103 NEW BEST:: SOT 71319169 SOS 63674900 HAS SOPS 29958904 HAS SOUS 3099225 HAS SOUPS 1053999 WITH SCORE 1117673.9
AT ITER 8136 NEW BEST:: SOT 71319080 SOS 63674722 HAS SOPS 29961276 HAS SOUS 3098792 HAS SOUPS 1053821 WITH SCORE 1117495.722
AT ITER 8144 NEW BEST:: SOT 71319080 SOS 63674722 HAS SOPS 29961276 HAS SOUS 3098512 HAS SOUPS 1053541 WITH SCORE 1117215.722
AT ITER 8151 NEW BEST:: SOT 71318925 SOS 63674412 HAS SOPS 29957366 HAS SOUS 3098489 HAS SOUPS 1053158 WITH SCORE 1116832.412
AT ITER 8161 NEW BEST:: SOT 71318925 SOS 63674412 HAS SOPS 29957366 HAS SOUS 3098443 HAS SOUPS 1053112 WITH SCORE 1116786.412
AT ITER 8185 NEW BEST:: SOT 71318925 SOS 63674412 HAS SOPS 29957366 HAS SOUS 3098305 HAS SOUPS 1052974 WITH SCORE 1116648.412
AT ITER 8243 NEW BEST:: SOT 71318758 SOS 63674078 HAS SOPS 29957032 HAS SOUS 3098138 HAS SOUPS 1052807 WITH SCORE 1116481.078
AT ITER 8247 NEW BEST:: SOT 71318758 SOS 63674078 HAS SOPS 29957032 HAS SOUS 3098124 HAS SOUPS 1052793 WITH SCORE 1116467.078
AT ITER 8255 NEW BEST:: SOT 71318758 SOS 63673418 HAS SOPS 29956372 HAS SOUS 3098124 HAS SOUPS 1052793 WITH SCORE 1116466.418
AT ITER 8295 NEW BEST:: SOT 71318758 SOS 63673418 HAS SOPS 29956372 HAS SOUS 3097844 HAS SOUPS 1052513 WITH SCORE 1116186.418
AT ITER 8322 NEW BEST:: SOT 71318758 SOS 63673418 HAS SOPS 29956372 HAS SOUS 3097750 HAS SOUPS 1052419 WITH SCORE 1116092.418
AT ITER 8326 NEW BEST:: SOT 71318730 SOS 63673362 HAS SOPS 29956316 HAS SOUS 3097730 HAS SOUPS 1052399 WITH SCORE 1116072.362
AT ITER 8351 NEW BEST:: SOT 71318412 SOS 63672726 HAS SOPS 29955680 HAS SOUS 3097412 HAS SOUPS 1052081 WITH SCORE 1115753.726
AT ITER 8378 NEW BEST:: SOT 71316646 SOS 63665474 HAS SOPS 29954628 HAS SOUS 3096651 HAS SOUPS 1051940 WITH SCORE 1115605.474
AT ITER 8456 NEW BEST:: SOT 71316646 SOS 63665474 HAS SOPS 29954628 HAS SOUS 3096601 HAS SOUPS 1051890 WITH SCORE 1115555.474
AT ITER 8459 NEW BEST:: SOT 71316795 SOS 63665772 HAS SOPS 29954926 HAS SOUS 3096551 HAS SOUPS 1051840 WITH SCORE 1115505.772
AT ITER 8495 NEW BEST:: SOT 71315679 SOS 63677946 HAS SOPS 29955940 HAS SOUS 3095843 HAS SOUPS 1050760 WITH SCORE 1114437.946
AT ITER 8506 NEW BEST:: SOT 71315679 SOS 63677946 HAS SOPS 29955940 HAS SOUS 3095795 HAS SOUPS 1050712 WITH SCORE 1114389.946
AT ITER 8513 NEW BEST:: SOT 71314710 SOS 63676846 HAS SOPS 29954840 HAS SOUS 3095189 HAS SOUPS 1050106 WITH SCORE 1113782.846
AT ITER 8533 NEW BEST:: SOT 71314710 SOS 63676846 HAS SOPS 29954840 HAS SOUS 3094921 HAS SOUPS 1049838 WITH SCORE 1113514.846
AT ITER 8549 NEW BEST:: SOT 71314710 SOS 63676660 HAS SOPS 29954654 HAS SOUS 3094921 HAS SOUPS 1049838 WITH SCORE 1113514.66
AT ITER 8552 NEW BEST:: SOT 71313484 SOS 63672864 HAS SOPS 29953098 HAS SOUS 3094037 HAS SOUPS 1049178 WITH SCORE 1112850.864
AT ITER 8568 NEW BEST:: SOT 71313143 SOS 63675260 HAS SOPS 29953064 HAS SOUS 3093858 HAS SOUPS 1048918 WITH SCORE 1112593.26
AT ITER 8581 NEW BEST:: SOT 71310685 SOS 63683042 HAS SOPS 29951066 HAS SOUS 3092735 HAS SOUPS 1047469 WITH SCORE 1111152.042
AT ITER 8584 NEW BEST:: SOT 71310685 SOS 63683042 HAS SOPS 29951066 HAS SOUS 3092481 HAS SOUPS 1047215 WITH SCORE 1110898.042
AT ITER 8595 NEW BEST:: SOT 71310079 SOS 63688698 HAS SOPS 29950662 HAS SOUS 3092077 HAS SOUPS 1046609 WITH SCORE 1110297.698
AT ITER 8599 NEW BEST:: SOT 71308621 SOS 63683898 HAS SOPS 29949002 HAS SOUS 3091247 HAS SOUPS 1046093 WITH SCORE 1109776.898
AT ITER 8678 NEW BEST:: SOT 71308621 SOS 63683898 HAS SOPS 29949002 HAS SOUS 3090967 HAS SOUPS 1045813 WITH SCORE 1109496.898
AT ITER 8696 NEW BEST:: SOT 71307321 SOS 63703380 HAS SOPS 29958804 HAS SOUS 3090094 HAS SOUPS 1044940 WITH SCORE 1108643.38
AT ITER 8709 NEW BEST:: SOT 71307101 SOS 63702610 HAS SOPS 29958034 HAS SOUS 3090094 HAS SOUPS 1044940 WITH SCORE 1108642.61
AT ITER 8711 NEW BEST:: SOT 71306542 SOS 63701535 HAS SOPS 29957217 HAS SOUS 3090051 HAS SOUPS 1044897 WITH SCORE 1108598.535
AT ITER 8717 NEW BEST:: SOT 71306333 SOS 63701117 HAS SOPS 29958889 HAS SOUS 3089633 HAS SOUPS 1044688 WITH SCORE 1108389.117
AT ITER 8741 NEW BEST:: SOT 71304083 SOS 63694067 HAS SOPS 29956089 HAS SOUS 3087808 HAS SOUPS 1043288 WITH SCORE 1106982.067
AT ITER 8751 NEW BEST:: SOT 71303667 SOS 63693235 HAS SOPS 29953177 HAS SOUS 3087184 HAS SOUPS 1042456 WITH SCORE 1106149.235
AT ITER 8752 NEW BEST:: SOT 71303373 SOS 63692647 HAS SOPS 29952589 HAS SOUS 3086743 HAS SOUPS 1042015 WITH SCORE 1105707.647
AT ITER 8764 NEW BEST:: SOT 71303373 SOS 63692647 HAS SOPS 29952589 HAS SOUS 3086631 HAS SOUPS 1041903 WITH SCORE 1105595.647
AT ITER 8767 NEW BEST:: SOT 71302559 SOS 63698933 HAS SOPS 29955115 HAS SOUS 3086044 HAS SOUPS 1041316 WITH SCORE 1105014.933
AT ITER 8790 NEW BEST:: SOT 71298780 SOS 63686821 HAS SOPS 29950593 HAS SOUS 3083411 HAS SOUPS 1039442 WITH SCORE 1103128.821
AT ITER 8793 NEW BEST:: SOT 71298780 SOS 63686821 HAS SOPS 29950593 HAS SOUS 3083131 HAS SOUPS 1039162 WITH SCORE 1102848.821
AT ITER 8838 NEW BEST:: SOT 71298920 SOS 63686171 HAS SOPS 29949943 HAS SOUS 3082862 HAS SOUPS 1038893 WITH SCORE 1102579.171
AT ITER 8880 NEW BEST:: SOT 71299249 SOS 63674327 HAS SOPS 29944679 HAS SOUS 3082862 HAS SOUPS 1038893 WITH SCORE 1102567.327
AT ITER 8912 NEW BEST:: SOT 71290970 SOS 63658340 HAS SOPS 29938846 HAS SOUS 3082326 HAS SOUPS 1038488 WITH SCORE 1102146.34
AT ITER 8921 NEW BEST:: SOT 71290456 SOS 63657312 HAS SOPS 29940388 HAS SOUS 3081298 HAS SOUPS 1037717 WITH SCORE 1101374.312
AT ITER 8958 NEW BEST:: SOT 71290246 SOS 63656332 HAS SOPS 29941508 HAS SOUS 3081009 HAS SOUPS 1037638 WITH SCORE 1101294.332
AT ITER 8993 NEW BEST:: SOT 71288729 SOS 63699731 HAS SOPS 29956737 HAS SOUS 3080768 HAS SOUPS 1036458 WITH SCORE 1100157.731
AT ITER 9086 NEW BEST:: SOT 71285950 SOS 63717859 HAS SOPS 29963625 HAS SOUS 3080153 HAS SOUPS 1035843 WITH SCORE 1099560.859
AT ITER 9104 NEW BEST:: SOT 71285950 SOS 63717859 HAS SOPS 29963625 HAS SOUS 3079873 HAS SOUPS 1035563 WITH SCORE 1099280.859
AT ITER 9125 NEW BEST:: SOT 71285675 SOS 63718877 HAS SOPS 29962963 HAS SOUS 3079654 HAS SOUPS 1035288 WITH SCORE 1099006.877
AT ITER 9140 NEW BEST:: SOT 71285675 SOS 63718877 HAS SOPS 29962963 HAS SOUS 3079596 HAS SOUPS 1035230 WITH SCORE 1098948.877
AT ITER 9176 NEW BEST:: SOT 71269864 SOS 63689392 HAS SOPS 29952816 HAS SOUS 3078591 HAS SOUPS 1035237 WITH SCORE 1098926.392
AT ITER 9184 NEW BEST:: SOT 71269284 SOS 63686114 HAS SOPS 29953068 HAS SOUS 3078066 HAS SOUPS 1035065 WITH SCORE 1098751.114
AT ITER 9229 NEW BEST:: SOT 71260969 SOS 63670465 HAS SOPS 29947819 HAS SOUS 3077365 HAS SOUPS 1035014 WITH SCORE 1098684.465
AT ITER 9245 NEW BEST:: SOT 71258941 SOS 63676355 HAS SOPS 29948569 HAS SOUS 3076094 HAS SOUPS 1033743 WITH SCORE 1097419.355
AT ITER 9263 NEW BEST:: SOT 71258941 SOS 63676355 HAS SOPS 29948569 HAS SOUS 3075896 HAS SOUPS 1033545 WITH SCORE 1097221.355
AT ITER 9264 NEW BEST:: SOT 71258254 SOS 63670121 HAS SOPS 29947195 HAS SOUS 3074414 HAS SOUPS 1032549 WITH SCORE 1096219.121
AT ITER 9271 NEW BEST:: SOT 71258254 SOS 63670121 HAS SOPS 29947195 HAS SOUS 3074344 HAS SOUPS 1032479 WITH SCORE 1096149.121
AT ITER 9275 NEW BEST:: SOT 71258254 SOS 63670121 HAS SOPS 29947195 HAS SOUS 3074140 HAS SOUPS 1032275 WITH SCORE 1095945.121
AT ITER 9301 NEW BEST:: SOT 71258085 SOS 63669783 HAS SOPS 29945167 HAS SOUS 3073971 HAS SOUPS 1031937 WITH SCORE 1095606.783
AT ITER 9306 NEW BEST:: SOT 71257973 SOS 63669927 HAS SOPS 29945311 HAS SOUS 3073898 HAS SOUPS 1031864 WITH SCORE 1095533.927
AT ITER 9322 NEW BEST:: SOT 71258090 SOS 63663825 HAS SOPS 29941849 HAS SOUS 3073883 HAS SOUPS 1031849 WITH SCORE 1095512.825
AT ITER 9422 NEW BEST:: SOT 71258052 SOS 63662789 HAS SOPS 29941773 HAS SOUS 3073713 HAS SOUPS 1031775 WITH SCORE 1095437.789
AT ITER 9429 NEW BEST:: SOT 71257855 SOS 63659605 HAS SOPS 29938589 HAS SOUS 3073610 HAS SOUPS 1031672 WITH SCORE 1095331.605
AT ITER 9439 NEW BEST:: SOT 71257855 SOS 63659605 HAS SOPS 29938589 HAS SOUS 3073330 HAS SOUPS 1031392 WITH SCORE 1095051.605
AT ITER 9462 NEW BEST:: SOT 71256062 SOS 63680525 HAS SOPS 29940549 HAS SOUS 3073517 HAS SOUPS 1030947 WITH SCORE 1094627.525
AT ITER 9497 NEW BEST:: SOT 71255389 SOS 63689793 HAS SOPS 29944327 HAS SOUS 3073393 HAS SOUPS 1030640 WITH SCORE 1094329.793
AT ITER 9506 NEW BEST:: SOT 71255389 SOS 63689793 HAS SOPS 29944327 HAS SOUS 3073113 HAS SOUPS 1030360 WITH SCORE 1094049.793
AT ITER 9515 NEW BEST:: SOT 71255137 SOS 63690657 HAS SOPS 29944111 HAS SOUS 3073041 HAS SOUPS 1030252 WITH SCORE 1093942.657
AT ITER 9526 NEW BEST:: SOT 71241567 SOS 63665325 HAS SOPS 29934767 HAS SOUS 3072261 HAS SOUPS 1030144 WITH SCORE 1093809.325
AT ITER 9529 NEW BEST:: SOT 71241531 SOS 63665253 HAS SOPS 29928305 HAS SOUS 3072871 HAS SOUPS 1030115 WITH SCORE 1093780.253
AT ITER 9536 NEW BEST:: SOT 71241643 SOS 63666793 HAS SOPS 29929061 HAS SOUS 3072815 HAS SOUPS 1030059 WITH SCORE 1093725.793
AT ITER 9548 NEW BEST:: SOT 71241643 SOS 63665995 HAS SOPS 29929593 HAS SOUS 3072682 HAS SOUPS 1030059 WITH SCORE 1093724.995
AT ITER 9549 NEW BEST:: SOT 71241569 SOS 63665847 HAS SOPS 29929445 HAS SOUS 3072608 HAS SOUPS 1029985 WITH SCORE 1093650.847
AT ITER 9551 NEW BEST:: SOT 71241273 SOS 63665255 HAS SOPS 29927373 HAS SOUS 3072241 HAS SOUPS 1029470 WITH SCORE 1093135.255
AT ITER 9556 NEW BEST:: SOT 71241273 SOS 63665255 HAS SOPS 29927373 HAS SOUS 3072227 HAS SOUPS 1029456 WITH SCORE 1093121.255
AT ITER 9573 NEW BEST:: SOT 71240980 SOS 63664669 HAS SOPS 29926787 HAS SOUS 3071977 HAS SOUPS 1029206 WITH SCORE 1092870.669
AT ITER 9631 NEW BEST:: SOT 71240980 SOS 63664669 HAS SOPS 29926787 HAS SOUS 3071697 HAS SOUPS 1028926 WITH SCORE 1092590.669
AT ITER 9668 NEW BEST:: SOT 71240978 SOS 63664665 HAS SOPS 29926823 HAS SOUS 3071691 HAS SOUPS 1028924 WITH SCORE 1092588.665
AT ITER 9714 NEW BEST:: SOT 71240971 SOS 63664651 HAS SOPS 29929199 HAS SOUS 3071438 HAS SOUPS 1028910 WITH SCORE 1092574.651
AT ITER 9767 NEW BEST:: SOT 71240765 SOS 63664512 HAS SOPS 29928926 HAS SOUS 3071211 HAS SOUPS 1028616 WITH SCORE 1092280.512
AT ITER 9791 NEW BEST:: SOT 71240765 SOS 63664512 HAS SOPS 29928926 HAS SOUS 3070931 HAS SOUPS 1028336 WITH SCORE 1092000.512
AT ITER 9821 NEW BEST:: SOT 71240603 SOS 63664188 HAS SOPS 29928602 HAS SOUS 3070769 HAS SOUPS 1028174 WITH SCORE 1091838.188
AT ITER 9825 NEW BEST:: SOT 71240589 SOS 63664160 HAS SOPS 29928794 HAS SOUS 3070733 HAS SOUPS 1028160 WITH SCORE 1091824.16
AT ITER 9843 NEW BEST:: SOT 71239090 SOS 63667736 HAS SOPS 29927180 HAS SOUS 3069925 HAS SOUPS 1027179 WITH SCORE 1090846.736
AT ITER 9847 NEW BEST:: SOT 71238886 SOS 63668038 HAS SOPS 29926462 HAS SOUS 3069772 HAS SOUPS 1026924 WITH SCORE 1090592.038
AT ITER 9864 NEW BEST:: SOT 71239186 SOS 63664288 HAS SOPS 29924962 HAS SOUS 3069622 HAS SOUPS 1026849 WITH SCORE 1090513.288
AT ITER 9868 NEW BEST:: SOT 71238597 SOS 63658870 HAS SOPS 29923784 HAS SOUS 3068315 HAS SOUPS 1025966 WITH SCORE 1089624.87
AT ITER 9939 NEW BEST:: SOT 71238185 SOS 63651246 HAS SOPS 29922960 HAS SOUS 3066817 HAS SOUPS 1025148 WITH SCORE 1088799.246
AT ITER 9983 NEW BEST:: SOT 71238046 SOS 63650968 HAS SOPS 29921292 HAS SOUS 3066678 HAS SOUPS 1024870 WITH SCORE 1088520.968
AT ITER 9994 NEW BEST:: SOT 71238046 SOS 63650968 HAS SOPS 29921292 HAS SOUS 3066438 HAS SOUPS 1024630 WITH SCORE 1088280.968
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11711688 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16130884 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

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="DLCflexbar-PT-8a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is DLCflexbar-PT-8a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472600608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-8a.tgz
mv DLCflexbar-PT-8a 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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;