Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813696800408.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BugTracking-PT-q8m008, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696800408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 7.5K Feb 26 06:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 06:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 06:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 06:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 07:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 07:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 06:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 06:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M 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 1678787481655

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=BugTracking-PT-q8m008
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 09:51:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 09:51:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 09:51:24] [INFO ] Load time of PNML (sax parser for PT used): 805 ms
[2023-03-14 09:51:24] [INFO ] Transformed 754 places.
[2023-03-14 09:51:24] [INFO ] Transformed 27370 transitions.
[2023-03-14 09:51:24] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 1016 ms.
[2023-03-14 09:51:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 169 ms.
Total runtime 1212 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m008
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: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 12975622 SOS 6053409 HAS SOPS 6048954 HAS SOUS 1656695 HAS SOUPS 1652240 WITH SCORE 1658293.409
AT ITER 7 NEW BEST:: SOT 12974722 SOS 6052509 HAS SOPS 6048054 HAS SOUS 1655803 HAS SOUPS 1651348 WITH SCORE 1657400.509
AT ITER 12 NEW BEST:: SOT 12974731 SOS 6052472 HAS SOPS 6048063 HAS SOUS 1652286 HAS SOUPS 1647877 WITH SCORE 1653929.472
AT ITER 17 NEW BEST:: SOT 12824866 SOS 5903716 HAS SOPS 5900034 HAS SOUS 1492298 HAS SOUPS 1488616 WITH SCORE 1494519.716
AT ITER 19 NEW BEST:: SOT 12821962 SOS 5904388 HAS SOPS 5900706 HAS SOUS 1486666 HAS SOUPS 1482984 WITH SCORE 1488888.388
AT ITER 26 NEW BEST:: SOT 12821710 SOS 5904262 HAS SOPS 5900916 HAS SOUS 1473100 HAS SOUPS 1469754 WITH SCORE 1475658.262
AT ITER 37 NEW BEST:: SOT 12820611 SOS 5906196 HAS SOPS 5902850 HAS SOUS 1472867 HAS SOUPS 1469521 WITH SCORE 1475427.196
AT ITER 48 NEW BEST:: SOT 12820611 SOS 5894578 HAS SOPS 5891232 HAS SOUS 1472710 HAS SOUPS 1469364 WITH SCORE 1475258.578
AT ITER 67 NEW BEST:: SOT 12819495 SOS 5893462 HAS SOPS 5890116 HAS SOUS 1470411 HAS SOUPS 1467065 WITH SCORE 1472958.462
AT ITER 71 NEW BEST:: SOT 12813040 SOS 5888415 HAS SOPS 5885069 HAS SOUS 1465949 HAS SOUPS 1462603 WITH SCORE 1468491.415
AT ITER 83 NEW BEST:: SOT 12812932 SOS 5888793 HAS SOPS 5885447 HAS SOUS 1465841 HAS SOUPS 1462495 WITH SCORE 1468383.793
AT ITER 113 NEW BEST:: SOT 12811603 SOS 5888166 HAS SOPS 5884820 HAS SOUS 1463456 HAS SOUPS 1460110 WITH SCORE 1465998.166
AT ITER 129 NEW BEST:: SOT 12811192 SOS 5887838 HAS SOPS 5884531 HAS SOUS 1460045 HAS SOUPS 1456738 WITH SCORE 1462625.838
AT ITER 151 NEW BEST:: SOT 12809332 SOS 5885735 HAS SOPS 5882482 HAS SOUS 1447078 HAS SOUPS 1443825 WITH SCORE 1449710.735
AT ITER 152 NEW BEST:: SOT 12811684 SOS 5889666 HAS SOPS 5886482 HAS SOUS 1444948 HAS SOUPS 1441764 WITH SCORE 1447653.666
AT ITER 159 NEW BEST:: SOT 12811566 SOS 5888306 HAS SOPS 5885122 HAS SOUS 1444702 HAS SOUPS 1441518 WITH SCORE 1447406.306
AT ITER 163 NEW BEST:: SOT 12811378 SOS 5888118 HAS SOPS 5884934 HAS SOUS 1444548 HAS SOUPS 1441364 WITH SCORE 1447252.118
AT ITER 171 NEW BEST:: SOT 12805692 SOS 5884046 HAS SOPS 5880862 HAS SOUS 1438032 HAS SOUPS 1434848 WITH SCORE 1440732.046
AT ITER 174 NEW BEST:: SOT 12805580 SOS 5883938 HAS SOPS 5880770 HAS SOUS 1437679 HAS SOUPS 1434511 WITH SCORE 1440394.938
AT ITER 176 NEW BEST:: SOT 12805580 SOS 5878610 HAS SOPS 5875442 HAS SOUS 1437679 HAS SOUPS 1434511 WITH SCORE 1440389.61
AT ITER 198 NEW BEST:: SOT 12806576 SOS 5879703 HAS SOPS 5876568 HAS SOUS 1431302 HAS SOUPS 1428167 WITH SCORE 1434046.703
AT ITER 222 NEW BEST:: SOT 12805937 SOS 5879064 HAS SOPS 5875929 HAS SOUS 1429995 HAS SOUPS 1426860 WITH SCORE 1432739.064
AT ITER 223 NEW BEST:: SOT 12806438 SOS 5879565 HAS SOPS 5876430 HAS SOUS 1429647 HAS SOUPS 1426512 WITH SCORE 1432391.565
AT ITER 225 NEW BEST:: SOT 12805130 SOS 5878257 HAS SOPS 5875122 HAS SOUS 1427013 HAS SOUPS 1423878 WITH SCORE 1429756.257
AT ITER 226 NEW BEST:: SOT 12803660 SOS 5876787 HAS SOPS 5873652 HAS SOUS 1423901 HAS SOUPS 1420766 WITH SCORE 1426642.787
AT ITER 227 NEW BEST:: SOT 12800665 SOS 5888221 HAS SOPS 5885086 HAS SOUS 1422529 HAS SOUPS 1419394 WITH SCORE 1425282.221
AT ITER 231 NEW BEST:: SOT 12797836 SOS 5885564 HAS SOPS 5882429 HAS SOUS 1418542 HAS SOUPS 1415407 WITH SCORE 1421292.564
AT ITER 232 NEW BEST:: SOT 12795963 SOS 5883691 HAS SOPS 5880556 HAS SOUS 1416909 HAS SOUPS 1413774 WITH SCORE 1419657.691
AT ITER 236 NEW BEST:: SOT 12795963 SOS 5883451 HAS SOPS 5880360 HAS SOUS 1416862 HAS SOUPS 1413771 WITH SCORE 1419654.451
AT ITER 238 NEW BEST:: SOT 12794719 SOS 5882207 HAS SOPS 5879116 HAS SOUS 1415829 HAS SOUPS 1412738 WITH SCORE 1418620.207
AT ITER 242 NEW BEST:: SOT 12792197 SOS 5888265 HAS SOPS 5885174 HAS SOUS 1415818 HAS SOUPS 1412727 WITH SCORE 1418615.265
AT ITER 243 NEW BEST:: SOT 12792659 SOS 5888474 HAS SOPS 5885409 HAS SOUS 1408199 HAS SOUPS 1405134 WITH SCORE 1411022.474
AT ITER 249 NEW BEST:: SOT 12791442 SOS 5887985 HAS SOPS 5884920 HAS SOUS 1406106 HAS SOUPS 1403041 WITH SCORE 1408928.985
AT ITER 271 NEW BEST:: SOT 12788078 SOS 5887141 HAS SOPS 5884076 HAS SOUS 1404006 HAS SOUPS 1400941 WITH SCORE 1406828.141
AT ITER 274 NEW BEST:: SOT 12788078 SOS 5882533 HAS SOPS 5879468 HAS SOUS 1404006 HAS SOUPS 1400941 WITH SCORE 1406823.533
AT ITER 285 NEW BEST:: SOT 12786818 SOS 5881683 HAS SOPS 5878618 HAS SOUS 1390660 HAS SOUPS 1387595 WITH SCORE 1393476.683
AT ITER 286 NEW BEST:: SOT 12786818 SOS 5881683 HAS SOPS 5878618 HAS SOUS 1390599 HAS SOUPS 1387534 WITH SCORE 1393415.683
AT ITER 287 NEW BEST:: SOT 12776702 SOS 5874746 HAS SOPS 5871681 HAS SOUS 1379290 HAS SOUPS 1376225 WITH SCORE 1382099.746
AT ITER 293 NEW BEST:: SOT 12785280 SOS 5883324 HAS SOPS 5880259 HAS SOUS 1376589 HAS SOUPS 1373524 WITH SCORE 1379407.324
AT ITER 294 NEW BEST:: SOT 12783879 SOS 5885859 HAS SOPS 5882794 HAS SOUS 1374032 HAS SOUPS 1370967 WITH SCORE 1376852.859
AT ITER 302 NEW BEST:: SOT 12786912 SOS 5888981 HAS SOPS 5885942 HAS SOUS 1372329 HAS SOUPS 1369290 WITH SCORE 1375178.981
AT ITER 308 NEW BEST:: SOT 12785472 SOS 5887555 HAS SOPS 5884516 HAS SOUS 1369481 HAS SOUPS 1366442 WITH SCORE 1372329.555
AT ITER 318 NEW BEST:: SOT 12783806 SOS 5885980 HAS SOPS 5882941 HAS SOUS 1366254 HAS SOUPS 1363215 WITH SCORE 1369100.98
AT ITER 322 NEW BEST:: SOT 12775492 SOS 5881560 HAS SOPS 5878521 HAS SOUS 1357757 HAS SOUPS 1354718 WITH SCORE 1360599.56
AT ITER 330 NEW BEST:: SOT 12775492 SOS 5881579 HAS SOPS 5878546 HAS SOUS 1357732 HAS SOUPS 1354699 WITH SCORE 1360580.579
AT ITER 334 NEW BEST:: SOT 12775712 SOS 5881799 HAS SOPS 5878766 HAS SOUS 1354786 HAS SOUPS 1351753 WITH SCORE 1357634.799
AT ITER 347 NEW BEST:: SOT 12773680 SOS 5879732 HAS SOPS 5876700 HAS SOUS 1345042 HAS SOUPS 1342010 WITH SCORE 1347889.732
AT ITER 356 NEW BEST:: SOT 12769464 SOS 5875263 HAS SOPS 5872279 HAS SOUS 1336339 HAS SOUPS 1333355 WITH SCORE 1339230.263
AT ITER 359 NEW BEST:: SOT 12767301 SOS 5873097 HAS SOPS 5870113 HAS SOUS 1324797 HAS SOUPS 1321813 WITH SCORE 1327686.097
AT ITER 361 NEW BEST:: SOT 12764171 SOS 5869967 HAS SOPS 5866983 HAS SOUS 1321417 HAS SOUPS 1318433 WITH SCORE 1324302.967
AT ITER 372 NEW BEST:: SOT 12764171 SOS 5877830 HAS SOPS 5874846 HAS SOUS 1320698 HAS SOUPS 1317714 WITH SCORE 1323591.83
AT ITER 378 NEW BEST:: SOT 12764171 SOS 5872214 HAS SOPS 5869230 HAS SOUS 1320698 HAS SOUPS 1317714 WITH SCORE 1323586.214
AT ITER 384 NEW BEST:: SOT 12764340 SOS 5893125 HAS SOPS 5890143 HAS SOUS 1320316 HAS SOUPS 1317334 WITH SCORE 1323227.125
AT ITER 388 NEW BEST:: SOT 12762739 SOS 5891508 HAS SOPS 5888526 HAS SOUS 1314831 HAS SOUPS 1311849 WITH SCORE 1317740.508
AT ITER 403 NEW BEST:: SOT 12762739 SOS 5884812 HAS SOPS 5881830 HAS SOUS 1314831 HAS SOUPS 1311849 WITH SCORE 1317733.812
AT ITER 410 NEW BEST:: SOT 12760910 SOS 5882976 HAS SOPS 5879994 HAS SOUS 1311164 HAS SOUPS 1308182 WITH SCORE 1314064.976
AT ITER 419 NEW BEST:: SOT 12760910 SOS 5876136 HAS SOPS 5873154 HAS SOUS 1311164 HAS SOUPS 1308182 WITH SCORE 1314058.136
AT ITER 430 NEW BEST:: SOT 12752909 SOS 5871681 HAS SOPS 5868699 HAS SOUS 1303361 HAS SOUPS 1300379 WITH SCORE 1306250.681
AT ITER 439 NEW BEST:: SOT 12752909 SOS 5867793 HAS SOPS 5864811 HAS SOUS 1303361 HAS SOUPS 1300379 WITH SCORE 1306246.793
AT ITER 441 NEW BEST:: SOT 12752909 SOS 5867505 HAS SOPS 5864523 HAS SOUS 1303361 HAS SOUPS 1300379 WITH SCORE 1306246.505
AT ITER 456 NEW BEST:: SOT 12755537 SOS 5870133 HAS SOPS 5867151 HAS SOUS 1300675 HAS SOUPS 1297693 WITH SCORE 1303563.133
AT ITER 469 NEW BEST:: SOT 12757739 SOS 5872627 HAS SOPS 5869645 HAS SOUS 1297657 HAS SOUPS 1294675 WITH SCORE 1300547.627
AT ITER 473 NEW BEST:: SOT 12760606 SOS 5875616 HAS SOPS 5872634 HAS SOUS 1296318 HAS SOUPS 1293336 WITH SCORE 1299211.616
AT ITER 477 NEW BEST:: SOT 12758435 SOS 5873445 HAS SOPS 5870463 HAS SOUS 1291716 HAS SOUPS 1288734 WITH SCORE 1294607.445
AT ITER 490 NEW BEST:: SOT 12775971 SOS 5903005 HAS SOPS 5900023 HAS SOUS 1286740 HAS SOUPS 1283758 WITH SCORE 1289661.005
AT ITER 501 NEW BEST:: SOT 12775971 SOS 5897965 HAS SOPS 5894983 HAS SOUS 1286740 HAS SOUPS 1283758 WITH SCORE 1289655.965
AT ITER 516 NEW BEST:: SOT 12775961 SOS 5897955 HAS SOPS 5894973 HAS SOUS 1281671 HAS SOUPS 1278689 WITH SCORE 1284586.955
AT ITER 517 NEW BEST:: SOT 12773369 SOS 5895363 HAS SOPS 5892381 HAS SOUS 1269975 HAS SOUPS 1266993 WITH SCORE 1272888.363
AT ITER 520 NEW BEST:: SOT 12771392 SOS 5893386 HAS SOPS 5890404 HAS SOUS 1268313 HAS SOUPS 1265331 WITH SCORE 1271224.386
AT ITER 521 NEW BEST:: SOT 12773617 SOS 5895611 HAS SOPS 5892629 HAS SOUS 1252687 HAS SOUPS 1249705 WITH SCORE 1255600.611
AT ITER 524 NEW BEST:: SOT 12773617 SOS 5895559 HAS SOPS 5892577 HAS SOUS 1252661 HAS SOUPS 1249679 WITH SCORE 1255574.559
AT ITER 530 NEW BEST:: SOT 12782159 SOS 5905031 HAS SOPS 5902049 HAS SOUS 1251128 HAS SOUPS 1248146 WITH SCORE 1254051.031
AT ITER 533 NEW BEST:: SOT 12782159 SOS 5893655 HAS SOPS 5890673 HAS SOUS 1251128 HAS SOUPS 1248146 WITH SCORE 1254039.655
AT ITER 540 NEW BEST:: SOT 12796153 SOS 5907888 HAS SOPS 5904906 HAS SOUS 1249748 HAS SOUPS 1246766 WITH SCORE 1252673.888
AT ITER 556 NEW BEST:: SOT 12796153 SOS 5902560 HAS SOPS 5899578 HAS SOUS 1249748 HAS SOUPS 1246766 WITH SCORE 1252668.56
AT ITER 561 NEW BEST:: SOT 12796139 SOS 5902560 HAS SOPS 5899578 HAS SOUS 1249233 HAS SOUPS 1246251 WITH SCORE 1252153.56
AT ITER 570 NEW BEST:: SOT 12794884 SOS 5901305 HAS SOPS 5898323 HAS SOUS 1245681 HAS SOUPS 1242699 WITH SCORE 1248600.305
AT ITER 572 NEW BEST:: SOT 12794884 SOS 5894825 HAS SOPS 5891843 HAS SOUS 1245681 HAS SOUPS 1242699 WITH SCORE 1248593.825
AT ITER 593 NEW BEST:: SOT 12796416 SOS 5896357 HAS SOPS 5893375 HAS SOUS 1244624 HAS SOUPS 1241642 WITH SCORE 1247538.357
AT ITER 596 NEW BEST:: SOT 12796027 SOS 5897632 HAS SOPS 5894947 HAS SOUS 1243945 HAS SOUPS 1241260 WITH SCORE 1247157.632
AT ITER 614 NEW BEST:: SOT 12797189 SOS 5898794 HAS SOPS 5896109 HAS SOUS 1241137 HAS SOUPS 1238452 WITH SCORE 1244350.794
AT ITER 616 NEW BEST:: SOT 12797189 SOS 5897772 HAS SOPS 5895087 HAS SOUS 1241123 HAS SOUPS 1238438 WITH SCORE 1244335.772
AT ITER 626 NEW BEST:: SOT 12797420 SOS 5898003 HAS SOPS 5895318 HAS SOUS 1240877 HAS SOUPS 1238192 WITH SCORE 1244090.003
AT ITER 630 NEW BEST:: SOT 12795924 SOS 5896507 HAS SOPS 5893822 HAS SOUS 1233871 HAS SOUPS 1231186 WITH SCORE 1237082.507
AT ITER 643 NEW BEST:: SOT 12795028 SOS 5895611 HAS SOPS 5892926 HAS SOUS 1230606 HAS SOUPS 1227921 WITH SCORE 1233816.611
AT ITER 651 NEW BEST:: SOT 12816125 SOS 5954562 HAS SOPS 5951158 HAS SOUS 1220907 HAS SOUPS 1217963 WITH SCORE 1223917.562
AT ITER 654 NEW BEST:: SOT 12815726 SOS 5956613 HAS SOPS 5953209 HAS SOUS 1220095 HAS SOUPS 1217151 WITH SCORE 1223107.613
AT ITER 661 NEW BEST:: SOT 12808931 SOS 5964904 HAS SOPS 5961500 HAS SOUS 1210523 HAS SOUPS 1207579 WITH SCORE 1213543.904
AT ITER 673 NEW BEST:: SOT 12808579 SOS 5965236 HAS SOPS 5961832 HAS SOUS 1210150 HAS SOUPS 1207206 WITH SCORE 1213171.236
AT ITER 695 NEW BEST:: SOT 12809653 SOS 5966310 HAS SOPS 5962906 HAS SOUS 1208266 HAS SOUPS 1205322 WITH SCORE 1211288.31
AT ITER 696 NEW BEST:: SOT 12805022 SOS 5962175 HAS SOPS 5958771 HAS SOUS 1201211 HAS SOUPS 1198267 WITH SCORE 1204229.175
AT ITER 706 NEW BEST:: SOT 12801051 SOS 5958204 HAS SOPS 5954800 HAS SOUS 1201116 HAS SOUPS 1198172 WITH SCORE 1204130.204
AT ITER 708 NEW BEST:: SOT 12803095 SOS 5960389 HAS SOPS 5957048 HAS SOUS 1195020 HAS SOUPS 1192139 WITH SCORE 1198099.389
AT ITER 727 NEW BEST:: SOT 12801575 SOS 5958869 HAS SOPS 5955528 HAS SOUS 1188992 HAS SOUPS 1186111 WITH SCORE 1192069.869
AT ITER 728 NEW BEST:: SOT 12799632 SOS 5957305 HAS SOPS 5953964 HAS SOUS 1185429 HAS SOUPS 1182548 WITH SCORE 1188505.305
AT ITER 746 NEW BEST:: SOT 12795990 SOS 5953663 HAS SOPS 5950322 HAS SOUS 1182936 HAS SOUPS 1180055 WITH SCORE 1186008.663
AT ITER 749 NEW BEST:: SOT 12791565 SOS 5963520 HAS SOPS 5960179 HAS SOUS 1178147 HAS SOUPS 1175266 WITH SCORE 1181229.52
AT ITER 762 NEW BEST:: SOT 12791565 SOS 5963520 HAS SOPS 5960179 HAS SOUS 1178098 HAS SOUPS 1175217 WITH SCORE 1181180.52
AT ITER 775 NEW BEST:: SOT 12791565 SOS 5963342 HAS SOPS 5960001 HAS SOUS 1178009 HAS SOUPS 1175128 WITH SCORE 1181091.342
AT ITER 779 NEW BEST:: SOT 12791491 SOS 5960271 HAS SOPS 5956930 HAS SOUS 1177898 HAS SOUPS 1175017 WITH SCORE 1180977.271
AT ITER 787 NEW BEST:: SOT 12791491 SOS 5947543 HAS SOPS 5944202 HAS SOUS 1177726 HAS SOUPS 1174845 WITH SCORE 1180792.543
AT ITER 802 NEW BEST:: SOT 12791373 SOS 5947917 HAS SOPS 5944576 HAS SOUS 1171596 HAS SOUPS 1168715 WITH SCORE 1174662.917
AT ITER 803 NEW BEST:: SOT 12792367 SOS 5948911 HAS SOPS 5945570 HAS SOUS 1170488 HAS SOUPS 1167607 WITH SCORE 1173555.911
AT ITER 804 NEW BEST:: SOT 12796868 SOS 5953412 HAS SOPS 5950071 HAS SOUS 1168605 HAS SOUPS 1165724 WITH SCORE 1171677.412
AT ITER 805 NEW BEST:: SOT 12796868 SOS 5953403 HAS SOPS 5950071 HAS SOUS 1168559 HAS SOUPS 1165687 WITH SCORE 1171640.403
AT ITER 811 NEW BEST:: SOT 12795992 SOS 5952603 HAS SOPS 5949195 HAS SOUS 1166897 HAS SOUPS 1163965 WITH SCORE 1169917.603
AT ITER 813 NEW BEST:: SOT 12795343 SOS 5951954 HAS SOPS 5948546 HAS SOUS 1166098 HAS SOUPS 1163166 WITH SCORE 1169117.954
AT ITER 820 NEW BEST:: SOT 12795343 SOS 5951514 HAS SOPS 5948106 HAS SOUS 1166098 HAS SOUPS 1163166 WITH SCORE 1169117.514
AT ITER 826 NEW BEST:: SOT 12794705 SOS 5950836 HAS SOPS 5947428 HAS SOUS 1165965 HAS SOUPS 1163033 WITH SCORE 1168983.836
AT ITER 828 NEW BEST:: SOT 12794705 SOS 5950828 HAS SOPS 5947428 HAS SOUS 1165738 HAS SOUPS 1162814 WITH SCORE 1168764.828
AT ITER 833 NEW BEST:: SOT 12812676 SOS 5996390 HAS SOPS 5992647 HAS SOUS 1158500 HAS SOUPS 1155383 WITH SCORE 1161379.39
AT ITER 835 NEW BEST:: SOT 12812676 SOS 5994962 HAS SOPS 5991219 HAS SOUS 1158483 HAS SOUPS 1155366 WITH SCORE 1161360.962
AT ITER 838 NEW BEST:: SOT 12814098 SOS 5996480 HAS SOPS 5992737 HAS SOUS 1158177 HAS SOUPS 1155060 WITH SCORE 1161056.48
AT ITER 839 NEW BEST:: SOT 12813130 SOS 5995512 HAS SOPS 5991769 HAS SOUS 1156241 HAS SOUPS 1153124 WITH SCORE 1159119.512
AT ITER 840 NEW BEST:: SOT 12806936 SOS 6007615 HAS SOPS 6003872 HAS SOUS 1150202 HAS SOUPS 1147085 WITH SCORE 1153092.615
AT ITER 847 NEW BEST:: SOT 12806256 SOS 6007457 HAS SOPS 6003714 HAS SOUS 1147503 HAS SOUPS 1144386 WITH SCORE 1150393.457
AT ITER 863 NEW BEST:: SOT 12806256 SOS 6007323 HAS SOPS 6003580 HAS SOUS 1147503 HAS SOUPS 1144386 WITH SCORE 1150393.323
AT ITER 878 NEW BEST:: SOT 12806256 SOS 6007521 HAS SOPS 6003778 HAS SOUS 1147420 HAS SOUPS 1144303 WITH SCORE 1150310.521
AT ITER 891 NEW BEST:: SOT 12806629 SOS 6007894 HAS SOPS 6004151 HAS SOUS 1145143 HAS SOUPS 1142026 WITH SCORE 1148033.894
AT ITER 895 NEW BEST:: SOT 12800741 SOS 6002857 HAS SOPS 5997624 HAS SOUS 1141724 HAS SOUPS 1137117 WITH SCORE 1143119.857
AT ITER 917 NEW BEST:: SOT 12800741 SOS 5995729 HAS SOPS 5990496 HAS SOUS 1141724 HAS SOUPS 1137117 WITH SCORE 1143112.729
AT ITER 925 NEW BEST:: SOT 12804887 SOS 5999923 HAS SOPS 5994714 HAS SOUS 1140067 HAS SOUPS 1135484 WITH SCORE 1141483.923
AT ITER 939 NEW BEST:: SOT 12818895 SOS 6028435 HAS SOPS 6023226 HAS SOUS 1137378 HAS SOUPS 1132795 WITH SCORE 1138823.435
AT ITER 954 NEW BEST:: SOT 12817425 SOS 6026965 HAS SOPS 6021756 HAS SOUS 1135371 HAS SOUPS 1130788 WITH SCORE 1136814.965
AT ITER 961 NEW BEST:: SOT 12808668 SOS 5982927 HAS SOPS 5978423 HAS SOUS 1126806 HAS SOUPS 1122468 WITH SCORE 1128450.927
AT ITER 963 NEW BEST:: SOT 12808668 SOS 5982867 HAS SOPS 5978363 HAS SOUS 1126746 HAS SOUPS 1122408 WITH SCORE 1128390.867
AT ITER 967 NEW BEST:: SOT 12826067 SOS 6017079 HAS SOPS 6012877 HAS SOUS 1117249 HAS SOUPS 1113083 WITH SCORE 1119100.079
AT ITER 976 NEW BEST:: SOT 12827921 SOS 6018933 HAS SOPS 6014731 HAS SOUS 1112465 HAS SOUPS 1108299 WITH SCORE 1114317.933
AT ITER 989 NEW BEST:: SOT 12827131 SOS 6018143 HAS SOPS 6013941 HAS SOUS 1111626 HAS SOUPS 1107460 WITH SCORE 1113478.143
AT ITER 990 NEW BEST:: SOT 12824915 SOS 6015870 HAS SOPS 6011668 HAS SOUS 1109663 HAS SOUPS 1105497 WITH SCORE 1111512.87
AT ITER 994 NEW BEST:: SOT 12827916 SOS 6018983 HAS SOPS 6014829 HAS SOUS 1107406 HAS SOUPS 1103288 WITH SCORE 1109306.983
AT ITER 1000 NEW BEST:: SOT 12827916 SOS 6018995 HAS SOPS 6014829 HAS SOUS 1107370 HAS SOUPS 1103240 WITH SCORE 1109258.995
AT ITER 1007 NEW BEST:: SOT 12828632 SOS 6019711 HAS SOPS 6015545 HAS SOUS 1105235 HAS SOUPS 1101105 WITH SCORE 1107124.711
AT ITER 1008 NEW BEST:: SOT 12827757 SOS 6019332 HAS SOPS 6015166 HAS SOUS 1103421 HAS SOUPS 1099291 WITH SCORE 1105310.332
AT ITER 1010 NEW BEST:: SOT 12827757 SOS 6019314 HAS SOPS 6015148 HAS SOUS 1103412 HAS SOUPS 1099282 WITH SCORE 1105301.314
AT ITER 1013 NEW BEST:: SOT 12827757 SOS 6011322 HAS SOPS 6007156 HAS SOUS 1103412 HAS SOUPS 1099282 WITH SCORE 1105293.322
AT ITER 1031 NEW BEST:: SOT 12827757 SOS 6011282 HAS SOPS 6007116 HAS SOUS 1103412 HAS SOUPS 1099282 WITH SCORE 1105293.282
AT ITER 1048 NEW BEST:: SOT 12827757 SOS 6010938 HAS SOPS 6006772 HAS SOUS 1103240 HAS SOUPS 1099110 WITH SCORE 1105120.938
AT ITER 1052 NEW BEST:: SOT 12827757 SOS 6010080 HAS SOPS 6005914 HAS SOUS 1103174 HAS SOUPS 1099044 WITH SCORE 1105054.08
AT ITER 1068 NEW BEST:: SOT 12825047 SOS 6007370 HAS SOPS 6003204 HAS SOUS 1097694 HAS SOUPS 1093564 WITH SCORE 1099571.37
AT ITER 1097 NEW BEST:: SOT 12823180 SOS 6005503 HAS SOPS 6001337 HAS SOUS 1093908 HAS SOUPS 1089778 WITH SCORE 1095783.503
AT ITER 1098 NEW BEST:: SOT 12822641 SOS 6005218 HAS SOPS 6001052 HAS SOUS 1092946 HAS SOUPS 1088816 WITH SCORE 1094821.218
AT ITER 1104 NEW BEST:: SOT 12822012 SOS 6005923 HAS SOPS 6001811 HAS SOUS 1085428 HAS SOUPS 1081352 WITH SCORE 1087357.923
AT ITER 1118 NEW BEST:: SOT 12828877 SOS 6012882 HAS SOPS 6008770 HAS SOUS 1084359 HAS SOUPS 1080283 WITH SCORE 1086295.882
AT ITER 1119 NEW BEST:: SOT 12828480 SOS 6012485 HAS SOPS 6008373 HAS SOUS 1076866 HAS SOUPS 1072790 WITH SCORE 1078802.485
AT ITER 1127 NEW BEST:: SOT 12836116 SOS 6027362 HAS SOPS 6023281 HAS SOUS 1075525 HAS SOUPS 1071480 WITH SCORE 1077507.362
AT ITER 1129 NEW BEST:: SOT 12837578 SOS 6028824 HAS SOPS 6024743 HAS SOUS 1073641 HAS SOUPS 1069596 WITH SCORE 1075624.824
AT ITER 1157 NEW BEST:: SOT 12837664 SOS 6028910 HAS SOPS 6024829 HAS SOUS 1070302 HAS SOUPS 1066257 WITH SCORE 1072285.91
AT ITER 1160 NEW BEST:: SOT 12837664 SOS 6028910 HAS SOPS 6024829 HAS SOUS 1070301 HAS SOUPS 1066256 WITH SCORE 1072284.91
AT ITER 1161 NEW BEST:: SOT 12846637 SOS 6038145 HAS SOPS 6034064 HAS SOUS 1068959 HAS SOUPS 1064914 WITH SCORE 1070952.145
AT ITER 1168 NEW BEST:: SOT 12846650 SOS 6038158 HAS SOPS 6034077 HAS SOUS 1063907 HAS SOUPS 1059862 WITH SCORE 1065900.158
AT ITER 1170 NEW BEST:: SOT 12845215 SOS 6036719 HAS SOPS 6032642 HAS SOUS 1057269 HAS SOUPS 1053228 WITH SCORE 1059264.719
AT ITER 1172 NEW BEST:: SOT 12849800 SOS 6041304 HAS SOPS 6037227 HAS SOUS 1050654 HAS SOUPS 1046613 WITH SCORE 1052654.304
AT ITER 1177 NEW BEST:: SOT 12851106 SOS 6048040 HAS SOPS 6044319 HAS SOUS 1050245 HAS SOUPS 1046560 WITH SCORE 1052608.04
AT ITER 1178 NEW BEST:: SOT 12857756 SOS 6056214 HAS SOPS 6052493 HAS SOUS 1048442 HAS SOUPS 1044757 WITH SCORE 1050813.214
AT ITER 1187 NEW BEST:: SOT 12855392 SOS 6053850 HAS SOPS 6050129 HAS SOUS 1043304 HAS SOUPS 1039619 WITH SCORE 1045672.85
AT ITER 1190 NEW BEST:: SOT 12851785 SOS 6050243 HAS SOPS 6046522 HAS SOUS 1037102 HAS SOUPS 1033417 WITH SCORE 1039467.243
AT ITER 1199 NEW BEST:: SOT 12855124 SOS 6053582 HAS SOPS 6049861 HAS SOUS 1035871 HAS SOUPS 1032186 WITH SCORE 1038239.582
AT ITER 1205 NEW BEST:: SOT 12860586 SOS 6059044 HAS SOPS 6055323 HAS SOUS 1034744 HAS SOUPS 1031059 WITH SCORE 1037118.044
AT ITER 1207 NEW BEST:: SOT 12860313 SOS 6058771 HAS SOPS 6055050 HAS SOUS 1033144 HAS SOUPS 1029459 WITH SCORE 1035517.771
AT ITER 1209 NEW BEST:: SOT 12868114 SOS 6072968 HAS SOPS 6069259 HAS SOUS 1032079 HAS SOUPS 1028406 WITH SCORE 1034478.968
AT ITER 1214 NEW BEST:: SOT 12868124 SOS 6072978 HAS SOPS 6069269 HAS SOUS 1032069 HAS SOUPS 1028396 WITH SCORE 1034468.978
AT ITER 1219 NEW BEST:: SOT 12868124 SOS 6069018 HAS SOPS 6065309 HAS SOUS 1032069 HAS SOUPS 1028396 WITH SCORE 1034465.018
AT ITER 1223 NEW BEST:: SOT 12865703 SOS 6066643 HAS SOPS 6062934 HAS SOUS 1029108 HAS SOUPS 1025435 WITH SCORE 1031501.643
AT ITER 1226 NEW BEST:: SOT 12866749 SOS 6069393 HAS SOPS 6065708 HAS SOUS 1028874 HAS SOUPS 1025225 WITH SCORE 1031294.393
AT ITER 1234 NEW BEST:: SOT 12866749 SOS 6069329 HAS SOPS 6065644 HAS SOUS 1028842 HAS SOUPS 1025193 WITH SCORE 1031262.329
AT ITER 1241 NEW BEST:: SOT 12866749 SOS 6064667 HAS SOPS 6060982 HAS SOUS 1028779 HAS SOUPS 1025130 WITH SCORE 1031194.667
AT ITER 1243 NEW BEST:: SOT 12866749 SOS 6060588 HAS SOPS 6056903 HAS SOUS 1027814 HAS SOUPS 1024165 WITH SCORE 1030225.588
AT ITER 1247 NEW BEST:: SOT 12866749 SOS 6055620 HAS SOPS 6051935 HAS SOUS 1027814 HAS SOUPS 1024165 WITH SCORE 1030220.62
AT ITER 1252 NEW BEST:: SOT 12867005 SOS 6055876 HAS SOPS 6052191 HAS SOUS 1027112 HAS SOUPS 1023463 WITH SCORE 1029518.876
AT ITER 1274 NEW BEST:: SOT 12869935 SOS 6060348 HAS SOPS 6056727 HAS SOUS 1026716 HAS SOUPS 1023131 WITH SCORE 1029191.348
AT ITER 1286 NEW BEST:: SOT 12869935 SOS 6060243 HAS SOPS 6056622 HAS SOUS 1026611 HAS SOUPS 1023026 WITH SCORE 1029086.243
AT ITER 1290 NEW BEST:: SOT 12869935 SOS 6058227 HAS SOPS 6054606 HAS SOUS 1026607 HAS SOUPS 1023022 WITH SCORE 1029080.227
AT ITER 1299 NEW BEST:: SOT 12877108 SOS 6065400 HAS SOPS 6061779 HAS SOUS 1017525 HAS SOUPS 1013940 WITH SCORE 1020005.4
AT ITER 1301 NEW BEST:: SOT 12878782 SOS 6067074 HAS SOPS 6063453 HAS SOUS 1016542 HAS SOUPS 1012957 WITH SCORE 1019024.074
AT ITER 1305 NEW BEST:: SOT 12878787 SOS 6067079 HAS SOPS 6063458 HAS SOUS 1016526 HAS SOUPS 1012941 WITH SCORE 1019008.079
AT ITER 1327 NEW BEST:: SOT 12878654 SOS 6066961 HAS SOPS 6063340 HAS SOUS 1015465 HAS SOUPS 1011880 WITH SCORE 1017946.961
AT ITER 1328 NEW BEST:: SOT 12873965 SOS 6066474 HAS SOPS 6062853 HAS SOUS 1014493 HAS SOUPS 1010908 WITH SCORE 1016974.474
AT ITER 1329 NEW BEST:: SOT 12874522 SOS 6067031 HAS SOPS 6063410 HAS SOUS 1012490 HAS SOUPS 1008905 WITH SCORE 1014972.031
AT ITER 1336 NEW BEST:: SOT 12873123 SOS 6065632 HAS SOPS 6062011 HAS SOUS 1011637 HAS SOUPS 1008052 WITH SCORE 1014117.632
AT ITER 1344 NEW BEST:: SOT 12873123 SOS 6066754 HAS SOPS 6063133 HAS SOUS 1011335 HAS SOUPS 1007750 WITH SCORE 1013816.754
AT ITER 1358 NEW BEST:: SOT 12875124 SOS 6068755 HAS SOPS 6065134 HAS SOUS 1010887 HAS SOUPS 1007302 WITH SCORE 1013370.755
AT ITER 1361 NEW BEST:: SOT 12875073 SOS 6068704 HAS SOPS 6065083 HAS SOUS 1010773 HAS SOUPS 1007188 WITH SCORE 1013256.704
AT ITER 1372 NEW BEST:: SOT 12873816 SOS 6068312 HAS SOPS 6064691 HAS SOUS 1009434 HAS SOUPS 1005849 WITH SCORE 1011917.312
AT ITER 1373 NEW BEST:: SOT 12874447 SOS 6067997 HAS SOPS 6064376 HAS SOUS 1007920 HAS SOUPS 1004335 WITH SCORE 1010402.997
AT ITER 1376 NEW BEST:: SOT 12894238 SOS 6099804 HAS SOPS 6096183 HAS SOUS 1005053 HAS SOUPS 1001468 WITH SCORE 1007567.804
AT ITER 1381 NEW BEST:: SOT 12896034 SOS 6101670 HAS SOPS 6098053 HAS SOUS 1004355 HAS SOUPS 1000774 WITH SCORE 1006875.67
AT ITER 1402 NEW BEST:: SOT 12896034 SOS 6096054 HAS SOPS 6092437 HAS SOUS 1004355 HAS SOUPS 1000774 WITH SCORE 1006870.054
AT ITER 1403 NEW BEST:: SOT 12897307 SOS 6100040 HAS SOPS 6096387 HAS SOUS 1003629 HAS SOUPS 1000013 WITH SCORE 1006113.04
AT ITER 1419 NEW BEST:: SOT 12897600 SOS 6100373 HAS SOPS 6096756 HAS SOUS 1002641 HAS SOUPS 999060 WITH SCORE 1005160.373
AT ITER 1423 NEW BEST:: SOT 12897600 SOS 6100373 HAS SOPS 6096756 HAS SOUS 1002617 HAS SOUPS 999036 WITH SCORE 1005136.373
AT ITER 1435 NEW BEST:: SOT 12898888 SOS 6103789 HAS SOPS 6100204 HAS SOUS 999923 HAS SOUPS 996374 WITH SCORE 1002477.789
AT ITER 1449 NEW BEST:: SOT 12898888 SOS 6096343 HAS SOPS 6092758 HAS SOUS 999821 HAS SOUPS 996272 WITH SCORE 1002368.343
AT ITER 1454 NEW BEST:: SOT 12903706 SOS 6101161 HAS SOPS 6097576 HAS SOUS 998156 HAS SOUPS 994607 WITH SCORE 1000708.161
AT ITER 1460 NEW BEST:: SOT 12904439 SOS 6101886 HAS SOPS 6098309 HAS SOUS 996036 HAS SOUPS 992495 WITH SCORE 998596.886
AT ITER 1463 NEW BEST:: SOT 12904972 SOS 6102419 HAS SOPS 6098842 HAS SOUS 995853 HAS SOUPS 992312 WITH SCORE 998414.419
AT ITER 1478 NEW BEST:: SOT 12904912 SOS 6102359 HAS SOPS 6098782 HAS SOUS 995732 HAS SOUPS 992191 WITH SCORE 998293.359
AT ITER 1482 NEW BEST:: SOT 12905301 SOS 6102748 HAS SOPS 6099171 HAS SOUS 994893 HAS SOUPS 991352 WITH SCORE 997454.748
AT ITER 1485 NEW BEST:: SOT 12903654 SOS 6101101 HAS SOPS 6097524 HAS SOUS 991566 HAS SOUPS 988025 WITH SCORE 994126.101
AT ITER 1486 NEW BEST:: SOT 12903456 SOS 6100903 HAS SOPS 6097326 HAS SOUS 991163 HAS SOUPS 987622 WITH SCORE 993722.903
AT ITER 1492 NEW BEST:: SOT 12903456 SOS 6100903 HAS SOPS 6097326 HAS SOUS 991154 HAS SOUPS 987613 WITH SCORE 993713.903
AT ITER 1493 NEW BEST:: SOT 12903382 SOS 6100829 HAS SOPS 6097252 HAS SOUS 991148 HAS SOUPS 987607 WITH SCORE 993707.829
AT ITER 1501 NEW BEST:: SOT 12893671 SOS 6089185 HAS SOPS 6085622 HAS SOUS 985094 HAS SOUPS 981567 WITH SCORE 987656.185
AT ITER 1509 NEW BEST:: SOT 12892424 SOS 6087938 HAS SOPS 6084375 HAS SOUS 982565 HAS SOUPS 979038 WITH SCORE 985125.938
AT ITER 1517 NEW BEST:: SOT 12889109 SOS 6084643 HAS SOPS 6081114 HAS SOUS 975297 HAS SOUPS 971797 WITH SCORE 977881.643
AT ITER 1544 NEW BEST:: SOT 12890095 SOS 6087645 HAS SOPS 6084116 HAS SOUS 974785 HAS SOUPS 971285 WITH SCORE 977372.645
AT ITER 1553 NEW BEST:: SOT 12890095 SOS 6087645 HAS SOPS 6084116 HAS SOUS 974767 HAS SOUPS 971267 WITH SCORE 977354.645
AT ITER 1575 NEW BEST:: SOT 12890232 SOS 6095630 HAS SOPS 6092101 HAS SOUS 974467 HAS SOUPS 970967 WITH SCORE 977062.63
AT ITER 1578 NEW BEST:: SOT 12891192 SOS 6096573 HAS SOPS 6093061 HAS SOUS 972160 HAS SOUPS 968677 WITH SCORE 974773.573
AT ITER 1592 NEW BEST:: SOT 12890794 SOS 6096243 HAS SOPS 6092731 HAS SOUS 967352 HAS SOUPS 963869 WITH SCORE 969965.243
AT ITER 1596 NEW BEST:: SOT 12890794 SOS 6089691 HAS SOPS 6086179 HAS SOUS 967352 HAS SOUPS 963869 WITH SCORE 969958.691
AT ITER 1603 NEW BEST:: SOT 12890776 SOS 6089673 HAS SOPS 6086161 HAS SOUS 967224 HAS SOUPS 963741 WITH SCORE 969830.673
AT ITER 1606 NEW BEST:: SOT 12890239 SOS 6089136 HAS SOPS 6085624 HAS SOUS 966136 HAS SOUPS 962653 WITH SCORE 968742.136
AT ITER 1617 NEW BEST:: SOT 12905912 SOS 6114536 HAS SOPS 6111024 HAS SOUS 962325 HAS SOUPS 958842 WITH SCORE 964956.536
AT ITER 1626 NEW BEST:: SOT 12904804 SOS 6113563 HAS SOPS 6110062 HAS SOUS 959758 HAS SOUPS 956285 WITH SCORE 962398.563
AT ITER 1655 NEW BEST:: SOT 12902002 SOS 6110548 HAS SOPS 6107047 HAS SOUS 959676 HAS SOUPS 956203 WITH SCORE 962313.548
AT ITER 1656 NEW BEST:: SOT 12902002 SOS 6110548 HAS SOPS 6107047 HAS SOUS 959647 HAS SOUPS 956174 WITH SCORE 962284.548
AT ITER 1673 NEW BEST:: SOT 12901967 SOS 6110513 HAS SOPS 6107012 HAS SOUS 959612 HAS SOUPS 956139 WITH SCORE 962249.513
AT ITER 1685 NEW BEST:: SOT 12902837 SOS 6111383 HAS SOPS 6107882 HAS SOUS 956568 HAS SOUPS 953095 WITH SCORE 959206.383
AT ITER 1686 NEW BEST:: SOT 12907308 SOS 6115916 HAS SOPS 6112442 HAS SOUS 955160 HAS SOUPS 951714 WITH SCORE 957829.916
AT ITER 1699 NEW BEST:: SOT 12907482 SOS 5489432 HAS SOPS 5485958 HAS SOUS 955396 HAS SOUPS 951950 WITH SCORE 957439.432
AT ITER 1701 NEW BEST:: SOT 12892808 SOS 5471052 HAS SOPS 5467578 HAS SOUS 954903 HAS SOUPS 951457 WITH SCORE 956928.052
AT ITER 1719 NEW BEST:: SOT 12894730 SOS 5473146 HAS SOPS 5469672 HAS SOUS 953896 HAS SOUPS 950450 WITH SCORE 955923.146
AT ITER 1722 NEW BEST:: SOT 12894784 SOS 5473210 HAS SOPS 5469736 HAS SOUS 953895 HAS SOUPS 950449 WITH SCORE 955922.21
AT ITER 1725 NEW BEST:: SOT 12892225 SOS 5470651 HAS SOPS 5467177 HAS SOUS 948732 HAS SOUPS 945286 WITH SCORE 950756.651
AT ITER 1726 NEW BEST:: SOT 12891982 SOS 5470408 HAS SOPS 5466934 HAS SOUS 942089 HAS SOUPS 938643 WITH SCORE 944113.408
AT ITER 1730 NEW BEST:: SOT 12899053 SOS 5484589 HAS SOPS 5481133 HAS SOUS 939061 HAS SOUPS 935633 WITH SCORE 941117.589
AT ITER 1751 NEW BEST:: SOT 12893199 SOS 5478572 HAS SOPS 5475077 HAS SOUS 938534 HAS SOUPS 935067 WITH SCORE 940545.572
AT ITER 1757 NEW BEST:: SOT 12893199 SOS 5478585 HAS SOPS 5475077 HAS SOUS 938534 HAS SOUPS 935054 WITH SCORE 940532.585
AT ITER 1762 NEW BEST:: SOT 12893199 SOS 5478585 HAS SOPS 5475077 HAS SOUS 938529 HAS SOUPS 935049 WITH SCORE 940527.585
AT ITER 1777 NEW BEST:: SOT 12891882 SOS 5477268 HAS SOPS 5473760 HAS SOUS 933887 HAS SOUPS 930407 WITH SCORE 935884.268
AT ITER 1778 NEW BEST:: SOT 12891037 SOS 5476392 HAS SOPS 5472884 HAS SOUS 933169 HAS SOUPS 929689 WITH SCORE 935165.392
AT ITER 1787 NEW BEST:: SOT 12891037 SOS 5473732 HAS SOPS 5470224 HAS SOUS 933165 HAS SOUPS 929685 WITH SCORE 935158.732
AT ITER 1790 NEW BEST:: SOT 12891037 SOS 5473192 HAS SOPS 5469684 HAS SOUS 933165 HAS SOUPS 929685 WITH SCORE 935158.192
AT ITER 1810 NEW BEST:: SOT 12892230 SOS 5474385 HAS SOPS 5470877 HAS SOUS 931418 HAS SOUPS 927938 WITH SCORE 933412.385
AT ITER 1818 NEW BEST:: SOT 12904232 SOS 5495333 HAS SOPS 5491825 HAS SOUS 927937 HAS SOUPS 924457 WITH SCORE 929952.333
AT ITER 1846 NEW BEST:: SOT 12903600 SOS 5494701 HAS SOPS 5491193 HAS SOUS 923486 HAS SOUPS 920006 WITH SCORE 925500.701
AT ITER 1870 NEW BEST:: SOT 12911630 SOS 5510064 HAS SOPS 5506567 HAS SOUS 920821 HAS SOUPS 917352 WITH SCORE 922862.064
AT ITER 1876 NEW BEST:: SOT 12911630 SOS 5510064 HAS SOPS 5506567 HAS SOUS 920809 HAS SOUPS 917340 WITH SCORE 922850.064
AT ITER 1878 NEW BEST:: SOT 12911630 SOS 5510015 HAS SOPS 5506518 HAS SOUS 920802 HAS SOUPS 917333 WITH SCORE 922843.015
AT ITER 1879 NEW BEST:: SOT 12912127 SOS 5510512 HAS SOPS 5507015 HAS SOUS 918273 HAS SOUPS 914804 WITH SCORE 920314.512
AT ITER 1892 NEW BEST:: SOT 12915894 SOS 5514279 HAS SOPS 5510782 HAS SOUS 917877 HAS SOUPS 914408 WITH SCORE 919922.279
AT ITER 1904 NEW BEST:: SOT 12914784 SOS 5516177 HAS SOPS 5514447 HAS SOUS 915234 HAS SOUPS 913532 WITH SCORE 919048.177
AT ITER 1918 NEW BEST:: SOT 12914784 SOS 5513297 HAS SOPS 5511567 HAS SOUS 915234 HAS SOUPS 913532 WITH SCORE 919045.297
AT ITER 1922 NEW BEST:: SOT 12915187 SOS 5534019 HAS SOPS 5532289 HAS SOUS 905457 HAS SOUPS 903755 WITH SCORE 909289.019
AT ITER 1952 NEW BEST:: SOT 12915187 SOS 5533953 HAS SOPS 5532223 HAS SOUS 905424 HAS SOUPS 903722 WITH SCORE 909255.953
AT ITER 1953 NEW BEST:: SOT 12914827 SOS 5533593 HAS SOPS 5531863 HAS SOUS 904804 HAS SOUPS 903102 WITH SCORE 908635.593
AT ITER 1960 NEW BEST:: SOT 12914827 SOS 5533593 HAS SOPS 5531863 HAS SOUS 904778 HAS SOUPS 903076 WITH SCORE 908609.593
AT ITER 1965 NEW BEST:: SOT 12912693 SOS 5530019 HAS SOPS 5528289 HAS SOUS 903908 HAS SOUPS 902206 WITH SCORE 907736.019
AT ITER 2004 NEW BEST:: SOT 12912161 SOS 5529487 HAS SOPS 5527757 HAS SOUS 902829 HAS SOUPS 901127 WITH SCORE 906656.487
AT ITER 2018 NEW BEST:: SOT 12912161 SOS 5529470 HAS SOPS 5527740 HAS SOUS 902829 HAS SOUPS 901127 WITH SCORE 906656.47
AT ITER 2019 NEW BEST:: SOT 12912139 SOS 5529448 HAS SOPS 5527718 HAS SOUS 899604 HAS SOUPS 897902 WITH SCORE 903431.448
AT ITER 2034 NEW BEST:: SOT 12915473 SOS 5572794 HAS SOPS 5569729 HAS SOUS 897422 HAS SOUPS 895410 WITH SCORE 900982.794
AT ITER 2044 NEW BEST:: SOT 12914195 SOS 5571516 HAS SOPS 5568451 HAS SOUS 897009 HAS SOUPS 894997 WITH SCORE 900568.516
AT ITER 2045 NEW BEST:: SOT 12914121 SOS 5571442 HAS SOPS 5568377 HAS SOUS 896789 HAS SOUPS 894777 WITH SCORE 900348.442
AT ITER 2047 NEW BEST:: SOT 12914121 SOS 5571424 HAS SOPS 5568359 HAS SOUS 896771 HAS SOUPS 894759 WITH SCORE 900330.424
AT ITER 2071 NEW BEST:: SOT 12914121 SOS 5569426 HAS SOPS 5566361 HAS SOUS 896771 HAS SOUPS 894759 WITH SCORE 900328.426
AT ITER 2082 NEW BEST:: SOT 12917073 SOS 5573786 HAS SOPS 5570721 HAS SOUS 895722 HAS SOUPS 893710 WITH SCORE 899283.786
AT ITER 2096 NEW BEST:: SOT 12917073 SOS 5573526 HAS SOPS 5570461 HAS SOUS 895592 HAS SOUPS 893580 WITH SCORE 899153.526
AT ITER 2112 NEW BEST:: SOT 12917472 SOS 5573925 HAS SOPS 5570860 HAS SOUS 892211 HAS SOUPS 890199 WITH SCORE 895772.925
AT ITER 2113 NEW BEST:: SOT 12917469 SOS 5573922 HAS SOPS 5570857 HAS SOUS 892205 HAS SOUPS 890193 WITH SCORE 895766.922
AT ITER 2138 NEW BEST:: SOT 12917469 SOS 5573922 HAS SOPS 5570857 HAS SOUS 892195 HAS SOUPS 890183 WITH SCORE 895756.922
AT ITER 2155 NEW BEST:: SOT 12918721 SOS 5575174 HAS SOPS 5572109 HAS SOUS 889331 HAS SOUPS 887319 WITH SCORE 892894.174
AT ITER 2184 NEW BEST:: SOT 12919128 SOS 5575581 HAS SOPS 5572516 HAS SOUS 886871 HAS SOUPS 884859 WITH SCORE 890434.581
AT ITER 2185 NEW BEST:: SOT 12919229 SOS 5575682 HAS SOPS 5572617 HAS SOUS 886323 HAS SOUPS 884311 WITH SCORE 889886.682
AT ITER 2186 NEW BEST:: SOT 12922185 SOS 5579570 HAS SOPS 5576498 HAS SOUS 884671 HAS SOUPS 882652 WITH SCORE 888231.57
AT ITER 2203 NEW BEST:: SOT 12922178 SOS 5579563 HAS SOPS 5576491 HAS SOUS 884561 HAS SOUPS 882542 WITH SCORE 888121.563
AT ITER 2208 NEW BEST:: SOT 12926448 SOS 5584027 HAS SOPS 5580955 HAS SOUS 882461 HAS SOUPS 880442 WITH SCORE 886026.027
AT ITER 2209 NEW BEST:: SOT 12927543 SOS 5584746 HAS SOPS 5581721 HAS SOUS 881038 HAS SOUPS 879066 WITH SCORE 884650.746
AT ITER 2220 NEW BEST:: SOT 12923436 SOS 5580639 HAS SOPS 5577614 HAS SOUS 873162 HAS SOUPS 871190 WITH SCORE 876770.639
AT ITER 2227 NEW BEST:: SOT 12925245 SOS 5604488 HAS SOPS 5601463 HAS SOUS 870104 HAS SOUPS 868132 WITH SCORE 873736.488
AT ITER 2229 NEW BEST:: SOT 12925245 SOS 5605482 HAS SOPS 5602457 HAS SOUS 869897 HAS SOUPS 867925 WITH SCORE 873530.482
AT ITER 2233 NEW BEST:: SOT 12925245 SOS 5603394 HAS SOPS 5600369 HAS SOUS 869897 HAS SOUPS 867925 WITH SCORE 873528.394
AT ITER 2249 NEW BEST:: SOT 12926478 SOS 5604627 HAS SOPS 5601602 HAS SOUS 866723 HAS SOUPS 864751 WITH SCORE 870355.627
AT ITER 2256 NEW BEST:: SOT 12925586 SOS 5677743 HAS SOPS 5674809 HAS SOUS 862819 HAS SOUPS 860882 WITH SCORE 866559.743
AT ITER 2258 NEW BEST:: SOT 12929595 SOS 5681752 HAS SOPS 5678818 HAS SOUS 861651 HAS SOUPS 859714 WITH SCORE 865395.752
AT ITER 2266 NEW BEST:: SOT 12929595 SOS 5679540 HAS SOPS 5676606 HAS SOUS 861481 HAS SOUPS 859544 WITH SCORE 865223.54
AT ITER 2270 NEW BEST:: SOT 12927903 SOS 5676588 HAS SOPS 5673654 HAS SOUS 860874 HAS SOUPS 858937 WITH SCORE 864613.588
AT ITER 2285 NEW BEST:: SOT 12927903 SOS 5675700 HAS SOPS 5672766 HAS SOUS 860800 HAS SOUPS 858863 WITH SCORE 864538.7
AT ITER 2286 NEW BEST:: SOT 12927351 SOS 5675148 HAS SOPS 5672214 HAS SOUS 860402 HAS SOUPS 858465 WITH SCORE 864140.148
AT ITER 2295 NEW BEST:: SOT 12921985 SOS 5659080 HAS SOPS 5656166 HAS SOUS 858931 HAS SOUPS 856994 WITH SCORE 862653.08
AT ITER 2311 NEW BEST:: SOT 12921273 SOS 5658344 HAS SOPS 5655430 HAS SOUS 858336 HAS SOUPS 856399 WITH SCORE 862057.344
AT ITER 2327 NEW BEST:: SOT 12921175 SOS 5658244 HAS SOPS 5655330 HAS SOUS 858326 HAS SOUPS 856389 WITH SCORE 862047.244
AT ITER 2341 NEW BEST:: SOT 12921175 SOS 5656770 HAS SOPS 5653856 HAS SOUS 858326 HAS SOUPS 856389 WITH SCORE 862045.77
AT ITER 2342 NEW BEST:: SOT 12921847 SOS 5658436 HAS SOPS 5655522 HAS SOUS 857345 HAS SOUPS 855408 WITH SCORE 861066.436
AT ITER 2385 NEW BEST:: SOT 12921667 SOS 5658256 HAS SOPS 5655342 HAS SOUS 856975 HAS SOUPS 855038 WITH SCORE 860696.256
AT ITER 2403 NEW BEST:: SOT 12921667 SOS 5658209 HAS SOPS 5655295 HAS SOUS 856928 HAS SOUPS 854991 WITH SCORE 860649.209
AT ITER 2430 NEW BEST:: SOT 12921667 SOS 5658202 HAS SOPS 5655288 HAS SOUS 856921 HAS SOUPS 854984 WITH SCORE 860642.202
AT ITER 2456 NEW BEST:: SOT 12921667 SOS 5658040 HAS SOPS 5655126 HAS SOUS 856840 HAS SOUPS 854903 WITH SCORE 860561.04
AT ITER 2497 NEW BEST:: SOT 12925036 SOS 5661551 HAS SOPS 5658637 HAS SOUS 855023 HAS SOUPS 853086 WITH SCORE 858747.551
AT ITER 2501 NEW BEST:: SOT 12924613 SOS 5661128 HAS SOPS 5658214 HAS SOUS 847954 HAS SOUPS 846017 WITH SCORE 851678.128
AT ITER 2525 NEW BEST:: SOT 12924525 SOS 5661040 HAS SOPS 5658126 HAS SOUS 847905 HAS SOUPS 845968 WITH SCORE 851629.04
AT ITER 2529 NEW BEST:: SOT 12924525 SOS 5661112 HAS SOPS 5658198 HAS SOUS 847882 HAS SOUPS 845945 WITH SCORE 851606.112
AT ITER 2536 NEW BEST:: SOT 12925711 SOS 5662298 HAS SOPS 5659384 HAS SOUS 846848 HAS SOUPS 844911 WITH SCORE 850573.298
AT ITER 2561 NEW BEST:: SOT 12924050 SOS 5660625 HAS SOPS 5657711 HAS SOUS 845325 HAS SOUPS 843388 WITH SCORE 849048.625
AT ITER 2578 NEW BEST:: SOT 12923489 SOS 5660064 HAS SOPS 5657150 HAS SOUS 844871 HAS SOUPS 842934 WITH SCORE 848594.064
AT ITER 2585 NEW BEST:: SOT 12925274 SOS 5661947 HAS SOPS 5659019 HAS SOUS 843575 HAS SOUPS 841626 WITH SCORE 847287.947
AT ITER 2621 NEW BEST:: SOT 12925274 SOS 5661947 HAS SOPS 5659019 HAS SOUS 843562 HAS SOUPS 841613 WITH SCORE 847274.947
AT ITER 2630 NEW BEST:: SOT 12925274 SOS 5660867 HAS SOPS 5657939 HAS SOUS 843562 HAS SOUPS 841613 WITH SCORE 847273.867
AT ITER 2639 NEW BEST:: SOT 12925223 SOS 5660808 HAS SOPS 5657881 HAS SOUS 843516 HAS SOUPS 841568 WITH SCORE 847228.808
AT ITER 2666 NEW BEST:: SOT 12930624 SOS 5666209 HAS SOPS 5663282 HAS SOUS 841083 HAS SOUPS 839135 WITH SCORE 844801.209
AT ITER 2682 NEW BEST:: SOT 12930624 SOS 5666115 HAS SOPS 5663188 HAS SOUS 841036 HAS SOUPS 839088 WITH SCORE 844754.115
AT ITER 2686 NEW BEST:: SOT 12934488 SOS 5675235 HAS SOPS 5672308 HAS SOUS 840125 HAS SOUPS 838177 WITH SCORE 843852.235
AT ITER 2706 NEW BEST:: SOT 12934481 SOS 5675228 HAS SOPS 5672301 HAS SOUS 840118 HAS SOUPS 838170 WITH SCORE 843845.228
AT ITER 2721 NEW BEST:: SOT 12934463 SOS 5675210 HAS SOPS 5672283 HAS SOUS 840114 HAS SOUPS 838166 WITH SCORE 843841.21
AT ITER 2729 NEW BEST:: SOT 12933239 SOS 5673926 HAS SOPS 5670999 HAS SOUS 839146 HAS SOUPS 837198 WITH SCORE 842871.926
AT ITER 2802 NEW BEST:: SOT 12936243 SOS 5676930 HAS SOPS 5674003 HAS SOUS 837092 HAS SOUPS 835144 WITH SCORE 840820.93
AT ITER 2813 NEW BEST:: SOT 12936243 SOS 5676174 HAS SOPS 5673247 HAS SOUS 837029 HAS SOUPS 835081 WITH SCORE 840757.174
AT ITER 2818 NEW BEST:: SOT 12935773 SOS 5675704 HAS SOPS 5672777 HAS SOUS 832568 HAS SOUPS 830620 WITH SCORE 836295.704
AT ITER 2835 NEW BEST:: SOT 12935767 SOS 5675698 HAS SOPS 5672771 HAS SOUS 832565 HAS SOUPS 830617 WITH SCORE 836292.698
AT ITER 2836 NEW BEST:: SOT 12942648 SOS 5688987 HAS SOPS 5686060 HAS SOUS 830629 HAS SOUPS 828681 WITH SCORE 834369.987
AT ITER 2871 NEW BEST:: SOT 12941287 SOS 5687544 HAS SOPS 5684627 HAS SOUS 827723 HAS SOUPS 825785 WITH SCORE 831472.544
AT ITER 2875 NEW BEST:: SOT 12939838 SOS 5686095 HAS SOPS 5683178 HAS SOUS 827688 HAS SOUPS 825750 WITH SCORE 831436.095
AT ITER 2877 NEW BEST:: SOT 12935398 SOS 5673285 HAS SOPS 5670430 HAS SOUS 826548 HAS SOUPS 824672 WITH SCORE 830345.285
AT ITER 2894 NEW BEST:: SOT 12934192 SOS 5672079 HAS SOPS 5669224 HAS SOUS 824632 HAS SOUPS 822756 WITH SCORE 828428.079
AT ITER 2912 NEW BEST:: SOT 12932991 SOS 5670878 HAS SOPS 5668023 HAS SOUS 823832 HAS SOUPS 821956 WITH SCORE 827626.878
AT ITER 2917 NEW BEST:: SOT 12932991 SOS 5670536 HAS SOPS 5667681 HAS SOUS 823661 HAS SOUPS 821785 WITH SCORE 827455.536
AT ITER 2933 NEW BEST:: SOT 12932991 SOS 5668520 HAS SOPS 5665665 HAS SOUS 823661 HAS SOUPS 821785 WITH SCORE 827453.52
AT ITER 2937 NEW BEST:: SOT 12932594 SOS 5668123 HAS SOPS 5665268 HAS SOUS 822828 HAS SOUPS 820952 WITH SCORE 826620.123
AT ITER 2970 NEW BEST:: SOT 12932482 SOS 5668011 HAS SOPS 5665156 HAS SOUS 822598 HAS SOUPS 820722 WITH SCORE 826390.011
AT ITER 2986 NEW BEST:: SOT 12932485 SOS 5668014 HAS SOPS 5665159 HAS SOUS 822592 HAS SOUPS 820716 WITH SCORE 826384.014
AT ITER 3037 NEW BEST:: SOT 12932093 SOS 5667622 HAS SOPS 5664767 HAS SOUS 822120 HAS SOUPS 820244 WITH SCORE 825911.622
AT ITER 3048 NEW BEST:: SOT 12932093 SOS 5667628 HAS SOPS 5664773 HAS SOUS 822114 HAS SOUPS 820238 WITH SCORE 825905.628
AT ITER 3052 NEW BEST:: SOT 12930368 SOS 5665903 HAS SOPS 5663048 HAS SOUS 818596 HAS SOUPS 816720 WITH SCORE 822385.903
AT ITER 3060 NEW BEST:: SOT 12930368 SOS 5669719 HAS SOPS 5666864 HAS SOUS 817588 HAS SOUPS 815712 WITH SCORE 821381.719
AT ITER 3070 NEW BEST:: SOT 12930368 SOS 5669719 HAS SOPS 5666864 HAS SOUS 817564 HAS SOUPS 815688 WITH SCORE 821357.719
AT ITER 3087 NEW BEST:: SOT 12930368 SOS 5669719 HAS SOPS 5666864 HAS SOUS 817526 HAS SOUPS 815650 WITH SCORE 821319.719
AT ITER 3089 NEW BEST:: SOT 12930368 SOS 5669656 HAS SOPS 5666801 HAS SOUS 817463 HAS SOUPS 815587 WITH SCORE 821256.656
AT ITER 3116 NEW BEST:: SOT 12930368 SOS 5669628 HAS SOPS 5666773 HAS SOUS 817449 HAS SOUPS 815573 WITH SCORE 821242.628
AT ITER 3123 NEW BEST:: SOT 12936482 SOS 5675760 HAS SOPS 5672905 HAS SOUS 817294 HAS SOUPS 815418 WITH SCORE 821093.76
AT ITER 3137 NEW BEST:: SOT 12936476 SOS 5675754 HAS SOPS 5672899 HAS SOUS 817288 HAS SOUPS 815412 WITH SCORE 821087.754
AT ITER 3224 NEW BEST:: SOT 12936272 SOS 5675585 HAS SOPS 5672725 HAS SOUS 816161 HAS SOUPS 814280 WITH SCORE 819955.585
AT ITER 3284 NEW BEST:: SOT 12936272 SOS 5675341 HAS SOPS 5672481 HAS SOUS 816039 HAS SOUPS 814158 WITH SCORE 819833.341
AT ITER 3300 NEW BEST:: SOT 12936082 SOS 5675151 HAS SOPS 5672291 HAS SOUS 813122 HAS SOUPS 811241 WITH SCORE 816916.151
AT ITER 3314 NEW BEST:: SOT 12935809 SOS 5674878 HAS SOPS 5672018 HAS SOUS 812513 HAS SOUPS 810632 WITH SCORE 816306.878
AT ITER 3341 NEW BEST:: SOT 12935689 SOS 5674690 HAS SOPS 5671830 HAS SOUS 812376 HAS SOUPS 810495 WITH SCORE 816169.69
AT ITER 3360 NEW BEST:: SOT 12930857 SOS 5669858 HAS SOPS 5666998 HAS SOUS 807058 HAS SOUPS 805177 WITH SCORE 810846.858
AT ITER 3362 NEW BEST:: SOT 12930857 SOS 5671562 HAS SOPS 5668702 HAS SOUS 805520 HAS SOUPS 803639 WITH SCORE 809310.562
AT ITER 3366 NEW BEST:: SOT 12930669 SOS 5671374 HAS SOPS 5668514 HAS SOUS 805307 HAS SOUPS 803426 WITH SCORE 809097.374
AT ITER 3392 NEW BEST:: SOT 12940139 SOS 5683508 HAS SOPS 5680648 HAS SOUS 800090 HAS SOUPS 798209 WITH SCORE 803892.508
AT ITER 3466 NEW BEST:: SOT 12940139 SOS 5680340 HAS SOPS 5677480 HAS SOUS 800090 HAS SOUPS 798209 WITH SCORE 803889.34
AT ITER 3468 NEW BEST:: SOT 12940081 SOS 5680282 HAS SOPS 5677422 HAS SOUS 800069 HAS SOUPS 798188 WITH SCORE 803868.282
AT ITER 3494 NEW BEST:: SOT 12939418 SOS 5679619 HAS SOPS 5676759 HAS SOUS 798710 HAS SOUPS 796829 WITH SCORE 802508.619
AT ITER 3503 NEW BEST:: SOT 12939418 SOS 5679385 HAS SOPS 5676525 HAS SOUS 798692 HAS SOUPS 796811 WITH SCORE 802490.385
AT ITER 3507 NEW BEST:: SOT 12938984 SOS 5678807 HAS SOPS 5675947 HAS SOUS 798258 HAS SOUPS 796377 WITH SCORE 802055.807
AT ITER 3512 NEW BEST:: SOT 12948877 SOS 5697772 HAS SOPS 5694912 HAS SOUS 795856 HAS SOUPS 793975 WITH SCORE 799672.772
AT ITER 3532 NEW BEST:: SOT 12949780 SOS 5698879 HAS SOPS 5696019 HAS SOUS 795576 HAS SOUPS 793695 WITH SCORE 799393.879
AT ITER 3539 NEW BEST:: SOT 12948926 SOS 5698025 HAS SOPS 5695165 HAS SOUS 793796 HAS SOUPS 791915 WITH SCORE 797613.025
AT ITER 3546 NEW BEST:: SOT 12950798 SOS 5704436 HAS SOPS 5701576 HAS SOUS 793650 HAS SOUPS 791769 WITH SCORE 797473.436
AT ITER 3549 NEW BEST:: SOT 12950798 SOS 5704415 HAS SOPS 5701555 HAS SOUS 793629 HAS SOUPS 791748 WITH SCORE 797452.415
AT ITER 3592 NEW BEST:: SOT 12951566 SOS 5705183 HAS SOPS 5702323 HAS SOUS 793197 HAS SOUPS 791316 WITH SCORE 797021.183
AT ITER 3601 NEW BEST:: SOT 12945718 SOS 5695447 HAS SOPS 5692587 HAS SOUS 791895 HAS SOUPS 790014 WITH SCORE 795709.447
AT ITER 3623 NEW BEST:: SOT 12945718 SOS 5695173 HAS SOPS 5692313 HAS SOUS 791758 HAS SOUPS 789877 WITH SCORE 795572.173
AT ITER 3628 NEW BEST:: SOT 12943990 SOS 5692581 HAS SOPS 5689721 HAS SOUS 790456 HAS SOUPS 788575 WITH SCORE 794267.581
AT ITER 3665 NEW BEST:: SOT 12942363 SOS 5686939 HAS SOPS 5684079 HAS SOUS 789910 HAS SOUPS 788029 WITH SCORE 793715.939
AT ITER 3669 NEW BEST:: SOT 12942394 SOS 5686970 HAS SOPS 5684110 HAS SOUS 789899 HAS SOUPS 788018 WITH SCORE 793704.97
AT ITER 3682 NEW BEST:: SOT 12940451 SOS 5684980 HAS SOPS 5682120 HAS SOUS 788202 HAS SOUPS 786321 WITH SCORE 792005.98
AT ITER 3696 NEW BEST:: SOT 12939702 SOS 5684417 HAS SOPS 5681557 HAS SOUS 786755 HAS SOUPS 784874 WITH SCORE 790558.417
AT ITER 3697 NEW BEST:: SOT 12939655 SOS 5683589 HAS SOPS 5680729 HAS SOUS 786678 HAS SOUPS 784797 WITH SCORE 790480.589
AT ITER 3706 NEW BEST:: SOT 12936264 SOS 5680198 HAS SOPS 5677338 HAS SOUS 783524 HAS SOUPS 781643 WITH SCORE 787323.198
AT ITER 3737 NEW BEST:: SOT 12936264 SOS 5680192 HAS SOPS 5677332 HAS SOUS 783518 HAS SOUPS 781637 WITH SCORE 787317.192
AT ITER 3794 NEW BEST:: SOT 12936253 SOS 5680181 HAS SOPS 5677321 HAS SOUS 783507 HAS SOUPS 781626 WITH SCORE 787306.181
AT ITER 3828 NEW BEST:: SOT 12933888 SOS 5677816 HAS SOPS 5674956 HAS SOUS 780993 HAS SOUPS 779112 WITH SCORE 784789.816
AT ITER 3840 NEW BEST:: SOT 12937246 SOS 5685638 HAS SOPS 5682778 HAS SOUS 776859 HAS SOUPS 774978 WITH SCORE 780663.638
AT ITER 3854 NEW BEST:: SOT 12939240 SOS 5696378 HAS SOPS 5693518 HAS SOUS 776447 HAS SOUPS 774566 WITH SCORE 780262.378
AT ITER 3868 NEW BEST:: SOT 12939211 SOS 5700436 HAS SOPS 5697576 HAS SOUS 776336 HAS SOUPS 774455 WITH SCORE 780155.436
AT ITER 3873 NEW BEST:: SOT 12939211 SOS 5700436 HAS SOPS 5697576 HAS SOUS 776330 HAS SOUPS 774449 WITH SCORE 780149.436
AT ITER 3883 NEW BEST:: SOT 12939190 SOS 5700415 HAS SOPS 5697555 HAS SOUS 775798 HAS SOUPS 773917 WITH SCORE 779617.415
AT ITER 3886 NEW BEST:: SOT 12939170 SOS 5700395 HAS SOPS 5697535 HAS SOUS 775798 HAS SOUPS 773917 WITH SCORE 779617.395
AT ITER 3892 NEW BEST:: SOT 12933722 SOS 5694947 HAS SOPS 5692087 HAS SOUS 775591 HAS SOUPS 773710 WITH SCORE 779404.947
AT ITER 3906 NEW BEST:: SOT 12933722 SOS 5697077 HAS SOPS 5694217 HAS SOUS 773639 HAS SOUPS 771758 WITH SCORE 777455.077
AT ITER 3915 NEW BEST:: SOT 12933722 SOS 5694917 HAS SOPS 5692057 HAS SOUS 773609 HAS SOUPS 771728 WITH SCORE 777422.917
AT ITER 3946 NEW BEST:: SOT 12933722 SOS 5692757 HAS SOPS 5689897 HAS SOUS 773609 HAS SOUPS 771728 WITH SCORE 777420.757
AT ITER 3974 NEW BEST:: SOT 12933786 SOS 5692821 HAS SOPS 5689961 HAS SOUS 773342 HAS SOUPS 771461 WITH SCORE 777153.821
AT ITER 3984 NEW BEST:: SOT 12935805 SOS 5694840 HAS SOPS 5691980 HAS SOUS 771383 HAS SOUPS 769502 WITH SCORE 775196.84
AT ITER 3994 NEW BEST:: SOT 12934777 SOS 5693812 HAS SOPS 5690952 HAS SOUS 770005 HAS SOUPS 768124 WITH SCORE 773817.812
AT ITER 4000 NEW BEST:: SOT 12934777 SOS 5691412 HAS SOPS 5688552 HAS SOUS 769957 HAS SOUPS 768076 WITH SCORE 773767.412
AT ITER 4005 NEW BEST:: SOT 12934274 SOS 5690909 HAS SOPS 5688049 HAS SOUS 768958 HAS SOUPS 767077 WITH SCORE 772767.909
AT ITER 4008 NEW BEST:: SOT 12945525 SOS 5714142 HAS SOPS 5710967 HAS SOUS 768797 HAS SOUPS 766793 WITH SCORE 772507.142
AT ITER 4034 NEW BEST:: SOT 12945671 SOS 5714288 HAS SOPS 5711113 HAS SOUS 768601 HAS SOUPS 766597 WITH SCORE 772311.288
AT ITER 4066 NEW BEST:: SOT 12945671 SOS 5724764 HAS SOPS 5721589 HAS SOUS 766255 HAS SOUPS 764251 WITH SCORE 769975.764
AT ITER 4079 NEW BEST:: SOT 12945478 SOS 5724571 HAS SOPS 5721396 HAS SOUS 765866 HAS SOUPS 763862 WITH SCORE 769586.571
AT ITER 4126 NEW BEST:: SOT 12945478 SOS 5724489 HAS SOPS 5721314 HAS SOUS 765825 HAS SOUPS 763821 WITH SCORE 769545.489
AT ITER 4163 NEW BEST:: SOT 12944796 SOS 5724399 HAS SOPS 5721224 HAS SOUS 764731 HAS SOUPS 762727 WITH SCORE 768451.399
AT ITER 4173 NEW BEST:: SOT 12944796 SOS 5724399 HAS SOPS 5721224 HAS SOUS 764675 HAS SOUPS 762671 WITH SCORE 768395.399
AT ITER 4183 NEW BEST:: SOT 12949280 SOS 5728883 HAS SOPS 5725708 HAS SOUS 764155 HAS SOUPS 762151 WITH SCORE 767879.883
AT ITER 4196 NEW BEST:: SOT 12949937 SOS 5729540 HAS SOPS 5726365 HAS SOUS 764010 HAS SOUPS 762006 WITH SCORE 767735.54
AT ITER 4207 NEW BEST:: SOT 12949917 SOS 5729520 HAS SOPS 5726345 HAS SOUS 763962 HAS SOUPS 761958 WITH SCORE 767687.52
AT ITER 4218 NEW BEST:: SOT 12949779 SOS 5729589 HAS SOPS 5726414 HAS SOUS 760982 HAS SOUPS 758978 WITH SCORE 764707.589
AT ITER 4244 NEW BEST:: SOT 12947237 SOS 5727047 HAS SOPS 5723872 HAS SOUS 758749 HAS SOUPS 756745 WITH SCORE 762472.047
AT ITER 4286 NEW BEST:: SOT 12941594 SOS 5712494 HAS SOPS 5709514 HAS SOUS 758598 HAS SOUPS 756659 WITH SCORE 762371.494
AT ITER 4307 NEW BEST:: SOT 12935529 SOS 5705815 HAS SOPS 5702811 HAS SOUS 757190 HAS SOUPS 755232 WITH SCORE 760937.815
AT ITER 4322 NEW BEST:: SOT 12935525 SOS 5705811 HAS SOPS 5702807 HAS SOUS 757186 HAS SOUPS 755228 WITH SCORE 760933.811
AT ITER 4325 NEW BEST:: SOT 12937673 SOS 5711775 HAS SOPS 5708771 HAS SOUS 756958 HAS SOUPS 755000 WITH SCORE 760711.775
AT ITER 4334 NEW BEST:: SOT 12937582 SOS 5711684 HAS SOPS 5708680 HAS SOUS 756789 HAS SOUPS 754831 WITH SCORE 760542.684
AT ITER 4396 NEW BEST:: SOT 12936606 SOS 5710708 HAS SOPS 5707704 HAS SOUS 752024 HAS SOUPS 750066 WITH SCORE 755776.708
AT ITER 4415 NEW BEST:: SOT 12936600 SOS 5710702 HAS SOPS 5707698 HAS SOUS 752018 HAS SOUPS 750060 WITH SCORE 755770.702
AT ITER 4433 NEW BEST:: SOT 12936562 SOS 5710664 HAS SOPS 5707660 HAS SOUS 751980 HAS SOUPS 750022 WITH SCORE 755732.664
AT ITER 4464 NEW BEST:: SOT 12936414 SOS 5710516 HAS SOPS 5707512 HAS SOUS 751644 HAS SOUPS 749686 WITH SCORE 755396.516
AT ITER 4470 NEW BEST:: SOT 12938227 SOS 5712329 HAS SOPS 5709325 HAS SOUS 749179 HAS SOUPS 747221 WITH SCORE 752933.329
AT ITER 4524 NEW BEST:: SOT 12939464 SOS 5717466 HAS SOPS 5714462 HAS SOUS 749169 HAS SOUPS 747211 WITH SCORE 752928.466
AT ITER 4553 NEW BEST:: SOT 12939464 SOS 5717218 HAS SOPS 5714222 HAS SOUS 749129 HAS SOUPS 747175 WITH SCORE 752892.218
AT ITER 4568 NEW BEST:: SOT 12939464 SOS 5716586 HAS SOPS 5713590 HAS SOUS 749101 HAS SOUPS 747147 WITH SCORE 752863.586
AT ITER 4573 NEW BEST:: SOT 12939561 SOS 5716683 HAS SOPS 5713687 HAS SOUS 748916 HAS SOUPS 746962 WITH SCORE 752678.683
AT ITER 4625 NEW BEST:: SOT 12939724 SOS 5716846 HAS SOPS 5713850 HAS SOUS 748687 HAS SOUPS 746733 WITH SCORE 752449.846
AT ITER 4642 NEW BEST:: SOT 12937924 SOS 5710870 HAS SOPS 5707874 HAS SOUS 748420 HAS SOUPS 746466 WITH SCORE 752176.87
AT ITER 4643 NEW BEST:: SOT 12937930 SOS 5710876 HAS SOPS 5707880 HAS SOUS 748357 HAS SOUPS 746403 WITH SCORE 752113.876
AT ITER 4647 NEW BEST:: SOT 12937930 SOS 5709182 HAS SOPS 5706186 HAS SOUS 748247 HAS SOUPS 746293 WITH SCORE 752002.182
AT ITER 4654 NEW BEST:: SOT 12937898 SOS 5709150 HAS SOPS 5706154 HAS SOUS 748180 HAS SOUPS 746226 WITH SCORE 751935.15
AT ITER 4657 NEW BEST:: SOT 12939421 SOS 5712905 HAS SOPS 5709909 HAS SOUS 746175 HAS SOUPS 744221 WITH SCORE 749933.905
AT ITER 4663 NEW BEST:: SOT 12939421 SOS 5712875 HAS SOPS 5709885 HAS SOUS 746169 HAS SOUPS 744221 WITH SCORE 749933.875
AT ITER 4673 NEW BEST:: SOT 12938900 SOS 5712354 HAS SOPS 5709364 HAS SOUS 745698 HAS SOUPS 743750 WITH SCORE 749462.354
AT ITER 4703 NEW BEST:: SOT 12938900 SOS 5712354 HAS SOPS 5709364 HAS SOUS 745628 HAS SOUPS 743680 WITH SCORE 749392.354
AT ITER 4712 NEW BEST:: SOT 12938788 SOS 5712242 HAS SOPS 5709252 HAS SOUS 745396 HAS SOUPS 743448 WITH SCORE 749160.242
AT ITER 4783 NEW BEST:: SOT 12938995 SOS 5712449 HAS SOPS 5709459 HAS SOUS 744886 HAS SOUPS 742938 WITH SCORE 748650.449
AT ITER 4833 NEW BEST:: SOT 12938985 SOS 5712439 HAS SOPS 5709449 HAS SOUS 744878 HAS SOUPS 742930 WITH SCORE 748642.439
AT ITER 4837 NEW BEST:: SOT 12938892 SOS 5712226 HAS SOPS 5709236 HAS SOUS 744686 HAS SOUPS 742738 WITH SCORE 748450.226
AT ITER 4892 NEW BEST:: SOT 12939402 SOS 5713517 HAS SOPS 5710527 HAS SOUS 744591 HAS SOUPS 742643 WITH SCORE 748356.517
AT ITER 4899 NEW BEST:: SOT 12939402 SOS 5713501 HAS SOPS 5710511 HAS SOUS 744583 HAS SOUPS 742635 WITH SCORE 748348.501
AT ITER 4901 NEW BEST:: SOT 12939402 SOS 5713165 HAS SOPS 5710175 HAS SOUS 744415 HAS SOUPS 742467 WITH SCORE 748180.165
AT ITER 4927 NEW BEST:: SOT 12937105 SOS 5710627 HAS SOPS 5707631 HAS SOUS 743576 HAS SOUPS 741622 WITH SCORE 747332.627
AT ITER 4948 NEW BEST:: SOT 12936570 SOS 5710092 HAS SOPS 5707096 HAS SOUS 742781 HAS SOUPS 740827 WITH SCORE 746537.092
AT ITER 4973 NEW BEST:: SOT 12935101 SOS 5708623 HAS SOPS 5705627 HAS SOUS 742524 HAS SOUPS 740570 WITH SCORE 746278.623
AT ITER 5029 NEW BEST:: SOT 12934228 SOS 5707994 HAS SOPS 5704998 HAS SOUS 740878 HAS SOUPS 738924 WITH SCORE 744631.994
AT ITER 5038 NEW BEST:: SOT 12934228 SOS 5707674 HAS SOPS 5704678 HAS SOUS 740718 HAS SOUPS 738764 WITH SCORE 744471.674
AT ITER 5067 NEW BEST:: SOT 12933912 SOS 5707359 HAS SOPS 5704362 HAS SOUS 739581 HAS SOUPS 737626 WITH SCORE 743333.359
AT ITER 5075 NEW BEST:: SOT 12930160 SOS 5707527 HAS SOPS 5704530 HAS SOUS 736159 HAS SOUPS 734204 WITH SCORE 739911.527
AT ITER 5093 NEW BEST:: SOT 12929896 SOS 5707263 HAS SOPS 5704266 HAS SOUS 735895 HAS SOUPS 733940 WITH SCORE 739647.263
AT ITER 5141 NEW BEST:: SOT 12929861 SOS 5704878 HAS SOPS 5701806 HAS SOUS 735814 HAS SOUPS 733784 WITH SCORE 739488.878
AT ITER 5148 NEW BEST:: SOT 12930169 SOS 5706911 HAS SOPS 5703839 HAS SOUS 733495 HAS SOUPS 731465 WITH SCORE 737171.911
AT ITER 5198 NEW BEST:: SOT 12930169 SOS 5716978 HAS SOPS 5714006 HAS SOUS 732971 HAS SOUPS 730941 WITH SCORE 736657.978
AT ITER 5200 NEW BEST:: SOT 12930169 SOS 5713766 HAS SOPS 5710794 HAS SOUS 732943 HAS SOUPS 730913 WITH SCORE 736626.766
AT ITER 5228 NEW BEST:: SOT 12930169 SOS 5714547 HAS SOPS 5711564 HAS SOUS 732890 HAS SOUPS 730849 WITH SCORE 736563.547
AT ITER 5233 NEW BEST:: SOT 12930117 SOS 5714561 HAS SOPS 5711578 HAS SOUS 732814 HAS SOUPS 730773 WITH SCORE 736487.561
AT ITER 5249 NEW BEST:: SOT 12930117 SOS 5714297 HAS SOPS 5711314 HAS SOUS 732682 HAS SOUPS 730641 WITH SCORE 736355.297
AT ITER 5268 NEW BEST:: SOT 12928248 SOS 5712409 HAS SOPS 5709426 HAS SOUS 731106 HAS SOUPS 729065 WITH SCORE 734777.409
AT ITER 5290 NEW BEST:: SOT 12924887 SOS 5709048 HAS SOPS 5706065 HAS SOUS 729248 HAS SOUPS 727207 WITH SCORE 732916.048
AT ITER 5312 NEW BEST:: SOT 12924887 SOS 5709048 HAS SOPS 5706065 HAS SOUS 729212 HAS SOUPS 727171 WITH SCORE 732880.048
AT ITER 5340 NEW BEST:: SOT 12924888 SOS 5709049 HAS SOPS 5706066 HAS SOUS 729171 HAS SOUPS 727130 WITH SCORE 732839.049
AT ITER 5367 NEW BEST:: SOT 12924888 SOS 5708977 HAS SOPS 5705994 HAS SOUS 729135 HAS SOUPS 727094 WITH SCORE 732802.977
AT ITER 5395 NEW BEST:: SOT 12924223 SOS 5708312 HAS SOPS 5705329 HAS SOUS 727931 HAS SOUPS 725890 WITH SCORE 731598.312
AT ITER 5397 NEW BEST:: SOT 12924223 SOS 5707902 HAS SOPS 5704919 HAS SOUS 727931 HAS SOUPS 725890 WITH SCORE 731597.902
AT ITER 5427 NEW BEST:: SOT 12925320 SOS 5710007 HAS SOPS 5707024 HAS SOUS 727472 HAS SOUPS 725431 WITH SCORE 731141.007
AT ITER 5429 NEW BEST:: SOT 12924151 SOS 5708838 HAS SOPS 5705855 HAS SOUS 726324 HAS SOUPS 724283 WITH SCORE 729991.838
AT ITER 5461 NEW BEST:: SOT 12924151 SOS 5708786 HAS SOPS 5705810 HAS SOUS 726310 HAS SOUPS 724276 WITH SCORE 729984.786
AT ITER 5469 NEW BEST:: SOT 12921459 SOS 5710399 HAS SOPS 5708038 HAS SOUS 725399 HAS SOUPS 723405 WITH SCORE 729115.399
AT ITER 5478 NEW BEST:: SOT 12924567 SOS 5713507 HAS SOPS 5711146 HAS SOUS 724545 HAS SOUPS 722551 WITH SCORE 728264.507
AT ITER 5492 NEW BEST:: SOT 12912418 SOS 5701386 HAS SOPS 5699025 HAS SOUS 720734 HAS SOUPS 718740 WITH SCORE 724441.386
AT ITER 5539 NEW BEST:: SOT 12911926 SOS 5700894 HAS SOPS 5698533 HAS SOUS 720397 HAS SOUPS 718403 WITH SCORE 724103.894
AT ITER 5555 NEW BEST:: SOT 12911116 SOS 5700072 HAS SOPS 5697711 HAS SOUS 719607 HAS SOUPS 717613 WITH SCORE 723313.072
AT ITER 5597 NEW BEST:: SOT 12912840 SOS 5701890 HAS SOPS 5699623 HAS SOUS 716879 HAS SOUPS 714932 WITH SCORE 720633.89
AT ITER 5633 NEW BEST:: SOT 12912893 SOS 5701943 HAS SOPS 5699676 HAS SOUS 716858 HAS SOUPS 714911 WITH SCORE 720612.943
AT ITER 5655 NEW BEST:: SOT 12912893 SOS 5705138 HAS SOPS 5702871 HAS SOUS 714488 HAS SOUPS 712541 WITH SCORE 718246.138
AT ITER 5706 NEW BEST:: SOT 12910009 SOS 5702254 HAS SOPS 5699987 HAS SOUS 714320 HAS SOUPS 712373 WITH SCORE 718075.254
AT ITER 5715 NEW BEST:: SOT 12910008 SOS 5702246 HAS SOPS 5699979 HAS SOUS 714306 HAS SOUPS 712359 WITH SCORE 718061.246
AT ITER 5737 NEW BEST:: SOT 12911042 SOS 5706759 HAS SOPS 5704492 HAS SOUS 712481 HAS SOUPS 710534 WITH SCORE 716240.759
AT ITER 5761 NEW BEST:: SOT 12910209 SOS 5705926 HAS SOPS 5703659 HAS SOUS 710796 HAS SOUPS 708849 WITH SCORE 714554.926
AT ITER 5776 NEW BEST:: SOT 12911139 SOS 5709866 HAS SOPS 5707599 HAS SOUS 710513 HAS SOUPS 708566 WITH SCORE 714275.866
AT ITER 5785 NEW BEST:: SOT 12911120 SOS 5709847 HAS SOPS 5707580 HAS SOUS 710474 HAS SOUPS 708527 WITH SCORE 714236.847
AT ITER 5829 NEW BEST:: SOT 12911108 SOS 5709835 HAS SOPS 5707568 HAS SOUS 710468 HAS SOUPS 708521 WITH SCORE 714230.835
AT ITER 5836 NEW BEST:: SOT 12911168 SOS 5709895 HAS SOPS 5707628 HAS SOUS 710457 HAS SOUPS 708510 WITH SCORE 714219.895
AT ITER 5839 NEW BEST:: SOT 12911152 SOS 5709391 HAS SOPS 5707208 HAS SOUS 710357 HAS SOUPS 708494 WITH SCORE 714203.391
AT ITER 5860 NEW BEST:: SOT 12911117 SOS 5709356 HAS SOPS 5707173 HAS SOUS 710322 HAS SOUPS 708459 WITH SCORE 714168.356
AT ITER 5867 NEW BEST:: SOT 12911117 SOS 5708204 HAS SOPS 5706021 HAS SOUS 710132 HAS SOUPS 708269 WITH SCORE 713977.204
AT ITER 5880 NEW BEST:: SOT 12909620 SOS 5706760 HAS SOPS 5704577 HAS SOUS 708428 HAS SOUPS 706565 WITH SCORE 712271.76
AT ITER 5892 NEW BEST:: SOT 12909497 SOS 5706637 HAS SOPS 5704454 HAS SOUS 708343 HAS SOUPS 706480 WITH SCORE 712186.637
AT ITER 5915 NEW BEST:: SOT 12909391 SOS 5706531 HAS SOPS 5704348 HAS SOUS 708322 HAS SOUPS 706459 WITH SCORE 712165.531
AT ITER 5927 NEW BEST:: SOT 12909391 SOS 5703800 HAS SOPS 5701617 HAS SOUS 708317 HAS SOUPS 706454 WITH SCORE 712157.8
AT ITER 5941 NEW BEST:: SOT 12912425 SOS 5716144 HAS SOPS 5713961 HAS SOUS 706650 HAS SOUPS 704787 WITH SCORE 710503.144
AT ITER 5942 NEW BEST:: SOT 12912794 SOS 5716513 HAS SOPS 5714330 HAS SOUS 706596 HAS SOUPS 704733 WITH SCORE 710449.513
AT ITER 5950 NEW BEST:: SOT 12912794 SOS 5716383 HAS SOPS 5714200 HAS SOUS 706540 HAS SOUPS 704677 WITH SCORE 710393.383
AT ITER 5956 NEW BEST:: SOT 12910862 SOS 5714451 HAS SOPS 5712268 HAS SOUS 704653 HAS SOUPS 702790 WITH SCORE 708504.451
AT ITER 5964 NEW BEST:: SOT 12910862 SOS 5719703 HAS SOPS 5717520 HAS SOUS 704381 HAS SOUPS 702518 WITH SCORE 708237.703
AT ITER 5965 NEW BEST:: SOT 12911993 SOS 5721226 HAS SOPS 5719043 HAS SOUS 701967 HAS SOUPS 700104 WITH SCORE 705825.226
AT ITER 5969 NEW BEST:: SOT 12911991 SOS 5721224 HAS SOPS 5719041 HAS SOUS 701714 HAS SOUPS 699851 WITH SCORE 705572.224
AT ITER 6014 NEW BEST:: SOT 12910979 SOS 5720212 HAS SOPS 5718029 HAS SOUS 701517 HAS SOUPS 699654 WITH SCORE 705374.212
AT ITER 6017 NEW BEST:: SOT 12910728 SOS 5719961 HAS SOPS 5717778 HAS SOUS 701266 HAS SOUPS 699403 WITH SCORE 705122.961
AT ITER 6021 NEW BEST:: SOT 12910681 SOS 5719914 HAS SOPS 5717731 HAS SOUS 701170 HAS SOUPS 699307 WITH SCORE 705026.914
AT ITER 6043 NEW BEST:: SOT 12912288 SOS 5721571 HAS SOPS 5719392 HAS SOUS 700956 HAS SOUPS 699095 WITH SCORE 704816.571
AT ITER 6105 NEW BEST:: SOT 12912628 SOS 5721911 HAS SOPS 5719732 HAS SOUS 700635 HAS SOUPS 698774 WITH SCORE 704495.911
AT ITER 6131 NEW BEST:: SOT 12911622 SOS 5720905 HAS SOPS 5718726 HAS SOUS 698514 HAS SOUPS 696653 WITH SCORE 702373.905
AT ITER 6142 NEW BEST:: SOT 12911491 SOS 5720774 HAS SOPS 5718595 HAS SOUS 698383 HAS SOUPS 696522 WITH SCORE 702242.774
AT ITER 6145 NEW BEST:: SOT 12909510 SOS 5718433 HAS SOPS 5716299 HAS SOUS 696496 HAS SOUPS 694680 WITH SCORE 700398.433
AT ITER 6175 NEW BEST:: SOT 12907988 SOS 5716911 HAS SOPS 5714777 HAS SOUS 695071 HAS SOUPS 693255 WITH SCORE 698971.911
AT ITER 6180 NEW BEST:: SOT 12907982 SOS 5716905 HAS SOPS 5714771 HAS SOUS 695065 HAS SOUPS 693249 WITH SCORE 698965.905
AT ITER 6186 NEW BEST:: SOT 12907982 SOS 5719285 HAS SOPS 5717151 HAS SOUS 694316 HAS SOUPS 692500 WITH SCORE 698219.285
AT ITER 6188 NEW BEST:: SOT 12905035 SOS 5720492 HAS SOPS 5718358 HAS SOUS 692825 HAS SOUPS 691009 WITH SCORE 696729.492
AT ITER 6197 NEW BEST:: SOT 12905035 SOS 5721895 HAS SOPS 5719761 HAS SOUS 692651 HAS SOUPS 690835 WITH SCORE 696556.895
AT ITER 6220 NEW BEST:: SOT 12906448 SOS 5723308 HAS SOPS 5721174 HAS SOUS 692028 HAS SOUPS 690212 WITH SCORE 695935.308
AT ITER 6245 NEW BEST:: SOT 12906595 SOS 5723455 HAS SOPS 5721321 HAS SOUS 691931 HAS SOUPS 690115 WITH SCORE 695838.455
AT ITER 6249 NEW BEST:: SOT 12906193 SOS 5723053 HAS SOPS 5720919 HAS SOUS 691334 HAS SOUPS 689518 WITH SCORE 695241.053
AT ITER 6251 NEW BEST:: SOT 12907172 SOS 5725947 HAS SOPS 5723880 HAS SOUS 691247 HAS SOUPS 689498 WITH SCORE 695223.947
AT ITER 6278 NEW BEST:: SOT 12907425 SOS 5726200 HAS SOPS 5724133 HAS SOUS 690961 HAS SOUPS 689212 WITH SCORE 694938.2
AT ITER 6307 NEW BEST:: SOT 12908183 SOS 5726958 HAS SOPS 5724891 HAS SOUS 690599 HAS SOUPS 688850 WITH SCORE 694576.958
AT ITER 6319 NEW BEST:: SOT 12910087 SOS 5731205 HAS SOPS 5729138 HAS SOUS 690538 HAS SOUPS 688789 WITH SCORE 694520.205
AT ITER 6324 NEW BEST:: SOT 12910607 SOS 5732445 HAS SOPS 5730378 HAS SOUS 689913 HAS SOUPS 688164 WITH SCORE 693896.445
AT ITER 6341 NEW BEST:: SOT 12910647 SOS 5732485 HAS SOPS 5730418 HAS SOUS 689849 HAS SOUPS 688100 WITH SCORE 693832.485
AT ITER 6342 NEW BEST:: SOT 12910605 SOS 5730117 HAS SOPS 5728064 HAS SOUS 689591 HAS SOUPS 687866 WITH SCORE 693596.117
AT ITER 6350 NEW BEST:: SOT 12910567 SOS 5730073 HAS SOPS 5728026 HAS SOUS 689553 HAS SOUPS 687834 WITH SCORE 693564.073
AT ITER 6364 NEW BEST:: SOT 12910560 SOS 5730066 HAS SOPS 5728019 HAS SOUS 689546 HAS SOUPS 687827 WITH SCORE 693557.066
AT ITER 6376 NEW BEST:: SOT 12909190 SOS 5727040 HAS SOPS 5724993 HAS SOUS 688153 HAS SOUPS 686434 WITH SCORE 692161.04
AT ITER 6383 NEW BEST:: SOT 12909137 SOS 5726987 HAS SOPS 5724940 HAS SOUS 688041 HAS SOUPS 686322 WITH SCORE 692048.987
AT ITER 6412 NEW BEST:: SOT 12909055 SOS 5726905 HAS SOPS 5724858 HAS SOUS 687959 HAS SOUPS 686240 WITH SCORE 691966.905
AT ITER 6450 NEW BEST:: SOT 12909268 SOS 5727118 HAS SOPS 5725071 HAS SOUS 687492 HAS SOUPS 685773 WITH SCORE 691500.118
AT ITER 6458 NEW BEST:: SOT 12906748 SOS 5718718 HAS SOPS 5716671 HAS SOUS 687324 HAS SOUPS 685605 WITH SCORE 691323.718
AT ITER 6488 NEW BEST:: SOT 12906748 SOS 5718715 HAS SOPS 5716668 HAS SOUS 687324 HAS SOUPS 685605 WITH SCORE 691323.715
AT ITER 6511 NEW BEST:: SOT 12905221 SOS 5717595 HAS SOPS 5715548 HAS SOUS 680847 HAS SOUPS 679128 WITH SCORE 684845.595
AT ITER 6521 NEW BEST:: SOT 12904327 SOS 5716701 HAS SOPS 5714654 HAS SOUS 679294 HAS SOUPS 677575 WITH SCORE 683291.701
AT ITER 6533 NEW BEST:: SOT 12903842 SOS 5716216 HAS SOPS 5714169 HAS SOUS 678347 HAS SOUPS 676628 WITH SCORE 682344.216
AT ITER 6540 NEW BEST:: SOT 12903842 SOS 5716215 HAS SOPS 5714168 HAS SOUS 678347 HAS SOUPS 676628 WITH SCORE 682344.215
AT ITER 6608 NEW BEST:: SOT 12903856 SOS 5716305 HAS SOPS 5714258 HAS SOUS 677140 HAS SOUPS 675421 WITH SCORE 681137.305
AT ITER 6611 NEW BEST:: SOT 12903858 SOS 5716307 HAS SOPS 5714260 HAS SOUS 677138 HAS SOUPS 675419 WITH SCORE 681135.307
AT ITER 6629 NEW BEST:: SOT 12903786 SOS 5715958 HAS SOPS 5713951 HAS SOUS 677026 HAS SOUPS 675347 WITH SCORE 681062.958
AT ITER 6644 NEW BEST:: SOT 12903770 SOS 5715958 HAS SOPS 5713951 HAS SOUS 677010 HAS SOUPS 675331 WITH SCORE 681046.958
AT ITER 6646 NEW BEST:: SOT 12907282 SOS 5719531 HAS SOPS 5717524 HAS SOUS 676864 HAS SOUPS 675185 WITH SCORE 680904.531
AT ITER 6655 NEW BEST:: SOT 12907040 SOS 5722745 HAS SOPS 5720738 HAS SOUS 676551 HAS SOUPS 674872 WITH SCORE 680594.745
AT ITER 6660 NEW BEST:: SOT 12907040 SOS 5721881 HAS SOPS 5719874 HAS SOUS 676551 HAS SOUPS 674872 WITH SCORE 680593.881
AT ITER 6691 NEW BEST:: SOT 12907028 SOS 5721869 HAS SOPS 5719862 HAS SOUS 676542 HAS SOUPS 674863 WITH SCORE 680584.869
AT ITER 6700 NEW BEST:: SOT 12907341 SOS 5722182 HAS SOPS 5720175 HAS SOUS 676388 HAS SOUPS 674709 WITH SCORE 680431.182
AT ITER 6773 NEW BEST:: SOT 12907403 SOS 5722244 HAS SOPS 5720237 HAS SOUS 676378 HAS SOUPS 674699 WITH SCORE 680421.244
AT ITER 6775 NEW BEST:: SOT 12907403 SOS 5731846 HAS SOPS 5729839 HAS SOUS 676359 HAS SOUPS 674680 WITH SCORE 680411.846
AT ITER 6814 NEW BEST:: SOT 12907403 SOS 5725150 HAS SOPS 5723143 HAS SOUS 676359 HAS SOUPS 674680 WITH SCORE 680405.15
AT ITER 6820 NEW BEST:: SOT 12905871 SOS 5723618 HAS SOPS 5721611 HAS SOUS 675034 HAS SOUPS 673355 WITH SCORE 679078.618
AT ITER 6874 NEW BEST:: SOT 12905787 SOS 5723534 HAS SOPS 5721527 HAS SOUS 675034 HAS SOUPS 673355 WITH SCORE 679078.534
AT ITER 6891 NEW BEST:: SOT 12906509 SOS 5727826 HAS SOPS 5725819 HAS SOUS 673379 HAS SOUPS 671700 WITH SCORE 677427.826
AT ITER 6899 NEW BEST:: SOT 12906495 SOS 5727812 HAS SOPS 5725805 HAS SOUS 673347 HAS SOUPS 671668 WITH SCORE 677395.812
AT ITER 6907 NEW BEST:: SOT 12911106 SOS 5731775 HAS SOPS 5729875 HAS SOUS 671885 HAS SOUPS 670313 WITH SCORE 676044.775
AT ITER 6919 NEW BEST:: SOT 12910911 SOS 5731580 HAS SOPS 5729680 HAS SOUS 671699 HAS SOUPS 670127 WITH SCORE 675858.58
AT ITER 6921 NEW BEST:: SOT 12910911 SOS 5730788 HAS SOPS 5728888 HAS SOUS 671699 HAS SOUPS 670127 WITH SCORE 675857.788
AT ITER 6927 NEW BEST:: SOT 12912302 SOS 5733835 HAS SOPS 5731935 HAS SOUS 671059 HAS SOUPS 669487 WITH SCORE 675220.835
AT ITER 6956 NEW BEST:: SOT 12913118 SOS 5734651 HAS SOPS 5732751 HAS SOUS 671011 HAS SOUPS 669439 WITH SCORE 675173.651
AT ITER 7011 NEW BEST:: SOT 12913118 SOS 5734615 HAS SOPS 5732715 HAS SOUS 670993 HAS SOUPS 669421 WITH SCORE 675155.615
AT ITER 7043 NEW BEST:: SOT 12913145 SOS 5734849 HAS SOPS 5732919 HAS SOUS 671020 HAS SOUPS 669418 WITH SCORE 675152.849
AT ITER 7059 NEW BEST:: SOT 12907819 SOS 5727435 HAS SOPS 5725423 HAS SOUS 671086 HAS SOUPS 669402 WITH SCORE 675129.435
AT ITER 7068 NEW BEST:: SOT 12908436 SOS 5727766 HAS SOPS 5725758 HAS SOUS 669281 HAS SOUPS 667601 WITH SCORE 673328.766
AT ITER 7088 NEW BEST:: SOT 12907878 SOS 5727208 HAS SOPS 5725190 HAS SOUS 668716 HAS SOUPS 667033 WITH SCORE 672760.208
AT ITER 7093 NEW BEST:: SOT 12907943 SOS 5727273 HAS SOPS 5725255 HAS SOUS 668712 HAS SOUPS 667029 WITH SCORE 672756.273
AT ITER 7096 NEW BEST:: SOT 12907926 SOS 5727185 HAS SOPS 5725168 HAS SOUS 668694 HAS SOUPS 667011 WITH SCORE 672738.185
AT ITER 7122 NEW BEST:: SOT 12908815 SOS 5728074 HAS SOPS 5726057 HAS SOUS 668435 HAS SOUPS 666752 WITH SCORE 672480.074
AT ITER 7157 NEW BEST:: SOT 12911142 SOS 5735113 HAS SOPS 5733111 HAS SOUS 667761 HAS SOUPS 666093 WITH SCORE 671828.113
AT ITER 7167 NEW BEST:: SOT 12912119 SOS 5757124 HAS SOPS 5755122 HAS SOUS 665895 HAS SOUPS 664227 WITH SCORE 669984.124
AT ITER 7201 NEW BEST:: SOT 12910112 SOS 5755117 HAS SOPS 5753115 HAS SOUS 663830 HAS SOUPS 662162 WITH SCORE 667917.117
AT ITER 7236 NEW BEST:: SOT 12911226 SOS 5756231 HAS SOPS 5754229 HAS SOUS 659990 HAS SOUPS 658322 WITH SCORE 664078.231
AT ITER 7284 NEW BEST:: SOT 12910647 SOS 5755652 HAS SOPS 5753650 HAS SOUS 659684 HAS SOUPS 658016 WITH SCORE 663771.652
AT ITER 7309 NEW BEST:: SOT 12909621 SOS 5754626 HAS SOPS 5752624 HAS SOUS 657610 HAS SOUPS 655942 WITH SCORE 661696.626
AT ITER 7310 NEW BEST:: SOT 12909540 SOS 5754492 HAS SOPS 5752490 HAS SOUS 657567 HAS SOUPS 655899 WITH SCORE 661653.492
AT ITER 7314 NEW BEST:: SOT 12910798 SOS 5757550 HAS SOPS 5755548 HAS SOUS 656041 HAS SOUPS 654373 WITH SCORE 660130.55
AT ITER 7316 NEW BEST:: SOT 12910798 SOS 5757525 HAS SOPS 5755523 HAS SOUS 656016 HAS SOUPS 654348 WITH SCORE 660105.525
AT ITER 7365 NEW BEST:: SOT 12910692 SOS 5757419 HAS SOPS 5755417 HAS SOUS 655950 HAS SOUPS 654282 WITH SCORE 660039.419
AT ITER 7391 NEW BEST:: SOT 12910441 SOS 5757168 HAS SOPS 5755166 HAS SOUS 653045 HAS SOUPS 651377 WITH SCORE 657134.168
AT ITER 7395 NEW BEST:: SOT 12910441 SOS 5758108 HAS SOPS 5756106 HAS SOUS 652937 HAS SOUPS 651269 WITH SCORE 657027.108
AT ITER 7435 NEW BEST:: SOT 12909457 SOS 5757124 HAS SOPS 5755122 HAS SOUS 652905 HAS SOUPS 651237 WITH SCORE 656994.124
AT ITER 7481 NEW BEST:: SOT 12909457 SOS 5757142 HAS SOPS 5755137 HAS SOUS 652905 HAS SOUPS 651234 WITH SCORE 656991.142
AT ITER 7498 NEW BEST:: SOT 12909443 SOS 5757128 HAS SOPS 5755123 HAS SOUS 652891 HAS SOUPS 651220 WITH SCORE 656977.128
AT ITER 7509 NEW BEST:: SOT 12906774 SOS 5754459 HAS SOPS 5752454 HAS SOUS 650342 HAS SOUPS 648671 WITH SCORE 654425.459
AT ITER 7534 NEW BEST:: SOT 12907093 SOS 5754860 HAS SOPS 5752855 HAS SOUS 650167 HAS SOUPS 648496 WITH SCORE 654250.86
AT ITER 7542 NEW BEST:: SOT 12907093 SOS 5754860 HAS SOPS 5752855 HAS SOUS 650139 HAS SOUPS 648468 WITH SCORE 654222.86
AT ITER 7553 NEW BEST:: SOT 12906420 SOS 5754187 HAS SOPS 5752182 HAS SOUS 648778 HAS SOUPS 647107 WITH SCORE 652861.187
AT ITER 7596 NEW BEST:: SOT 12906351 SOS 5761059 HAS SOPS 5759054 HAS SOUS 648128 HAS SOUPS 646457 WITH SCORE 652218.059
AT ITER 7597 NEW BEST:: SOT 12904592 SOS 5759300 HAS SOPS 5757295 HAS SOUS 647771 HAS SOUPS 646100 WITH SCORE 651859.3
AT ITER 7616 NEW BEST:: SOT 12904592 SOS 5759156 HAS SOPS 5757151 HAS SOUS 647759 HAS SOUPS 646088 WITH SCORE 651847.156
AT ITER 7624 NEW BEST:: SOT 12904592 SOS 5957795 HAS SOPS 5955790 HAS SOUS 646510 HAS SOUPS 644839 WITH SCORE 650796.795
AT ITER 7660 NEW BEST:: SOT 12904592 SOS 5955419 HAS SOPS 5953414 HAS SOUS 646510 HAS SOUPS 644839 WITH SCORE 650794.419
AT ITER 7661 NEW BEST:: SOT 12904592 SOS 5954627 HAS SOPS 5952622 HAS SOUS 646510 HAS SOUPS 644839 WITH SCORE 650793.627
AT ITER 7713 NEW BEST:: SOT 12904433 SOS 5954468 HAS SOPS 5952463 HAS SOUS 646453 HAS SOUPS 644782 WITH SCORE 650736.468
AT ITER 7775 NEW BEST:: SOT 12902488 SOS 5952523 HAS SOPS 5950518 HAS SOUS 642576 HAS SOUPS 640905 WITH SCORE 646857.523
AT ITER 7793 NEW BEST:: SOT 12903684 SOS 5960159 HAS SOPS 5958154 HAS SOUS 642566 HAS SOUPS 640895 WITH SCORE 646855.159
AT ITER 7806 NEW BEST:: SOT 12900763 SOS 5957287 HAS SOPS 5955282 HAS SOUS 642412 HAS SOUPS 640741 WITH SCORE 646698.287
AT ITER 7811 NEW BEST:: SOT 12900763 SOS 5957216 HAS SOPS 5955211 HAS SOUS 642410 HAS SOUPS 640739 WITH SCORE 646696.216
AT ITER 7826 NEW BEST:: SOT 12900763 SOS 5956928 HAS SOPS 5954923 HAS SOUS 642410 HAS SOUPS 640739 WITH SCORE 646695.928
AT ITER 7859 NEW BEST:: SOT 12900781 SOS 5956946 HAS SOPS 5954941 HAS SOUS 642392 HAS SOUPS 640721 WITH SCORE 646677.946
AT ITER 7866 NEW BEST:: SOT 12900781 SOS 5956658 HAS SOPS 5954653 HAS SOUS 642392 HAS SOUPS 640721 WITH SCORE 646677.658
AT ITER 7918 NEW BEST:: SOT 12900732 SOS 5956609 HAS SOPS 5954604 HAS SOUS 642343 HAS SOUPS 640672 WITH SCORE 646628.609
AT ITER 7958 NEW BEST:: SOT 12903969 SOS 5959812 HAS SOPS 5957807 HAS SOUS 641389 HAS SOUPS 639718 WITH SCORE 645677.812
AT ITER 7965 NEW BEST:: SOT 12903970 SOS 5959813 HAS SOPS 5957808 HAS SOUS 641369 HAS SOUPS 639698 WITH SCORE 645657.813
AT ITER 7977 NEW BEST:: SOT 12903970 SOS 5959669 HAS SOPS 5957664 HAS SOUS 641369 HAS SOUPS 639698 WITH SCORE 645657.669
AT ITER 8012 NEW BEST:: SOT 12903970 SOS 5959641 HAS SOPS 5957636 HAS SOUS 641369 HAS SOUPS 639698 WITH SCORE 645657.641
AT ITER 8027 NEW BEST:: SOT 12904245 SOS 5959916 HAS SOPS 5957911 HAS SOUS 641286 HAS SOUPS 639615 WITH SCORE 645574.916
AT ITER 8074 NEW BEST:: SOT 12905176 SOS 5961287 HAS SOPS 5959282 HAS SOUS 641179 HAS SOUPS 639508 WITH SCORE 645469.287
AT ITER 8084 NEW BEST:: SOT 12904973 SOS 5961084 HAS SOPS 5959079 HAS SOUS 640712 HAS SOUPS 639041 WITH SCORE 645002.084
AT ITER 8112 NEW BEST:: SOT 12907955 SOS 5964066 HAS SOPS 5962061 HAS SOUS 638128 HAS SOUPS 636457 WITH SCORE 642421.066
AT ITER 8137 NEW BEST:: SOT 12907894 SOS 5964005 HAS SOPS 5962000 HAS SOUS 638067 HAS SOUPS 636396 WITH SCORE 642360.005
AT ITER 8162 NEW BEST:: SOT 12908264 SOS 5964765 HAS SOPS 5962748 HAS SOUS 637797 HAS SOUPS 636120 WITH SCORE 642084.765
AT ITER 8174 NEW BEST:: SOT 12910930 SOS 5967431 HAS SOPS 5965414 HAS SOUS 637657 HAS SOUPS 635980 WITH SCORE 641947.431
AT ITER 8209 NEW BEST:: SOT 12911115 SOS 5967990 HAS SOPS 5965973 HAS SOUS 637192 HAS SOUPS 635515 WITH SCORE 641482.99
AT ITER 8220 NEW BEST:: SOT 12911080 SOS 5967955 HAS SOPS 5965938 HAS SOUS 637119 HAS SOUPS 635442 WITH SCORE 641409.955
AT ITER 8237 NEW BEST:: SOT 12911495 SOS 5968370 HAS SOPS 5966353 HAS SOUS 637039 HAS SOUPS 635362 WITH SCORE 641330.37
AT ITER 8239 NEW BEST:: SOT 12914181 SOS 5975698 HAS SOPS 5973681 HAS SOUS 636925 HAS SOUPS 635248 WITH SCORE 641223.698
AT ITER 8242 NEW BEST:: SOT 12918930 SOS 5987263 HAS SOPS 5985040 HAS SOUS 636655 HAS SOUPS 634875 WITH SCORE 640862.263
AT ITER 8246 NEW BEST:: SOT 12918930 SOS 5988312 HAS SOPS 5986089 HAS SOUS 636639 HAS SOUPS 634859 WITH SCORE 640847.312
AT ITER 8259 NEW BEST:: SOT 12918927 SOS 5988309 HAS SOPS 5986086 HAS SOUS 636639 HAS SOUPS 634859 WITH SCORE 640847.309
AT ITER 8271 NEW BEST:: SOT 12919174 SOS 5988556 HAS SOPS 5986333 HAS SOUS 636611 HAS SOUPS 634831 WITH SCORE 640819.556
AT ITER 8293 NEW BEST:: SOT 12919174 SOS 5986756 HAS SOPS 5984533 HAS SOUS 636611 HAS SOUPS 634831 WITH SCORE 640817.756
AT ITER 8297 NEW BEST:: SOT 12917011 SOS 5984593 HAS SOPS 5982370 HAS SOUS 634298 HAS SOUPS 632518 WITH SCORE 638502.593
AT ITER 8332 NEW BEST:: SOT 12916263 SOS 5983845 HAS SOPS 5981622 HAS SOUS 632087 HAS SOUPS 630307 WITH SCORE 636290.845
AT ITER 8392 NEW BEST:: SOT 12916981 SOS 5984563 HAS SOPS 5982340 HAS SOUS 631608 HAS SOUPS 629828 WITH SCORE 635812.563
AT ITER 8458 NEW BEST:: SOT 12917845 SOS 5990899 HAS SOPS 5988676 HAS SOUS 631404 HAS SOUPS 629624 WITH SCORE 635614.899
AT ITER 8528 NEW BEST:: SOT 12916885 SOS 5989945 HAS SOPS 5987722 HAS SOUS 631358 HAS SOUPS 629578 WITH SCORE 635567.945
AT ITER 8545 NEW BEST:: SOT 12919257 SOS 5994333 HAS SOPS 5992110 HAS SOUS 631152 HAS SOUPS 629372 WITH SCORE 635366.333
AT ITER 8583 NEW BEST:: SOT 12919257 SOS 5994189 HAS SOPS 5991966 HAS SOUS 631152 HAS SOUPS 629372 WITH SCORE 635366.189
AT ITER 8587 NEW BEST:: SOT 12921092 SOS 5998544 HAS SOPS 5996321 HAS SOUS 629157 HAS SOUPS 627377 WITH SCORE 633375.544
AT ITER 8607 NEW BEST:: SOT 12920466 SOS 5997918 HAS SOPS 5995695 HAS SOUS 627895 HAS SOUPS 626115 WITH SCORE 632112.918
AT ITER 8609 NEW BEST:: SOT 12919942 SOS 5997394 HAS SOPS 5995171 HAS SOUS 627609 HAS SOUPS 625829 WITH SCORE 631826.394
AT ITER 8618 NEW BEST:: SOT 12918322 SOS 5995741 HAS SOPS 5993518 HAS SOUS 626034 HAS SOUPS 624254 WITH SCORE 630249.741
AT ITER 8636 NEW BEST:: SOT 12917767 SOS 5995186 HAS SOPS 5992963 HAS SOUS 625494 HAS SOUPS 623714 WITH SCORE 629709.186
AT ITER 8637 NEW BEST:: SOT 12913495 SOS 5983569 HAS SOPS 5982543 HAS SOUS 619652 HAS SOUPS 618953 WITH SCORE 624936.569
AT ITER 8650 NEW BEST:: SOT 12913495 SOS 5983531 HAS SOPS 5982505 HAS SOUS 619614 HAS SOUPS 618915 WITH SCORE 624898.531
AT ITER 8700 NEW BEST:: SOT 12913108 SOS 5983144 HAS SOPS 5982118 HAS SOUS 619609 HAS SOUPS 618910 WITH SCORE 624893.144
AT ITER 8727 NEW BEST:: SOT 12913044 SOS 5983080 HAS SOPS 5982054 HAS SOUS 619483 HAS SOUPS 618784 WITH SCORE 624767.08
AT ITER 8728 NEW BEST:: SOT 12913038 SOS 5983074 HAS SOPS 5982048 HAS SOUS 619477 HAS SOUPS 618778 WITH SCORE 624761.074
AT ITER 8754 NEW BEST:: SOT 12913038 SOS 5983040 HAS SOPS 5982014 HAS SOUS 619460 HAS SOUPS 618761 WITH SCORE 624744.04
AT ITER 8797 NEW BEST:: SOT 12913121 SOS 5983117 HAS SOPS 5982091 HAS SOUS 619376 HAS SOUPS 618677 WITH SCORE 624660.117
AT ITER 8827 NEW BEST:: SOT 12913081 SOS 5983077 HAS SOPS 5982051 HAS SOUS 619296 HAS SOUPS 618597 WITH SCORE 624580.077
AT ITER 8888 NEW BEST:: SOT 12913081 SOS 5983073 HAS SOPS 5982047 HAS SOUS 619296 HAS SOUPS 618597 WITH SCORE 624580.073
AT ITER 8928 NEW BEST:: SOT 12913657 SOS 5985819 HAS SOPS 5984793 HAS SOUS 618688 HAS SOUPS 617989 WITH SCORE 623974.819
AT ITER 8953 NEW BEST:: SOT 12914928 SOS 5987090 HAS SOPS 5986064 HAS SOUS 618413 HAS SOUPS 617714 WITH SCORE 623701.09
AT ITER 8959 NEW BEST:: SOT 12916076 SOS 5988120 HAS SOPS 5987113 HAS SOUS 617825 HAS SOUPS 617145 WITH SCORE 623133.12
AT ITER 8982 NEW BEST:: SOT 12916076 SOS 5986896 HAS SOPS 5985889 HAS SOUS 617825 HAS SOUPS 617145 WITH SCORE 623131.896
AT ITER 8995 NEW BEST:: SOT 12917015 SOS 5987855 HAS SOPS 5986848 HAS SOUS 616766 HAS SOUPS 616086 WITH SCORE 622073.855
AT ITER 9045 NEW BEST:: SOT 12917496 SOS 5988531 HAS SOPS 5987530 HAS SOUS 615737 HAS SOUPS 615060 WITH SCORE 621048.531
AT ITER 9068 NEW BEST:: SOT 12917496 SOS 5988531 HAS SOPS 5987530 HAS SOUS 615585 HAS SOUPS 614908 WITH SCORE 620896.531
AT ITER 9103 NEW BEST:: SOT 12917331 SOS 5988366 HAS SOPS 5987365 HAS SOUS 615275 HAS SOUPS 614598 WITH SCORE 620586.366
AT ITER 9127 NEW BEST:: SOT 12916563 SOS 5991054 HAS SOPS 5990053 HAS SOUS 614472 HAS SOUPS 613795 WITH SCORE 619786.054
AT ITER 9137 NEW BEST:: SOT 12916029 SOS 5990520 HAS SOPS 5989519 HAS SOUS 612249 HAS SOUPS 611572 WITH SCORE 617562.52
AT ITER 9173 NEW BEST:: SOT 12916024 SOS 5990515 HAS SOPS 5989514 HAS SOUS 612244 HAS SOUPS 611567 WITH SCORE 617557.515
AT ITER 9174 NEW BEST:: SOT 12915957 SOS 5990447 HAS SOPS 5989446 HAS SOUS 612180 HAS SOUPS 611503 WITH SCORE 617493.447
AT ITER 9225 NEW BEST:: SOT 12915488 SOS 5989978 HAS SOPS 5988977 HAS SOUS 611498 HAS SOUPS 610821 WITH SCORE 616810.978
AT ITER 9245 NEW BEST:: SOT 12915488 SOS 5990048 HAS SOPS 5989047 HAS SOUS 611497 HAS SOUPS 610820 WITH SCORE 616810.048
AT ITER 9290 NEW BEST:: SOT 12915488 SOS 5990014 HAS SOPS 5989013 HAS SOUS 611435 HAS SOUPS 610758 WITH SCORE 616748.014
AT ITER 9307 NEW BEST:: SOT 12914968 SOS 5989515 HAS SOPS 5988514 HAS SOUS 611028 HAS SOUPS 610351 WITH SCORE 616340.515
AT ITER 9316 NEW BEST:: SOT 12914968 SOS 5988363 HAS SOPS 5987362 HAS SOUS 611028 HAS SOUPS 610351 WITH SCORE 616339.363
AT ITER 9340 NEW BEST:: SOT 12914968 SOS 5988353 HAS SOPS 5987352 HAS SOUS 611023 HAS SOUPS 610346 WITH SCORE 616334.353
AT ITER 9341 NEW BEST:: SOT 12914968 SOS 5984897 HAS SOPS 5983896 HAS SOUS 610834 HAS SOUPS 610157 WITH SCORE 616141.897
AT ITER 9367 NEW BEST:: SOT 12914942 SOS 5984871 HAS SOPS 5983870 HAS SOUS 610815 HAS SOUPS 610138 WITH SCORE 616122.871
AT ITER 9401 NEW BEST:: SOT 12914985 SOS 5984914 HAS SOPS 5983913 HAS SOUS 610806 HAS SOUPS 610129 WITH SCORE 616113.914
AT ITER 9432 NEW BEST:: SOT 12914979 SOS 5984908 HAS SOPS 5983907 HAS SOUS 610791 HAS SOUPS 610114 WITH SCORE 616098.908
AT ITER 9460 NEW BEST:: SOT 12914904 SOS 5984833 HAS SOPS 5983832 HAS SOUS 610639 HAS SOUPS 609962 WITH SCORE 615946.833
AT ITER 9467 NEW BEST:: SOT 12914608 SOS 5984537 HAS SOPS 5983536 HAS SOUS 610444 HAS SOUPS 609767 WITH SCORE 615751.537
AT ITER 9504 NEW BEST:: SOT 12915231 SOS 5985222 HAS SOPS 5984221 HAS SOUS 610211 HAS SOUPS 609534 WITH SCORE 615519.222
AT ITER 9507 NEW BEST:: SOT 12915091 SOS 5985082 HAS SOPS 5984081 HAS SOUS 610133 HAS SOUPS 609456 WITH SCORE 615441.082
AT ITER 9537 NEW BEST:: SOT 12915733 SOS 5985724 HAS SOPS 5984723 HAS SOUS 610042 HAS SOUPS 609365 WITH SCORE 615350.724
AT ITER 9556 NEW BEST:: SOT 12917044 SOS 5987735 HAS SOPS 5986734 HAS SOUS 609812 HAS SOUPS 609135 WITH SCORE 615122.735
AT ITER 9563 NEW BEST:: SOT 12916808 SOS 5987499 HAS SOPS 5986498 HAS SOUS 609349 HAS SOUPS 608672 WITH SCORE 614659.499
AT ITER 9599 NEW BEST:: SOT 12916836 SOS 5987551 HAS SOPS 5986550 HAS SOUS 608761 HAS SOUPS 608084 WITH SCORE 614071.551
AT ITER 9600 NEW BEST:: SOT 12916109 SOS 5996360 HAS SOPS 5995359 HAS SOUS 607001 HAS SOUPS 606324 WITH SCORE 612320.36
AT ITER 9627 NEW BEST:: SOT 12916037 SOS 5996288 HAS SOPS 5995287 HAS SOUS 606953 HAS SOUPS 606276 WITH SCORE 612272.288
AT ITER 9630 NEW BEST:: SOT 12916015 SOS 5996266 HAS SOPS 5995265 HAS SOUS 606814 HAS SOUPS 606137 WITH SCORE 612133.266
AT ITER 9640 NEW BEST:: SOT 12916015 SOS 5998642 HAS SOPS 5997641 HAS SOUS 605032 HAS SOUPS 604355 WITH SCORE 610353.642
AT ITER 9689 NEW BEST:: SOT 12916015 SOS 5998034 HAS SOPS 5997033 HAS SOUS 605008 HAS SOUPS 604331 WITH SCORE 610329.034
AT ITER 9695 NEW BEST:: SOT 12915676 SOS 5997796 HAS SOPS 5996795 HAS SOUS 604810 HAS SOUPS 604133 WITH SCORE 610130.796
AT ITER 9706 NEW BEST:: SOT 12915673 SOS 6003423 HAS SOPS 6002422 HAS SOUS 602899 HAS SOUPS 602222 WITH SCORE 608225.423
AT ITER 9713 NEW BEST:: SOT 12922727 SOS 6010477 HAS SOPS 6009476 HAS SOUS 602492 HAS SOUPS 601815 WITH SCORE 607825.477
AT ITER 9717 NEW BEST:: SOT 12920359 SOS 6007719 HAS SOPS 6006718 HAS SOUS 602183 HAS SOUPS 601506 WITH SCORE 607513.719
AT ITER 9744 NEW BEST:: SOT 12920150 SOS 6007510 HAS SOPS 6006509 HAS SOUS 602056 HAS SOUPS 601379 WITH SCORE 607386.51
AT ITER 9759 NEW BEST:: SOT 12918051 SOS 6005390 HAS SOPS 6004389 HAS SOUS 601302 HAS SOUPS 600625 WITH SCORE 606630.39
AT ITER 9790 NEW BEST:: SOT 12918051 SOS 6005390 HAS SOPS 6004389 HAS SOUS 601272 HAS SOUPS 600595 WITH SCORE 606600.39
AT ITER 9880 NEW BEST:: SOT 12918051 SOS 6003518 HAS SOPS 6002517 HAS SOUS 601272 HAS SOUPS 600595 WITH SCORE 606598.518
AT ITER 9885 NEW BEST:: SOT 12918051 SOS 6002587 HAS SOPS 6001546 HAS SOUS 601193 HAS SOUPS 600516 WITH SCORE 606518.587
AT ITER 9919 NEW BEST:: SOT 12917122 SOS 6000958 HAS SOPS 5999917 HAS SOUS 600222 HAS SOUPS 599545 WITH SCORE 605545.958
AT ITER 9926 NEW BEST:: SOT 12917048 SOS 6000884 HAS SOPS 5999843 HAS SOUS 600148 HAS SOUPS 599471 WITH SCORE 605471.884
AT ITER 9936 NEW BEST:: SOT 12917048 SOS 6000695 HAS SOPS 5999654 HAS SOUS 600148 HAS SOUPS 599471 WITH SCORE 605471.695
AT ITER 9953 NEW BEST:: SOT 12917603 SOS 6001275 HAS SOPS 6000234 HAS SOUS 599664 HAS SOUPS 598987 WITH SCORE 604988.275
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393356 kB
MemFree: 6478372 kB
After kill :
MemTotal: 16393356 kB
MemFree: 16076548 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
ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 164321
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="BugTracking-PT-q8m008"
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 BugTracking-PT-q8m008, 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 r043-tajo-167813696800408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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