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.r011-oct2-167813599800136.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ASLink-PT-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599800136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 6.4K Feb 26 13:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 13:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 13:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 13:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 13:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 13:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 13:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 13:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.2M 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 1678727177175

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=ASLink-PT-08b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 17:06:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 17:06:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 17:06:20] [INFO ] Load time of PNML (sax parser for PT used): 211 ms
[2023-03-13 17:06:20] [INFO ] Transformed 3618 places.
[2023-03-13 17:06:20] [INFO ] Transformed 4459 transitions.
[2023-03-13 17:06:20] [INFO ] Found NUPN structural information;
[2023-03-13 17:06:20] [INFO ] Parsed PT model containing 3618 places and 4459 transitions and 13543 arcs in 419 ms.
[2023-03-13 17:06:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3618 places, 4459 transitions and 13543 arcs took 43 ms.
Total runtime 501 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 08b
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: 3618 places, 4459 transitions, 13543 arcs.
AT ITER 0 NEW BEST:: SOT 8581989 SOS 1513259 HAS SOPS 1513259 HAS SOUS 1223312 HAS SOUPS 1223312 WITH SCORE 1224825.259
AT ITER 78 NEW BEST:: SOT 8581467 SOS 1513253 HAS SOPS 1513253 HAS SOUS 1222784 HAS SOUPS 1222784 WITH SCORE 1224297.253
AT ITER 111 NEW BEST:: SOT 8581467 SOS 1512884 HAS SOPS 1512884 HAS SOUS 1222783 HAS SOUPS 1222783 WITH SCORE 1224295.884
AT ITER 125 NEW BEST:: SOT 8581467 SOS 1512873 HAS SOPS 1512873 HAS SOUS 1222772 HAS SOUPS 1222772 WITH SCORE 1224284.873
AT ITER 148 NEW BEST:: SOT 8581415 SOS 1513003 HAS SOPS 1513003 HAS SOUS 1222746 HAS SOUPS 1222746 WITH SCORE 1224259.003
AT ITER 149 NEW BEST:: SOT 8581234 SOS 1512822 HAS SOPS 1512822 HAS SOUS 1222565 HAS SOUPS 1222565 WITH SCORE 1224077.822
AT ITER 152 NEW BEST:: SOT 8581234 SOS 1512539 HAS SOPS 1512539 HAS SOUS 1222564 HAS SOUPS 1222564 WITH SCORE 1224076.539
AT ITER 164 NEW BEST:: SOT 8580919 SOS 1511909 HAS SOPS 1511909 HAS SOUS 1221934 HAS SOUPS 1221934 WITH SCORE 1223445.909
AT ITER 168 NEW BEST:: SOT 8580565 SOS 1511555 HAS SOPS 1511555 HAS SOUS 1221468 HAS SOUPS 1221468 WITH SCORE 1222979.555
AT ITER 169 NEW BEST:: SOT 8580554 SOS 1511533 HAS SOPS 1511533 HAS SOUS 1221457 HAS SOUPS 1221457 WITH SCORE 1222968.533
AT ITER 195 NEW BEST:: SOT 8580412 SOS 1511249 HAS SOPS 1511249 HAS SOUS 1221173 HAS SOUPS 1221173 WITH SCORE 1222684.249
AT ITER 209 NEW BEST:: SOT 8580411 SOS 1511247 HAS SOPS 1511247 HAS SOUS 1221171 HAS SOUPS 1221171 WITH SCORE 1222682.247
AT ITER 253 NEW BEST:: SOT 8580093 SOS 1510925 HAS SOPS 1510925 HAS SOUS 1220849 HAS SOUPS 1220849 WITH SCORE 1222359.925
AT ITER 289 NEW BEST:: SOT 8580093 SOS 1510808 HAS SOPS 1510808 HAS SOUS 1220732 HAS SOUPS 1220732 WITH SCORE 1222242.808
AT ITER 305 NEW BEST:: SOT 8580092 SOS 1510806 HAS SOPS 1510806 HAS SOUS 1220730 HAS SOUPS 1220730 WITH SCORE 1222240.806
AT ITER 314 NEW BEST:: SOT 8579901 SOS 1510424 HAS SOPS 1510424 HAS SOUS 1220348 HAS SOUPS 1220348 WITH SCORE 1221858.424
AT ITER 333 NEW BEST:: SOT 8579670 SOS 1510193 HAS SOPS 1510193 HAS SOUS 1220117 HAS SOUPS 1220117 WITH SCORE 1221627.193
AT ITER 347 NEW BEST:: SOT 8579496 SOS 1509977 HAS SOPS 1509977 HAS SOUS 1219901 HAS SOUPS 1219901 WITH SCORE 1221410.977
AT ITER 358 NEW BEST:: SOT 8579496 SOS 1509977 HAS SOPS 1509977 HAS SOUS 1219603 HAS SOUPS 1219603 WITH SCORE 1221112.977
AT ITER 361 NEW BEST:: SOT 8579471 SOS 1509927 HAS SOPS 1509927 HAS SOUS 1219553 HAS SOUPS 1219553 WITH SCORE 1221062.927
AT ITER 407 NEW BEST:: SOT 8579471 SOS 1509828 HAS SOPS 1509828 HAS SOUS 1219454 HAS SOUPS 1219454 WITH SCORE 1220963.828
AT ITER 431 NEW BEST:: SOT 8579357 SOS 1509510 HAS SOPS 1509510 HAS SOUS 1219095 HAS SOUPS 1219095 WITH SCORE 1220604.51
AT ITER 450 NEW BEST:: SOT 8579187 SOS 1509000 HAS SOPS 1509000 HAS SOUS 1218748 HAS SOUPS 1218748 WITH SCORE 1220257.0
AT ITER 474 NEW BEST:: SOT 8576835 SOS 1506795 HAS SOPS 1506795 HAS SOUS 1218454 HAS SOUPS 1218454 WITH SCORE 1219960.795
AT ITER 490 NEW BEST:: SOT 8576813 SOS 1506751 HAS SOPS 1506751 HAS SOUS 1218388 HAS SOUPS 1218388 WITH SCORE 1219894.751
AT ITER 505 NEW BEST:: SOT 8576513 SOS 1506090 HAS SOPS 1506090 HAS SOUS 1217727 HAS SOUPS 1217727 WITH SCORE 1219233.09
AT ITER 517 NEW BEST:: SOT 8576513 SOS 1506059 HAS SOPS 1506059 HAS SOUS 1217726 HAS SOUPS 1217726 WITH SCORE 1219232.059
AT ITER 518 NEW BEST:: SOT 8576764 SOS 1506045 HAS SOPS 1506045 HAS SOUS 1217712 HAS SOUPS 1217712 WITH SCORE 1219218.045
AT ITER 546 NEW BEST:: SOT 8576764 SOS 1506044 HAS SOPS 1506044 HAS SOUS 1217711 HAS SOUPS 1217711 WITH SCORE 1219217.044
AT ITER 549 NEW BEST:: SOT 8576288 SOS 1505658 HAS SOPS 1505658 HAS SOUS 1217323 HAS SOUPS 1217323 WITH SCORE 1218828.658
AT ITER 610 NEW BEST:: SOT 8576263 SOS 1505621 HAS SOPS 1505621 HAS SOUS 1217282 HAS SOUPS 1217282 WITH SCORE 1218787.621
AT ITER 635 NEW BEST:: SOT 8576059 SOS 1505213 HAS SOPS 1505213 HAS SOUS 1216874 HAS SOUPS 1216874 WITH SCORE 1218379.213
AT ITER 637 NEW BEST:: SOT 8576005 SOS 1505105 HAS SOPS 1505105 HAS SOUS 1216809 HAS SOUPS 1216809 WITH SCORE 1218314.105
AT ITER 667 NEW BEST:: SOT 8573801 SOS 1506101 HAS SOPS 1506101 HAS SOUS 1215325 HAS SOUPS 1215325 WITH SCORE 1216831.101
AT ITER 669 NEW BEST:: SOT 8572882 SOS 1505185 HAS SOPS 1505185 HAS SOUS 1214406 HAS SOUPS 1214406 WITH SCORE 1215911.185
AT ITER 698 NEW BEST:: SOT 8572616 SOS 1504486 HAS SOPS 1504486 HAS SOUS 1214154 HAS SOUPS 1214154 WITH SCORE 1215658.486
AT ITER 707 NEW BEST:: SOT 8572279 SOS 1503669 HAS SOPS 1503669 HAS SOUS 1213478 HAS SOUPS 1213478 WITH SCORE 1214981.669
AT ITER 714 NEW BEST:: SOT 8572161 SOS 1503433 HAS SOPS 1503433 HAS SOUS 1213242 HAS SOUPS 1213242 WITH SCORE 1214745.433
AT ITER 790 NEW BEST:: SOT 8571487 SOS 1503226 HAS SOPS 1503226 HAS SOUS 1212798 HAS SOUPS 1212798 WITH SCORE 1214301.226
AT ITER 791 NEW BEST:: SOT 8571322 SOS 1502824 HAS SOPS 1502824 HAS SOUS 1212468 HAS SOUPS 1212468 WITH SCORE 1213970.824
AT ITER 801 NEW BEST:: SOT 8571103 SOS 1502833 HAS SOPS 1502833 HAS SOUS 1212324 HAS SOUPS 1212324 WITH SCORE 1213826.833
AT ITER 807 NEW BEST:: SOT 8571065 SOS 1502795 HAS SOPS 1502795 HAS SOUS 1212286 HAS SOUPS 1212286 WITH SCORE 1213788.795
AT ITER 816 NEW BEST:: SOT 8570478 SOS 1502208 HAS SOPS 1502208 HAS SOUS 1211698 HAS SOUPS 1211698 WITH SCORE 1213200.208
AT ITER 825 NEW BEST:: SOT 8570160 SOS 1501572 HAS SOPS 1501572 HAS SOUS 1211062 HAS SOUPS 1211062 WITH SCORE 1212563.572
AT ITER 829 NEW BEST:: SOT 8567504 SOS 1498750 HAS SOPS 1498750 HAS SOUS 1208240 HAS SOUPS 1208240 WITH SCORE 1209738.75
AT ITER 834 NEW BEST:: SOT 8567557 SOS 1498632 HAS SOPS 1498632 HAS SOUS 1208122 HAS SOUPS 1208122 WITH SCORE 1209620.632
AT ITER 837 NEW BEST:: SOT 8567395 SOS 1498468 HAS SOPS 1498468 HAS SOUS 1207955 HAS SOUPS 1207955 WITH SCORE 1209453.468
AT ITER 839 NEW BEST:: SOT 8567161 SOS 1497766 HAS SOPS 1497766 HAS SOUS 1207487 HAS SOUPS 1207487 WITH SCORE 1208984.766
AT ITER 846 NEW BEST:: SOT 8567021 SOS 1497578 HAS SOPS 1497578 HAS SOUS 1207299 HAS SOUPS 1207299 WITH SCORE 1208796.578
AT ITER 851 NEW BEST:: SOT 8567021 SOS 1497460 HAS SOPS 1497460 HAS SOUS 1207298 HAS SOUPS 1207298 WITH SCORE 1208795.46
AT ITER 875 NEW BEST:: SOT 8567021 SOS 1497683 HAS SOPS 1497683 HAS SOUS 1205737 HAS SOUPS 1205737 WITH SCORE 1207234.683
AT ITER 888 NEW BEST:: SOT 8566636 SOS 1497143 HAS SOPS 1497143 HAS SOUS 1205405 HAS SOUPS 1205405 WITH SCORE 1206902.143
AT ITER 897 NEW BEST:: SOT 8566443 SOS 1496564 HAS SOPS 1496564 HAS SOUS 1204826 HAS SOUPS 1204826 WITH SCORE 1206322.564
AT ITER 922 NEW BEST:: SOT 8566443 SOS 1496396 HAS SOPS 1496396 HAS SOUS 1204826 HAS SOUPS 1204826 WITH SCORE 1206322.396
AT ITER 925 NEW BEST:: SOT 8566443 SOS 1496189 HAS SOPS 1496189 HAS SOUS 1204826 HAS SOUPS 1204826 WITH SCORE 1206322.189
AT ITER 928 NEW BEST:: SOT 8565651 SOS 1495397 HAS SOPS 1495397 HAS SOUS 1204033 HAS SOUPS 1204033 WITH SCORE 1205528.397
AT ITER 938 NEW BEST:: SOT 8565511 SOS 1495257 HAS SOPS 1495257 HAS SOUS 1203893 HAS SOUPS 1203893 WITH SCORE 1205388.257
AT ITER 989 NEW BEST:: SOT 8565295 SOS 1495036 HAS SOPS 1495036 HAS SOUS 1203672 HAS SOUPS 1203672 WITH SCORE 1205167.036
AT ITER 994 NEW BEST:: SOT 8565228 SOS 1494902 HAS SOPS 1494902 HAS SOUS 1203451 HAS SOUPS 1203451 WITH SCORE 1204945.902
AT ITER 1024 NEW BEST:: SOT 8564639 SOS 1494313 HAS SOPS 1494313 HAS SOUS 1202862 HAS SOUPS 1202862 WITH SCORE 1204356.313
AT ITER 1034 NEW BEST:: SOT 8564612 SOS 1494388 HAS SOPS 1494388 HAS SOUS 1202808 HAS SOUPS 1202808 WITH SCORE 1204302.388
AT ITER 1044 NEW BEST:: SOT 8564604 SOS 1494372 HAS SOPS 1494372 HAS SOUS 1202792 HAS SOUPS 1202792 WITH SCORE 1204286.372
AT ITER 1046 NEW BEST:: SOT 8564517 SOS 1494283 HAS SOPS 1494283 HAS SOUS 1202703 HAS SOUPS 1202703 WITH SCORE 1204197.283
AT ITER 1049 NEW BEST:: SOT 8564470 SOS 1494189 HAS SOPS 1494189 HAS SOUS 1202656 HAS SOUPS 1202656 WITH SCORE 1204150.189
AT ITER 1051 NEW BEST:: SOT 8564412 SOS 1494131 HAS SOPS 1494131 HAS SOUS 1202598 HAS SOUPS 1202598 WITH SCORE 1204092.131
AT ITER 1077 NEW BEST:: SOT 8564298 SOS 1493903 HAS SOPS 1493903 HAS SOUS 1202370 HAS SOUPS 1202370 WITH SCORE 1203863.903
AT ITER 1092 NEW BEST:: SOT 8564298 SOS 1493903 HAS SOPS 1493903 HAS SOUS 1202369 HAS SOUPS 1202369 WITH SCORE 1203862.903
AT ITER 1109 NEW BEST:: SOT 8564374 SOS 1493605 HAS SOPS 1493605 HAS SOUS 1202350 HAS SOUPS 1202350 WITH SCORE 1203843.605
AT ITER 1155 NEW BEST:: SOT 8564341 SOS 1493474 HAS SOPS 1493474 HAS SOUS 1202277 HAS SOUPS 1202277 WITH SCORE 1203770.474
AT ITER 1189 NEW BEST:: SOT 8564255 SOS 1493336 HAS SOPS 1493336 HAS SOUS 1202225 HAS SOUPS 1202225 WITH SCORE 1203718.336
AT ITER 1199 NEW BEST:: SOT 8563845 SOS 1492516 HAS SOPS 1492516 HAS SOUS 1201405 HAS SOUPS 1201405 WITH SCORE 1202897.516
AT ITER 1210 NEW BEST:: SOT 8563845 SOS 1492512 HAS SOPS 1492512 HAS SOUS 1201401 HAS SOUPS 1201401 WITH SCORE 1202893.512
AT ITER 1268 NEW BEST:: SOT 8563845 SOS 1492412 HAS SOPS 1492412 HAS SOUS 1201401 HAS SOUPS 1201401 WITH SCORE 1202893.412
AT ITER 1277 NEW BEST:: SOT 8563845 SOS 1492237 HAS SOPS 1492237 HAS SOUS 1198401 HAS SOUPS 1198401 WITH SCORE 1199893.237
AT ITER 1330 NEW BEST:: SOT 8563741 SOS 1492133 HAS SOPS 1492133 HAS SOUS 1198297 HAS SOUPS 1198297 WITH SCORE 1199789.133
AT ITER 1335 NEW BEST:: SOT 8563741 SOS 1491959 HAS SOPS 1491959 HAS SOUS 1198296 HAS SOUPS 1198296 WITH SCORE 1199787.959
AT ITER 1345 NEW BEST:: SOT 8563424 SOS 1491314 HAS SOPS 1491314 HAS SOUS 1197644 HAS SOUPS 1197644 WITH SCORE 1199135.314
AT ITER 1382 NEW BEST:: SOT 8563080 SOS 1490750 HAS SOPS 1490750 HAS SOUS 1197300 HAS SOUPS 1197300 WITH SCORE 1198790.75
AT ITER 1395 NEW BEST:: SOT 8562348 SOS 1490262 HAS SOPS 1490262 HAS SOUS 1196812 HAS SOUPS 1196812 WITH SCORE 1198302.262
AT ITER 1414 NEW BEST:: SOT 8562202 SOS 1489824 HAS SOPS 1489824 HAS SOUS 1196374 HAS SOUPS 1196374 WITH SCORE 1197863.824
AT ITER 1444 NEW BEST:: SOT 8562058 SOS 1489680 HAS SOPS 1489680 HAS SOUS 1196230 HAS SOUPS 1196230 WITH SCORE 1197719.68
AT ITER 1465 NEW BEST:: SOT 8561995 SOS 1489467 HAS SOPS 1489467 HAS SOUS 1196104 HAS SOUPS 1196104 WITH SCORE 1197593.467
AT ITER 1478 NEW BEST:: SOT 8561683 SOS 1489155 HAS SOPS 1489155 HAS SOUS 1196065 HAS SOUPS 1196065 WITH SCORE 1197554.155
AT ITER 1480 NEW BEST:: SOT 8561683 SOS 1489134 HAS SOPS 1489134 HAS SOUS 1196044 HAS SOUPS 1196044 WITH SCORE 1197533.134
AT ITER 1484 NEW BEST:: SOT 8561611 SOS 1489044 HAS SOPS 1489044 HAS SOUS 1195891 HAS SOUPS 1195891 WITH SCORE 1197380.044
AT ITER 1533 NEW BEST:: SOT 8561478 SOS 1488911 HAS SOPS 1488911 HAS SOUS 1195891 HAS SOUPS 1195891 WITH SCORE 1197379.911
AT ITER 1540 NEW BEST:: SOT 8561478 SOS 1488772 HAS SOPS 1488772 HAS SOUS 1195889 HAS SOUPS 1195889 WITH SCORE 1197377.772
AT ITER 1563 NEW BEST:: SOT 8561381 SOS 1488578 HAS SOPS 1488578 HAS SOUS 1195791 HAS SOUPS 1195791 WITH SCORE 1197279.578
AT ITER 1574 NEW BEST:: SOT 8561271 SOS 1488358 HAS SOPS 1488358 HAS SOUS 1195571 HAS SOUPS 1195571 WITH SCORE 1197059.358
AT ITER 1579 NEW BEST:: SOT 8561201 SOS 1488190 HAS SOPS 1488190 HAS SOUS 1195330 HAS SOUPS 1195330 WITH SCORE 1196818.19
AT ITER 1612 NEW BEST:: SOT 8561201 SOS 1488131 HAS SOPS 1488131 HAS SOUS 1195330 HAS SOUPS 1195330 WITH SCORE 1196818.131
AT ITER 1624 NEW BEST:: SOT 8560834 SOS 1487764 HAS SOPS 1487764 HAS SOUS 1194963 HAS SOUPS 1194963 WITH SCORE 1196450.764
AT ITER 1648 NEW BEST:: SOT 8560533 SOS 1487197 HAS SOPS 1487197 HAS SOUS 1194361 HAS SOUPS 1194361 WITH SCORE 1195848.197
AT ITER 1674 NEW BEST:: SOT 8560533 SOS 1487128 HAS SOPS 1487128 HAS SOUS 1194360 HAS SOUPS 1194360 WITH SCORE 1195847.128
AT ITER 1676 NEW BEST:: SOT 8560519 SOS 1487114 HAS SOPS 1487114 HAS SOUS 1194346 HAS SOUPS 1194346 WITH SCORE 1195833.114
AT ITER 1679 NEW BEST:: SOT 8560051 SOS 1488619 HAS SOPS 1488619 HAS SOUS 1194076 HAS SOUPS 1194076 WITH SCORE 1195564.619
AT ITER 1698 NEW BEST:: SOT 8559558 SOS 1488437 HAS SOPS 1488437 HAS SOUS 1193758 HAS SOUPS 1193758 WITH SCORE 1195246.437
AT ITER 1714 NEW BEST:: SOT 8559405 SOS 1488436 HAS SOPS 1488436 HAS SOUS 1193757 HAS SOUPS 1193757 WITH SCORE 1195245.436
AT ITER 1716 NEW BEST:: SOT 8559299 SOS 1488264 HAS SOPS 1488264 HAS SOUS 1193583 HAS SOUPS 1193583 WITH SCORE 1195071.264
AT ITER 1735 NEW BEST:: SOT 8559223 SOS 1488094 HAS SOPS 1488094 HAS SOUS 1193489 HAS SOUPS 1193489 WITH SCORE 1194977.094
AT ITER 1785 NEW BEST:: SOT 8558946 SOS 1487566 HAS SOPS 1487566 HAS SOUS 1192961 HAS SOUPS 1192961 WITH SCORE 1194448.566
AT ITER 1799 NEW BEST:: SOT 8558647 SOS 1487238 HAS SOPS 1487238 HAS SOUS 1192662 HAS SOUPS 1192662 WITH SCORE 1194149.238
AT ITER 1809 NEW BEST:: SOT 8558388 SOS 1487004 HAS SOPS 1487004 HAS SOUS 1192380 HAS SOUPS 1192380 WITH SCORE 1193867.004
AT ITER 1827 NEW BEST:: SOT 8558326 SOS 1486756 HAS SOPS 1486756 HAS SOUS 1192318 HAS SOUPS 1192318 WITH SCORE 1193804.756
AT ITER 1829 NEW BEST:: SOT 8558326 SOS 1486927 HAS SOPS 1486927 HAS SOUS 1192271 HAS SOUPS 1192271 WITH SCORE 1193757.927
AT ITER 1840 NEW BEST:: SOT 8556205 SOS 1485895 HAS SOPS 1485895 HAS SOUS 1190699 HAS SOUPS 1190699 WITH SCORE 1192184.895
AT ITER 1881 NEW BEST:: SOT 8556205 SOS 1485893 HAS SOPS 1485893 HAS SOUS 1190697 HAS SOUPS 1190697 WITH SCORE 1192182.893
AT ITER 1895 NEW BEST:: SOT 8555777 SOS 1485153 HAS SOPS 1485153 HAS SOUS 1190121 HAS SOUPS 1190121 WITH SCORE 1191606.153
AT ITER 1937 NEW BEST:: SOT 8555679 SOS 1484895 HAS SOPS 1484895 HAS SOUS 1189862 HAS SOUPS 1189862 WITH SCORE 1191346.895
AT ITER 1960 NEW BEST:: SOT 8555540 SOS 1484752 HAS SOPS 1484752 HAS SOUS 1189719 HAS SOUPS 1189719 WITH SCORE 1191203.752
AT ITER 2020 NEW BEST:: SOT 8555431 SOS 1484473 HAS SOPS 1484473 HAS SOUS 1189440 HAS SOUPS 1189440 WITH SCORE 1190924.473
AT ITER 2027 NEW BEST:: SOT 8555306 SOS 1484222 HAS SOPS 1484222 HAS SOUS 1189306 HAS SOUPS 1189306 WITH SCORE 1190790.222
AT ITER 2063 NEW BEST:: SOT 8555224 SOS 1484058 HAS SOPS 1484058 HAS SOUS 1189142 HAS SOUPS 1189142 WITH SCORE 1190626.058
AT ITER 2064 NEW BEST:: SOT 8555237 SOS 1483968 HAS SOPS 1483968 HAS SOUS 1189052 HAS SOUPS 1189052 WITH SCORE 1190535.968
AT ITER 2090 NEW BEST:: SOT 8555271 SOS 1483876 HAS SOPS 1483876 HAS SOUS 1188960 HAS SOUPS 1188960 WITH SCORE 1190443.876
AT ITER 2114 NEW BEST:: SOT 8554630 SOS 1486044 HAS SOPS 1486044 HAS SOUS 1188891 HAS SOUPS 1188891 WITH SCORE 1190377.044
AT ITER 2129 NEW BEST:: SOT 8554568 SOS 1485920 HAS SOPS 1485920 HAS SOUS 1188767 HAS SOUPS 1188767 WITH SCORE 1190252.92
AT ITER 2141 NEW BEST:: SOT 8554490 SOS 1485880 HAS SOPS 1485880 HAS SOUS 1188727 HAS SOUPS 1188727 WITH SCORE 1190212.88
AT ITER 2155 NEW BEST:: SOT 8554490 SOS 1485880 HAS SOPS 1485880 HAS SOUS 1188714 HAS SOUPS 1188714 WITH SCORE 1190199.88
AT ITER 2176 NEW BEST:: SOT 8554552 SOS 1485787 HAS SOPS 1485787 HAS SOUS 1188506 HAS SOUPS 1188506 WITH SCORE 1189991.787
AT ITER 2211 NEW BEST:: SOT 8553425 SOS 1484832 HAS SOPS 1484832 HAS SOUS 1187504 HAS SOUPS 1187504 WITH SCORE 1188988.832
AT ITER 2212 NEW BEST:: SOT 8553425 SOS 1484810 HAS SOPS 1484810 HAS SOUS 1187504 HAS SOUPS 1187504 WITH SCORE 1188988.81
AT ITER 2343 NEW BEST:: SOT 8553425 SOS 1484608 HAS SOPS 1484608 HAS SOUS 1187502 HAS SOUPS 1187502 WITH SCORE 1188986.608
AT ITER 2367 NEW BEST:: SOT 8552694 SOS 1484056 HAS SOPS 1484056 HAS SOUS 1186908 HAS SOUPS 1186908 WITH SCORE 1188392.056
AT ITER 2372 NEW BEST:: SOT 8554317 SOS 1485642 HAS SOPS 1485642 HAS SOUS 1186584 HAS SOUPS 1186584 WITH SCORE 1188069.642
AT ITER 2382 NEW BEST:: SOT 8554317 SOS 1485534 HAS SOPS 1485534 HAS SOUS 1186584 HAS SOUPS 1186584 WITH SCORE 1188069.534
AT ITER 2387 NEW BEST:: SOT 8554316 SOS 1485526 HAS SOPS 1485526 HAS SOUS 1186576 HAS SOUPS 1186576 WITH SCORE 1188061.526
AT ITER 2388 NEW BEST:: SOT 8554122 SOS 1485259 HAS SOPS 1485259 HAS SOUS 1186188 HAS SOUPS 1186188 WITH SCORE 1187673.259
AT ITER 2426 NEW BEST:: SOT 8554122 SOS 1485258 HAS SOPS 1485258 HAS SOUS 1186187 HAS SOUPS 1186187 WITH SCORE 1187672.258
AT ITER 2437 NEW BEST:: SOT 8552851 SOS 1485284 HAS SOPS 1485284 HAS SOUS 1185580 HAS SOUPS 1185580 WITH SCORE 1187065.284
AT ITER 2447 NEW BEST:: SOT 8549131 SOS 1495911 HAS SOPS 1495911 HAS SOUS 1183423 HAS SOUPS 1183423 WITH SCORE 1184918.911
AT ITER 2467 NEW BEST:: SOT 8549080 SOS 1495809 HAS SOPS 1495809 HAS SOUS 1183321 HAS SOUPS 1183321 WITH SCORE 1184816.809
AT ITER 2475 NEW BEST:: SOT 8548604 SOS 1495581 HAS SOPS 1495581 HAS SOUS 1182974 HAS SOUPS 1182974 WITH SCORE 1184469.581
AT ITER 2488 NEW BEST:: SOT 8548604 SOS 1495579 HAS SOPS 1495579 HAS SOUS 1182972 HAS SOUPS 1182972 WITH SCORE 1184467.579
AT ITER 2492 NEW BEST:: SOT 8548496 SOS 1495363 HAS SOPS 1495363 HAS SOUS 1182756 HAS SOUPS 1182756 WITH SCORE 1184251.363
AT ITER 2525 NEW BEST:: SOT 8548302 SOS 1495169 HAS SOPS 1495169 HAS SOUS 1182562 HAS SOUPS 1182562 WITH SCORE 1184057.169
AT ITER 2531 NEW BEST:: SOT 8547967 SOS 1494497 HAS SOPS 1494497 HAS SOUS 1181890 HAS SOUPS 1181890 WITH SCORE 1183384.497
AT ITER 2534 NEW BEST:: SOT 8547870 SOS 1494286 HAS SOPS 1494286 HAS SOUS 1181774 HAS SOUPS 1181774 WITH SCORE 1183268.286
AT ITER 2548 NEW BEST:: SOT 8547913 SOS 1496207 HAS SOPS 1496207 HAS SOUS 1181686 HAS SOUPS 1181686 WITH SCORE 1183182.207
AT ITER 2560 NEW BEST:: SOT 8547629 SOS 1497358 HAS SOPS 1497358 HAS SOUS 1181108 HAS SOUPS 1181108 WITH SCORE 1182605.358
AT ITER 2562 NEW BEST:: SOT 8547456 SOS 1496984 HAS SOPS 1496984 HAS SOUS 1180809 HAS SOUPS 1180809 WITH SCORE 1182305.984
AT ITER 2619 NEW BEST:: SOT 8547293 SOS 1496821 HAS SOPS 1496821 HAS SOUS 1180646 HAS SOUPS 1180646 WITH SCORE 1182142.821
AT ITER 2625 NEW BEST:: SOT 8547032 SOS 1496468 HAS SOPS 1496468 HAS SOUS 1180550 HAS SOUPS 1180550 WITH SCORE 1182046.468
AT ITER 2647 NEW BEST:: SOT 8546922 SOS 1496248 HAS SOPS 1496248 HAS SOUS 1180330 HAS SOUPS 1180330 WITH SCORE 1181826.248
AT ITER 2650 NEW BEST:: SOT 8546922 SOS 1496247 HAS SOPS 1496247 HAS SOUS 1180329 HAS SOUPS 1180329 WITH SCORE 1181825.247
AT ITER 2665 NEW BEST:: SOT 8546640 SOS 1495965 HAS SOPS 1495965 HAS SOUS 1179930 HAS SOUPS 1179930 WITH SCORE 1181425.965
AT ITER 2676 NEW BEST:: SOT 8546640 SOS 1495794 HAS SOPS 1495794 HAS SOUS 1179759 HAS SOUPS 1179759 WITH SCORE 1181254.794
AT ITER 2721 NEW BEST:: SOT 8546547 SOS 1495607 HAS SOPS 1495607 HAS SOUS 1179572 HAS SOUPS 1179572 WITH SCORE 1181067.607
AT ITER 2766 NEW BEST:: SOT 8546547 SOS 1495907 HAS SOPS 1495907 HAS SOUS 1179552 HAS SOUPS 1179552 WITH SCORE 1181047.907
AT ITER 2789 NEW BEST:: SOT 8546419 SOS 1495651 HAS SOPS 1495651 HAS SOUS 1179192 HAS SOUPS 1179192 WITH SCORE 1180687.651
AT ITER 2857 NEW BEST:: SOT 8546419 SOS 1495467 HAS SOPS 1495467 HAS SOUS 1179192 HAS SOUPS 1179192 WITH SCORE 1180687.467
AT ITER 2859 NEW BEST:: SOT 8546054 SOS 1495126 HAS SOPS 1495126 HAS SOUS 1178847 HAS SOUPS 1178847 WITH SCORE 1180342.126
AT ITER 2899 NEW BEST:: SOT 8545794 SOS 1494866 HAS SOPS 1494866 HAS SOUS 1178559 HAS SOUPS 1178559 WITH SCORE 1180053.866
AT ITER 2914 NEW BEST:: SOT 8545794 SOS 1494784 HAS SOPS 1494784 HAS SOUS 1178559 HAS SOUPS 1178559 WITH SCORE 1180053.784
AT ITER 2970 NEW BEST:: SOT 8545794 SOS 1494560 HAS SOPS 1494560 HAS SOUS 1178335 HAS SOUPS 1178335 WITH SCORE 1179829.56
AT ITER 2971 NEW BEST:: SOT 8545590 SOS 1494151 HAS SOPS 1494151 HAS SOUS 1178252 HAS SOUPS 1178252 WITH SCORE 1179746.151
AT ITER 2980 NEW BEST:: SOT 8545659 SOS 1494133 HAS SOPS 1494133 HAS SOUS 1178234 HAS SOUPS 1178234 WITH SCORE 1179728.133
AT ITER 3002 NEW BEST:: SOT 8545376 SOS 1493849 HAS SOPS 1493849 HAS SOUS 1177946 HAS SOUPS 1177946 WITH SCORE 1179439.849
AT ITER 3008 NEW BEST:: SOT 8544846 SOS 1493958 HAS SOPS 1493958 HAS SOUS 1177786 HAS SOUPS 1177786 WITH SCORE 1179279.958
AT ITER 3044 NEW BEST:: SOT 8544542 SOS 1494566 HAS SOPS 1494566 HAS SOUS 1177469 HAS SOUPS 1177469 WITH SCORE 1178963.566
AT ITER 3096 NEW BEST:: SOT 8544031 SOS 1495098 HAS SOPS 1495098 HAS SOUS 1177361 HAS SOUPS 1177361 WITH SCORE 1178856.098
AT ITER 3139 NEW BEST:: SOT 8543746 SOS 1494832 HAS SOPS 1494832 HAS SOUS 1177342 HAS SOUPS 1177342 WITH SCORE 1178836.832
AT ITER 3150 NEW BEST:: SOT 8543438 SOS 1494521 HAS SOPS 1494521 HAS SOUS 1177032 HAS SOUPS 1177032 WITH SCORE 1178526.521
AT ITER 3152 NEW BEST:: SOT 8541548 SOS 1492606 HAS SOPS 1492606 HAS SOUS 1177032 HAS SOUPS 1177032 WITH SCORE 1178524.606
AT ITER 3239 NEW BEST:: SOT 8540840 SOS 1491721 HAS SOPS 1491721 HAS SOUS 1176147 HAS SOUPS 1176147 WITH SCORE 1177638.721
AT ITER 3245 NEW BEST:: SOT 8540718 SOS 1491355 HAS SOPS 1491355 HAS SOUS 1175902 HAS SOUPS 1175902 WITH SCORE 1177393.355
AT ITER 3283 NEW BEST:: SOT 8540588 SOS 1490750 HAS SOPS 1490750 HAS SOUS 1175689 HAS SOUPS 1175689 WITH SCORE 1177179.75
AT ITER 3288 NEW BEST:: SOT 8540433 SOS 1490593 HAS SOPS 1490593 HAS SOUS 1175533 HAS SOUPS 1175533 WITH SCORE 1177023.593
AT ITER 3295 NEW BEST:: SOT 8537178 SOS 1487771 HAS SOPS 1487771 HAS SOUS 1175532 HAS SOUPS 1175532 WITH SCORE 1177019.771
AT ITER 3334 NEW BEST:: SOT 8537101 SOS 1487143 HAS SOPS 1487143 HAS SOUS 1175511 HAS SOUPS 1175511 WITH SCORE 1176998.143
AT ITER 3338 NEW BEST:: SOT 8536346 SOS 1489558 HAS SOPS 1489558 HAS SOUS 1175423 HAS SOUPS 1175423 WITH SCORE 1176912.558
AT ITER 3366 NEW BEST:: SOT 8536346 SOS 1489491 HAS SOPS 1489491 HAS SOUS 1175421 HAS SOUPS 1175421 WITH SCORE 1176910.491
AT ITER 3396 NEW BEST:: SOT 8536548 SOS 1489693 HAS SOPS 1489693 HAS SOUS 1175375 HAS SOUPS 1175375 WITH SCORE 1176864.693
AT ITER 3414 NEW BEST:: SOT 8536548 SOS 1489489 HAS SOPS 1489489 HAS SOUS 1175375 HAS SOUPS 1175375 WITH SCORE 1176864.489
AT ITER 3434 NEW BEST:: SOT 8536141 SOS 1489082 HAS SOPS 1489082 HAS SOUS 1174677 HAS SOUPS 1174677 WITH SCORE 1176166.082
AT ITER 3452 NEW BEST:: SOT 8536010 SOS 1488951 HAS SOPS 1488951 HAS SOUS 1174415 HAS SOUPS 1174415 WITH SCORE 1175903.951
AT ITER 3455 NEW BEST:: SOT 8535851 SOS 1488811 HAS SOPS 1488811 HAS SOUS 1174256 HAS SOUPS 1174256 WITH SCORE 1175744.811
AT ITER 3463 NEW BEST:: SOT 8535662 SOS 1488622 HAS SOPS 1488622 HAS SOUS 1174067 HAS SOUPS 1174067 WITH SCORE 1175555.622
AT ITER 3486 NEW BEST:: SOT 8535516 SOS 1489016 HAS SOPS 1489016 HAS SOUS 1173712 HAS SOUPS 1173712 WITH SCORE 1175201.016
AT ITER 3492 NEW BEST:: SOT 8535224 SOS 1488724 HAS SOPS 1488724 HAS SOUS 1173414 HAS SOUPS 1173414 WITH SCORE 1174902.724
AT ITER 3493 NEW BEST:: SOT 8535224 SOS 1488699 HAS SOPS 1488699 HAS SOUS 1173414 HAS SOUPS 1173414 WITH SCORE 1174902.699
AT ITER 3512 NEW BEST:: SOT 8535224 SOS 1488620 HAS SOPS 1488620 HAS SOUS 1173414 HAS SOUPS 1173414 WITH SCORE 1174902.62
AT ITER 3537 NEW BEST:: SOT 8534564 SOS 1488388 HAS SOPS 1488388 HAS SOUS 1172727 HAS SOUPS 1172727 WITH SCORE 1174215.388
AT ITER 3566 NEW BEST:: SOT 8534564 SOS 1488387 HAS SOPS 1488387 HAS SOUS 1172726 HAS SOUPS 1172726 WITH SCORE 1174214.387
AT ITER 3620 NEW BEST:: SOT 8533930 SOS 1488098 HAS SOPS 1488098 HAS SOUS 1172264 HAS SOUPS 1172264 WITH SCORE 1173752.098
AT ITER 3626 NEW BEST:: SOT 8533917 SOS 1488082 HAS SOPS 1488082 HAS SOUS 1172222 HAS SOUPS 1172222 WITH SCORE 1173710.082
AT ITER 3638 NEW BEST:: SOT 8533917 SOS 1487907 HAS SOPS 1487907 HAS SOUS 1172221 HAS SOUPS 1172221 WITH SCORE 1173708.907
AT ITER 3670 NEW BEST:: SOT 8533897 SOS 1487867 HAS SOPS 1487867 HAS SOUS 1172161 HAS SOUPS 1172161 WITH SCORE 1173648.867
AT ITER 3683 NEW BEST:: SOT 8533897 SOS 1487866 HAS SOPS 1487866 HAS SOUS 1172160 HAS SOUPS 1172160 WITH SCORE 1173647.866
AT ITER 3688 NEW BEST:: SOT 8533765 SOS 1487734 HAS SOPS 1487734 HAS SOUS 1172027 HAS SOUPS 1172027 WITH SCORE 1173514.734
AT ITER 3713 NEW BEST:: SOT 8533736 SOS 1487676 HAS SOPS 1487676 HAS SOUS 1171990 HAS SOUPS 1171990 WITH SCORE 1173477.676
AT ITER 3731 NEW BEST:: SOT 8533736 SOS 1487676 HAS SOPS 1487676 HAS SOUS 1171987 HAS SOUPS 1171987 WITH SCORE 1173474.676
AT ITER 3747 NEW BEST:: SOT 8533516 SOS 1487434 HAS SOPS 1487434 HAS SOUS 1171767 HAS SOUPS 1171767 WITH SCORE 1173254.434
AT ITER 3749 NEW BEST:: SOT 8533325 SOS 1488197 HAS SOPS 1488197 HAS SOUS 1171361 HAS SOUPS 1171361 WITH SCORE 1172849.197
AT ITER 3752 NEW BEST:: SOT 8533199 SOS 1488649 HAS SOPS 1488649 HAS SOUS 1171197 HAS SOUPS 1171197 WITH SCORE 1172685.649
AT ITER 3785 NEW BEST:: SOT 8533199 SOS 1488645 HAS SOPS 1488645 HAS SOUS 1171193 HAS SOUPS 1171193 WITH SCORE 1172681.645
AT ITER 3786 NEW BEST:: SOT 8533199 SOS 1488641 HAS SOPS 1488641 HAS SOUS 1171189 HAS SOUPS 1171189 WITH SCORE 1172677.641
AT ITER 3813 NEW BEST:: SOT 8533045 SOS 1488332 HAS SOPS 1488332 HAS SOUS 1170880 HAS SOUPS 1170880 WITH SCORE 1172368.332
AT ITER 3853 NEW BEST:: SOT 8533045 SOS 1488198 HAS SOPS 1488198 HAS SOUS 1170880 HAS SOUPS 1170880 WITH SCORE 1172368.198
AT ITER 3856 NEW BEST:: SOT 8532892 SOS 1487892 HAS SOPS 1487892 HAS SOUS 1170726 HAS SOUPS 1170726 WITH SCORE 1172213.892
AT ITER 3858 NEW BEST:: SOT 8532891 SOS 1487890 HAS SOPS 1487890 HAS SOUS 1170724 HAS SOUPS 1170724 WITH SCORE 1172211.89
AT ITER 3862 NEW BEST:: SOT 8532729 SOS 1487720 HAS SOPS 1487720 HAS SOUS 1170560 HAS SOUPS 1170560 WITH SCORE 1172047.72
AT ITER 3864 NEW BEST:: SOT 8532441 SOS 1488946 HAS SOPS 1488946 HAS SOUS 1169952 HAS SOUPS 1169952 WITH SCORE 1171440.946
AT ITER 3941 NEW BEST:: SOT 8532441 SOS 1488171 HAS SOPS 1488171 HAS SOUS 1169871 HAS SOUPS 1169871 WITH SCORE 1171359.171
AT ITER 3953 NEW BEST:: SOT 8532423 SOS 1488153 HAS SOPS 1488153 HAS SOUS 1169853 HAS SOUPS 1169853 WITH SCORE 1171341.153
AT ITER 3973 NEW BEST:: SOT 8532407 SOS 1488121 HAS SOPS 1488121 HAS SOUS 1169805 HAS SOUPS 1169805 WITH SCORE 1171293.121
AT ITER 3983 NEW BEST:: SOT 8531781 SOS 1487662 HAS SOPS 1487662 HAS SOUS 1169358 HAS SOUPS 1169358 WITH SCORE 1170845.662
AT ITER 3988 NEW BEST:: SOT 8531754 SOS 1487653 HAS SOPS 1487653 HAS SOUS 1169349 HAS SOUPS 1169349 WITH SCORE 1170836.653
AT ITER 4018 NEW BEST:: SOT 8531990 SOS 1487556 HAS SOPS 1487556 HAS SOUS 1169252 HAS SOUPS 1169252 WITH SCORE 1170739.556
AT ITER 4040 NEW BEST:: SOT 8531872 SOS 1487438 HAS SOPS 1487438 HAS SOUS 1168190 HAS SOUPS 1168190 WITH SCORE 1169677.438
AT ITER 4050 NEW BEST:: SOT 8531480 SOS 1487326 HAS SOPS 1487326 HAS SOUS 1167854 HAS SOUPS 1167854 WITH SCORE 1169341.326
AT ITER 4054 NEW BEST:: SOT 8531506 SOS 1487023 HAS SOPS 1487023 HAS SOUS 1167266 HAS SOUPS 1167266 WITH SCORE 1168753.023
AT ITER 4063 NEW BEST:: SOT 8531506 SOS 1487022 HAS SOPS 1487022 HAS SOUS 1167265 HAS SOUPS 1167265 WITH SCORE 1168752.022
AT ITER 4074 NEW BEST:: SOT 8531361 SOS 1486732 HAS SOPS 1486732 HAS SOUS 1166969 HAS SOUPS 1166969 WITH SCORE 1168455.732
AT ITER 4080 NEW BEST:: SOT 8531361 SOS 1487534 HAS SOPS 1487534 HAS SOUS 1166938 HAS SOUPS 1166938 WITH SCORE 1168425.534
AT ITER 4081 NEW BEST:: SOT 8531361 SOS 1487581 HAS SOPS 1487581 HAS SOUS 1166937 HAS SOUPS 1166937 WITH SCORE 1168424.581
AT ITER 4097 NEW BEST:: SOT 8531361 SOS 1488937 HAS SOPS 1488937 HAS SOUS 1166907 HAS SOUPS 1166907 WITH SCORE 1168395.937
AT ITER 4099 NEW BEST:: SOT 8531266 SOS 1488747 HAS SOPS 1488747 HAS SOUS 1166717 HAS SOUPS 1166717 WITH SCORE 1168205.747
AT ITER 4104 NEW BEST:: SOT 8529921 SOS 1491030 HAS SOPS 1491030 HAS SOUS 1166279 HAS SOUPS 1166279 WITH SCORE 1167770.03
AT ITER 4146 NEW BEST:: SOT 8529735 SOS 1490616 HAS SOPS 1490616 HAS SOUS 1165865 HAS SOUPS 1165865 WITH SCORE 1167355.616
AT ITER 4188 NEW BEST:: SOT 8529588 SOS 1490322 HAS SOPS 1490322 HAS SOUS 1165571 HAS SOUPS 1165571 WITH SCORE 1167061.322
AT ITER 4191 NEW BEST:: SOT 8529526 SOS 1490198 HAS SOPS 1490198 HAS SOUS 1165447 HAS SOUPS 1165447 WITH SCORE 1166937.198
AT ITER 4194 NEW BEST:: SOT 8529404 SOS 1490076 HAS SOPS 1490076 HAS SOUS 1165447 HAS SOUPS 1165447 WITH SCORE 1166937.076
AT ITER 4209 NEW BEST:: SOT 8529377 SOS 1489866 HAS SOPS 1489866 HAS SOUS 1165174 HAS SOUPS 1165174 WITH SCORE 1166663.866
AT ITER 4257 NEW BEST:: SOT 8529375 SOS 1489724 HAS SOPS 1489724 HAS SOUS 1165163 HAS SOUPS 1165163 WITH SCORE 1166652.724
AT ITER 4259 NEW BEST:: SOT 8529353 SOS 1489680 HAS SOPS 1489680 HAS SOUS 1165119 HAS SOUPS 1165119 WITH SCORE 1166608.68
AT ITER 4265 NEW BEST:: SOT 8529353 SOS 1489504 HAS SOPS 1489504 HAS SOUS 1165042 HAS SOUPS 1165042 WITH SCORE 1166531.504
AT ITER 4292 NEW BEST:: SOT 8529168 SOS 1488949 HAS SOPS 1488949 HAS SOUS 1164670 HAS SOUPS 1164670 WITH SCORE 1166158.949
AT ITER 4303 NEW BEST:: SOT 8527920 SOS 1487821 HAS SOPS 1487821 HAS SOUS 1163430 HAS SOUPS 1163430 WITH SCORE 1164917.821
AT ITER 4311 NEW BEST:: SOT 8527920 SOS 1487522 HAS SOPS 1487522 HAS SOUS 1163430 HAS SOUPS 1163430 WITH SCORE 1164917.522
AT ITER 4328 NEW BEST:: SOT 8527920 SOS 1488966 HAS SOPS 1488966 HAS SOUS 1163397 HAS SOUPS 1163397 WITH SCORE 1164885.966
AT ITER 4394 NEW BEST:: SOT 8527800 SOS 1488455 HAS SOPS 1488455 HAS SOUS 1163154 HAS SOUPS 1163154 WITH SCORE 1164642.455
AT ITER 4419 NEW BEST:: SOT 8527775 SOS 1488430 HAS SOPS 1488430 HAS SOUS 1163129 HAS SOUPS 1163129 WITH SCORE 1164617.43
AT ITER 4450 NEW BEST:: SOT 8527775 SOS 1488430 HAS SOPS 1488430 HAS SOUS 1163125 HAS SOUPS 1163125 WITH SCORE 1164613.43
AT ITER 4505 NEW BEST:: SOT 8527492 SOS 1488225 HAS SOPS 1488225 HAS SOUS 1162920 HAS SOUPS 1162920 WITH SCORE 1164408.225
AT ITER 4507 NEW BEST:: SOT 8526499 SOS 1487699 HAS SOPS 1487699 HAS SOUS 1161968 HAS SOUPS 1161968 WITH SCORE 1163455.699
AT ITER 4516 NEW BEST:: SOT 8526295 SOS 1487483 HAS SOPS 1487483 HAS SOUS 1161662 HAS SOUPS 1161662 WITH SCORE 1163149.483
AT ITER 4517 NEW BEST:: SOT 8524578 SOS 1487213 HAS SOPS 1487213 HAS SOUS 1161518 HAS SOUPS 1161518 WITH SCORE 1163005.213
AT ITER 4537 NEW BEST:: SOT 8524491 SOS 1487039 HAS SOPS 1487039 HAS SOUS 1161344 HAS SOUPS 1161344 WITH SCORE 1162831.039
AT ITER 4559 NEW BEST:: SOT 8524432 SOS 1487003 HAS SOPS 1487003 HAS SOUS 1161299 HAS SOUPS 1161299 WITH SCORE 1162786.003
AT ITER 4560 NEW BEST:: SOT 8524432 SOS 1486911 HAS SOPS 1486911 HAS SOUS 1161207 HAS SOUPS 1161207 WITH SCORE 1162693.911
AT ITER 4580 NEW BEST:: SOT 8524266 SOS 1486703 HAS SOPS 1486703 HAS SOUS 1161035 HAS SOUPS 1161035 WITH SCORE 1162521.703
AT ITER 4587 NEW BEST:: SOT 8524036 SOS 1486322 HAS SOPS 1486322 HAS SOUS 1160683 HAS SOUPS 1160683 WITH SCORE 1162169.322
AT ITER 4657 NEW BEST:: SOT 8524036 SOS 1486266 HAS SOPS 1486266 HAS SOUS 1160627 HAS SOUPS 1160627 WITH SCORE 1162113.266
AT ITER 4697 NEW BEST:: SOT 8524036 SOS 1486266 HAS SOPS 1486266 HAS SOUS 1160496 HAS SOUPS 1160496 WITH SCORE 1161982.266
AT ITER 4760 NEW BEST:: SOT 8523400 SOS 1485540 HAS SOPS 1485540 HAS SOUS 1159703 HAS SOUPS 1159703 WITH SCORE 1161188.54
AT ITER 4764 NEW BEST:: SOT 8523231 SOS 1485306 HAS SOPS 1485306 HAS SOUS 1159469 HAS SOUPS 1159469 WITH SCORE 1160954.306
AT ITER 4802 NEW BEST:: SOT 8523176 SOS 1485251 HAS SOPS 1485251 HAS SOUS 1159414 HAS SOUPS 1159414 WITH SCORE 1160899.251
AT ITER 4824 NEW BEST:: SOT 8523175 SOS 1485106 HAS SOPS 1485106 HAS SOUS 1159411 HAS SOUPS 1159411 WITH SCORE 1160896.106
AT ITER 4890 NEW BEST:: SOT 8521778 SOS 1485120 HAS SOPS 1485120 HAS SOUS 1158523 HAS SOUPS 1158523 WITH SCORE 1160008.12
AT ITER 4900 NEW BEST:: SOT 8521778 SOS 1485119 HAS SOPS 1485119 HAS SOUS 1158522 HAS SOUPS 1158522 WITH SCORE 1160007.119
AT ITER 4910 NEW BEST:: SOT 8521648 SOS 1485016 HAS SOPS 1485016 HAS SOUS 1158468 HAS SOUPS 1158468 WITH SCORE 1159953.016
AT ITER 4920 NEW BEST:: SOT 8522903 SOS 1490550 HAS SOPS 1490550 HAS SOUS 1157969 HAS SOUPS 1157969 WITH SCORE 1159459.55
AT ITER 4930 NEW BEST:: SOT 8522900 SOS 1490547 HAS SOPS 1490547 HAS SOUS 1157966 HAS SOUPS 1157966 WITH SCORE 1159456.547
AT ITER 4956 NEW BEST:: SOT 8522387 SOS 1490034 HAS SOPS 1490034 HAS SOUS 1157453 HAS SOUPS 1157453 WITH SCORE 1158943.034
AT ITER 4963 NEW BEST:: SOT 8522387 SOS 1489785 HAS SOPS 1489785 HAS SOUS 1157450 HAS SOUPS 1157450 WITH SCORE 1158939.785
AT ITER 4991 NEW BEST:: SOT 8522518 SOS 1489650 HAS SOPS 1489650 HAS SOUS 1157184 HAS SOUPS 1157184 WITH SCORE 1158673.65
AT ITER 5004 NEW BEST:: SOT 8522518 SOS 1490114 HAS SOPS 1490114 HAS SOUS 1157151 HAS SOUPS 1157151 WITH SCORE 1158641.114
AT ITER 5018 NEW BEST:: SOT 8522400 SOS 1489985 HAS SOPS 1489985 HAS SOUS 1157015 HAS SOUPS 1157015 WITH SCORE 1158504.985
AT ITER 5089 NEW BEST:: SOT 8522379 SOS 1489826 HAS SOPS 1489826 HAS SOUS 1157014 HAS SOUPS 1157014 WITH SCORE 1158503.826
AT ITER 5122 NEW BEST:: SOT 8521851 SOS 1491422 HAS SOPS 1491422 HAS SOUS 1156834 HAS SOUPS 1156834 WITH SCORE 1158325.422
AT ITER 5136 NEW BEST:: SOT 8521833 SOS 1491762 HAS SOPS 1491762 HAS SOUS 1156740 HAS SOUPS 1156740 WITH SCORE 1158231.762
AT ITER 5174 NEW BEST:: SOT 8521799 SOS 1491446 HAS SOPS 1491446 HAS SOUS 1156645 HAS SOUPS 1156645 WITH SCORE 1158136.446
AT ITER 5196 NEW BEST:: SOT 8521762 SOS 1491372 HAS SOPS 1491372 HAS SOUS 1156607 HAS SOUPS 1156607 WITH SCORE 1158098.372
AT ITER 5212 NEW BEST:: SOT 8521649 SOS 1490564 HAS SOPS 1490564 HAS SOUS 1156497 HAS SOUPS 1156497 WITH SCORE 1157987.564
AT ITER 5226 NEW BEST:: SOT 8521130 SOS 1489617 HAS SOPS 1489617 HAS SOUS 1155684 HAS SOUPS 1155684 WITH SCORE 1157173.617
AT ITER 5229 NEW BEST:: SOT 8521049 SOS 1489177 HAS SOPS 1489177 HAS SOUS 1155515 HAS SOUPS 1155515 WITH SCORE 1157004.177
AT ITER 5250 NEW BEST:: SOT 8520863 SOS 1488805 HAS SOPS 1488805 HAS SOUS 1155328 HAS SOUPS 1155328 WITH SCORE 1156816.805
AT ITER 5281 NEW BEST:: SOT 8520892 SOS 1479812 HAS SOPS 1479812 HAS SOUS 1155064 HAS SOUPS 1155064 WITH SCORE 1156543.812
AT ITER 5299 NEW BEST:: SOT 8520965 SOS 1479700 HAS SOPS 1479700 HAS SOUS 1154952 HAS SOUPS 1154952 WITH SCORE 1156431.7
AT ITER 5307 NEW BEST:: SOT 8520807 SOS 1479226 HAS SOPS 1479226 HAS SOUS 1154636 HAS SOUPS 1154636 WITH SCORE 1156115.226
AT ITER 5312 NEW BEST:: SOT 8520559 SOS 1478730 HAS SOPS 1478730 HAS SOUS 1154172 HAS SOUPS 1154172 WITH SCORE 1155650.73
AT ITER 5340 NEW BEST:: SOT 8520559 SOS 1478678 HAS SOPS 1478678 HAS SOUS 1154170 HAS SOUPS 1154170 WITH SCORE 1155648.678
AT ITER 5341 NEW BEST:: SOT 8520411 SOS 1478528 HAS SOPS 1478528 HAS SOUS 1154021 HAS SOUPS 1154021 WITH SCORE 1155499.528
AT ITER 5352 NEW BEST:: SOT 8520159 SOS 1478264 HAS SOPS 1478264 HAS SOUS 1153745 HAS SOUPS 1153745 WITH SCORE 1155223.264
AT ITER 5368 NEW BEST:: SOT 8520032 SOS 1478645 HAS SOPS 1478645 HAS SOUS 1153697 HAS SOUPS 1153697 WITH SCORE 1155175.645
AT ITER 5417 NEW BEST:: SOT 8520032 SOS 1478503 HAS SOPS 1478503 HAS SOUS 1153697 HAS SOUPS 1153697 WITH SCORE 1155175.503
AT ITER 5418 NEW BEST:: SOT 8520032 SOS 1478592 HAS SOPS 1478592 HAS SOUS 1153650 HAS SOUPS 1153650 WITH SCORE 1155128.592
AT ITER 5426 NEW BEST:: SOT 8520032 SOS 1478554 HAS SOPS 1478554 HAS SOUS 1153650 HAS SOUPS 1153650 WITH SCORE 1155128.554
AT ITER 5481 NEW BEST:: SOT 8519976 SOS 1478376 HAS SOPS 1478376 HAS SOUS 1153537 HAS SOUPS 1153537 WITH SCORE 1155015.376
AT ITER 5485 NEW BEST:: SOT 8519700 SOS 1478100 HAS SOPS 1478100 HAS SOUS 1153007 HAS SOUPS 1153007 WITH SCORE 1154485.1
AT ITER 5492 NEW BEST:: SOT 8519700 SOS 1477078 HAS SOPS 1477078 HAS SOUS 1153007 HAS SOUPS 1153007 WITH SCORE 1154484.078
AT ITER 5503 NEW BEST:: SOT 8519694 SOS 1477066 HAS SOPS 1477066 HAS SOUS 1152995 HAS SOUPS 1152995 WITH SCORE 1154472.066
AT ITER 5535 NEW BEST:: SOT 8519444 SOS 1477013 HAS SOPS 1477013 HAS SOUS 1152929 HAS SOUPS 1152929 WITH SCORE 1154406.013
AT ITER 5552 NEW BEST:: SOT 8519443 SOS 1477011 HAS SOPS 1477011 HAS SOUS 1152927 HAS SOUPS 1152927 WITH SCORE 1154404.011
AT ITER 5571 NEW BEST:: SOT 8519121 SOS 1476999 HAS SOPS 1476999 HAS SOUS 1152601 HAS SOUPS 1152601 WITH SCORE 1154077.999
AT ITER 5588 NEW BEST:: SOT 8519106 SOS 1476980 HAS SOPS 1476980 HAS SOUS 1152582 HAS SOUPS 1152582 WITH SCORE 1154058.98
AT ITER 5618 NEW BEST:: SOT 8518902 SOS 1476572 HAS SOPS 1476572 HAS SOUS 1152174 HAS SOUPS 1152174 WITH SCORE 1153650.572
AT ITER 5626 NEW BEST:: SOT 8518736 SOS 1476238 HAS SOPS 1476238 HAS SOUS 1151840 HAS SOUPS 1151840 WITH SCORE 1153316.238
AT ITER 5628 NEW BEST:: SOT 8518568 SOS 1476240 HAS SOPS 1476240 HAS SOUS 1151671 HAS SOUPS 1151671 WITH SCORE 1153147.24
AT ITER 5640 NEW BEST:: SOT 8517973 SOS 1475613 HAS SOPS 1475613 HAS SOUS 1150968 HAS SOUPS 1150968 WITH SCORE 1152443.613
AT ITER 5693 NEW BEST:: SOT 8518011 SOS 1475498 HAS SOPS 1475498 HAS SOUS 1150853 HAS SOUPS 1150853 WITH SCORE 1152328.498
AT ITER 5698 NEW BEST:: SOT 8518011 SOS 1475334 HAS SOPS 1475334 HAS SOUS 1150835 HAS SOUPS 1150835 WITH SCORE 1152310.334
AT ITER 5700 NEW BEST:: SOT 8518011 SOS 1475134 HAS SOPS 1475134 HAS SOUS 1150835 HAS SOUPS 1150835 WITH SCORE 1152310.134
AT ITER 5726 NEW BEST:: SOT 8518011 SOS 1475128 HAS SOPS 1475128 HAS SOUS 1150834 HAS SOUPS 1150834 WITH SCORE 1152309.128
AT ITER 5742 NEW BEST:: SOT 8517952 SOS 1477373 HAS SOPS 1477373 HAS SOUS 1150767 HAS SOUPS 1150767 WITH SCORE 1152244.373
AT ITER 5745 NEW BEST:: SOT 8517737 SOS 1477376 HAS SOPS 1477376 HAS SOUS 1150337 HAS SOUPS 1150337 WITH SCORE 1151814.376
AT ITER 5790 NEW BEST:: SOT 8517473 SOS 1477096 HAS SOPS 1477096 HAS SOUS 1149089 HAS SOUPS 1149089 WITH SCORE 1150566.096
AT ITER 5807 NEW BEST:: SOT 8517095 SOS 1476318 HAS SOPS 1476318 HAS SOUS 1147903 HAS SOUPS 1147903 WITH SCORE 1149379.318
AT ITER 5816 NEW BEST:: SOT 8516029 SOS 1479598 HAS SOPS 1479598 HAS SOUS 1147265 HAS SOUPS 1147265 WITH SCORE 1148744.598
AT ITER 5826 NEW BEST:: SOT 8516029 SOS 1479429 HAS SOPS 1479429 HAS SOUS 1146833 HAS SOUPS 1146833 WITH SCORE 1148312.429
AT ITER 5845 NEW BEST:: SOT 8516029 SOS 1479363 HAS SOPS 1479363 HAS SOUS 1146767 HAS SOUPS 1146767 WITH SCORE 1148246.363
AT ITER 5846 NEW BEST:: SOT 8516029 SOS 1479362 HAS SOPS 1479362 HAS SOUS 1146766 HAS SOUPS 1146766 WITH SCORE 1148245.362
AT ITER 5879 NEW BEST:: SOT 8515820 SOS 1479153 HAS SOPS 1479153 HAS SOUS 1146557 HAS SOUPS 1146557 WITH SCORE 1148036.153
AT ITER 5910 NEW BEST:: SOT 8515819 SOS 1479040 HAS SOPS 1479040 HAS SOUS 1146487 HAS SOUPS 1146487 WITH SCORE 1147966.04
AT ITER 5916 NEW BEST:: SOT 8515819 SOS 1479029 HAS SOPS 1479029 HAS SOUS 1146476 HAS SOUPS 1146476 WITH SCORE 1147955.029
AT ITER 5918 NEW BEST:: SOT 8515758 SOS 1478559 HAS SOPS 1478559 HAS SOUS 1146309 HAS SOUPS 1146309 WITH SCORE 1147787.559
AT ITER 5927 NEW BEST:: SOT 8515573 SOS 1478093 HAS SOPS 1478093 HAS SOUS 1145843 HAS SOUPS 1145843 WITH SCORE 1147321.093
AT ITER 5934 NEW BEST:: SOT 8515425 SOS 1477353 HAS SOPS 1477353 HAS SOUS 1145547 HAS SOUPS 1145547 WITH SCORE 1147024.353
AT ITER 5935 NEW BEST:: SOT 8515355 SOS 1477230 HAS SOPS 1477230 HAS SOUS 1145424 HAS SOUPS 1145424 WITH SCORE 1146901.23
AT ITER 5937 NEW BEST:: SOT 8515262 SOS 1477044 HAS SOPS 1477044 HAS SOUS 1145331 HAS SOUPS 1145331 WITH SCORE 1146808.044
AT ITER 5957 NEW BEST:: SOT 8515146 SOS 1476812 HAS SOPS 1476812 HAS SOUS 1145099 HAS SOUPS 1145099 WITH SCORE 1146575.812
AT ITER 5968 NEW BEST:: SOT 8514908 SOS 1476594 HAS SOPS 1476594 HAS SOUS 1145021 HAS SOUPS 1145021 WITH SCORE 1146497.594
AT ITER 6021 NEW BEST:: SOT 8514756 SOS 1476029 HAS SOPS 1476029 HAS SOUS 1144419 HAS SOUPS 1144419 WITH SCORE 1145895.029
AT ITER 6029 NEW BEST:: SOT 8514756 SOS 1475854 HAS SOPS 1475854 HAS SOUS 1144244 HAS SOUPS 1144244 WITH SCORE 1145719.854
AT ITER 6034 NEW BEST:: SOT 8514658 SOS 1475424 HAS SOPS 1475424 HAS SOUS 1144244 HAS SOUPS 1144244 WITH SCORE 1145719.424
AT ITER 6094 NEW BEST:: SOT 8514387 SOS 1474882 HAS SOPS 1474882 HAS SOUS 1143702 HAS SOUPS 1143702 WITH SCORE 1145176.882
AT ITER 6128 NEW BEST:: SOT 8513589 SOS 1475266 HAS SOPS 1475266 HAS SOUS 1143092 HAS SOUPS 1143092 WITH SCORE 1144567.266
AT ITER 6137 NEW BEST:: SOT 8513589 SOS 1475677 HAS SOPS 1475677 HAS SOUS 1143090 HAS SOUPS 1143090 WITH SCORE 1144565.677
AT ITER 6187 NEW BEST:: SOT 8513525 SOS 1475549 HAS SOPS 1475549 HAS SOUS 1143025 HAS SOUPS 1143025 WITH SCORE 1144500.549
AT ITER 6217 NEW BEST:: SOT 8513355 SOS 1475087 HAS SOPS 1475087 HAS SOUS 1142667 HAS SOUPS 1142667 WITH SCORE 1144142.087
AT ITER 6223 NEW BEST:: SOT 8513315 SOS 1475011 HAS SOPS 1475011 HAS SOUS 1142384 HAS SOUPS 1142384 WITH SCORE 1143859.011
AT ITER 6241 NEW BEST:: SOT 8512832 SOS 1474434 HAS SOPS 1474434 HAS SOUS 1141814 HAS SOUPS 1141814 WITH SCORE 1143288.434
AT ITER 6246 NEW BEST:: SOT 8512832 SOS 1474432 HAS SOPS 1474432 HAS SOUS 1141812 HAS SOUPS 1141812 WITH SCORE 1143286.432
AT ITER 6268 NEW BEST:: SOT 8512782 SOS 1474332 HAS SOPS 1474332 HAS SOUS 1141762 HAS SOUPS 1141762 WITH SCORE 1143236.332
AT ITER 6277 NEW BEST:: SOT 8512782 SOS 1474134 HAS SOPS 1474134 HAS SOUS 1141564 HAS SOUPS 1141564 WITH SCORE 1143038.134
AT ITER 6299 NEW BEST:: SOT 8512681 SOS 1473932 HAS SOPS 1473932 HAS SOUS 1141362 HAS SOUPS 1141362 WITH SCORE 1142835.932
AT ITER 6303 NEW BEST:: SOT 8512559 SOS 1475263 HAS SOPS 1475263 HAS SOUS 1141075 HAS SOUPS 1141075 WITH SCORE 1142550.263
AT ITER 6319 NEW BEST:: SOT 8512441 SOS 1475892 HAS SOPS 1475892 HAS SOUS 1141041 HAS SOUPS 1141041 WITH SCORE 1142516.892
AT ITER 6323 NEW BEST:: SOT 8512116 SOS 1475567 HAS SOPS 1475567 HAS SOUS 1140716 HAS SOUPS 1140716 WITH SCORE 1142191.567
AT ITER 6327 NEW BEST:: SOT 8512115 SOS 1475159 HAS SOPS 1475159 HAS SOUS 1140714 HAS SOUPS 1140714 WITH SCORE 1142189.159
AT ITER 6328 NEW BEST:: SOT 8511844 SOS 1474440 HAS SOPS 1474440 HAS SOUS 1140172 HAS SOUPS 1140172 WITH SCORE 1141646.44
AT ITER 6329 NEW BEST:: SOT 8511646 SOS 1474097 HAS SOPS 1474097 HAS SOUS 1139829 HAS SOUPS 1139829 WITH SCORE 1141303.097
AT ITER 6335 NEW BEST:: SOT 8511539 SOS 1474145 HAS SOPS 1474145 HAS SOUS 1139596 HAS SOUPS 1139596 WITH SCORE 1141070.145
AT ITER 6338 NEW BEST:: SOT 8511401 SOS 1473911 HAS SOPS 1473911 HAS SOUS 1139362 HAS SOUPS 1139362 WITH SCORE 1140835.911
AT ITER 6340 NEW BEST:: SOT 8511171 SOS 1473576 HAS SOPS 1473576 HAS SOUS 1139131 HAS SOUPS 1139131 WITH SCORE 1140604.576
AT ITER 6358 NEW BEST:: SOT 8511171 SOS 1473265 HAS SOPS 1473265 HAS SOUS 1138820 HAS SOUPS 1138820 WITH SCORE 1140293.265
AT ITER 6360 NEW BEST:: SOT 8511148 SOS 1473226 HAS SOPS 1473226 HAS SOUS 1138781 HAS SOUPS 1138781 WITH SCORE 1140254.226
AT ITER 6392 NEW BEST:: SOT 8511020 SOS 1473098 HAS SOPS 1473098 HAS SOUS 1138653 HAS SOUPS 1138653 WITH SCORE 1140126.098
AT ITER 6411 NEW BEST:: SOT 8511020 SOS 1473085 HAS SOPS 1473085 HAS SOUS 1138640 HAS SOUPS 1138640 WITH SCORE 1140113.085
AT ITER 6425 NEW BEST:: SOT 8511020 SOS 1473072 HAS SOPS 1473072 HAS SOUS 1138627 HAS SOUPS 1138627 WITH SCORE 1140100.072
AT ITER 6437 NEW BEST:: SOT 8511020 SOS 1472687 HAS SOPS 1472687 HAS SOUS 1138624 HAS SOUPS 1138624 WITH SCORE 1140096.687
AT ITER 6467 NEW BEST:: SOT 8511792 SOS 1473859 HAS SOPS 1473859 HAS SOUS 1137336 HAS SOUPS 1137336 WITH SCORE 1138809.859
AT ITER 6474 NEW BEST:: SOT 8511430 SOS 1473356 HAS SOPS 1473356 HAS SOUS 1136974 HAS SOUPS 1136974 WITH SCORE 1138447.356
AT ITER 6477 NEW BEST:: SOT 8511361 SOS 1473283 HAS SOPS 1473283 HAS SOUS 1136904 HAS SOUPS 1136904 WITH SCORE 1138377.283
AT ITER 6493 NEW BEST:: SOT 8511592 SOS 1473514 HAS SOPS 1473514 HAS SOUS 1136887 HAS SOUPS 1136887 WITH SCORE 1138360.514
AT ITER 6498 NEW BEST:: SOT 8511522 SOS 1473540 HAS SOPS 1473540 HAS SOUS 1136866 HAS SOUPS 1136866 WITH SCORE 1138339.54
AT ITER 6520 NEW BEST:: SOT 8510943 SOS 1473388 HAS SOPS 1473388 HAS SOUS 1136415 HAS SOUPS 1136415 WITH SCORE 1137888.388
AT ITER 6561 NEW BEST:: SOT 8509855 SOS 1477892 HAS SOPS 1477892 HAS SOUS 1136202 HAS SOUPS 1136202 WITH SCORE 1137679.892
AT ITER 6576 NEW BEST:: SOT 8509581 SOS 1477773 HAS SOPS 1477773 HAS SOUS 1136083 HAS SOUPS 1136083 WITH SCORE 1137560.773
AT ITER 6679 NEW BEST:: SOT 8509581 SOS 1477622 HAS SOPS 1477622 HAS SOUS 1135781 HAS SOUPS 1135781 WITH SCORE 1137258.622
AT ITER 6695 NEW BEST:: SOT 8509581 SOS 1477546 HAS SOPS 1477546 HAS SOUS 1135774 HAS SOUPS 1135774 WITH SCORE 1137251.546
AT ITER 6703 NEW BEST:: SOT 8509293 SOS 1477220 HAS SOPS 1477220 HAS SOUS 1135448 HAS SOUPS 1135448 WITH SCORE 1136925.22
AT ITER 6718 NEW BEST:: SOT 8509211 SOS 1477134 HAS SOPS 1477134 HAS SOUS 1135362 HAS SOUPS 1135362 WITH SCORE 1136839.134
AT ITER 6744 NEW BEST:: SOT 8507902 SOS 1475638 HAS SOPS 1475638 HAS SOUS 1135175 HAS SOUPS 1135175 WITH SCORE 1136650.638
AT ITER 6752 NEW BEST:: SOT 8507828 SOS 1475523 HAS SOPS 1475523 HAS SOUS 1135060 HAS SOUPS 1135060 WITH SCORE 1136535.523
AT ITER 6757 NEW BEST:: SOT 8507699 SOS 1476296 HAS SOPS 1476296 HAS SOUS 1135028 HAS SOUPS 1135028 WITH SCORE 1136504.296
AT ITER 6760 NEW BEST:: SOT 8507399 SOS 1475994 HAS SOPS 1475994 HAS SOUS 1135027 HAS SOUPS 1135027 WITH SCORE 1136502.994
AT ITER 6830 NEW BEST:: SOT 8507460 SOS 1475897 HAS SOPS 1475897 HAS SOUS 1134892 HAS SOUPS 1134892 WITH SCORE 1136367.897
AT ITER 6832 NEW BEST:: SOT 8507460 SOS 1475895 HAS SOPS 1475895 HAS SOUS 1134890 HAS SOUPS 1134890 WITH SCORE 1136365.895
AT ITER 6838 NEW BEST:: SOT 8507460 SOS 1475894 HAS SOPS 1475894 HAS SOUS 1134889 HAS SOUPS 1134889 WITH SCORE 1136364.894
AT ITER 6863 NEW BEST:: SOT 8507398 SOS 1475100 HAS SOPS 1475100 HAS SOUS 1134776 HAS SOUPS 1134776 WITH SCORE 1136251.1
AT ITER 6961 NEW BEST:: SOT 8507386 SOS 1475088 HAS SOPS 1475088 HAS SOUS 1134764 HAS SOUPS 1134764 WITH SCORE 1136239.088
AT ITER 6973 NEW BEST:: SOT 8507386 SOS 1475007 HAS SOPS 1475007 HAS SOUS 1134683 HAS SOUPS 1134683 WITH SCORE 1136158.007
AT ITER 7010 NEW BEST:: SOT 8507199 SOS 1474457 HAS SOPS 1474457 HAS SOUS 1134466 HAS SOUPS 1134466 WITH SCORE 1135940.457
AT ITER 7013 NEW BEST:: SOT 8506957 SOS 1474247 HAS SOPS 1474247 HAS SOUS 1134241 HAS SOUPS 1134241 WITH SCORE 1135715.247
AT ITER 7037 NEW BEST:: SOT 8506521 SOS 1473733 HAS SOPS 1473733 HAS SOUS 1133802 HAS SOUPS 1133802 WITH SCORE 1135275.733
AT ITER 7038 NEW BEST:: SOT 8506477 SOS 1473353 HAS SOPS 1473353 HAS SOUS 1133698 HAS SOUPS 1133698 WITH SCORE 1135171.353
AT ITER 7039 NEW BEST:: SOT 8506442 SOS 1473048 HAS SOPS 1473048 HAS SOUS 1133570 HAS SOUPS 1133570 WITH SCORE 1135043.048
AT ITER 7105 NEW BEST:: SOT 8506442 SOS 1472995 HAS SOPS 1472995 HAS SOUS 1133517 HAS SOUPS 1133517 WITH SCORE 1134989.995
AT ITER 7124 NEW BEST:: SOT 8506441 SOS 1472867 HAS SOPS 1472867 HAS SOUS 1133389 HAS SOUPS 1133389 WITH SCORE 1134861.867
AT ITER 7190 NEW BEST:: SOT 8506249 SOS 1473955 HAS SOPS 1473955 HAS SOUS 1133261 HAS SOUPS 1133261 WITH SCORE 1134734.955
AT ITER 7195 NEW BEST:: SOT 8506249 SOS 1473913 HAS SOPS 1473913 HAS SOUS 1133217 HAS SOUPS 1133217 WITH SCORE 1134690.913
AT ITER 7202 NEW BEST:: SOT 8506225 SOS 1473865 HAS SOPS 1473865 HAS SOUS 1133169 HAS SOUPS 1133169 WITH SCORE 1134642.865
AT ITER 7222 NEW BEST:: SOT 8505980 SOS 1473864 HAS SOPS 1473864 HAS SOUS 1133168 HAS SOUPS 1133168 WITH SCORE 1134641.864
AT ITER 7229 NEW BEST:: SOT 8505998 SOS 1473656 HAS SOPS 1473656 HAS SOUS 1133069 HAS SOUPS 1133069 WITH SCORE 1134542.656
AT ITER 7230 NEW BEST:: SOT 8505963 SOS 1473586 HAS SOPS 1473586 HAS SOUS 1132999 HAS SOUPS 1132999 WITH SCORE 1134472.586
AT ITER 7244 NEW BEST:: SOT 8505153 SOS 1473451 HAS SOPS 1473451 HAS SOUS 1132324 HAS SOUPS 1132324 WITH SCORE 1133797.451
AT ITER 7317 NEW BEST:: SOT 8505013 SOS 1473305 HAS SOPS 1473305 HAS SOUS 1132038 HAS SOUPS 1132038 WITH SCORE 1133511.305
AT ITER 7320 NEW BEST:: SOT 8505013 SOS 1473300 HAS SOPS 1473300 HAS SOUS 1132033 HAS SOUPS 1132033 WITH SCORE 1133506.3
AT ITER 7350 NEW BEST:: SOT 8505078 SOS 1473876 HAS SOPS 1473876 HAS SOUS 1131746 HAS SOUPS 1131746 WITH SCORE 1133219.876
AT ITER 7351 NEW BEST:: SOT 8505028 SOS 1473689 HAS SOPS 1473689 HAS SOUS 1131559 HAS SOUPS 1131559 WITH SCORE 1133032.689
AT ITER 7356 NEW BEST:: SOT 8504730 SOS 1473389 HAS SOPS 1473389 HAS SOUS 1131012 HAS SOUPS 1131012 WITH SCORE 1132485.389
AT ITER 7396 NEW BEST:: SOT 8504713 SOS 1473369 HAS SOPS 1473369 HAS SOUS 1130982 HAS SOUPS 1130982 WITH SCORE 1132455.369
AT ITER 7398 NEW BEST:: SOT 8504020 SOS 1472478 HAS SOPS 1472478 HAS SOUS 1130883 HAS SOUPS 1130883 WITH SCORE 1132355.478
AT ITER 7406 NEW BEST:: SOT 8504020 SOS 1472222 HAS SOPS 1472222 HAS SOUS 1130627 HAS SOUPS 1130627 WITH SCORE 1132099.222
AT ITER 7423 NEW BEST:: SOT 8504020 SOS 1472294 HAS SOPS 1472294 HAS SOUS 1130626 HAS SOUPS 1130626 WITH SCORE 1132098.294
AT ITER 7425 NEW BEST:: SOT 8504014 SOS 1472282 HAS SOPS 1472282 HAS SOUS 1130548 HAS SOUPS 1130548 WITH SCORE 1132020.282
AT ITER 7441 NEW BEST:: SOT 8503816 SOS 1472183 HAS SOPS 1472183 HAS SOUS 1130503 HAS SOUPS 1130503 WITH SCORE 1131975.183
AT ITER 7444 NEW BEST:: SOT 8503857 SOS 1472155 HAS SOPS 1472155 HAS SOUS 1130475 HAS SOUPS 1130475 WITH SCORE 1131947.155
AT ITER 7477 NEW BEST:: SOT 8503715 SOS 1471871 HAS SOPS 1471871 HAS SOUS 1130191 HAS SOUPS 1130191 WITH SCORE 1131662.871
AT ITER 7486 NEW BEST:: SOT 8504911 SOS 1473384 HAS SOPS 1473384 HAS SOUS 1129823 HAS SOUPS 1129823 WITH SCORE 1131296.384
AT ITER 7507 NEW BEST:: SOT 8504555 SOS 1473012 HAS SOPS 1473012 HAS SOUS 1129467 HAS SOUPS 1129467 WITH SCORE 1130940.012
AT ITER 7516 NEW BEST:: SOT 8504385 SOS 1472725 HAS SOPS 1472725 HAS SOUS 1129180 HAS SOUPS 1129180 WITH SCORE 1130652.725
AT ITER 7536 NEW BEST:: SOT 8504385 SOS 1472577 HAS SOPS 1472577 HAS SOUS 1129165 HAS SOUPS 1129165 WITH SCORE 1130637.577
AT ITER 7553 NEW BEST:: SOT 8504269 SOS 1472238 HAS SOPS 1472238 HAS SOUS 1128826 HAS SOUPS 1128826 WITH SCORE 1130298.238
AT ITER 7560 NEW BEST:: SOT 8504269 SOS 1472209 HAS SOPS 1472209 HAS SOUS 1128825 HAS SOUPS 1128825 WITH SCORE 1130297.209
AT ITER 7569 NEW BEST:: SOT 8504269 SOS 1471985 HAS SOPS 1471985 HAS SOUS 1128819 HAS SOUPS 1128819 WITH SCORE 1130290.985
AT ITER 7573 NEW BEST:: SOT 8504039 SOS 1471502 HAS SOPS 1471502 HAS SOUS 1128566 HAS SOUPS 1128566 WITH SCORE 1130037.502
AT ITER 7613 NEW BEST:: SOT 8503613 SOS 1471502 HAS SOPS 1471502 HAS SOUS 1128211 HAS SOUPS 1128211 WITH SCORE 1129682.502
AT ITER 7621 NEW BEST:: SOT 8503512 SOS 1471299 HAS SOPS 1471299 HAS SOUS 1128102 HAS SOUPS 1128102 WITH SCORE 1129573.299
AT ITER 7626 NEW BEST:: SOT 8503468 SOS 1471233 HAS SOPS 1471233 HAS SOUS 1128036 HAS SOUPS 1128036 WITH SCORE 1129507.233
AT ITER 7654 NEW BEST:: SOT 8503402 SOS 1471165 HAS SOPS 1471165 HAS SOUS 1127969 HAS SOUPS 1127969 WITH SCORE 1129440.165
AT ITER 7679 NEW BEST:: SOT 8503401 SOS 1471163 HAS SOPS 1471163 HAS SOUS 1127967 HAS SOUPS 1127967 WITH SCORE 1129438.163
AT ITER 7703 NEW BEST:: SOT 8503400 SOS 1471161 HAS SOPS 1471161 HAS SOUS 1127965 HAS SOUPS 1127965 WITH SCORE 1129436.161
AT ITER 7713 NEW BEST:: SOT 8503279 SOS 1471631 HAS SOPS 1471631 HAS SOUS 1127691 HAS SOUPS 1127691 WITH SCORE 1129162.631
AT ITER 7714 NEW BEST:: SOT 8503153 SOS 1471379 HAS SOPS 1471379 HAS SOUS 1127225 HAS SOUPS 1127225 WITH SCORE 1128696.379
AT ITER 7753 NEW BEST:: SOT 8503153 SOS 1471190 HAS SOPS 1471190 HAS SOUS 1127036 HAS SOUPS 1127036 WITH SCORE 1128507.19
AT ITER 7764 NEW BEST:: SOT 8503091 SOS 1471066 HAS SOPS 1471066 HAS SOUS 1126912 HAS SOUPS 1126912 WITH SCORE 1128383.066
AT ITER 7803 NEW BEST:: SOT 8502868 SOS 1471776 HAS SOPS 1471776 HAS SOUS 1126780 HAS SOUPS 1126780 WITH SCORE 1128251.776
AT ITER 7808 NEW BEST:: SOT 8502596 SOS 1471463 HAS SOPS 1471463 HAS SOUS 1126439 HAS SOUPS 1126439 WITH SCORE 1127910.463
AT ITER 7812 NEW BEST:: SOT 8502509 SOS 1471376 HAS SOPS 1471376 HAS SOUS 1126265 HAS SOUPS 1126265 WITH SCORE 1127736.376
AT ITER 7814 NEW BEST:: SOT 8502339 SOS 1470934 HAS SOPS 1470934 HAS SOUS 1125756 HAS SOUPS 1125756 WITH SCORE 1127226.934
AT ITER 7827 NEW BEST:: SOT 8502339 SOS 1469937 HAS SOPS 1469937 HAS SOUS 1125430 HAS SOUPS 1125430 WITH SCORE 1126899.937
AT ITER 7854 NEW BEST:: SOT 8502196 SOS 1469920 HAS SOPS 1469920 HAS SOUS 1125412 HAS SOUPS 1125412 WITH SCORE 1126881.92
AT ITER 7892 NEW BEST:: SOT 8502034 SOS 1469655 HAS SOPS 1469655 HAS SOUS 1125154 HAS SOUPS 1125154 WITH SCORE 1126623.655
AT ITER 7939 NEW BEST:: SOT 8501992 SOS 1469571 HAS SOPS 1469571 HAS SOUS 1125111 HAS SOUPS 1125111 WITH SCORE 1126580.571
AT ITER 7942 NEW BEST:: SOT 8501040 SOS 1468580 HAS SOPS 1468580 HAS SOUS 1125111 HAS SOUPS 1125111 WITH SCORE 1126579.58
AT ITER 7953 NEW BEST:: SOT 8500729 SOS 1467958 HAS SOPS 1467958 HAS SOUS 1124489 HAS SOUPS 1124489 WITH SCORE 1125956.958
AT ITER 7994 NEW BEST:: SOT 8500885 SOS 1467730 HAS SOPS 1467730 HAS SOUS 1124438 HAS SOUPS 1124438 WITH SCORE 1125905.73
AT ITER 8002 NEW BEST:: SOT 8500512 SOS 1467033 HAS SOPS 1467033 HAS SOUS 1124051 HAS SOUPS 1124051 WITH SCORE 1125518.033
AT ITER 8004 NEW BEST:: SOT 8500512 SOS 1466976 HAS SOPS 1466976 HAS SOUS 1123994 HAS SOUPS 1123994 WITH SCORE 1125460.976
AT ITER 8057 NEW BEST:: SOT 8500391 SOS 1466975 HAS SOPS 1466975 HAS SOUS 1123993 HAS SOUPS 1123993 WITH SCORE 1125459.975
AT ITER 8071 NEW BEST:: SOT 8500297 SOS 1466849 HAS SOPS 1466849 HAS SOUS 1123805 HAS SOUPS 1123805 WITH SCORE 1125271.849
AT ITER 8093 NEW BEST:: SOT 8500407 SOS 1466836 HAS SOPS 1466836 HAS SOUS 1123792 HAS SOUPS 1123792 WITH SCORE 1125258.836
AT ITER 8139 NEW BEST:: SOT 8500407 SOS 1466751 HAS SOPS 1466751 HAS SOUS 1123792 HAS SOUPS 1123792 WITH SCORE 1125258.751
AT ITER 8145 NEW BEST:: SOT 8500183 SOS 1466416 HAS SOPS 1466416 HAS SOUS 1121763 HAS SOUPS 1121763 WITH SCORE 1123229.416
AT ITER 8146 NEW BEST:: SOT 8499780 SOS 1465993 HAS SOPS 1465993 HAS SOUS 1121502 HAS SOUPS 1121502 WITH SCORE 1122967.993
AT ITER 8153 NEW BEST:: SOT 8499685 SOS 1466737 HAS SOPS 1466737 HAS SOUS 1121442 HAS SOUPS 1121442 WITH SCORE 1122908.737
AT ITER 8207 NEW BEST:: SOT 8499627 SOS 1466563 HAS SOPS 1466563 HAS SOUS 1121326 HAS SOUPS 1121326 WITH SCORE 1122792.563
AT ITER 8208 NEW BEST:: SOT 8499627 SOS 1466554 HAS SOPS 1466554 HAS SOUS 1121326 HAS SOUPS 1121326 WITH SCORE 1122792.554
AT ITER 8213 NEW BEST:: SOT 8499607 SOS 1466514 HAS SOPS 1466514 HAS SOUS 1121286 HAS SOUPS 1121286 WITH SCORE 1122752.514
AT ITER 8220 NEW BEST:: SOT 8499481 SOS 1466769 HAS SOPS 1466769 HAS SOUS 1121121 HAS SOUPS 1121121 WITH SCORE 1122587.769
AT ITER 8256 NEW BEST:: SOT 8499243 SOS 1466644 HAS SOPS 1466644 HAS SOUS 1120996 HAS SOUPS 1120996 WITH SCORE 1122462.644
AT ITER 8268 NEW BEST:: SOT 8499242 SOS 1466642 HAS SOPS 1466642 HAS SOUS 1120994 HAS SOUPS 1120994 WITH SCORE 1122460.642
AT ITER 8269 NEW BEST:: SOT 8499209 SOS 1466568 HAS SOPS 1466568 HAS SOUS 1120920 HAS SOUPS 1120920 WITH SCORE 1122386.568
AT ITER 8299 NEW BEST:: SOT 8499052 SOS 1466097 HAS SOPS 1466097 HAS SOUS 1120594 HAS SOUPS 1120594 WITH SCORE 1122060.097
AT ITER 8313 NEW BEST:: SOT 8498630 SOS 1465639 HAS SOPS 1465639 HAS SOUS 1120136 HAS SOUPS 1120136 WITH SCORE 1121601.639
AT ITER 8314 NEW BEST:: SOT 8498697 SOS 1465421 HAS SOPS 1465421 HAS SOUS 1119629 HAS SOUPS 1119629 WITH SCORE 1121094.421
AT ITER 8316 NEW BEST:: SOT 8498565 SOS 1465025 HAS SOPS 1465025 HAS SOUS 1119300 HAS SOUPS 1119300 WITH SCORE 1120765.025
AT ITER 8359 NEW BEST:: SOT 8498426 SOS 1464713 HAS SOPS 1464713 HAS SOUS 1118749 HAS SOUPS 1118749 WITH SCORE 1120213.713
AT ITER 8377 NEW BEST:: SOT 8498026 SOS 1465052 HAS SOPS 1465052 HAS SOUS 1118648 HAS SOUPS 1118648 WITH SCORE 1120113.052
AT ITER 8416 NEW BEST:: SOT 8497719 SOS 1464568 HAS SOPS 1464568 HAS SOUS 1118194 HAS SOUPS 1118194 WITH SCORE 1119658.568
AT ITER 8476 NEW BEST:: SOT 8497459 SOS 1464304 HAS SOPS 1464304 HAS SOUS 1117670 HAS SOUPS 1117670 WITH SCORE 1119134.304
AT ITER 8542 NEW BEST:: SOT 8497467 SOS 1464114 HAS SOPS 1464114 HAS SOUS 1117511 HAS SOUPS 1117511 WITH SCORE 1118975.114
AT ITER 8570 NEW BEST:: SOT 8497328 SOS 1463942 HAS SOPS 1463942 HAS SOUS 1117379 HAS SOUPS 1117379 WITH SCORE 1118842.942
AT ITER 8574 NEW BEST:: SOT 8497562 SOS 1463829 HAS SOPS 1463829 HAS SOUS 1117266 HAS SOUPS 1117266 WITH SCORE 1118729.829
AT ITER 8630 NEW BEST:: SOT 8497545 SOS 1463812 HAS SOPS 1463812 HAS SOUS 1117249 HAS SOUPS 1117249 WITH SCORE 1118712.812
AT ITER 8636 NEW BEST:: SOT 8497514 SOS 1463743 HAS SOPS 1463743 HAS SOUS 1117203 HAS SOUPS 1117203 WITH SCORE 1118666.743
AT ITER 8643 NEW BEST:: SOT 8496373 SOS 1462602 HAS SOPS 1462602 HAS SOUS 1117203 HAS SOUPS 1117203 WITH SCORE 1118665.602
AT ITER 8649 NEW BEST:: SOT 8496291 SOS 1462479 HAS SOPS 1462479 HAS SOUS 1117080 HAS SOUPS 1117080 WITH SCORE 1118542.479
AT ITER 8652 NEW BEST:: SOT 8496096 SOS 1461894 HAS SOPS 1461894 HAS SOUS 1116495 HAS SOUPS 1116495 WITH SCORE 1117956.894
AT ITER 8668 NEW BEST:: SOT 8495942 SOS 1460739 HAS SOPS 1460739 HAS SOUS 1116187 HAS SOUPS 1116187 WITH SCORE 1117647.739
AT ITER 8671 NEW BEST:: SOT 8495738 SOS 1460780 HAS SOPS 1460780 HAS SOUS 1116105 HAS SOUPS 1116105 WITH SCORE 1117565.78
AT ITER 8678 NEW BEST:: SOT 8495709 SOS 1460431 HAS SOPS 1460431 HAS SOUS 1116036 HAS SOUPS 1116036 WITH SCORE 1117496.431
AT ITER 8694 NEW BEST:: SOT 8495671 SOS 1460155 HAS SOPS 1460155 HAS SOUS 1116013 HAS SOUPS 1116013 WITH SCORE 1117473.155
AT ITER 8699 NEW BEST:: SOT 8495527 SOS 1459970 HAS SOPS 1459970 HAS SOUS 1115293 HAS SOUPS 1115293 WITH SCORE 1116752.97
AT ITER 8713 NEW BEST:: SOT 8495526 SOS 1459949 HAS SOPS 1459949 HAS SOUS 1115272 HAS SOUPS 1115272 WITH SCORE 1116731.949
AT ITER 8721 NEW BEST:: SOT 8495474 SOS 1460029 HAS SOPS 1460029 HAS SOUS 1115216 HAS SOUPS 1115216 WITH SCORE 1116676.029
AT ITER 8722 NEW BEST:: SOT 8495519 SOS 1458792 HAS SOPS 1458792 HAS SOUS 1115008 HAS SOUPS 1115008 WITH SCORE 1116466.792
AT ITER 8772 NEW BEST:: SOT 8495389 SOS 1458196 HAS SOPS 1458196 HAS SOUS 1114580 HAS SOUPS 1114580 WITH SCORE 1116038.196
AT ITER 8773 NEW BEST:: SOT 8495270 SOS 1457958 HAS SOPS 1457958 HAS SOUS 1114430 HAS SOUPS 1114430 WITH SCORE 1115887.958
AT ITER 8776 NEW BEST:: SOT 8494817 SOS 1458307 HAS SOPS 1458307 HAS SOUS 1114314 HAS SOUPS 1114314 WITH SCORE 1115772.307
AT ITER 8785 NEW BEST:: SOT 8494485 SOS 1457639 HAS SOPS 1457639 HAS SOUS 1113646 HAS SOUPS 1113646 WITH SCORE 1115103.639
AT ITER 8819 NEW BEST:: SOT 8494485 SOS 1457513 HAS SOPS 1457513 HAS SOUS 1113520 HAS SOUPS 1113520 WITH SCORE 1114977.513
AT ITER 8836 NEW BEST:: SOT 8494426 SOS 1457227 HAS SOPS 1457227 HAS SOUS 1113384 HAS SOUPS 1113384 WITH SCORE 1114841.227
AT ITER 8945 NEW BEST:: SOT 8494333 SOS 1457041 HAS SOPS 1457041 HAS SOUS 1113198 HAS SOUPS 1113198 WITH SCORE 1114655.041
AT ITER 8969 NEW BEST:: SOT 8494316 SOS 1456903 HAS SOPS 1456903 HAS SOUS 1113163 HAS SOUPS 1113163 WITH SCORE 1114619.903
AT ITER 8975 NEW BEST:: SOT 8494354 SOS 1456965 HAS SOPS 1456965 HAS SOUS 1113162 HAS SOUPS 1113162 WITH SCORE 1114618.965
AT ITER 8978 NEW BEST:: SOT 8494338 SOS 1456933 HAS SOPS 1456933 HAS SOUS 1113130 HAS SOUPS 1113130 WITH SCORE 1114586.933
AT ITER 8984 NEW BEST:: SOT 8494027 SOS 1456427 HAS SOPS 1456427 HAS SOUS 1112624 HAS SOUPS 1112624 WITH SCORE 1114080.427
AT ITER 8986 NEW BEST:: SOT 8493715 SOS 1456115 HAS SOPS 1456115 HAS SOUS 1112312 HAS SOUPS 1112312 WITH SCORE 1113768.115
AT ITER 9016 NEW BEST:: SOT 8493466 SOS 1455617 HAS SOPS 1455617 HAS SOUS 1112092 HAS SOUPS 1112092 WITH SCORE 1113547.617
AT ITER 9018 NEW BEST:: SOT 8491905 SOS 1454626 HAS SOPS 1454626 HAS SOUS 1110753 HAS SOUPS 1110753 WITH SCORE 1112207.626
AT ITER 9070 NEW BEST:: SOT 8491898 SOS 1454556 HAS SOPS 1454556 HAS SOUS 1110683 HAS SOUPS 1110683 WITH SCORE 1112137.556
AT ITER 9114 NEW BEST:: SOT 8491898 SOS 1454424 HAS SOPS 1454424 HAS SOUS 1110670 HAS SOUPS 1110670 WITH SCORE 1112124.424
AT ITER 9119 NEW BEST:: SOT 8491888 SOS 1454414 HAS SOPS 1454414 HAS SOUS 1110660 HAS SOUPS 1110660 WITH SCORE 1112114.414
AT ITER 9136 NEW BEST:: SOT 8491888 SOS 1454162 HAS SOPS 1454162 HAS SOUS 1110660 HAS SOUPS 1110660 WITH SCORE 1112114.162
AT ITER 9137 NEW BEST:: SOT 8491695 SOS 1453872 HAS SOPS 1453872 HAS SOUS 1109954 HAS SOUPS 1109954 WITH SCORE 1111407.872
AT ITER 9148 NEW BEST:: SOT 8491695 SOS 1453767 HAS SOPS 1453767 HAS SOUS 1109849 HAS SOUPS 1109849 WITH SCORE 1111302.767
AT ITER 9185 NEW BEST:: SOT 8491568 SOS 1454202 HAS SOPS 1454202 HAS SOUS 1109668 HAS SOUPS 1109668 WITH SCORE 1111122.202
AT ITER 9251 NEW BEST:: SOT 8491568 SOS 1454201 HAS SOPS 1454201 HAS SOUS 1109667 HAS SOUPS 1109667 WITH SCORE 1111121.201
AT ITER 9252 NEW BEST:: SOT 8491338 SOS 1453284 HAS SOPS 1453284 HAS SOUS 1109182 HAS SOUPS 1109182 WITH SCORE 1110635.284
AT ITER 9254 NEW BEST:: SOT 8491333 SOS 1453273 HAS SOPS 1453273 HAS SOUS 1109142 HAS SOUPS 1109142 WITH SCORE 1110595.273
AT ITER 9261 NEW BEST:: SOT 8491287 SOS 1453181 HAS SOPS 1453181 HAS SOUS 1109050 HAS SOUPS 1109050 WITH SCORE 1110503.181
AT ITER 9265 NEW BEST:: SOT 8491219 SOS 1453045 HAS SOPS 1453045 HAS SOUS 1108914 HAS SOUPS 1108914 WITH SCORE 1110367.045
AT ITER 9277 NEW BEST:: SOT 8491251 SOS 1452954 HAS SOPS 1452954 HAS SOUS 1108823 HAS SOUPS 1108823 WITH SCORE 1110275.954
AT ITER 9296 NEW BEST:: SOT 8491251 SOS 1452926 HAS SOPS 1452926 HAS SOUS 1108795 HAS SOUPS 1108795 WITH SCORE 1110247.926
AT ITER 9313 NEW BEST:: SOT 8489578 SOS 1451782 HAS SOPS 1451782 HAS SOUS 1107317 HAS SOUPS 1107317 WITH SCORE 1108768.782
AT ITER 9351 NEW BEST:: SOT 8489510 SOS 1451699 HAS SOPS 1451699 HAS SOUS 1107234 HAS SOUPS 1107234 WITH SCORE 1108685.699
AT ITER 9376 NEW BEST:: SOT 8489366 SOS 1451411 HAS SOPS 1451411 HAS SOUS 1106946 HAS SOUPS 1106946 WITH SCORE 1108397.411
AT ITER 9424 NEW BEST:: SOT 8489366 SOS 1452866 HAS SOPS 1452866 HAS SOUS 1106917 HAS SOUPS 1106917 WITH SCORE 1108369.866
AT ITER 9453 NEW BEST:: SOT 8489307 SOS 1452748 HAS SOPS 1452748 HAS SOUS 1105127 HAS SOUPS 1105127 WITH SCORE 1106579.748
AT ITER 9485 NEW BEST:: SOT 8489307 SOS 1452729 HAS SOPS 1452729 HAS SOUS 1105108 HAS SOUPS 1105108 WITH SCORE 1106560.729
AT ITER 9495 NEW BEST:: SOT 8489101 SOS 1452523 HAS SOPS 1452523 HAS SOUS 1104902 HAS SOUPS 1104902 WITH SCORE 1106354.523
AT ITER 9505 NEW BEST:: SOT 8487322 SOS 1459279 HAS SOPS 1459279 HAS SOUS 1104249 HAS SOUPS 1104249 WITH SCORE 1105708.279
AT ITER 9514 NEW BEST:: SOT 8487322 SOS 1459154 HAS SOPS 1459154 HAS SOUS 1104124 HAS SOUPS 1104124 WITH SCORE 1105583.154
AT ITER 9534 NEW BEST:: SOT 8487322 SOS 1459083 HAS SOPS 1459083 HAS SOUS 1104053 HAS SOUPS 1104053 WITH SCORE 1105512.083
AT ITER 9557 NEW BEST:: SOT 8487316 SOS 1458937 HAS SOPS 1458937 HAS SOUS 1103971 HAS SOUPS 1103971 WITH SCORE 1105429.937
AT ITER 9580 NEW BEST:: SOT 8487070 SOS 1456794 HAS SOPS 1456794 HAS SOUS 1103233 HAS SOUPS 1103233 WITH SCORE 1104689.794
AT ITER 9637 NEW BEST:: SOT 8487070 SOS 1456658 HAS SOPS 1456658 HAS SOUS 1103215 HAS SOUPS 1103215 WITH SCORE 1104671.658
AT ITER 9657 NEW BEST:: SOT 8486730 SOS 1456078 HAS SOPS 1456078 HAS SOUS 1102635 HAS SOUPS 1102635 WITH SCORE 1104091.078
AT ITER 9659 NEW BEST:: SOT 8486665 SOS 1455988 HAS SOPS 1455988 HAS SOUS 1102610 HAS SOUPS 1102610 WITH SCORE 1104065.988
AT ITER 9680 NEW BEST:: SOT 8486556 SOS 1455847 HAS SOPS 1455847 HAS SOUS 1102469 HAS SOUPS 1102469 WITH SCORE 1103924.847
AT ITER 9688 NEW BEST:: SOT 8486468 SOS 1455467 HAS SOPS 1455467 HAS SOUS 1102312 HAS SOUPS 1102312 WITH SCORE 1103767.467
AT ITER 9709 NEW BEST:: SOT 8486381 SOS 1455380 HAS SOPS 1455380 HAS SOUS 1102138 HAS SOUPS 1102138 WITH SCORE 1103593.38
AT ITER 9721 NEW BEST:: SOT 8485957 SOS 1455013 HAS SOPS 1455013 HAS SOUS 1102081 HAS SOUPS 1102081 WITH SCORE 1103536.013
AT ITER 9741 NEW BEST:: SOT 8485720 SOS 1454072 HAS SOPS 1454072 HAS SOUS 1101756 HAS SOUPS 1101756 WITH SCORE 1103210.072
AT ITER 9742 NEW BEST:: SOT 8486780 SOS 1455723 HAS SOPS 1455723 HAS SOUS 1100339 HAS SOUPS 1100339 WITH SCORE 1101794.723
AT ITER 9743 NEW BEST:: SOT 8486702 SOS 1455645 HAS SOPS 1455645 HAS SOUS 1100215 HAS SOUPS 1100215 WITH SCORE 1101670.645
AT ITER 9831 NEW BEST:: SOT 8486683 SOS 1455707 HAS SOPS 1455707 HAS SOUS 1099908 HAS SOUPS 1099908 WITH SCORE 1101363.707
AT ITER 9840 NEW BEST:: SOT 8486683 SOS 1455647 HAS SOPS 1455647 HAS SOUS 1099848 HAS SOUPS 1099848 WITH SCORE 1101303.647
AT ITER 9874 NEW BEST:: SOT 8486590 SOS 1455461 HAS SOPS 1455461 HAS SOUS 1099576 HAS SOUPS 1099576 WITH SCORE 1101031.461
AT ITER 9891 NEW BEST:: SOT 8486453 SOS 1454259 HAS SOPS 1454259 HAS SOUS 1099557 HAS SOUPS 1099557 WITH SCORE 1101011.259
AT ITER 9901 NEW BEST:: SOT 8486421 SOS 1454227 HAS SOPS 1454227 HAS SOUS 1099517 HAS SOUPS 1099517 WITH SCORE 1100971.227
AT ITER 9909 NEW BEST:: SOT 8485717 SOS 1453727 HAS SOPS 1453727 HAS SOUS 1099017 HAS SOUPS 1099017 WITH SCORE 1100470.727
AT ITER 9922 NEW BEST:: SOT 8485615 SOS 1453523 HAS SOPS 1453523 HAS SOUS 1098813 HAS SOUPS 1098813 WITH SCORE 1100266.523
AT ITER 9937 NEW BEST:: SOT 8485575 SOS 1453450 HAS SOPS 1453450 HAS SOUS 1098740 HAS SOUPS 1098740 WITH SCORE 1100193.45
AT ITER 9953 NEW BEST:: SOT 8485505 SOS 1453170 HAS SOPS 1453170 HAS SOUS 1098600 HAS SOUPS 1098600 WITH SCORE 1100053.17
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 14134140 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16122460 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-08b"
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 ASLink-PT-08b, 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 r011-oct2-167813599800136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08b.tgz
mv ASLink-PT-08b 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 ;