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-167813696800416.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-q8m016, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696800416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.8K Feb 26 08:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 08:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 07:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 07:52 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:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 26 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 08:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K Feb 26 08:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:38 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 1678788232272

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-q8m016
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:03:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:03:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:03:55] [INFO ] Load time of PNML (sax parser for PT used): 792 ms
[2023-03-14 10:03:55] [INFO ] Transformed 754 places.
[2023-03-14 10:03:55] [INFO ] Transformed 27370 transitions.
[2023-03-14 10:03:55] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 1043 ms.
[2023-03-14 10:03:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 184 ms.
Total runtime 1278 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m016
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 12971515 SOS 6062866 HAS SOPS 6058411 HAS SOUS 1654488 HAS SOUPS 1650033 WITH SCORE 1656095.866
AT ITER 22 NEW BEST:: SOT 12970408 SOS 6061865 HAS SOPS 6057469 HAS SOUS 1647500 HAS SOUPS 1643104 WITH SCORE 1649165.865
AT ITER 24 NEW BEST:: SOT 12972506 SOS 6064295 HAS SOPS 6059899 HAS SOUS 1645040 HAS SOUPS 1640644 WITH SCORE 1646708.295
AT ITER 40 NEW BEST:: SOT 12972506 SOS 6063287 HAS SOPS 6058891 HAS SOUS 1645040 HAS SOUPS 1640644 WITH SCORE 1646707.287
AT ITER 52 NEW BEST:: SOT 12971657 SOS 6062399 HAS SOPS 6058042 HAS SOUS 1640837 HAS SOUPS 1636480 WITH SCORE 1642542.399
AT ITER 59 NEW BEST:: SOT 12971657 SOS 6062239 HAS SOPS 6057882 HAS SOUS 1640837 HAS SOUPS 1636480 WITH SCORE 1642542.239
AT ITER 67 NEW BEST:: SOT 12966462 SOS 6069429 HAS SOPS 6065072 HAS SOUS 1637733 HAS SOUPS 1633376 WITH SCORE 1639445.429
AT ITER 71 NEW BEST:: SOT 12966462 SOS 6068709 HAS SOPS 6064352 HAS SOUS 1637733 HAS SOUPS 1633376 WITH SCORE 1639444.709
AT ITER 73 NEW BEST:: SOT 12852657 SOS 8889825 HAS SOPS 8886266 HAS SOUS 1524710 HAS SOUPS 1521151 WITH SCORE 1530040.825
AT ITER 78 NEW BEST:: SOT 12852657 SOS 8878653 HAS SOPS 8875094 HAS SOUS 1524563 HAS SOUPS 1521004 WITH SCORE 1529882.653
AT ITER 82 NEW BEST:: SOT 12848387 SOS 8874210 HAS SOPS 8870698 HAS SOUS 1514621 HAS SOUPS 1511109 WITH SCORE 1519983.21
AT ITER 84 NEW BEST:: SOT 12847960 SOS 8873998 HAS SOPS 8870486 HAS SOUS 1513923 HAS SOUPS 1510411 WITH SCORE 1519284.998
AT ITER 85 NEW BEST:: SOT 12850903 SOS 8877355 HAS SOPS 8873843 HAS SOUS 1504017 HAS SOUPS 1500505 WITH SCORE 1509382.355
AT ITER 88 NEW BEST:: SOT 12846737 SOS 8872873 HAS SOPS 8869420 HAS SOUS 1488299 HAS SOUPS 1484846 WITH SCORE 1493718.873
AT ITER 97 NEW BEST:: SOT 12846737 SOS 8871307 HAS SOPS 8867854 HAS SOUS 1488299 HAS SOUPS 1484846 WITH SCORE 1493717.307
AT ITER 98 NEW BEST:: SOT 12844523 SOS 8870077 HAS SOPS 8866624 HAS SOUS 1483416 HAS SOUPS 1479963 WITH SCORE 1488833.077
AT ITER 99 NEW BEST:: SOT 12846304 SOS 8875222 HAS SOPS 8871867 HAS SOUS 1478375 HAS SOUPS 1475020 WITH SCORE 1483895.222
AT ITER 106 NEW BEST:: SOT 12846304 SOS 8870182 HAS SOPS 8866827 HAS SOUS 1478375 HAS SOUPS 1475020 WITH SCORE 1483890.182
AT ITER 111 NEW BEST:: SOT 12844796 SOS 8868674 HAS SOPS 8865319 HAS SOUS 1475282 HAS SOUPS 1471927 WITH SCORE 1480795.674
AT ITER 114 NEW BEST:: SOT 12847178 SOS 8871216 HAS SOPS 8867861 HAS SOUS 1474746 HAS SOUPS 1471391 WITH SCORE 1480262.216
AT ITER 118 NEW BEST:: SOT 12845954 SOS 8870087 HAS SOPS 8866782 HAS SOUS 1463003 HAS SOUPS 1459698 WITH SCORE 1468568.087
AT ITER 120 NEW BEST:: SOT 12845954 SOS 8868215 HAS SOPS 8864910 HAS SOUS 1463003 HAS SOUPS 1459698 WITH SCORE 1468566.215
AT ITER 122 NEW BEST:: SOT 12842635 SOS 8868738 HAS SOPS 8865433 HAS SOUS 1461662 HAS SOUPS 1458357 WITH SCORE 1467225.738
AT ITER 125 NEW BEST:: SOT 12842635 SOS 8868587 HAS SOPS 8865304 HAS SOUS 1461592 HAS SOUPS 1458309 WITH SCORE 1467177.587
AT ITER 132 NEW BEST:: SOT 12841779 SOS 8867731 HAS SOPS 8864448 HAS SOUS 1459958 HAS SOUPS 1456675 WITH SCORE 1465542.731
AT ITER 140 NEW BEST:: SOT 12840708 SOS 8866660 HAS SOPS 8863377 HAS SOUS 1457786 HAS SOUPS 1454503 WITH SCORE 1463369.66
AT ITER 146 NEW BEST:: SOT 12847698 SOS 8874448 HAS SOPS 8871165 HAS SOUS 1455944 HAS SOUPS 1452661 WITH SCORE 1461535.448
AT ITER 147 NEW BEST:: SOT 12847698 SOS 8874344 HAS SOPS 8871061 HAS SOUS 1455892 HAS SOUPS 1452609 WITH SCORE 1461483.344
AT ITER 155 NEW BEST:: SOT 12847416 SOS 8874193 HAS SOPS 8870910 HAS SOUS 1452614 HAS SOUPS 1449331 WITH SCORE 1458205.193
AT ITER 177 NEW BEST:: SOT 12845924 SOS 8872701 HAS SOPS 8869418 HAS SOUS 1449548 HAS SOUPS 1446265 WITH SCORE 1455137.701
AT ITER 191 NEW BEST:: SOT 12845924 SOS 8872669 HAS SOPS 8869386 HAS SOUS 1449548 HAS SOUPS 1446265 WITH SCORE 1455137.669
AT ITER 201 NEW BEST:: SOT 12849083 SOS 8880740 HAS SOPS 8877666 HAS SOUS 1444986 HAS SOUPS 1441912 WITH SCORE 1450792.74
AT ITER 221 NEW BEST:: SOT 12847956 SOS 8880349 HAS SOPS 8877275 HAS SOUS 1443069 HAS SOUPS 1439995 WITH SCORE 1448875.349
AT ITER 232 NEW BEST:: SOT 12847956 SOS 8879125 HAS SOPS 8876051 HAS SOUS 1443069 HAS SOUPS 1439995 WITH SCORE 1448874.125
AT ITER 233 NEW BEST:: SOT 12854382 SOS 8885737 HAS SOPS 8882663 HAS SOUS 1434610 HAS SOUPS 1431536 WITH SCORE 1440421.737
AT ITER 237 NEW BEST:: SOT 12854382 SOS 8882353 HAS SOPS 8879279 HAS SOUS 1434610 HAS SOUPS 1431536 WITH SCORE 1440418.353
AT ITER 246 NEW BEST:: SOT 12854728 SOS 8882699 HAS SOPS 8879625 HAS SOUS 1433026 HAS SOUPS 1429952 WITH SCORE 1438834.699
AT ITER 251 NEW BEST:: SOT 12856553 SOS 8884595 HAS SOPS 8881554 HAS SOUS 1429390 HAS SOUPS 1426349 WITH SCORE 1435233.595
AT ITER 255 NEW BEST:: SOT 12857689 SOS 8886551 HAS SOPS 8883510 HAS SOUS 1415483 HAS SOUPS 1412442 WITH SCORE 1421328.551
AT ITER 259 NEW BEST:: SOT 12857689 SOS 8886355 HAS SOPS 8883314 HAS SOUS 1415385 HAS SOUPS 1412344 WITH SCORE 1421230.355
AT ITER 264 NEW BEST:: SOT 12857689 SOS 8880955 HAS SOPS 8877914 HAS SOUS 1415385 HAS SOUPS 1412344 WITH SCORE 1421224.955
AT ITER 266 NEW BEST:: SOT 12857689 SOS 8880955 HAS SOPS 8877914 HAS SOUS 1415369 HAS SOUPS 1412328 WITH SCORE 1421208.955
AT ITER 268 NEW BEST:: SOT 12874255 SOS 8898491 HAS SOPS 8894985 HAS SOUS 1409305 HAS SOUPS 1406052 WITH SCORE 1414950.491
AT ITER 277 NEW BEST:: SOT 12874255 SOS 8905124 HAS SOPS 8901618 HAS SOUS 1408372 HAS SOUPS 1405119 WITH SCORE 1414024.124
AT ITER 279 NEW BEST:: SOT 12885600 SOS 8917645 HAS SOPS 8914139 HAS SOUS 1394538 HAS SOUPS 1391285 WITH SCORE 1400202.645
AT ITER 292 NEW BEST:: SOT 12885356 SOS 8917401 HAS SOPS 8913895 HAS SOUS 1394042 HAS SOUPS 1390789 WITH SCORE 1399706.401
AT ITER 296 NEW BEST:: SOT 12892477 SOS 8924663 HAS SOPS 8921157 HAS SOUS 1391183 HAS SOUPS 1387930 WITH SCORE 1396854.663
AT ITER 297 NEW BEST:: SOT 12895264 SOS 8927450 HAS SOPS 8923944 HAS SOUS 1388799 HAS SOUPS 1385546 WITH SCORE 1394473.45
AT ITER 305 NEW BEST:: SOT 12904387 SOS 8936573 HAS SOPS 8933067 HAS SOUS 1387368 HAS SOUPS 1384115 WITH SCORE 1393051.573
AT ITER 308 NEW BEST:: SOT 12925625 SOS 8967215 HAS SOPS 8963848 HAS SOUS 1381314 HAS SOUPS 1378061 WITH SCORE 1387028.215
AT ITER 318 NEW BEST:: SOT 12921800 SOS 8966032 HAS SOPS 8962665 HAS SOUS 1378761 HAS SOUPS 1375508 WITH SCORE 1384474.032
AT ITER 322 NEW BEST:: SOT 12924933 SOS 8969260 HAS SOPS 8965893 HAS SOUS 1375335 HAS SOUPS 1372082 WITH SCORE 1381051.26
AT ITER 325 NEW BEST:: SOT 12923777 SOS 8968062 HAS SOPS 8964737 HAS SOUS 1372978 HAS SOUPS 1369767 WITH SCORE 1378735.062
AT ITER 349 NEW BEST:: SOT 12921498 SOS 8965783 HAS SOPS 8962458 HAS SOUS 1367061 HAS SOUPS 1363850 WITH SCORE 1372815.783
AT ITER 358 NEW BEST:: SOT 12921498 SOS 8965667 HAS SOPS 8962342 HAS SOUS 1367003 HAS SOUPS 1363792 WITH SCORE 1372757.667
AT ITER 368 NEW BEST:: SOT 12919153 SOS 8963816 HAS SOPS 8960491 HAS SOUS 1362686 HAS SOUPS 1359475 WITH SCORE 1368438.816
AT ITER 379 NEW BEST:: SOT 12910489 SOS 8958046 HAS SOPS 8954721 HAS SOUS 1354364 HAS SOUPS 1351153 WITH SCORE 1360111.046
AT ITER 380 NEW BEST:: SOT 12909641 SOS 8957198 HAS SOPS 8953873 HAS SOUS 1353262 HAS SOUPS 1350051 WITH SCORE 1359008.198
AT ITER 388 NEW BEST:: SOT 12909641 SOS 8945750 HAS SOPS 8942425 HAS SOUS 1353262 HAS SOUPS 1350051 WITH SCORE 1358996.75
AT ITER 392 NEW BEST:: SOT 12909641 SOS 8945460 HAS SOPS 8942135 HAS SOUS 1353117 HAS SOUPS 1349906 WITH SCORE 1358851.46
AT ITER 400 NEW BEST:: SOT 12910422 SOS 8946241 HAS SOPS 8942916 HAS SOUS 1345842 HAS SOUPS 1342631 WITH SCORE 1351577.241
AT ITER 405 NEW BEST:: SOT 12902066 SOS 8937885 HAS SOPS 8934560 HAS SOUS 1328268 HAS SOUPS 1325057 WITH SCORE 1333994.885
AT ITER 437 NEW BEST:: SOT 12902066 SOS 8937309 HAS SOPS 8933984 HAS SOUS 1328268 HAS SOUPS 1325057 WITH SCORE 1333994.309
AT ITER 442 NEW BEST:: SOT 12899603 SOS 8934498 HAS SOPS 8931235 HAS SOUS 1318154 HAS SOUPS 1315005 WITH SCORE 1323939.498
AT ITER 452 NEW BEST:: SOT 12898805 SOS 8934642 HAS SOPS 8931415 HAS SOUS 1311899 HAS SOUPS 1308786 WITH SCORE 1317720.642
AT ITER 457 NEW BEST:: SOT 12898243 SOS 8934200 HAS SOPS 8930944 HAS SOUS 1310762 HAS SOUPS 1307620 WITH SCORE 1316554.2
AT ITER 462 NEW BEST:: SOT 12897015 SOS 8932970 HAS SOPS 8929983 HAS SOUS 1306796 HAS SOUPS 1303923 WITH SCORE 1312855.97
AT ITER 467 NEW BEST:: SOT 12896564 SOS 8932345 HAS SOPS 8929389 HAS SOUS 1305851 HAS SOUPS 1303009 WITH SCORE 1311941.345
AT ITER 476 NEW BEST:: SOT 12921638 SOS 8957419 HAS SOPS 8954463 HAS SOUS 1304823 HAS SOUPS 1301981 WITH SCORE 1310938.419
AT ITER 477 NEW BEST:: SOT 12920938 SOS 8956719 HAS SOPS 8953763 HAS SOUS 1304123 HAS SOUPS 1301281 WITH SCORE 1310237.719
AT ITER 486 NEW BEST:: SOT 12926070 SOS 8961851 HAS SOPS 8958895 HAS SOUS 1302356 HAS SOUPS 1299514 WITH SCORE 1308475.851
AT ITER 489 NEW BEST:: SOT 12905401 SOS 8941550 HAS SOPS 8938594 HAS SOUS 1295533 HAS SOUPS 1292691 WITH SCORE 1301632.55
AT ITER 490 NEW BEST:: SOT 12905072 SOS 8941221 HAS SOPS 8938265 HAS SOUS 1294885 HAS SOUPS 1292043 WITH SCORE 1300984.221
AT ITER 495 NEW BEST:: SOT 12905072 SOS 8933949 HAS SOPS 8930993 HAS SOUS 1294885 HAS SOUPS 1292043 WITH SCORE 1300976.949
AT ITER 498 NEW BEST:: SOT 12909340 SOS 8938787 HAS SOPS 8935831 HAS SOUS 1293061 HAS SOUPS 1290219 WITH SCORE 1299157.787
AT ITER 500 NEW BEST:: SOT 12908568 SOS 8929262 HAS SOPS 8926167 HAS SOUS 1292379 HAS SOUPS 1289537 WITH SCORE 1298466.262
AT ITER 506 NEW BEST:: SOT 12910335 SOS 8929654 HAS SOPS 8925550 HAS SOUS 1288806 HAS SOUPS 1285628 WITH SCORE 1294557.654
AT ITER 518 NEW BEST:: SOT 12909699 SOS 8929724 HAS SOPS 8925620 HAS SOUS 1287873 HAS SOUPS 1284695 WITH SCORE 1293624.724
AT ITER 519 NEW BEST:: SOT 12909155 SOS 8929180 HAS SOPS 8925076 HAS SOUS 1285142 HAS SOUPS 1281964 WITH SCORE 1290893.18
AT ITER 530 NEW BEST:: SOT 12909155 SOS 8923132 HAS SOPS 8919028 HAS SOUS 1285142 HAS SOUPS 1281964 WITH SCORE 1290887.132
AT ITER 531 NEW BEST:: SOT 12913591 SOS 8927568 HAS SOPS 8923464 HAS SOUS 1280562 HAS SOUPS 1277384 WITH SCORE 1286311.568
AT ITER 544 NEW BEST:: SOT 12913591 SOS 8927568 HAS SOPS 8923464 HAS SOUS 1280535 HAS SOUPS 1277357 WITH SCORE 1286284.568
AT ITER 555 NEW BEST:: SOT 12913591 SOS 8926276 HAS SOPS 8922172 HAS SOUS 1280518 HAS SOUPS 1277340 WITH SCORE 1286266.276
AT ITER 566 NEW BEST:: SOT 12935236 SOS 8948958 HAS SOPS 8944309 HAS SOUS 1278016 HAS SOUPS 1274654 WITH SCORE 1283602.958
AT ITER 572 NEW BEST:: SOT 12935236 SOS 8943342 HAS SOPS 8938693 HAS SOUS 1278016 HAS SOUPS 1274654 WITH SCORE 1283597.342
AT ITER 595 NEW BEST:: SOT 12932477 SOS 8940583 HAS SOPS 8935934 HAS SOUS 1274796 HAS SOUPS 1271434 WITH SCORE 1280374.583
AT ITER 622 NEW BEST:: SOT 12940231 SOS 8949524 HAS SOPS 8944592 HAS SOUS 1269360 HAS SOUPS 1265885 WITH SCORE 1274834.524
AT ITER 627 NEW BEST:: SOT 12940354 SOS 8272188 HAS SOPS 8267256 HAS SOUS 1269308 HAS SOUPS 1265833 WITH SCORE 1274105.188
AT ITER 635 NEW BEST:: SOT 12940354 SOS 8273388 HAS SOPS 8268536 HAS SOUS 1269208 HAS SOUPS 1265753 WITH SCORE 1274026.388
AT ITER 636 NEW BEST:: SOT 12940354 SOS 8273388 HAS SOPS 8268536 HAS SOUS 1269165 HAS SOUPS 1265710 WITH SCORE 1273983.388
AT ITER 637 NEW BEST:: SOT 12940219 SOS 8273421 HAS SOPS 8268569 HAS SOUS 1267328 HAS SOUPS 1263873 WITH SCORE 1272146.421
AT ITER 638 NEW BEST:: SOT 12938172 SOS 8271374 HAS SOPS 8266522 HAS SOUS 1258912 HAS SOUPS 1255457 WITH SCORE 1263728.374
AT ITER 646 NEW BEST:: SOT 12937373 SOS 8270575 HAS SOPS 8265723 HAS SOUS 1258113 HAS SOUPS 1254658 WITH SCORE 1262928.575
AT ITER 649 NEW BEST:: SOT 12941661 SOS 8274863 HAS SOPS 8270011 HAS SOUS 1257992 HAS SOUPS 1254537 WITH SCORE 1262811.863
AT ITER 652 NEW BEST:: SOT 12942997 SOS 8276199 HAS SOPS 8271347 HAS SOUS 1253065 HAS SOUPS 1249610 WITH SCORE 1257886.199
AT ITER 673 NEW BEST:: SOT 12939973 SOS 8273015 HAS SOPS 8268163 HAS SOUS 1249858 HAS SOUPS 1246403 WITH SCORE 1254676.015
AT ITER 676 NEW BEST:: SOT 12939973 SOS 8272655 HAS SOPS 8267803 HAS SOUS 1249858 HAS SOUPS 1246403 WITH SCORE 1254675.655
AT ITER 684 NEW BEST:: SOT 12942232 SOS 8275806 HAS SOPS 8270954 HAS SOUS 1225662 HAS SOUPS 1222207 WITH SCORE 1230482.806
AT ITER 694 NEW BEST:: SOT 12938778 SOS 8272352 HAS SOPS 8267500 HAS SOUS 1214603 HAS SOUPS 1211148 WITH SCORE 1219420.352
AT ITER 702 NEW BEST:: SOT 12941621 SOS 8275195 HAS SOPS 8270343 HAS SOUS 1211147 HAS SOUPS 1207692 WITH SCORE 1215967.195
AT ITER 710 NEW BEST:: SOT 12940797 SOS 8274330 HAS SOPS 8269478 HAS SOUS 1208035 HAS SOUPS 1204580 WITH SCORE 1212854.33
AT ITER 711 NEW BEST:: SOT 12939211 SOS 8272744 HAS SOPS 8267892 HAS SOUS 1206486 HAS SOUPS 1203031 WITH SCORE 1211303.744
AT ITER 733 NEW BEST:: SOT 12937815 SOS 8271348 HAS SOPS 8266496 HAS SOUS 1201584 HAS SOUPS 1198129 WITH SCORE 1206400.348
AT ITER 735 NEW BEST:: SOT 12949056 SOS 8293970 HAS SOPS 8289185 HAS SOUS 1200772 HAS SOUPS 1197384 WITH SCORE 1205677.97
AT ITER 756 NEW BEST:: SOT 12948686 SOS 8293600 HAS SOPS 8288815 HAS SOUS 1200722 HAS SOUPS 1197334 WITH SCORE 1205627.6
AT ITER 766 NEW BEST:: SOT 12949189 SOS 8294144 HAS SOPS 8289359 HAS SOUS 1199308 HAS SOUPS 1195920 WITH SCORE 1204214.144
AT ITER 771 NEW BEST:: SOT 12948983 SOS 8293938 HAS SOPS 8289153 HAS SOUS 1198511 HAS SOUPS 1195123 WITH SCORE 1203416.938
AT ITER 772 NEW BEST:: SOT 12947756 SOS 8293935 HAS SOPS 8289150 HAS SOUS 1196333 HAS SOUPS 1192945 WITH SCORE 1201238.935
AT ITER 794 NEW BEST:: SOT 12970386 SOS 8316565 HAS SOPS 8311780 HAS SOUS 1194758 HAS SOUPS 1191370 WITH SCORE 1199686.565
AT ITER 811 NEW BEST:: SOT 12971023 SOS 8317202 HAS SOPS 8312417 HAS SOUS 1191719 HAS SOUPS 1188331 WITH SCORE 1196648.202
AT ITER 818 NEW BEST:: SOT 12969000 SOS 8315179 HAS SOPS 8310394 HAS SOUS 1188486 HAS SOUPS 1185098 WITH SCORE 1193413.179
AT ITER 829 NEW BEST:: SOT 12968302 SOS 8314409 HAS SOPS 8309588 HAS SOUS 1188126 HAS SOUPS 1184738 WITH SCORE 1193052.409
AT ITER 844 NEW BEST:: SOT 12966963 SOS 8313044 HAS SOPS 8308249 HAS SOUS 1185412 HAS SOUPS 1182050 WITH SCORE 1190363.044
AT ITER 855 NEW BEST:: SOT 12982938 SOS 8330656 HAS SOPS 8325279 HAS SOUS 1181065 HAS SOUPS 1177492 WITH SCORE 1185822.656
AT ITER 879 NEW BEST:: SOT 12982696 SOS 8330544 HAS SOPS 8325229 HAS SOUS 1171404 HAS SOUPS 1167893 WITH SCORE 1176223.544
AT ITER 891 NEW BEST:: SOT 12983373 SOS 8331221 HAS SOPS 8325906 HAS SOUS 1170215 HAS SOUPS 1166704 WITH SCORE 1175035.221
AT ITER 895 NEW BEST:: SOT 12981594 SOS 8329442 HAS SOPS 8324127 HAS SOUS 1167199 HAS SOUPS 1163688 WITH SCORE 1172017.442
AT ITER 897 NEW BEST:: SOT 12973941 SOS 8326311 HAS SOPS 8320996 HAS SOUS 1159264 HAS SOUPS 1155753 WITH SCORE 1164079.311
AT ITER 905 NEW BEST:: SOT 12973853 SOS 8326223 HAS SOPS 8320908 HAS SOUS 1159190 HAS SOUPS 1155679 WITH SCORE 1164005.223
AT ITER 911 NEW BEST:: SOT 12974229 SOS 8326599 HAS SOPS 8321284 HAS SOUS 1159161 HAS SOUPS 1155650 WITH SCORE 1163976.599
AT ITER 917 NEW BEST:: SOT 12976405 SOS 8328861 HAS SOPS 8323546 HAS SOUS 1158461 HAS SOUPS 1154950 WITH SCORE 1163278.861
AT ITER 928 NEW BEST:: SOT 12976401 SOS 8328892 HAS SOPS 8323430 HAS SOUS 1157976 HAS SOUPS 1154428 WITH SCORE 1162756.892
AT ITER 932 NEW BEST:: SOT 12976401 SOS 8328892 HAS SOPS 8323430 HAS SOUS 1157967 HAS SOUPS 1154419 WITH SCORE 1162747.892
AT ITER 937 NEW BEST:: SOT 12974571 SOS 8329741 HAS SOPS 8324279 HAS SOUS 1157842 HAS SOUPS 1154294 WITH SCORE 1162623.741
AT ITER 966 NEW BEST:: SOT 12975314 SOS 8330484 HAS SOPS 8325022 HAS SOUS 1155712 HAS SOUPS 1152164 WITH SCORE 1160494.484
AT ITER 968 NEW BEST:: SOT 12975102 SOS 8330272 HAS SOPS 8324810 HAS SOUS 1151315 HAS SOUPS 1147767 WITH SCORE 1156097.272
AT ITER 999 NEW BEST:: SOT 12975102 SOS 8330272 HAS SOPS 8324810 HAS SOUS 1151314 HAS SOUPS 1147766 WITH SCORE 1156096.272
AT ITER 1013 NEW BEST:: SOT 12974553 SOS 8329723 HAS SOPS 8324261 HAS SOUS 1146217 HAS SOUPS 1142669 WITH SCORE 1150998.723
AT ITER 1016 NEW BEST:: SOT 12973804 SOS 8328974 HAS SOPS 8323512 HAS SOUS 1144626 HAS SOUPS 1141078 WITH SCORE 1149406.974
AT ITER 1024 NEW BEST:: SOT 12972317 SOS 8327487 HAS SOPS 8322025 HAS SOUS 1141649 HAS SOUPS 1138101 WITH SCORE 1146428.487
AT ITER 1025 NEW BEST:: SOT 12973717 SOS 8328887 HAS SOPS 8323425 HAS SOUS 1132521 HAS SOUPS 1128973 WITH SCORE 1137301.887
AT ITER 1026 NEW BEST:: SOT 12978722 SOS 8333332 HAS SOPS 8327846 HAS SOUS 1132540 HAS SOUPS 1128968 WITH SCORE 1137301.332
AT ITER 1046 NEW BEST:: SOT 13001362 SOS 8357186 HAS SOPS 8351029 HAS SOUS 1129816 HAS SOUPS 1126018 WITH SCORE 1134375.186
AT ITER 1065 NEW BEST:: SOT 13003520 SOS 8359344 HAS SOPS 8353187 HAS SOUS 1129032 HAS SOUPS 1125234 WITH SCORE 1133593.344
AT ITER 1074 NEW BEST:: SOT 13003574 SOS 8359398 HAS SOPS 8353241 HAS SOUS 1128843 HAS SOUPS 1125045 WITH SCORE 1133404.398
AT ITER 1076 NEW BEST:: SOT 13004648 SOS 8362277 HAS SOPS 8356150 HAS SOUS 1126668 HAS SOUPS 1122900 WITH SCORE 1131262.277
AT ITER 1087 NEW BEST:: SOT 13002686 SOS 8360249 HAS SOPS 8354122 HAS SOUS 1126092 HAS SOUPS 1122324 WITH SCORE 1130684.249
AT ITER 1089 NEW BEST:: SOT 13002686 SOS 8360177 HAS SOPS 8354050 HAS SOUS 1126092 HAS SOUPS 1122324 WITH SCORE 1130684.177
AT ITER 1095 NEW BEST:: SOT 12999767 SOS 8357258 HAS SOPS 8351131 HAS SOUS 1125023 HAS SOUPS 1121255 WITH SCORE 1129612.258
AT ITER 1101 NEW BEST:: SOT 13000227 SOS 8357801 HAS SOPS 8351695 HAS SOUS 1119956 HAS SOUPS 1116209 WITH SCORE 1124566.801
AT ITER 1104 NEW BEST:: SOT 13003007 SOS 8364587 HAS SOPS 8358490 HAS SOUS 1115647 HAS SOUPS 1111909 WITH SCORE 1120273.587
AT ITER 1117 NEW BEST:: SOT 13000370 SOS 8364454 HAS SOPS 8358357 HAS SOUS 1113641 HAS SOUPS 1109903 WITH SCORE 1118267.454
AT ITER 1131 NEW BEST:: SOT 13000422 SOS 8364506 HAS SOPS 8358409 HAS SOUS 1113635 HAS SOUPS 1109897 WITH SCORE 1118261.506
AT ITER 1138 NEW BEST:: SOT 13000422 SOS 8364470 HAS SOPS 8358409 HAS SOUS 1113588 HAS SOUPS 1109886 WITH SCORE 1118250.47
AT ITER 1140 NEW BEST:: SOT 13000502 SOS 8364474 HAS SOPS 8358432 HAS SOUS 1112791 HAS SOUPS 1109108 WITH SCORE 1117472.474
AT ITER 1145 NEW BEST:: SOT 13000502 SOS 8364459 HAS SOPS 8358417 HAS SOUS 1112746 HAS SOUPS 1109063 WITH SCORE 1117427.459
AT ITER 1152 NEW BEST:: SOT 13008318 SOS 8372275 HAS SOPS 8366233 HAS SOUS 1111453 HAS SOUPS 1107770 WITH SCORE 1116142.275
AT ITER 1164 NEW BEST:: SOT 13008318 SOS 8374600 HAS SOPS 8368558 HAS SOUS 1111382 HAS SOUPS 1107699 WITH SCORE 1116073.6
AT ITER 1170 NEW BEST:: SOT 13006618 SOS 8372880 HAS SOPS 8366838 HAS SOUS 1103044 HAS SOUPS 1099361 WITH SCORE 1107733.88
AT ITER 1173 NEW BEST:: SOT 13006202 SOS 8372464 HAS SOPS 8366422 HAS SOUS 1099582 HAS SOUPS 1095899 WITH SCORE 1104271.464
AT ITER 1198 NEW BEST:: SOT 13006389 SOS 8372651 HAS SOPS 8366609 HAS SOUS 1097484 HAS SOUPS 1093801 WITH SCORE 1102173.651
AT ITER 1264 NEW BEST:: SOT 13006388 SOS 8372650 HAS SOPS 8366608 HAS SOUS 1097483 HAS SOUPS 1093800 WITH SCORE 1102172.65
AT ITER 1265 NEW BEST:: SOT 13010611 SOS 8376979 HAS SOPS 8370937 HAS SOUS 1094808 HAS SOUPS 1091125 WITH SCORE 1099501.979
AT ITER 1272 NEW BEST:: SOT 13009007 SOS 8375375 HAS SOPS 8369333 HAS SOUS 1087217 HAS SOUPS 1083534 WITH SCORE 1091909.375
AT ITER 1274 NEW BEST:: SOT 13006406 SOS 8371560 HAS SOPS 8366189 HAS SOUS 1070254 HAS SOUPS 1066797 WITH SCORE 1075168.56
AT ITER 1284 NEW BEST:: SOT 13007496 SOS 8372618 HAS SOPS 8367247 HAS SOUS 1064723 HAS SOUPS 1061266 WITH SCORE 1069638.618
AT ITER 1288 NEW BEST:: SOT 13013863 SOS 8378985 HAS SOPS 8373614 HAS SOUS 1058411 HAS SOUPS 1054954 WITH SCORE 1063332.985
AT ITER 1302 NEW BEST:: SOT 13017182 SOS 8382790 HAS SOPS 8377725 HAS SOUS 1056782 HAS SOUPS 1053325 WITH SCORE 1061707.79
AT ITER 1306 NEW BEST:: SOT 13018400 SOS 8384008 HAS SOPS 8378943 HAS SOUS 1055019 HAS SOUPS 1051562 WITH SCORE 1059946.008
AT ITER 1312 NEW BEST:: SOT 13018400 SOS 8382990 HAS SOPS 8377925 HAS SOUS 1054906 HAS SOUPS 1051449 WITH SCORE 1059831.99
AT ITER 1338 NEW BEST:: SOT 13017955 SOS 8382545 HAS SOPS 8377480 HAS SOUS 1054765 HAS SOUPS 1051308 WITH SCORE 1059690.545
AT ITER 1354 NEW BEST:: SOT 13017955 SOS 8381035 HAS SOPS 8375970 HAS SOUS 1054763 HAS SOUPS 1051306 WITH SCORE 1059687.035
AT ITER 1361 NEW BEST:: SOT 13017778 SOS 8380876 HAS SOPS 8375811 HAS SOUS 1054744 HAS SOUPS 1051287 WITH SCORE 1059667.876
AT ITER 1376 NEW BEST:: SOT 13011693 SOS 8374207 HAS SOPS 8369142 HAS SOUS 1053775 HAS SOUPS 1050318 WITH SCORE 1058692.207
AT ITER 1378 NEW BEST:: SOT 13011512 SOS 8373681 HAS SOPS 8368964 HAS SOUS 1053687 HAS SOUPS 1050217 WITH SCORE 1058590.681
AT ITER 1380 NEW BEST:: SOT 13011512 SOS 8373687 HAS SOPS 8368970 HAS SOUS 1053681 HAS SOUPS 1050211 WITH SCORE 1058584.687
AT ITER 1393 NEW BEST:: SOT 13011512 SOS 8372823 HAS SOPS 8368106 HAS SOUS 1053681 HAS SOUPS 1050211 WITH SCORE 1058583.823
AT ITER 1396 NEW BEST:: SOT 13013090 SOS 8374266 HAS SOPS 8369549 HAS SOUS 1048110 HAS SOUPS 1044640 WITH SCORE 1053014.266
AT ITER 1441 NEW BEST:: SOT 13011331 SOS 8371248 HAS SOPS 8366721 HAS SOUS 1044221 HAS SOUPS 1040885 WITH SCORE 1049256.248
AT ITER 1443 NEW BEST:: SOT 13011331 SOS 8375841 HAS SOPS 8371314 HAS SOUS 1044199 HAS SOUPS 1040863 WITH SCORE 1049238.841
AT ITER 1449 NEW BEST:: SOT 13011525 SOS 8376035 HAS SOPS 8371508 HAS SOUS 1040284 HAS SOUPS 1036948 WITH SCORE 1045324.035
AT ITER 1451 NEW BEST:: SOT 13011169 SOS 8375679 HAS SOPS 8371152 HAS SOUS 1039829 HAS SOUPS 1036493 WITH SCORE 1044868.679
AT ITER 1457 NEW BEST:: SOT 13010899 SOS 8375409 HAS SOPS 8370882 HAS SOUS 1039581 HAS SOUPS 1036245 WITH SCORE 1044620.409
AT ITER 1461 NEW BEST:: SOT 13008023 SOS 8373841 HAS SOPS 8369314 HAS SOUS 1036173 HAS SOUPS 1032837 WITH SCORE 1041210.841
AT ITER 1465 NEW BEST:: SOT 13008020 SOS 8373708 HAS SOPS 8369181 HAS SOUS 1036170 HAS SOUPS 1032834 WITH SCORE 1041207.708
AT ITER 1472 NEW BEST:: SOT 13021358 SOS 8398455 HAS SOPS 8393967 HAS SOUS 1035197 HAS SOUPS 1031900 WITH SCORE 1040298.455
AT ITER 1481 NEW BEST:: SOT 13020364 SOS 8398993 HAS SOPS 8394542 HAS SOUS 1035054 HAS SOUPS 1031757 WITH SCORE 1040155.993
AT ITER 1495 NEW BEST:: SOT 13017344 SOS 8395973 HAS SOPS 8391522 HAS SOUS 1034952 HAS SOUPS 1031655 WITH SCORE 1040050.973
AT ITER 1497 NEW BEST:: SOT 13011909 SOS 8391098 HAS SOPS 8386671 HAS SOUS 1034575 HAS SOUPS 1031302 WITH SCORE 1039693.098
AT ITER 1502 NEW BEST:: SOT 13008237 SOS 8387426 HAS SOPS 8382999 HAS SOUS 1029072 HAS SOUPS 1025799 WITH SCORE 1034186.426
AT ITER 1534 NEW BEST:: SOT 13008237 SOS 8386274 HAS SOPS 8381847 HAS SOUS 1029072 HAS SOUPS 1025799 WITH SCORE 1034185.274
AT ITER 1536 NEW BEST:: SOT 13008433 SOS 8383806 HAS SOPS 8379379 HAS SOUS 1028105 HAS SOUPS 1024832 WITH SCORE 1033215.806
AT ITER 1538 NEW BEST:: SOT 13005317 SOS 8380639 HAS SOPS 8376210 HAS SOUS 1028070 HAS SOUPS 1024795 WITH SCORE 1033175.639
AT ITER 1539 NEW BEST:: SOT 13022671 SOS 8397993 HAS SOPS 8393564 HAS SOUS 1014481 HAS SOUPS 1011206 WITH SCORE 1019603.993
AT ITER 1548 NEW BEST:: SOT 13028662 SOS 8404637 HAS SOPS 8400087 HAS SOUS 1014419 HAS SOUPS 1011077 WITH SCORE 1019481.637
AT ITER 1558 NEW BEST:: SOT 13027714 SOS 8403689 HAS SOPS 8399139 HAS SOUS 1007672 HAS SOUPS 1004330 WITH SCORE 1012733.689
AT ITER 1560 NEW BEST:: SOT 13027714 SOS 8403665 HAS SOPS 8399127 HAS SOUS 1007672 HAS SOUPS 1004330 WITH SCORE 1012733.665
AT ITER 1567 NEW BEST:: SOT 13027337 SOS 8403135 HAS SOPS 8398618 HAS SOUS 1006661 HAS SOUPS 1003340 WITH SCORE 1011743.135
AT ITER 1608 NEW BEST:: SOT 13027337 SOS 8403039 HAS SOPS 8398522 HAS SOUS 1006613 HAS SOUPS 1003292 WITH SCORE 1011695.039
AT ITER 1615 NEW BEST:: SOT 13025235 SOS 8403601 HAS SOPS 8399084 HAS SOUS 1005967 HAS SOUPS 1002646 WITH SCORE 1011049.601
AT ITER 1643 NEW BEST:: SOT 13024492 SOS 8402858 HAS SOPS 8398341 HAS SOUS 1005398 HAS SOUPS 1002077 WITH SCORE 1010479.858
AT ITER 1646 NEW BEST:: SOT 13035286 SOS 8424093 HAS SOPS 8419647 HAS SOUS 1004505 HAS SOUPS 1001255 WITH SCORE 1009679.093
AT ITER 1655 NEW BEST:: SOT 13035286 SOS 8424093 HAS SOPS 8419647 HAS SOUS 1004502 HAS SOUPS 1001252 WITH SCORE 1009676.093
AT ITER 1657 NEW BEST:: SOT 13035277 SOS 8424084 HAS SOPS 8419638 HAS SOUS 1004493 HAS SOUPS 1001243 WITH SCORE 1009667.084
AT ITER 1673 NEW BEST:: SOT 13032591 SOS 8421398 HAS SOPS 8416952 HAS SOUS 1002328 HAS SOUPS 999078 WITH SCORE 1007499.398
AT ITER 1676 NEW BEST:: SOT 13033398 SOS 8422205 HAS SOPS 8417759 HAS SOUS 1000241 HAS SOUPS 996991 WITH SCORE 1005413.205
AT ITER 1688 NEW BEST:: SOT 13031593 SOS 8419669 HAS SOPS 8415389 HAS SOUS 996354 HAS SOUPS 993228 WITH SCORE 1001647.669
AT ITER 1702 NEW BEST:: SOT 13033209 SOS 8421341 HAS SOPS 8417061 HAS SOUS 992406 HAS SOUPS 989280 WITH SCORE 997701.341
AT ITER 1709 NEW BEST:: SOT 13033209 SOS 8421117 HAS SOPS 8416837 HAS SOUS 992366 HAS SOUPS 989240 WITH SCORE 997661.117
AT ITER 1744 NEW BEST:: SOT 13033209 SOS 8427989 HAS SOPS 8423709 HAS SOUS 991118 HAS SOUPS 987992 WITH SCORE 996419.989
AT ITER 1755 NEW BEST:: SOT 13033209 SOS 8427959 HAS SOPS 8423709 HAS SOUS 991088 HAS SOUPS 987992 WITH SCORE 996419.959
AT ITER 1768 NEW BEST:: SOT 13032661 SOS 8428837 HAS SOPS 8424761 HAS SOUS 988195 HAS SOUPS 985257 WITH SCORE 993685.837
AT ITER 1769 NEW BEST:: SOT 13032661 SOS 8428837 HAS SOPS 8424761 HAS SOUS 988156 HAS SOUPS 985218 WITH SCORE 993646.837
AT ITER 1774 NEW BEST:: SOT 13038287 SOS 8434463 HAS SOPS 8430387 HAS SOUS 984120 HAS SOUPS 981182 WITH SCORE 989616.463
AT ITER 1781 NEW BEST:: SOT 13039014 SOS 8435190 HAS SOPS 8431114 HAS SOUS 983544 HAS SOUPS 980606 WITH SCORE 989041.19
AT ITER 1784 NEW BEST:: SOT 13039014 SOS 8435184 HAS SOPS 8431108 HAS SOUS 983544 HAS SOUPS 980606 WITH SCORE 989041.184
AT ITER 1788 NEW BEST:: SOT 13038305 SOS 8434501 HAS SOPS 8430425 HAS SOUS 982112 HAS SOUPS 979174 WITH SCORE 987608.501
AT ITER 1793 NEW BEST:: SOT 13043235 SOS 8439440 HAS SOPS 8435404 HAS SOUS 981167 HAS SOUPS 978269 WITH SCORE 986708.44
AT ITER 1803 NEW BEST:: SOT 13043251 SOS 8439456 HAS SOPS 8435420 HAS SOUS 979847 HAS SOUPS 976949 WITH SCORE 985388.456
AT ITER 1851 NEW BEST:: SOT 13043177 SOS 8508284 HAS SOPS 8504248 HAS SOUS 979734 HAS SOUPS 976836 WITH SCORE 985344.284
AT ITER 1857 NEW BEST:: SOT 13040457 SOS 8505708 HAS SOPS 8501672 HAS SOUS 977932 HAS SOUPS 975034 WITH SCORE 983539.708
AT ITER 1864 NEW BEST:: SOT 13039288 SOS 8504539 HAS SOPS 8500503 HAS SOUS 976485 HAS SOUPS 973587 WITH SCORE 982091.539
AT ITER 1873 NEW BEST:: SOT 13046508 SOS 8511759 HAS SOPS 8507723 HAS SOUS 968387 HAS SOUPS 965489 WITH SCORE 974000.759
AT ITER 1907 NEW BEST:: SOT 13046508 SOS 8511759 HAS SOPS 8507723 HAS SOUS 968384 HAS SOUPS 965486 WITH SCORE 973997.759
AT ITER 1915 NEW BEST:: SOT 13046263 SOS 8511774 HAS SOPS 8507738 HAS SOUS 968018 HAS SOUPS 965120 WITH SCORE 973631.774
AT ITER 1922 NEW BEST:: SOT 13054030 SOS 8525517 HAS SOPS 8521481 HAS SOUS 967224 HAS SOUPS 964326 WITH SCORE 972851.517
AT ITER 1923 NEW BEST:: SOT 13053659 SOS 8525146 HAS SOPS 8521110 HAS SOUS 966476 HAS SOUPS 963578 WITH SCORE 972103.146
AT ITER 1929 NEW BEST:: SOT 13053745 SOS 8525185 HAS SOPS 8521149 HAS SOUS 963578 HAS SOUPS 960680 WITH SCORE 969205.185
AT ITER 1938 NEW BEST:: SOT 13051572 SOS 8525778 HAS SOPS 8521742 HAS SOUS 961460 HAS SOUPS 958562 WITH SCORE 967087.778
AT ITER 1948 NEW BEST:: SOT 13049854 SOS 8521007 HAS SOPS 8516864 HAS SOUS 961567 HAS SOUPS 958562 WITH SCORE 967083.007
AT ITER 1965 NEW BEST:: SOT 13049837 SOS 8520990 HAS SOPS 8516847 HAS SOUS 961567 HAS SOUPS 958562 WITH SCORE 967082.99
AT ITER 1988 NEW BEST:: SOT 13046541 SOS 8517536 HAS SOPS 8513393 HAS SOUS 954993 HAS SOUPS 951988 WITH SCORE 960505.536
AT ITER 2009 NEW BEST:: SOT 13045790 SOS 8516785 HAS SOPS 8512642 HAS SOUS 953633 HAS SOUPS 950628 WITH SCORE 959144.785
AT ITER 2011 NEW BEST:: SOT 13045624 SOS 8516632 HAS SOPS 8512480 HAS SOUS 953301 HAS SOUPS 950287 WITH SCORE 958803.632
AT ITER 2017 NEW BEST:: SOT 13044571 SOS 8514789 HAS SOPS 8510617 HAS SOUS 950330 HAS SOUPS 947296 WITH SCORE 955810.789
AT ITER 2019 NEW BEST:: SOT 13044991 SOS 8515238 HAS SOPS 8511077 HAS SOUS 949815 HAS SOUPS 946792 WITH SCORE 955307.238
AT ITER 2035 NEW BEST:: SOT 13044417 SOS 8514664 HAS SOPS 8510503 HAS SOUS 949401 HAS SOUPS 946378 WITH SCORE 954892.664
AT ITER 2048 NEW BEST:: SOT 13041657 SOS 8511962 HAS SOPS 8507730 HAS SOUS 943680 HAS SOUPS 940586 WITH SCORE 949097.962
AT ITER 2069 NEW BEST:: SOT 13048856 SOS 8519413 HAS SOPS 8515181 HAS SOUS 943479 HAS SOUPS 940385 WITH SCORE 948904.413
AT ITER 2080 NEW BEST:: SOT 13048842 SOS 8519399 HAS SOPS 8515167 HAS SOUS 943479 HAS SOUPS 940385 WITH SCORE 948904.399
AT ITER 2101 NEW BEST:: SOT 13049159 SOS 8519563 HAS SOPS 8515076 HAS SOUS 941190 HAS SOUPS 937841 WITH SCORE 946360.563
AT ITER 2108 NEW BEST:: SOT 13048986 SOS 8519622 HAS SOPS 8515135 HAS SOUS 940952 HAS SOUPS 937603 WITH SCORE 946122.622
AT ITER 2115 NEW BEST:: SOT 13047808 SOS 8518444 HAS SOPS 8513957 HAS SOUS 940747 HAS SOUPS 937398 WITH SCORE 945916.444
AT ITER 2120 NEW BEST:: SOT 13047964 SOS 8518620 HAS SOPS 8514118 HAS SOUS 940638 HAS SOUPS 937284 WITH SCORE 945802.62
AT ITER 2145 NEW BEST:: SOT 13057017 SOS 8527673 HAS SOPS 8523171 HAS SOUS 938162 HAS SOUPS 934808 WITH SCORE 943335.673
AT ITER 2148 NEW BEST:: SOT 13056992 SOS 8527774 HAS SOPS 8523272 HAS SOUS 938137 HAS SOUPS 934783 WITH SCORE 943310.774
AT ITER 2150 NEW BEST:: SOT 13056991 SOS 8527933 HAS SOPS 8523441 HAS SOUS 937953 HAS SOUPS 934609 WITH SCORE 943136.933
AT ITER 2154 NEW BEST:: SOT 13054896 SOS 8525838 HAS SOPS 8521346 HAS SOUS 935946 HAS SOUPS 932602 WITH SCORE 941127.838
AT ITER 2160 NEW BEST:: SOT 13054568 SOS 8525510 HAS SOPS 8521018 HAS SOUS 935694 HAS SOUPS 932350 WITH SCORE 940875.51
AT ITER 2163 NEW BEST:: SOT 13054128 SOS 8525070 HAS SOPS 8520578 HAS SOUS 935254 HAS SOUPS 931910 WITH SCORE 940435.07
AT ITER 2167 NEW BEST:: SOT 13054128 SOS 8524846 HAS SOPS 8520354 HAS SOUS 935142 HAS SOUPS 931798 WITH SCORE 940322.846
AT ITER 2188 NEW BEST:: SOT 13053482 SOS 8524200 HAS SOPS 8519708 HAS SOUS 927171 HAS SOUPS 923827 WITH SCORE 932351.2
AT ITER 2191 NEW BEST:: SOT 13079099 SOS 8550197 HAS SOPS 8545705 HAS SOUS 926783 HAS SOUPS 923439 WITH SCORE 931989.197
AT ITER 2202 NEW BEST:: SOT 13078868 SOS 8549966 HAS SOPS 8545474 HAS SOUS 926631 HAS SOUPS 923287 WITH SCORE 931836.966
AT ITER 2212 NEW BEST:: SOT 13072254 SOS 8543352 HAS SOPS 8538860 HAS SOUS 919075 HAS SOUPS 915731 WITH SCORE 924274.352
AT ITER 2213 NEW BEST:: SOT 13076303 SOS 8552081 HAS SOPS 8547589 HAS SOUS 914527 HAS SOUPS 911183 WITH SCORE 919735.081
AT ITER 2242 NEW BEST:: SOT 13075373 SOS 8551151 HAS SOPS 8546659 HAS SOUS 912493 HAS SOUPS 909149 WITH SCORE 917700.151
AT ITER 2245 NEW BEST:: SOT 13074139 SOS 8549917 HAS SOPS 8545425 HAS SOUS 910812 HAS SOUPS 907468 WITH SCORE 916017.917
AT ITER 2283 NEW BEST:: SOT 13073808 SOS 8549586 HAS SOPS 8545094 HAS SOUS 910158 HAS SOUPS 906814 WITH SCORE 915363.586
AT ITER 2291 NEW BEST:: SOT 13073736 SOS 8549520 HAS SOPS 8545028 HAS SOUS 909882 HAS SOUPS 906538 WITH SCORE 915087.52
AT ITER 2295 NEW BEST:: SOT 13073636 SOS 8549412 HAS SOPS 8544920 HAS SOUS 909826 HAS SOUPS 906482 WITH SCORE 915031.412
AT ITER 2299 NEW BEST:: SOT 13076434 SOS 8552180 HAS SOPS 8547718 HAS SOUS 908805 HAS SOUPS 905491 WITH SCORE 914043.18
AT ITER 2302 NEW BEST:: SOT 13076433 SOS 8552168 HAS SOPS 8547717 HAS SOUS 907441 HAS SOUPS 904138 WITH SCORE 912690.168
AT ITER 2310 NEW BEST:: SOT 13078060 SOS 8553795 HAS SOPS 8549344 HAS SOUS 905359 HAS SOUPS 902056 WITH SCORE 910609.795
AT ITER 2318 NEW BEST:: SOT 13082990 SOS 8567943 HAS SOPS 8563492 HAS SOUS 905300 HAS SOUPS 901997 WITH SCORE 910564.943
AT ITER 2342 NEW BEST:: SOT 13082181 SOS 8567134 HAS SOPS 8562683 HAS SOUS 903593 HAS SOUPS 900290 WITH SCORE 908857.134
AT ITER 2345 NEW BEST:: SOT 13082181 SOS 8566985 HAS SOPS 8562534 HAS SOUS 903444 HAS SOUPS 900141 WITH SCORE 908707.985
AT ITER 2347 NEW BEST:: SOT 13081213 SOS 8566017 HAS SOPS 8561566 HAS SOUS 899963 HAS SOUPS 896660 WITH SCORE 905226.017
AT ITER 2360 NEW BEST:: SOT 13080634 SOS 8565438 HAS SOPS 8560987 HAS SOUS 898785 HAS SOUPS 895482 WITH SCORE 904047.438
AT ITER 2375 NEW BEST:: SOT 13080006 SOS 8564930 HAS SOPS 8560444 HAS SOUS 896719 HAS SOUPS 893381 WITH SCORE 901945.93
AT ITER 2378 NEW BEST:: SOT 13075877 SOS 8560801 HAS SOPS 8556315 HAS SOUS 892837 HAS SOUPS 889499 WITH SCORE 898059.801
AT ITER 2395 NEW BEST:: SOT 13074969 SOS 8559868 HAS SOPS 8555357 HAS SOUS 892589 HAS SOUPS 889226 WITH SCORE 897785.868
AT ITER 2401 NEW BEST:: SOT 13079094 SOS 8564428 HAS SOPS 8559917 HAS SOUS 892245 HAS SOUPS 888882 WITH SCORE 897446.428
AT ITER 2404 NEW BEST:: SOT 13079096 SOS 8565374 HAS SOPS 8560863 HAS SOUS 891235 HAS SOUPS 887872 WITH SCORE 896437.374
AT ITER 2414 NEW BEST:: SOT 13078081 SOS 8563956 HAS SOPS 8559501 HAS SOUS 883837 HAS SOUPS 880530 WITH SCORE 889093.956
AT ITER 2420 NEW BEST:: SOT 13083479 SOS 8569418 HAS SOPS 8564963 HAS SOUS 883419 HAS SOUPS 880112 WITH SCORE 888681.418
AT ITER 2421 NEW BEST:: SOT 13083119 SOS 8569058 HAS SOPS 8564603 HAS SOUS 883279 HAS SOUPS 879972 WITH SCORE 888541.058
AT ITER 2430 NEW BEST:: SOT 13083119 SOS 8568777 HAS SOPS 8564273 HAS SOUS 882898 HAS SOUPS 879591 WITH SCORE 888159.777
AT ITER 2442 NEW BEST:: SOT 13082875 SOS 8568533 HAS SOPS 8564029 HAS SOUS 882410 HAS SOUPS 879103 WITH SCORE 887671.533
AT ITER 2445 NEW BEST:: SOT 13081829 SOS 8567487 HAS SOPS 8562983 HAS SOUS 880297 HAS SOUPS 876990 WITH SCORE 885557.487
AT ITER 2461 NEW BEST:: SOT 13082228 SOS 8567873 HAS SOPS 8563369 HAS SOUS 876481 HAS SOUPS 873174 WITH SCORE 881741.873
AT ITER 2487 NEW BEST:: SOT 13081448 SOS 8566589 HAS SOPS 8562085 HAS SOUS 876152 HAS SOUPS 872845 WITH SCORE 881411.589
AT ITER 2493 NEW BEST:: SOT 13080910 SOS 8566037 HAS SOPS 8561533 HAS SOUS 875044 HAS SOUPS 871737 WITH SCORE 880303.037
AT ITER 2561 NEW BEST:: SOT 13075222 SOS 8560349 HAS SOPS 8555845 HAS SOUS 870586 HAS SOUPS 867279 WITH SCORE 875839.349
AT ITER 2609 NEW BEST:: SOT 13076149 SOS 8561276 HAS SOPS 8556772 HAS SOUS 870403 HAS SOUPS 867096 WITH SCORE 875657.276
AT ITER 2622 NEW BEST:: SOT 13076149 SOS 8556665 HAS SOPS 8552161 HAS SOUS 870407 HAS SOUPS 867100 WITH SCORE 875656.665
AT ITER 2628 NEW BEST:: SOT 13073465 SOS 8554545 HAS SOPS 8550041 HAS SOUS 866533 HAS SOUPS 863226 WITH SCORE 871780.545
AT ITER 2633 NEW BEST:: SOT 13073458 SOS 8554538 HAS SOPS 8550034 HAS SOUS 866525 HAS SOUPS 863218 WITH SCORE 871772.538
AT ITER 2644 NEW BEST:: SOT 13073458 SOS 8553992 HAS SOPS 8549488 HAS SOUS 866468 HAS SOUPS 863161 WITH SCORE 871714.992
AT ITER 2658 NEW BEST:: SOT 13073458 SOS 8553850 HAS SOPS 8549346 HAS SOUS 866397 HAS SOUPS 863090 WITH SCORE 871643.85
AT ITER 2670 NEW BEST:: SOT 13071163 SOS 8551516 HAS SOPS 8546973 HAS SOUS 864726 HAS SOUPS 861380 WITH SCORE 869931.516
AT ITER 2680 NEW BEST:: SOT 13070488 SOS 8550841 HAS SOPS 8546298 HAS SOUS 863353 HAS SOUPS 860007 WITH SCORE 868557.841
AT ITER 2685 NEW BEST:: SOT 13066189 SOS 8546542 HAS SOPS 8541999 HAS SOUS 861732 HAS SOUPS 858386 WITH SCORE 866932.542
AT ITER 2686 NEW BEST:: SOT 13060583 SOS 8540906 HAS SOPS 8536363 HAS SOUS 856285 HAS SOUPS 852939 WITH SCORE 861479.906
AT ITER 2689 NEW BEST:: SOT 13060551 SOS 8541749 HAS SOPS 8537206 HAS SOUS 856239 HAS SOUPS 852893 WITH SCORE 861434.749
AT ITER 2697 NEW BEST:: SOT 13060808 SOS 8542058 HAS SOPS 8537515 HAS SOUS 855937 HAS SOUPS 852591 WITH SCORE 861133.058
AT ITER 2698 NEW BEST:: SOT 13063994 SOS 8545039 HAS SOPS 8540549 HAS SOUS 855723 HAS SOUPS 852430 WITH SCORE 860975.039
AT ITER 2710 NEW BEST:: SOT 13068459 SOS 8554256 HAS SOPS 8549766 HAS SOUS 854642 HAS SOUPS 851349 WITH SCORE 859903.256
AT ITER 2711 NEW BEST:: SOT 13068457 SOS 8554254 HAS SOPS 8549764 HAS SOUS 854640 HAS SOUPS 851347 WITH SCORE 859901.254
AT ITER 2729 NEW BEST:: SOT 13068303 SOS 8554117 HAS SOPS 8549610 HAS SOUS 854490 HAS SOUPS 851180 WITH SCORE 859734.117
AT ITER 2747 NEW BEST:: SOT 13068079 SOS 8553893 HAS SOPS 8549386 HAS SOUS 854023 HAS SOUPS 850713 WITH SCORE 859266.893
AT ITER 2751 NEW BEST:: SOT 13068058 SOS 8553872 HAS SOPS 8549365 HAS SOUS 854002 HAS SOUPS 850692 WITH SCORE 859245.872
AT ITER 2766 NEW BEST:: SOT 13072238 SOS 8558228 HAS SOPS 8553721 HAS SOUS 853631 HAS SOUPS 850321 WITH SCORE 858879.228
AT ITER 2767 NEW BEST:: SOT 13071519 SOS 8558147 HAS SOPS 8553785 HAS SOUS 850908 HAS SOUPS 847743 WITH SCORE 856301.147
AT ITER 2792 NEW BEST:: SOT 13072540 SOS 8559197 HAS SOPS 8554828 HAS SOUS 850406 HAS SOUPS 847234 WITH SCORE 855793.197
AT ITER 2806 NEW BEST:: SOT 13065840 SOS 8545584 HAS SOPS 8541144 HAS SOUS 848681 HAS SOUPS 845438 WITH SCORE 853983.584
AT ITER 2810 NEW BEST:: SOT 13066226 SOS 8543117 HAS SOPS 8539561 HAS SOUS 845901 HAS SOUPS 842994 WITH SCORE 851537.117
AT ITER 2813 NEW BEST:: SOT 13066191 SOS 8540562 HAS SOPS 8537006 HAS SOUS 845223 HAS SOUPS 842316 WITH SCORE 850856.562
AT ITER 2840 NEW BEST:: SOT 13068564 SOS 8542935 HAS SOPS 8539379 HAS SOUS 844242 HAS SOUPS 841335 WITH SCORE 849877.935
AT ITER 2847 NEW BEST:: SOT 13067241 SOS 8544314 HAS SOPS 8540758 HAS SOUS 841702 HAS SOUPS 838795 WITH SCORE 847339.314
AT ITER 2853 NEW BEST:: SOT 13067241 SOS 7241096 HAS SOPS 7237540 HAS SOUS 841448 HAS SOUPS 838541 WITH SCORE 845782.096
AT ITER 2867 NEW BEST:: SOT 13069128 SOS 7242983 HAS SOPS 7239427 HAS SOUS 841060 HAS SOUPS 838153 WITH SCORE 845395.983
AT ITER 2873 NEW BEST:: SOT 13069125 SOS 7242980 HAS SOPS 7239424 HAS SOUS 839534 HAS SOUPS 836627 WITH SCORE 843869.98
AT ITER 2878 NEW BEST:: SOT 13069125 SOS 7242836 HAS SOPS 7239280 HAS SOUS 838817 HAS SOUPS 835910 WITH SCORE 843152.836
AT ITER 2881 NEW BEST:: SOT 13070193 SOS 7243980 HAS SOPS 7240424 HAS SOUS 838424 HAS SOUPS 835517 WITH SCORE 842760.98
AT ITER 2899 NEW BEST:: SOT 13070193 SOS 7251063 HAS SOPS 7247507 HAS SOUS 838381 HAS SOUPS 835474 WITH SCORE 842725.063
AT ITER 2908 NEW BEST:: SOT 13086641 SOS 7267511 HAS SOPS 7263955 HAS SOUS 836337 HAS SOUPS 833430 WITH SCORE 840697.511
AT ITER 2942 NEW BEST:: SOT 13086641 SOS 7267007 HAS SOPS 7263451 HAS SOUS 836323 HAS SOUPS 833416 WITH SCORE 840683.007
AT ITER 2944 NEW BEST:: SOT 13086641 SOS 7266999 HAS SOPS 7263443 HAS SOUS 836321 HAS SOUPS 833414 WITH SCORE 840680.999
AT ITER 2970 NEW BEST:: SOT 13086009 SOS 7266286 HAS SOPS 7262734 HAS SOUS 835040 HAS SOUPS 832137 WITH SCORE 839403.286
AT ITER 2980 NEW BEST:: SOT 13086009 SOS 7265566 HAS SOPS 7262014 HAS SOUS 835040 HAS SOUPS 832137 WITH SCORE 839402.566
AT ITER 2999 NEW BEST:: SOT 13086987 SOS 7266544 HAS SOPS 7262992 HAS SOUS 834830 HAS SOUPS 831927 WITH SCORE 839193.544
AT ITER 3008 NEW BEST:: SOT 13085794 SOS 7265351 HAS SOPS 7261799 HAS SOUS 833144 HAS SOUPS 830241 WITH SCORE 837506.351
AT ITER 3024 NEW BEST:: SOT 13082992 SOS 7262549 HAS SOPS 7258997 HAS SOUS 830846 HAS SOUPS 827943 WITH SCORE 835205.549
AT ITER 3028 NEW BEST:: SOT 13082937 SOS 7263286 HAS SOPS 7259734 HAS SOUS 830182 HAS SOUPS 827279 WITH SCORE 834542.286
AT ITER 3040 NEW BEST:: SOT 13076376 SOS 7225855 HAS SOPS 7222303 HAS SOUS 823404 HAS SOUPS 820501 WITH SCORE 827726.855
AT ITER 3044 NEW BEST:: SOT 13081027 SOS 7230506 HAS SOPS 7226954 HAS SOUS 819012 HAS SOUPS 816109 WITH SCORE 823339.506
AT ITER 3056 NEW BEST:: SOT 13080702 SOS 7230171 HAS SOPS 7226619 HAS SOUS 817984 HAS SOUPS 815081 WITH SCORE 822311.171
AT ITER 3110 NEW BEST:: SOT 13080702 SOS 7230171 HAS SOPS 7226619 HAS SOUS 817848 HAS SOUPS 814945 WITH SCORE 822175.171
AT ITER 3117 NEW BEST:: SOT 13080492 SOS 7229961 HAS SOPS 7226409 HAS SOUS 817659 HAS SOUPS 814756 WITH SCORE 821985.961
AT ITER 3133 NEW BEST:: SOT 13080424 SOS 7229893 HAS SOPS 7226341 HAS SOUS 817517 HAS SOUPS 814614 WITH SCORE 821843.893
AT ITER 3148 NEW BEST:: SOT 13079508 SOS 7228977 HAS SOPS 7225425 HAS SOUS 816794 HAS SOUPS 813891 WITH SCORE 821119.977
AT ITER 3164 NEW BEST:: SOT 13088715 SOS 7238184 HAS SOPS 7234632 HAS SOUS 809708 HAS SOUPS 806805 WITH SCORE 814043.184
AT ITER 3173 NEW BEST:: SOT 13100407 SOS 7249876 HAS SOPS 7246324 HAS SOUS 807598 HAS SOUPS 804695 WITH SCORE 811944.876
AT ITER 3197 NEW BEST:: SOT 13100289 SOS 7248505 HAS SOPS 7244953 HAS SOUS 807429 HAS SOUPS 804526 WITH SCORE 811774.505
AT ITER 3207 NEW BEST:: SOT 13100366 SOS 7248526 HAS SOPS 7244974 HAS SOUS 803801 HAS SOUPS 800898 WITH SCORE 808146.526
AT ITER 3224 NEW BEST:: SOT 13100366 SOS 7248007 HAS SOPS 7244455 HAS SOUS 801327 HAS SOUPS 798424 WITH SCORE 805672.007
AT ITER 3235 NEW BEST:: SOT 13100366 SOS 7244983 HAS SOPS 7241431 HAS SOUS 801314 HAS SOUPS 798411 WITH SCORE 805655.983
AT ITER 3281 NEW BEST:: SOT 13101946 SOS 7246613 HAS SOPS 7243061 HAS SOUS 801069 HAS SOUPS 798166 WITH SCORE 805412.613
AT ITER 3297 NEW BEST:: SOT 13101861 SOS 7246528 HAS SOPS 7242976 HAS SOUS 801056 HAS SOUPS 798153 WITH SCORE 805399.528
AT ITER 3298 NEW BEST:: SOT 13102333 SOS 7246982 HAS SOPS 7243448 HAS SOUS 800684 HAS SOUPS 797799 WITH SCORE 805045.982
AT ITER 3304 NEW BEST:: SOT 13101057 SOS 7245706 HAS SOPS 7242172 HAS SOUS 798470 HAS SOUPS 795585 WITH SCORE 802830.706
AT ITER 3314 NEW BEST:: SOT 13100511 SOS 7245144 HAS SOPS 7241610 HAS SOUS 798258 HAS SOUPS 795373 WITH SCORE 802618.144
AT ITER 3325 NEW BEST:: SOT 13100511 SOS 7245144 HAS SOPS 7241610 HAS SOUS 798255 HAS SOUPS 795370 WITH SCORE 802615.144
AT ITER 3326 NEW BEST:: SOT 13105043 SOS 7249820 HAS SOPS 7246344 HAS SOUS 797598 HAS SOUPS 794771 WITH SCORE 802020.82
AT ITER 3347 NEW BEST:: SOT 13100794 SOS 7245635 HAS SOPS 7242159 HAS SOUS 793319 HAS SOUPS 790492 WITH SCORE 797737.635
AT ITER 3359 NEW BEST:: SOT 13100782 SOS 7245623 HAS SOPS 7242147 HAS SOUS 793307 HAS SOUPS 790480 WITH SCORE 797725.623
AT ITER 3370 NEW BEST:: SOT 13100731 SOS 7245569 HAS SOPS 7242094 HAS SOUS 793302 HAS SOUPS 790476 WITH SCORE 797721.569
AT ITER 3379 NEW BEST:: SOT 13100731 SOS 7245527 HAS SOPS 7242052 HAS SOUS 793281 HAS SOUPS 790455 WITH SCORE 797700.527
AT ITER 3385 NEW BEST:: SOT 13098726 SOS 7243522 HAS SOPS 7240047 HAS SOUS 791964 HAS SOUPS 789138 WITH SCORE 796381.522
AT ITER 3396 NEW BEST:: SOT 13099490 SOS 7244286 HAS SOPS 7240811 HAS SOUS 791455 HAS SOUPS 788629 WITH SCORE 795873.286
AT ITER 3407 NEW BEST:: SOT 13099490 SOS 7242512 HAS SOPS 7239037 HAS SOUS 791278 HAS SOUPS 788452 WITH SCORE 795694.512
AT ITER 3412 NEW BEST:: SOT 13099490 SOS 7243364 HAS SOPS 7239889 HAS SOUS 791266 HAS SOUPS 788440 WITH SCORE 795683.364
AT ITER 3423 NEW BEST:: SOT 13099431 SOS 7243428 HAS SOPS 7239953 HAS SOUS 790697 HAS SOUPS 787871 WITH SCORE 795114.428
AT ITER 3430 NEW BEST:: SOT 13099215 SOS 7243221 HAS SOPS 7239746 HAS SOUS 790635 HAS SOUPS 787809 WITH SCORE 795052.221
AT ITER 3438 NEW BEST:: SOT 13099205 SOS 7243211 HAS SOPS 7239736 HAS SOUS 790625 HAS SOUPS 787799 WITH SCORE 795042.211
AT ITER 3441 NEW BEST:: SOT 13099167 SOS 7243173 HAS SOPS 7239698 HAS SOUS 790587 HAS SOUPS 787761 WITH SCORE 795004.173
AT ITER 3454 NEW BEST:: SOT 13099686 SOS 7243637 HAS SOPS 7240173 HAS SOUS 790293 HAS SOUPS 787478 WITH SCORE 794721.637
AT ITER 3495 NEW BEST:: SOT 13096479 SOS 7240198 HAS SOPS 7236734 HAS SOUS 790044 HAS SOUPS 787229 WITH SCORE 794469.198
AT ITER 3511 NEW BEST:: SOT 13096479 SOS 7240953 HAS SOPS 7237489 HAS SOUS 789935 HAS SOUPS 787120 WITH SCORE 794360.953
AT ITER 3552 NEW BEST:: SOT 13096479 SOS 7242382 HAS SOPS 7238667 HAS SOUS 789765 HAS SOUPS 786854 WITH SCORE 794096.382
AT ITER 3564 NEW BEST:: SOT 13099810 SOS 7252151 HAS SOPS 7248436 HAS SOUS 789044 HAS SOUPS 786133 WITH SCORE 793385.151
AT ITER 3566 NEW BEST:: SOT 13099810 SOS 7252083 HAS SOPS 7248368 HAS SOUS 788976 HAS SOUPS 786065 WITH SCORE 793317.083
AT ITER 3577 NEW BEST:: SOT 13100444 SOS 7252717 HAS SOPS 7249002 HAS SOUS 788804 HAS SOUPS 785893 WITH SCORE 793145.717
AT ITER 3585 NEW BEST:: SOT 13112937 SOS 7274912 HAS SOPS 7271215 HAS SOUS 788741 HAS SOUPS 785848 WITH SCORE 793122.912
AT ITER 3588 NEW BEST:: SOT 13112910 SOS 7274885 HAS SOPS 7271188 HAS SOUS 788714 HAS SOUPS 785821 WITH SCORE 793095.885
AT ITER 3590 NEW BEST:: SOT 13111984 SOS 7273959 HAS SOPS 7270262 HAS SOUS 787423 HAS SOUPS 784530 WITH SCORE 791803.959
AT ITER 3601 NEW BEST:: SOT 13111984 SOS 7272735 HAS SOPS 7269038 HAS SOUS 787423 HAS SOUPS 784530 WITH SCORE 791802.735
AT ITER 3610 NEW BEST:: SOT 13110872 SOS 7271556 HAS SOPS 7267868 HAS SOUS 786448 HAS SOUPS 783564 WITH SCORE 790835.556
AT ITER 3618 NEW BEST:: SOT 13110872 SOS 7309399 HAS SOPS 7306396 HAS SOUS 781927 HAS SOUPS 779058 WITH SCORE 786367.399
AT ITER 3621 NEW BEST:: SOT 13110828 SOS 7309355 HAS SOPS 7306352 HAS SOUS 781919 HAS SOUPS 779050 WITH SCORE 786359.355
AT ITER 3625 NEW BEST:: SOT 13108445 SOS 7306972 HAS SOPS 7303969 HAS SOUS 777007 HAS SOUPS 774138 WITH SCORE 781444.972
AT ITER 3644 NEW BEST:: SOT 13108548 SOS 7306878 HAS SOPS 7303875 HAS SOUS 774403 HAS SOUPS 771534 WITH SCORE 778840.878
AT ITER 3680 NEW BEST:: SOT 13108119 SOS 7306449 HAS SOPS 7303446 HAS SOUS 774334 HAS SOUPS 771465 WITH SCORE 778771.449
AT ITER 3705 NEW BEST:: SOT 13108007 SOS 7306337 HAS SOPS 7303334 HAS SOUS 774224 HAS SOUPS 771355 WITH SCORE 778661.337
AT ITER 3706 NEW BEST:: SOT 13107953 SOS 7302935 HAS SOPS 7299932 HAS SOUS 774224 HAS SOUPS 771355 WITH SCORE 778657.935
AT ITER 3722 NEW BEST:: SOT 13107936 SOS 7302918 HAS SOPS 7299915 HAS SOUS 774201 HAS SOUPS 771332 WITH SCORE 778634.918
AT ITER 3730 NEW BEST:: SOT 13107936 SOS 7302906 HAS SOPS 7299903 HAS SOUS 774195 HAS SOUPS 771326 WITH SCORE 778628.906
AT ITER 3768 NEW BEST:: SOT 13107917 SOS 7302887 HAS SOPS 7299884 HAS SOUS 774177 HAS SOUPS 771308 WITH SCORE 778610.887
AT ITER 3785 NEW BEST:: SOT 13111022 SOS 7305992 HAS SOPS 7302989 HAS SOUS 772683 HAS SOUPS 769814 WITH SCORE 777119.992
AT ITER 3793 NEW BEST:: SOT 13111396 SOS 7306366 HAS SOPS 7303363 HAS SOUS 772667 HAS SOUPS 769798 WITH SCORE 777104.366
AT ITER 3810 NEW BEST:: SOT 13111998 SOS 7306968 HAS SOPS 7303989 HAS SOUS 772537 HAS SOUPS 769692 WITH SCORE 776998.968
AT ITER 3870 NEW BEST:: SOT 13112389 SOS 7322126 HAS SOPS 7319473 HAS SOUS 765848 HAS SOUPS 763329 WITH SCORE 770651.126
AT ITER 3887 NEW BEST:: SOT 13114424 SOS 7324161 HAS SOPS 7321508 HAS SOUS 763253 HAS SOUPS 760734 WITH SCORE 768058.161
AT ITER 3890 NEW BEST:: SOT 13112704 SOS 7325491 HAS SOPS 7324626 HAS SOUS 759519 HAS SOUPS 758788 WITH SCORE 766113.491
AT ITER 3898 NEW BEST:: SOT 13113201 SOS 7326078 HAS SOPS 7325213 HAS SOUS 759377 HAS SOUPS 758646 WITH SCORE 765972.078
AT ITER 3901 NEW BEST:: SOT 13113231 SOS 7326108 HAS SOPS 7325243 HAS SOUS 759341 HAS SOUPS 758610 WITH SCORE 765936.108
AT ITER 3948 NEW BEST:: SOT 13110443 SOS 7323320 HAS SOPS 7322455 HAS SOUS 759274 HAS SOUPS 758543 WITH SCORE 765866.32
AT ITER 3959 NEW BEST:: SOT 13118274 SOS 7331151 HAS SOPS 7330286 HAS SOUS 758873 HAS SOUPS 758142 WITH SCORE 765473.151
AT ITER 3973 NEW BEST:: SOT 13118064 SOS 7330941 HAS SOPS 7330076 HAS SOUS 758687 HAS SOUPS 757956 WITH SCORE 765286.941
AT ITER 3990 NEW BEST:: SOT 13117547 SOS 7330424 HAS SOPS 7329559 HAS SOUS 758504 HAS SOUPS 757773 WITH SCORE 765103.424
AT ITER 3996 NEW BEST:: SOT 13117547 SOS 7330061 HAS SOPS 7329196 HAS SOUS 758504 HAS SOUPS 757773 WITH SCORE 765103.061
AT ITER 4022 NEW BEST:: SOT 13117517 SOS 7330017 HAS SOPS 7329166 HAS SOUS 757366 HAS SOUPS 756649 WITH SCORE 763979.017
AT ITER 4027 NEW BEST:: SOT 13117497 SOS 7330001 HAS SOPS 7329146 HAS SOUS 757350 HAS SOUPS 756629 WITH SCORE 763959.001
AT ITER 4079 NEW BEST:: SOT 13117186 SOS 7329930 HAS SOPS 7329075 HAS SOUS 756841 HAS SOUPS 756120 WITH SCORE 763449.93
AT ITER 4080 NEW BEST:: SOT 13117186 SOS 7329930 HAS SOPS 7329075 HAS SOUS 756830 HAS SOUPS 756109 WITH SCORE 763438.93
AT ITER 4090 NEW BEST:: SOT 13120390 SOS 7336908 HAS SOPS 7336053 HAS SOUS 754669 HAS SOUPS 753948 WITH SCORE 761284.908
AT ITER 4092 NEW BEST:: SOT 13120490 SOS 7337008 HAS SOPS 7336153 HAS SOUS 754488 HAS SOUPS 753767 WITH SCORE 761104.008
AT ITER 4107 NEW BEST:: SOT 13118247 SOS 7334575 HAS SOPS 7333682 HAS SOUS 753981 HAS SOUPS 753260 WITH SCORE 760594.575
AT ITER 4141 NEW BEST:: SOT 13118247 SOS 7334001 HAS SOPS 7333108 HAS SOUS 753932 HAS SOUPS 753211 WITH SCORE 760545.001
AT ITER 4150 NEW BEST:: SOT 13119088 SOS 7334842 HAS SOPS 7333949 HAS SOUS 753592 HAS SOUPS 752871 WITH SCORE 760205.842
AT ITER 4155 NEW BEST:: SOT 13119865 SOS 7335619 HAS SOPS 7334726 HAS SOUS 752469 HAS SOUPS 751748 WITH SCORE 759083.619
AT ITER 4159 NEW BEST:: SOT 13119822 SOS 7335576 HAS SOPS 7334683 HAS SOUS 752363 HAS SOUPS 751642 WITH SCORE 758977.576
AT ITER 4172 NEW BEST:: SOT 13118257 SOS 7334011 HAS SOPS 7333118 HAS SOUS 751533 HAS SOUPS 750812 WITH SCORE 758146.011
AT ITER 4204 NEW BEST:: SOT 13118301 SOS 7334055 HAS SOPS 7333162 HAS SOUS 751436 HAS SOUPS 750715 WITH SCORE 758049.055
AT ITER 4228 NEW BEST:: SOT 13117334 SOS 7332440 HAS SOPS 7331547 HAS SOUS 751020 HAS SOUPS 750299 WITH SCORE 757631.44
AT ITER 4268 NEW BEST:: SOT 13113729 SOS 7328849 HAS SOPS 7327956 HAS SOUS 748503 HAS SOUPS 747782 WITH SCORE 755110.849
AT ITER 4272 NEW BEST:: SOT 13113729 SOS 7344051 HAS SOPS 7342602 HAS SOUS 747941 HAS SOUPS 747075 WITH SCORE 754419.051
AT ITER 4285 NEW BEST:: SOT 13113729 SOS 7347601 HAS SOPS 7346152 HAS SOUS 744537 HAS SOUPS 743671 WITH SCORE 751018.601
AT ITER 4300 NEW BEST:: SOT 13115891 SOS 7349763 HAS SOPS 7348314 HAS SOUS 741408 HAS SOUPS 740542 WITH SCORE 747891.763
AT ITER 4317 NEW BEST:: SOT 13111434 SOS 7338506 HAS SOPS 7337057 HAS SOUS 741202 HAS SOUPS 740336 WITH SCORE 747674.506
AT ITER 4350 NEW BEST:: SOT 13111383 SOS 7338455 HAS SOPS 7337006 HAS SOUS 741151 HAS SOUPS 740285 WITH SCORE 747623.455
AT ITER 4353 NEW BEST:: SOT 13111383 SOS 7338455 HAS SOPS 7337006 HAS SOUS 740685 HAS SOUPS 739819 WITH SCORE 747157.455
AT ITER 4359 NEW BEST:: SOT 13111383 SOS 7327076 HAS SOPS 7326201 HAS SOUS 740286 HAS SOUPS 739571 WITH SCORE 746898.076
AT ITER 4365 NEW BEST:: SOT 13112175 SOS 7334060 HAS SOPS 7333185 HAS SOUS 739241 HAS SOUPS 738526 WITH SCORE 745860.06
AT ITER 4396 NEW BEST:: SOT 13111947 SOS 7333832 HAS SOPS 7332957 HAS SOUS 739077 HAS SOUPS 738362 WITH SCORE 745695.832
AT ITER 4402 NEW BEST:: SOT 13110668 SOS 7332553 HAS SOPS 7331678 HAS SOUS 736492 HAS SOUPS 735777 WITH SCORE 743109.553
AT ITER 4470 NEW BEST:: SOT 13110614 SOS 7332499 HAS SOPS 7331624 HAS SOUS 736437 HAS SOUPS 735722 WITH SCORE 743054.499
AT ITER 4496 NEW BEST:: SOT 13108764 SOS 7330649 HAS SOPS 7329774 HAS SOUS 733300 HAS SOUPS 732585 WITH SCORE 739915.649
AT ITER 4507 NEW BEST:: SOT 13107629 SOS 7329382 HAS SOPS 7328507 HAS SOUS 731576 HAS SOUPS 730861 WITH SCORE 738190.382
AT ITER 4529 NEW BEST:: SOT 13107809 SOS 7329562 HAS SOPS 7328687 HAS SOUS 731564 HAS SOUPS 730849 WITH SCORE 738178.562
AT ITER 4532 NEW BEST:: SOT 13109070 SOS 7330823 HAS SOPS 7329948 HAS SOUS 730219 HAS SOUPS 729504 WITH SCORE 736834.823
AT ITER 4535 NEW BEST:: SOT 13108416 SOS 7330169 HAS SOPS 7329294 HAS SOUS 729231 HAS SOUPS 728516 WITH SCORE 735846.169
AT ITER 4550 NEW BEST:: SOT 13108421 SOS 7330174 HAS SOPS 7329299 HAS SOUS 729223 HAS SOUPS 728508 WITH SCORE 735838.174
AT ITER 4564 NEW BEST:: SOT 13108421 SOS 7329670 HAS SOPS 7328795 HAS SOUS 729223 HAS SOUPS 728508 WITH SCORE 735837.67
AT ITER 4566 NEW BEST:: SOT 13108352 SOS 7329585 HAS SOPS 7328726 HAS SOUS 729193 HAS SOUPS 728494 WITH SCORE 735823.585
AT ITER 4568 NEW BEST:: SOT 13108352 SOS 7329443 HAS SOPS 7328584 HAS SOUS 729122 HAS SOUPS 728423 WITH SCORE 735752.443
AT ITER 4569 NEW BEST:: SOT 13107050 SOS 7328165 HAS SOPS 7327306 HAS SOUS 726480 HAS SOUPS 725781 WITH SCORE 733109.165
AT ITER 4574 NEW BEST:: SOT 13107050 SOS 7327877 HAS SOPS 7327018 HAS SOUS 726480 HAS SOUPS 725781 WITH SCORE 733108.877
AT ITER 4580 NEW BEST:: SOT 13108110 SOS 7328937 HAS SOPS 7328078 HAS SOUS 726003 HAS SOUPS 725304 WITH SCORE 732632.937
AT ITER 4668 NEW BEST:: SOT 13108110 SOS 7328577 HAS SOPS 7327718 HAS SOUS 725998 HAS SOUPS 725299 WITH SCORE 732627.577
AT ITER 4674 NEW BEST:: SOT 13108174 SOS 7328641 HAS SOPS 7327790 HAS SOUS 725789 HAS SOUPS 725098 WITH SCORE 732426.641
AT ITER 4730 NEW BEST:: SOT 13110098 SOS 7359204 HAS SOPS 7358742 HAS SOUS 723793 HAS SOUPS 723346 WITH SCORE 730705.204
AT ITER 4736 NEW BEST:: SOT 13107673 SOS 7356779 HAS SOPS 7356317 HAS SOUS 723064 HAS SOUPS 722617 WITH SCORE 729973.779
AT ITER 4737 NEW BEST:: SOT 13107445 SOS 7356551 HAS SOPS 7356089 HAS SOUS 722588 HAS SOUPS 722141 WITH SCORE 729497.551
AT ITER 4771 NEW BEST:: SOT 13107364 SOS 7350814 HAS SOPS 7350352 HAS SOUS 722358 HAS SOUPS 721911 WITH SCORE 729261.814
AT ITER 4778 NEW BEST:: SOT 13107187 SOS 7350637 HAS SOPS 7350175 HAS SOUS 722181 HAS SOUPS 721734 WITH SCORE 729084.637
AT ITER 4792 NEW BEST:: SOT 13106715 SOS 7350165 HAS SOPS 7349703 HAS SOUS 721709 HAS SOUPS 721262 WITH SCORE 728612.165
AT ITER 4802 NEW BEST:: SOT 13106669 SOS 7350119 HAS SOPS 7349657 HAS SOUS 721687 HAS SOUPS 721240 WITH SCORE 728590.119
AT ITER 4804 NEW BEST:: SOT 13104547 SOS 7348045 HAS SOPS 7347583 HAS SOUS 715035 HAS SOUPS 714588 WITH SCORE 721936.045
AT ITER 4806 NEW BEST:: SOT 13101763 SOS 7343821 HAS SOPS 7343359 HAS SOUS 713691 HAS SOUPS 713244 WITH SCORE 720587.821
AT ITER 4813 NEW BEST:: SOT 13099840 SOS 7340530 HAS SOPS 7340068 HAS SOUS 712904 HAS SOUPS 712457 WITH SCORE 719797.53
AT ITER 4832 NEW BEST:: SOT 13099840 SOS 7330786 HAS SOPS 7330324 HAS SOUS 712767 HAS SOUPS 712320 WITH SCORE 719650.786
AT ITER 4865 NEW BEST:: SOT 13099840 SOS 7330326 HAS SOPS 7329864 HAS SOUS 712655 HAS SOUPS 712208 WITH SCORE 719538.326
AT ITER 4871 NEW BEST:: SOT 13102968 SOS 7333454 HAS SOPS 7332992 HAS SOUS 711330 HAS SOUPS 710883 WITH SCORE 718216.454
AT ITER 4879 NEW BEST:: SOT 13102842 SOS 7334696 HAS SOPS 7334234 HAS SOUS 710193 HAS SOUPS 709746 WITH SCORE 717080.696
AT ITER 4908 NEW BEST:: SOT 13102652 SOS 7333354 HAS SOPS 7332892 HAS SOUS 709768 HAS SOUPS 709321 WITH SCORE 716654.354
AT ITER 4919 NEW BEST:: SOT 13103731 SOS 7334961 HAS SOPS 7334499 HAS SOUS 709573 HAS SOUPS 709126 WITH SCORE 716460.961
AT ITER 4924 NEW BEST:: SOT 13105772 SOS 7338658 HAS SOPS 7338196 HAS SOUS 709132 HAS SOUPS 708685 WITH SCORE 716023.658
AT ITER 4974 NEW BEST:: SOT 13105718 SOS 7338605 HAS SOPS 7338143 HAS SOUS 709030 HAS SOUPS 708583 WITH SCORE 715921.605
AT ITER 4990 NEW BEST:: SOT 13105718 SOS 7339605 HAS SOPS 7339143 HAS SOUS 707740 HAS SOUPS 707293 WITH SCORE 714632.605
AT ITER 5021 NEW BEST:: SOT 13103315 SOS 7337202 HAS SOPS 7336740 HAS SOUS 705856 HAS SOUPS 705409 WITH SCORE 712746.202
AT ITER 5023 NEW BEST:: SOT 13103315 SOS 7338054 HAS SOPS 7337592 HAS SOUS 705085 HAS SOUPS 704638 WITH SCORE 711976.054
AT ITER 5038 NEW BEST:: SOT 13103315 SOS 7341734 HAS SOPS 7341272 HAS SOUS 704969 HAS SOUPS 704522 WITH SCORE 711863.734
AT ITER 5072 NEW BEST:: SOT 13102866 SOS 7341285 HAS SOPS 7340823 HAS SOUS 704580 HAS SOUPS 704133 WITH SCORE 711474.285
AT ITER 5082 NEW BEST:: SOT 13102937 SOS 7341356 HAS SOPS 7340894 HAS SOUS 703374 HAS SOUPS 702927 WITH SCORE 710268.356
AT ITER 5092 NEW BEST:: SOT 13102937 SOS 7339188 HAS SOPS 7338726 HAS SOUS 703293 HAS SOUPS 702846 WITH SCORE 710185.188
AT ITER 5130 NEW BEST:: SOT 13102984 SOS 7341827 HAS SOPS 7341365 HAS SOUS 702843 HAS SOUPS 702396 WITH SCORE 709737.827
AT ITER 5136 NEW BEST:: SOT 13100796 SOS 7337407 HAS SOPS 7336945 HAS SOUS 700624 HAS SOUPS 700177 WITH SCORE 707514.407
AT ITER 5139 NEW BEST:: SOT 13101363 SOS 7337933 HAS SOPS 7337512 HAS SOUS 700138 HAS SOUPS 699732 WITH SCORE 707069.933
AT ITER 5172 NEW BEST:: SOT 13101363 SOS 7337851 HAS SOPS 7337430 HAS SOUS 700115 HAS SOUPS 699709 WITH SCORE 707046.851
AT ITER 5191 NEW BEST:: SOT 13101157 SOS 7337645 HAS SOPS 7337224 HAS SOUS 699981 HAS SOUPS 699575 WITH SCORE 706912.645
AT ITER 5217 NEW BEST:: SOT 13101097 SOS 7337585 HAS SOPS 7337164 HAS SOUS 699861 HAS SOUPS 699455 WITH SCORE 706792.585
AT ITER 5229 NEW BEST:: SOT 13101101 SOS 7337589 HAS SOPS 7337168 HAS SOUS 699751 HAS SOUPS 699345 WITH SCORE 706682.589
AT ITER 5239 NEW BEST:: SOT 13101216 SOS 7337704 HAS SOPS 7337283 HAS SOUS 699514 HAS SOUPS 699108 WITH SCORE 706445.704
AT ITER 5254 NEW BEST:: SOT 13101071 SOS 7337559 HAS SOPS 7337138 HAS SOUS 699487 HAS SOUPS 699081 WITH SCORE 706418.559
AT ITER 5263 NEW BEST:: SOT 13101037 SOS 7337525 HAS SOPS 7337104 HAS SOUS 699453 HAS SOUPS 699047 WITH SCORE 706384.525
AT ITER 5281 NEW BEST:: SOT 13101706 SOS 7338194 HAS SOPS 7337773 HAS SOUS 698979 HAS SOUPS 698573 WITH SCORE 705911.194
AT ITER 5287 NEW BEST:: SOT 13090808 SOS 7327296 HAS SOPS 7326875 HAS SOUS 695929 HAS SOUPS 695523 WITH SCORE 702850.296
AT ITER 5298 NEW BEST:: SOT 13090506 SOS 7475668 HAS SOPS 7475247 HAS SOUS 695614 HAS SOUPS 695208 WITH SCORE 702683.668
AT ITER 5324 NEW BEST:: SOT 13087986 SOS 7473148 HAS SOPS 7472727 HAS SOUS 693094 HAS SOUPS 692688 WITH SCORE 700161.148
AT ITER 5345 NEW BEST:: SOT 13086337 SOS 7471499 HAS SOPS 7471078 HAS SOUS 689696 HAS SOUPS 689290 WITH SCORE 696761.499
AT ITER 5346 NEW BEST:: SOT 13082940 SOS 7468102 HAS SOPS 7467681 HAS SOUS 686942 HAS SOUPS 686536 WITH SCORE 694004.102
AT ITER 5349 NEW BEST:: SOT 13085594 SOS 7470756 HAS SOPS 7470335 HAS SOUS 684584 HAS SOUPS 684178 WITH SCORE 691648.756
AT ITER 5371 NEW BEST:: SOT 13084558 SOS 7475804 HAS SOPS 7475383 HAS SOUS 683910 HAS SOUPS 683504 WITH SCORE 690979.804
AT ITER 5373 NEW BEST:: SOT 13082027 SOS 7473273 HAS SOPS 7472852 HAS SOUS 683816 HAS SOUPS 683410 WITH SCORE 690883.273
AT ITER 5404 NEW BEST:: SOT 13082027 SOS 7469817 HAS SOPS 7469396 HAS SOUS 683816 HAS SOUPS 683410 WITH SCORE 690879.817
AT ITER 5405 NEW BEST:: SOT 13081972 SOS 7469762 HAS SOPS 7469341 HAS SOUS 683697 HAS SOUPS 683291 WITH SCORE 690760.762
AT ITER 5411 NEW BEST:: SOT 13082030 SOS 7469820 HAS SOPS 7469399 HAS SOUS 683691 HAS SOUPS 683285 WITH SCORE 690754.82
AT ITER 5423 NEW BEST:: SOT 13081003 SOS 7468793 HAS SOPS 7468372 HAS SOUS 682559 HAS SOUPS 682153 WITH SCORE 689621.793
AT ITER 5445 NEW BEST:: SOT 13078193 SOS 7464471 HAS SOPS 7464050 HAS SOUS 681269 HAS SOUPS 680863 WITH SCORE 688327.471
AT ITER 5473 NEW BEST:: SOT 13077931 SOS 7464209 HAS SOPS 7463788 HAS SOUS 681007 HAS SOUPS 680601 WITH SCORE 688065.209
AT ITER 5489 NEW BEST:: SOT 13077921 SOS 7464199 HAS SOPS 7463778 HAS SOUS 680997 HAS SOUPS 680591 WITH SCORE 688055.199
AT ITER 5492 NEW BEST:: SOT 13076819 SOS 7463095 HAS SOPS 7462676 HAS SOUS 680480 HAS SOUPS 680076 WITH SCORE 687539.095
AT ITER 5575 NEW BEST:: SOT 13077304 SOS 7463580 HAS SOPS 7463161 HAS SOUS 680200 HAS SOUPS 679796 WITH SCORE 687259.58
AT ITER 5581 NEW BEST:: SOT 13077265 SOS 7463541 HAS SOPS 7463122 HAS SOUS 680161 HAS SOUPS 679757 WITH SCORE 687220.541
AT ITER 5606 NEW BEST:: SOT 13079564 SOS 7468206 HAS SOPS 7467787 HAS SOUS 679484 HAS SOUPS 679080 WITH SCORE 686548.206
AT ITER 5646 NEW BEST:: SOT 13079556 SOS 7462142 HAS SOPS 7461723 HAS SOUS 679476 HAS SOUPS 679072 WITH SCORE 686534.142
AT ITER 5670 NEW BEST:: SOT 13079532 SOS 7462118 HAS SOPS 7461699 HAS SOUS 679448 HAS SOUPS 679044 WITH SCORE 686506.118
AT ITER 5691 NEW BEST:: SOT 13079486 SOS 7462072 HAS SOPS 7461653 HAS SOUS 679402 HAS SOUPS 678998 WITH SCORE 686460.072
AT ITER 5708 NEW BEST:: SOT 13079466 SOS 7462065 HAS SOPS 7461633 HAS SOUS 678966 HAS SOUPS 678549 WITH SCORE 686011.065
AT ITER 5724 NEW BEST:: SOT 13079466 SOS 7458177 HAS SOPS 7457745 HAS SOUS 678966 HAS SOUPS 678549 WITH SCORE 686007.177
AT ITER 5727 NEW BEST:: SOT 13079329 SOS 7456960 HAS SOPS 7456528 HAS SOUS 678832 HAS SOUPS 678415 WITH SCORE 685871.96
AT ITER 5732 NEW BEST:: SOT 13079154 SOS 7456785 HAS SOPS 7456353 HAS SOUS 678150 HAS SOUPS 677733 WITH SCORE 685189.785
AT ITER 5762 NEW BEST:: SOT 13079189 SOS 7453761 HAS SOPS 7453329 HAS SOUS 678074 HAS SOUPS 677657 WITH SCORE 685110.761
AT ITER 5798 NEW BEST:: SOT 13079189 SOS 7453475 HAS SOPS 7453043 HAS SOUS 678061 HAS SOUPS 677644 WITH SCORE 685097.475
AT ITER 5842 NEW BEST:: SOT 13079210 SOS 7453496 HAS SOPS 7453064 HAS SOUS 678052 HAS SOUPS 677635 WITH SCORE 685088.496
AT ITER 5852 NEW BEST:: SOT 13078793 SOS 7453079 HAS SOPS 7452647 HAS SOUS 677209 HAS SOUPS 676792 WITH SCORE 684245.079
AT ITER 5889 NEW BEST:: SOT 13078764 SOS 7453050 HAS SOPS 7452618 HAS SOUS 677180 HAS SOUPS 676763 WITH SCORE 684216.05
AT ITER 5946 NEW BEST:: SOT 13078773 SOS 7453059 HAS SOPS 7452627 HAS SOUS 677155 HAS SOUPS 676738 WITH SCORE 684191.059
AT ITER 5957 NEW BEST:: SOT 13078773 SOS 7451907 HAS SOPS 7451475 HAS SOUS 677155 HAS SOUPS 676738 WITH SCORE 684189.907
AT ITER 5965 NEW BEST:: SOT 13078739 SOS 7450647 HAS SOPS 7450215 HAS SOUS 677104 HAS SOUPS 676687 WITH SCORE 684137.647
AT ITER 6016 NEW BEST:: SOT 13078699 SOS 7450607 HAS SOPS 7450175 HAS SOUS 677064 HAS SOUPS 676647 WITH SCORE 684097.607
AT ITER 6036 NEW BEST:: SOT 13078171 SOS 7450079 HAS SOPS 7449647 HAS SOUS 676872 HAS SOUPS 676455 WITH SCORE 683905.079
AT ITER 6060 NEW BEST:: SOT 13078171 SOS 7447349 HAS SOPS 7446914 HAS SOUS 676847 HAS SOUPS 676430 WITH SCORE 683877.349
AT ITER 6067 NEW BEST:: SOT 13078832 SOS 7448010 HAS SOPS 7447575 HAS SOUS 673177 HAS SOUPS 672760 WITH SCORE 680208.01
AT ITER 6090 NEW BEST:: SOT 13078866 SOS 7448044 HAS SOPS 7447609 HAS SOUS 673167 HAS SOUPS 672750 WITH SCORE 680198.044
AT ITER 6108 NEW BEST:: SOT 13078866 SOS 7450699 HAS SOPS 7450264 HAS SOUS 673117 HAS SOUPS 672700 WITH SCORE 680150.699
AT ITER 6125 NEW BEST:: SOT 13077797 SOS 7449630 HAS SOPS 7449195 HAS SOUS 672241 HAS SOUPS 671824 WITH SCORE 679273.63
AT ITER 6126 NEW BEST:: SOT 13077797 SOS 7445742 HAS SOPS 7445307 HAS SOUS 672241 HAS SOUPS 671824 WITH SCORE 679269.742
AT ITER 6127 NEW BEST:: SOT 13077684 SOS 7445629 HAS SOPS 7445194 HAS SOUS 672128 HAS SOUPS 671711 WITH SCORE 679156.629
AT ITER 6132 NEW BEST:: SOT 13076408 SOS 7444353 HAS SOPS 7443918 HAS SOUS 670811 HAS SOUPS 670394 WITH SCORE 677838.353
AT ITER 6135 NEW BEST:: SOT 13076350 SOS 7444295 HAS SOPS 7443860 HAS SOUS 670716 HAS SOUPS 670299 WITH SCORE 677743.295
AT ITER 6146 NEW BEST:: SOT 13080358 SOS 7448086 HAS SOPS 7447868 HAS SOUS 668780 HAS SOUPS 668580 WITH SCORE 676028.086
AT ITER 6158 NEW BEST:: SOT 13080358 SOS 7447644 HAS SOPS 7447493 HAS SOUS 668372 HAS SOUPS 668221 WITH SCORE 675668.644
AT ITER 6172 NEW BEST:: SOT 13080081 SOS 7447367 HAS SOPS 7447216 HAS SOUS 667976 HAS SOUPS 667825 WITH SCORE 675272.367
AT ITER 6176 NEW BEST:: SOT 13080081 SOS 7444055 HAS SOPS 7443904 HAS SOUS 667976 HAS SOUPS 667825 WITH SCORE 675269.055
AT ITER 6205 NEW BEST:: SOT 13077456 SOS 7441430 HAS SOPS 7441279 HAS SOUS 667697 HAS SOUPS 667546 WITH SCORE 674987.43
AT ITER 6238 NEW BEST:: SOT 13077441 SOS 7441415 HAS SOPS 7441264 HAS SOUS 667682 HAS SOUPS 667531 WITH SCORE 674972.415
AT ITER 6241 NEW BEST:: SOT 13077436 SOS 7441410 HAS SOPS 7441259 HAS SOUS 667678 HAS SOUPS 667527 WITH SCORE 674968.41
AT ITER 6242 NEW BEST:: SOT 13083131 SOS 7444081 HAS SOPS 7443930 HAS SOUS 664686 HAS SOUPS 664535 WITH SCORE 671979.081
AT ITER 6246 NEW BEST:: SOT 13083131 SOS 7440193 HAS SOPS 7440042 HAS SOUS 664686 HAS SOUPS 664535 WITH SCORE 671975.193
AT ITER 6276 NEW BEST:: SOT 13083098 SOS 7440160 HAS SOPS 7440009 HAS SOUS 664653 HAS SOUPS 664502 WITH SCORE 671942.16
AT ITER 6288 NEW BEST:: SOT 13081944 SOS 7439006 HAS SOPS 7438855 HAS SOUS 662439 HAS SOUPS 662288 WITH SCORE 669727.006
AT ITER 6313 NEW BEST:: SOT 13081944 SOS 7436846 HAS SOPS 7436695 HAS SOUS 662439 HAS SOUPS 662288 WITH SCORE 669724.846
AT ITER 6334 NEW BEST:: SOT 13078229 SOS 7433131 HAS SOPS 7432980 HAS SOUS 659236 HAS SOUPS 659085 WITH SCORE 666518.131
AT ITER 6344 NEW BEST:: SOT 13078229 SOS 7432843 HAS SOPS 7432692 HAS SOUS 659236 HAS SOUPS 659085 WITH SCORE 666517.843
AT ITER 6348 NEW BEST:: SOT 13077312 SOS 7431278 HAS SOPS 7431127 HAS SOUS 658844 HAS SOUPS 658693 WITH SCORE 666124.278
AT ITER 6362 NEW BEST:: SOT 13077312 SOS 7432882 HAS SOPS 7432731 HAS SOUS 658815 HAS SOUPS 658664 WITH SCORE 666096.882
AT ITER 6388 NEW BEST:: SOT 13077022 SOS 7431008 HAS SOPS 7430857 HAS SOUS 658153 HAS SOUPS 658002 WITH SCORE 665433.008
AT ITER 6393 NEW BEST:: SOT 13074723 SOS 7428343 HAS SOPS 7428192 HAS SOUS 656067 HAS SOUPS 655916 WITH SCORE 663344.343
AT ITER 6398 NEW BEST:: SOT 13077065 SOS 7433925 HAS SOPS 7433774 HAS SOUS 655593 HAS SOUPS 655442 WITH SCORE 662875.925
AT ITER 6401 NEW BEST:: SOT 13077056 SOS 7433916 HAS SOPS 7433765 HAS SOUS 655584 HAS SOUPS 655433 WITH SCORE 662866.916
AT ITER 6410 NEW BEST:: SOT 13076351 SOS 7433211 HAS SOPS 7433060 HAS SOUS 654231 HAS SOUPS 654080 WITH SCORE 661513.211
AT ITER 6416 NEW BEST:: SOT 13075013 SOS 7430865 HAS SOPS 7430714 HAS SOUS 653821 HAS SOUPS 653670 WITH SCORE 661100.865
AT ITER 6439 NEW BEST:: SOT 13074660 SOS 7430519 HAS SOPS 7430368 HAS SOUS 653235 HAS SOUPS 653084 WITH SCORE 660514.519
AT ITER 6529 NEW BEST:: SOT 13073626 SOS 7429485 HAS SOPS 7429334 HAS SOUS 652350 HAS SOUPS 652199 WITH SCORE 659628.485
AT ITER 6581 NEW BEST:: SOT 13073574 SOS 7429433 HAS SOPS 7429282 HAS SOUS 652298 HAS SOUPS 652147 WITH SCORE 659576.433
AT ITER 6584 NEW BEST:: SOT 13071985 SOS 7427844 HAS SOPS 7427693 HAS SOUS 652273 HAS SOUPS 652122 WITH SCORE 659549.844
AT ITER 6596 NEW BEST:: SOT 13071985 SOS 7426162 HAS SOPS 7426011 HAS SOUS 652224 HAS SOUPS 652073 WITH SCORE 659499.162
AT ITER 6603 NEW BEST:: SOT 13072125 SOS 7426518 HAS SOPS 7426367 HAS SOUS 652051 HAS SOUPS 651900 WITH SCORE 659326.518
AT ITER 6620 NEW BEST:: SOT 13071978 SOS 7426371 HAS SOPS 7426220 HAS SOUS 651976 HAS SOUPS 651825 WITH SCORE 659251.371
AT ITER 6631 NEW BEST:: SOT 13072379 SOS 7427240 HAS SOPS 7426642 HAS SOUS 652377 HAS SOUPS 651779 WITH SCORE 659206.24
AT ITER 6636 NEW BEST:: SOT 13071892 SOS 7426753 HAS SOPS 7426155 HAS SOUS 652025 HAS SOUPS 651427 WITH SCORE 658853.753
AT ITER 6661 NEW BEST:: SOT 13064494 SOS 7419355 HAS SOPS 7418757 HAS SOUS 648510 HAS SOUPS 647912 WITH SCORE 655331.355
AT ITER 6678 NEW BEST:: SOT 13063904 SOS 7418765 HAS SOPS 7418167 HAS SOUS 647189 HAS SOUPS 646591 WITH SCORE 654009.765
AT ITER 6687 NEW BEST:: SOT 13063904 SOS 7418155 HAS SOPS 7417557 HAS SOUS 647185 HAS SOUPS 646587 WITH SCORE 654005.155
AT ITER 6691 NEW BEST:: SOT 13063853 SOS 7418104 HAS SOPS 7417506 HAS SOUS 647065 HAS SOUPS 646467 WITH SCORE 653885.104
AT ITER 6709 NEW BEST:: SOT 13063542 SOS 7417793 HAS SOPS 7417195 HAS SOUS 646625 HAS SOUPS 646027 WITH SCORE 653444.793
AT ITER 6723 NEW BEST:: SOT 13063688 SOS 7417939 HAS SOPS 7417341 HAS SOUS 646140 HAS SOUPS 645542 WITH SCORE 652959.939
AT ITER 6737 NEW BEST:: SOT 13063688 SOS 7414051 HAS SOPS 7413453 HAS SOUS 646140 HAS SOUPS 645542 WITH SCORE 652956.051
AT ITER 6750 NEW BEST:: SOT 13063688 SOS 7409299 HAS SOPS 7408701 HAS SOUS 646140 HAS SOUPS 645542 WITH SCORE 652951.299
AT ITER 6755 NEW BEST:: SOT 13063688 SOS 7406563 HAS SOPS 7405965 HAS SOUS 646140 HAS SOUPS 645542 WITH SCORE 652948.563
AT ITER 6770 NEW BEST:: SOT 13063688 SOS 7405483 HAS SOPS 7404885 HAS SOUS 646020 HAS SOUPS 645422 WITH SCORE 652827.483
AT ITER 6830 NEW BEST:: SOT 13063588 SOS 7405383 HAS SOPS 7404785 HAS SOUS 645601 HAS SOUPS 645003 WITH SCORE 652408.383
AT ITER 6901 NEW BEST:: SOT 13063223 SOS 7405018 HAS SOPS 7404420 HAS SOUS 644888 HAS SOUPS 644290 WITH SCORE 651695.018
AT ITER 6903 NEW BEST:: SOT 13064570 SOS 7406365 HAS SOPS 7405767 HAS SOUS 644386 HAS SOUPS 643788 WITH SCORE 651194.365
AT ITER 6926 NEW BEST:: SOT 13062092 SOS 7403887 HAS SOPS 7403289 HAS SOUS 642843 HAS SOUPS 642245 WITH SCORE 649648.887
AT ITER 6940 NEW BEST:: SOT 13065229 SOS 7407024 HAS SOPS 7406426 HAS SOUS 642746 HAS SOUPS 642148 WITH SCORE 649555.024
AT ITER 6959 NEW BEST:: SOT 13065280 SOS 7407075 HAS SOPS 7406477 HAS SOUS 642735 HAS SOUPS 642137 WITH SCORE 649544.075
AT ITER 6970 NEW BEST:: SOT 13065280 SOS 7402059 HAS SOPS 7401461 HAS SOUS 642667 HAS SOUPS 642069 WITH SCORE 649471.059
AT ITER 6974 NEW BEST:: SOT 13065353 SOS 7402132 HAS SOPS 7401534 HAS SOUS 642596 HAS SOUPS 641998 WITH SCORE 649400.132
AT ITER 6981 NEW BEST:: SOT 13064318 SOS 7401097 HAS SOPS 7400499 HAS SOUS 640398 HAS SOUPS 639800 WITH SCORE 647201.097
AT ITER 7011 NEW BEST:: SOT 13064173 SOS 7401241 HAS SOPS 7400718 HAS SOUS 639668 HAS SOUPS 639145 WITH SCORE 646546.241
AT ITER 7028 NEW BEST:: SOT 13064967 SOS 7402035 HAS SOPS 7401512 HAS SOUS 639060 HAS SOUPS 638537 WITH SCORE 645939.035
AT ITER 7051 NEW BEST:: SOT 13064755 SOS 7401823 HAS SOPS 7401300 HAS SOUS 638837 HAS SOUPS 638314 WITH SCORE 645715.823
AT ITER 7081 NEW BEST:: SOT 13065583 SOS 7403515 HAS SOPS 7402992 HAS SOUS 637985 HAS SOUPS 637462 WITH SCORE 644865.515
AT ITER 7084 NEW BEST:: SOT 13065583 SOS 7403515 HAS SOPS 7402992 HAS SOUS 637929 HAS SOUPS 637406 WITH SCORE 644809.515
AT ITER 7140 NEW BEST:: SOT 13066018 SOS 7406300 HAS SOPS 7405777 HAS SOUS 636575 HAS SOUPS 636052 WITH SCORE 643458.3
AT ITER 7157 NEW BEST:: SOT 13066288 SOS 7406570 HAS SOPS 7406047 HAS SOUS 636535 HAS SOUPS 636012 WITH SCORE 643418.57
AT ITER 7171 NEW BEST:: SOT 13066292 SOS 7406574 HAS SOPS 7406051 HAS SOUS 636447 HAS SOUPS 635924 WITH SCORE 643330.574
AT ITER 7178 NEW BEST:: SOT 13066292 SOS 7406548 HAS SOPS 7406025 HAS SOUS 636421 HAS SOUPS 635898 WITH SCORE 643304.548
AT ITER 7191 NEW BEST:: SOT 13066355 SOS 7407311 HAS SOPS 7406788 HAS SOUS 635942 HAS SOUPS 635419 WITH SCORE 642826.311
AT ITER 7204 NEW BEST:: SOT 13066013 SOS 7408031 HAS SOPS 7407508 HAS SOUS 635873 HAS SOUPS 635350 WITH SCORE 642758.031
AT ITER 7216 NEW BEST:: SOT 13066013 SOS 7408031 HAS SOPS 7407508 HAS SOUS 635848 HAS SOUPS 635325 WITH SCORE 642733.031
AT ITER 7251 NEW BEST:: SOT 13064888 SOS 7409282 HAS SOPS 7408759 HAS SOUS 635258 HAS SOUPS 634735 WITH SCORE 642144.282
AT ITER 7258 NEW BEST:: SOT 13064863 SOS 7409593 HAS SOPS 7409070 HAS SOUS 633017 HAS SOUPS 632494 WITH SCORE 639903.593
AT ITER 7265 NEW BEST:: SOT 13064804 SOS 7408886 HAS SOPS 7408363 HAS SOUS 631843 HAS SOUPS 631320 WITH SCORE 638728.886
AT ITER 7267 NEW BEST:: SOT 13064744 SOS 7408826 HAS SOPS 7408303 HAS SOUS 631691 HAS SOUPS 631168 WITH SCORE 638576.826
AT ITER 7293 NEW BEST:: SOT 13064812 SOS 7408896 HAS SOPS 7408373 HAS SOUS 631682 HAS SOUPS 631159 WITH SCORE 638567.896
AT ITER 7302 NEW BEST:: SOT 13064687 SOS 7408771 HAS SOPS 7408248 HAS SOUS 631582 HAS SOUPS 631059 WITH SCORE 638467.771
AT ITER 7321 NEW BEST:: SOT 13064637 SOS 7408721 HAS SOPS 7408198 HAS SOUS 631532 HAS SOUPS 631009 WITH SCORE 638417.721
AT ITER 7327 NEW BEST:: SOT 13064544 SOS 7408628 HAS SOPS 7408105 HAS SOUS 631460 HAS SOUPS 630937 WITH SCORE 638345.628
AT ITER 7328 NEW BEST:: SOT 13067368 SOS 7411452 HAS SOPS 7410929 HAS SOUS 630805 HAS SOUPS 630282 WITH SCORE 637693.452
AT ITER 7353 NEW BEST:: SOT 13068742 SOS 7415249 HAS SOPS 7414751 HAS SOUS 630696 HAS SOUPS 630198 WITH SCORE 637613.249
AT ITER 7365 NEW BEST:: SOT 13063873 SOS 7410367 HAS SOPS 7409882 HAS SOUS 629787 HAS SOUPS 629302 WITH SCORE 636712.367
AT ITER 7369 NEW BEST:: SOT 13063795 SOS 7410289 HAS SOPS 7409804 HAS SOUS 629624 HAS SOUPS 629139 WITH SCORE 636549.289
AT ITER 7375 NEW BEST:: SOT 13062770 SOS 7409264 HAS SOPS 7408779 HAS SOUS 627313 HAS SOUPS 626828 WITH SCORE 634237.264
AT ITER 7385 NEW BEST:: SOT 13062698 SOS 7409142 HAS SOPS 7408657 HAS SOUS 627241 HAS SOUPS 626756 WITH SCORE 634165.142
AT ITER 7401 NEW BEST:: SOT 13062698 SOS 7409790 HAS SOPS 7409305 HAS SOUS 627223 HAS SOUPS 626738 WITH SCORE 634147.79
AT ITER 7461 NEW BEST:: SOT 13062698 SOS 7406046 HAS SOPS 7405561 HAS SOUS 627223 HAS SOUPS 626738 WITH SCORE 634144.046
AT ITER 7513 NEW BEST:: SOT 13062508 SOS 7405856 HAS SOPS 7405371 HAS SOUS 627033 HAS SOUPS 626548 WITH SCORE 633953.856
AT ITER 7536 NEW BEST:: SOT 13060930 SOS 7404278 HAS SOPS 7403793 HAS SOUS 625908 HAS SOUPS 625423 WITH SCORE 632827.278
AT ITER 7576 NEW BEST:: SOT 13060394 SOS 7402650 HAS SOPS 7402165 HAS SOUS 624826 HAS SOUPS 624341 WITH SCORE 631743.65
AT ITER 7579 NEW BEST:: SOT 13060402 SOS 7402640 HAS SOPS 7402152 HAS SOUS 624789 HAS SOUPS 624301 WITH SCORE 631703.64
AT ITER 7597 NEW BEST:: SOT 13060343 SOS 7404291 HAS SOPS 7403803 HAS SOUS 624767 HAS SOUPS 624279 WITH SCORE 631683.291
AT ITER 7637 NEW BEST:: SOT 13060343 SOS 7402347 HAS SOPS 7401859 HAS SOUS 624767 HAS SOUPS 624279 WITH SCORE 631681.347
AT ITER 7641 NEW BEST:: SOT 13060040 SOS 7402044 HAS SOPS 7401556 HAS SOUS 623540 HAS SOUPS 623052 WITH SCORE 630454.044
AT ITER 7647 NEW BEST:: SOT 13060040 SOS 7398894 HAS SOPS 7398406 HAS SOUS 623499 HAS SOUPS 623011 WITH SCORE 630409.894
AT ITER 7648 NEW BEST:: SOT 13060011 SOS 7398865 HAS SOPS 7398377 HAS SOUS 623474 HAS SOUPS 622986 WITH SCORE 630384.865
AT ITER 7676 NEW BEST:: SOT 13060011 SOS 7399130 HAS SOPS 7398642 HAS SOUS 623427 HAS SOUPS 622939 WITH SCORE 630338.13
AT ITER 7677 NEW BEST:: SOT 13060011 SOS 7399850 HAS SOPS 7399362 HAS SOUS 623399 HAS SOUPS 622911 WITH SCORE 630310.85
AT ITER 7678 NEW BEST:: SOT 13061456 SOS 7401295 HAS SOPS 7400807 HAS SOUS 623114 HAS SOUPS 622626 WITH SCORE 630027.295
AT ITER 7715 NEW BEST:: SOT 13061456 SOS 7401281 HAS SOPS 7400793 HAS SOUS 623107 HAS SOUPS 622619 WITH SCORE 630020.281
AT ITER 7716 NEW BEST:: SOT 13062177 SOS 7402002 HAS SOPS 7401514 HAS SOUS 622799 HAS SOUPS 622311 WITH SCORE 629713.002
AT ITER 7729 NEW BEST:: SOT 13062042 SOS 7407387 HAS SOPS 7406899 HAS SOUS 622607 HAS SOUPS 622119 WITH SCORE 629526.387
AT ITER 7772 NEW BEST:: SOT 13062043 SOS 7407388 HAS SOPS 7406900 HAS SOUS 622606 HAS SOUPS 622118 WITH SCORE 629525.388
AT ITER 7787 NEW BEST:: SOT 13064908 SOS 7413061 HAS SOPS 7412573 HAS SOUS 622232 HAS SOUPS 621744 WITH SCORE 629157.061
AT ITER 7805 NEW BEST:: SOT 13064908 SOS 7412349 HAS SOPS 7411861 HAS SOUS 622210 HAS SOUPS 621722 WITH SCORE 629134.349
AT ITER 7811 NEW BEST:: SOT 13064856 SOS 7412297 HAS SOPS 7411809 HAS SOUS 622210 HAS SOUPS 621722 WITH SCORE 629134.297
AT ITER 7829 NEW BEST:: SOT 13064852 SOS 7412293 HAS SOPS 7411805 HAS SOUS 622206 HAS SOUPS 621718 WITH SCORE 629130.293
AT ITER 7841 NEW BEST:: SOT 13064852 SOS 7412259 HAS SOPS 7411771 HAS SOUS 621192 HAS SOUPS 620704 WITH SCORE 628116.259
AT ITER 7909 NEW BEST:: SOT 13064852 SOS 7414635 HAS SOPS 7414147 HAS SOUS 621082 HAS SOUPS 620594 WITH SCORE 628008.635
AT ITER 7910 NEW BEST:: SOT 13066478 SOS 7418709 HAS SOPS 7418221 HAS SOUS 619118 HAS SOUPS 618630 WITH SCORE 626048.709
AT ITER 8018 NEW BEST:: SOT 13066478 SOS 7417773 HAS SOPS 7417285 HAS SOUS 619053 HAS SOUPS 618565 WITH SCORE 625982.773
AT ITER 8030 NEW BEST:: SOT 13066478 SOS 7416821 HAS SOPS 7416333 HAS SOUS 619053 HAS SOUPS 618565 WITH SCORE 625981.821
AT ITER 8047 NEW BEST:: SOT 13066475 SOS 7416818 HAS SOPS 7416330 HAS SOUS 619050 HAS SOUPS 618562 WITH SCORE 625978.818
AT ITER 8063 NEW BEST:: SOT 13066475 SOS 7417322 HAS SOPS 7416834 HAS SOUS 619037 HAS SOUPS 618549 WITH SCORE 625966.322
AT ITER 8112 NEW BEST:: SOT 13065888 SOS 7416735 HAS SOPS 7416247 HAS SOUS 618899 HAS SOUPS 618411 WITH SCORE 625827.735
AT ITER 8117 NEW BEST:: SOT 13066970 SOS 7417817 HAS SOPS 7417329 HAS SOUS 618881 HAS SOUPS 618393 WITH SCORE 625810.817
AT ITER 8142 NEW BEST:: SOT 13066970 SOS 7417817 HAS SOPS 7417329 HAS SOUS 618877 HAS SOUPS 618389 WITH SCORE 625806.817
AT ITER 8150 NEW BEST:: SOT 13062712 SOS 7413559 HAS SOPS 7413071 HAS SOUS 617393 HAS SOUPS 616905 WITH SCORE 624318.559
AT ITER 8188 NEW BEST:: SOT 13062379 SOS 7413226 HAS SOPS 7412738 HAS SOUS 616721 HAS SOUPS 616233 WITH SCORE 623646.226
AT ITER 8217 NEW BEST:: SOT 13058094 SOS 7408941 HAS SOPS 7408453 HAS SOUS 615610 HAS SOUPS 615122 WITH SCORE 622530.941
AT ITER 8234 NEW BEST:: SOT 13063867 SOS 7419610 HAS SOPS 7419122 HAS SOUS 614542 HAS SOUPS 614054 WITH SCORE 621473.61
AT ITER 8236 NEW BEST:: SOT 13061044 SOS 7420742 HAS SOPS 7420254 HAS SOUS 612786 HAS SOUPS 612298 WITH SCORE 619718.742
AT ITER 8245 NEW BEST:: SOT 13061044 SOS 7418006 HAS SOPS 7417518 HAS SOUS 612786 HAS SOUPS 612298 WITH SCORE 619716.006
AT ITER 8312 NEW BEST:: SOT 13061016 SOS 7417978 HAS SOPS 7417490 HAS SOUS 612772 HAS SOUPS 612284 WITH SCORE 619701.978
AT ITER 8315 NEW BEST:: SOT 13061004 SOS 7417966 HAS SOPS 7417478 HAS SOUS 612760 HAS SOUPS 612272 WITH SCORE 619689.966
AT ITER 8338 NEW BEST:: SOT 13059059 SOS 7416021 HAS SOPS 7415533 HAS SOUS 610714 HAS SOUPS 610226 WITH SCORE 617642.021
AT ITER 8357 NEW BEST:: SOT 13059059 SOS 7415999 HAS SOPS 7415511 HAS SOUS 610703 HAS SOUPS 610215 WITH SCORE 617630.999
AT ITER 8392 NEW BEST:: SOT 13058985 SOS 7415925 HAS SOPS 7415437 HAS SOUS 610600 HAS SOUPS 610112 WITH SCORE 617527.925
AT ITER 8398 NEW BEST:: SOT 13058979 SOS 7415919 HAS SOPS 7415431 HAS SOUS 610594 HAS SOUPS 610106 WITH SCORE 617521.919
AT ITER 8439 NEW BEST:: SOT 13058667 SOS 7415607 HAS SOPS 7415119 HAS SOUS 609740 HAS SOUPS 609252 WITH SCORE 616667.607
AT ITER 8497 NEW BEST:: SOT 13057486 SOS 7414426 HAS SOPS 7413938 HAS SOUS 609008 HAS SOUPS 608520 WITH SCORE 615934.426
AT ITER 8518 NEW BEST:: SOT 13057692 SOS 7414620 HAS SOPS 7414144 HAS SOUS 604450 HAS SOUPS 603974 WITH SCORE 611388.62
AT ITER 8522 NEW BEST:: SOT 13057692 SOS 7414468 HAS SOPS 7413992 HAS SOUS 604340 HAS SOUPS 603864 WITH SCORE 611278.468
AT ITER 8523 NEW BEST:: SOT 13056264 SOS 7411168 HAS SOPS 7410692 HAS SOUS 602886 HAS SOUPS 602410 WITH SCORE 609821.168
AT ITER 8544 NEW BEST:: SOT 13051429 SOS 7402733 HAS SOPS 7402257 HAS SOUS 602814 HAS SOUPS 602338 WITH SCORE 609740.733
AT ITER 8573 NEW BEST:: SOT 13049708 SOS 7401012 HAS SOPS 7400536 HAS SOUS 602067 HAS SOUPS 601591 WITH SCORE 608992.012
AT ITER 8581 NEW BEST:: SOT 13049708 SOS 7400076 HAS SOPS 7399600 HAS SOUS 599748 HAS SOUPS 599272 WITH SCORE 606672.076
AT ITER 8617 NEW BEST:: SOT 13049716 SOS 7405948 HAS SOPS 7405472 HAS SOUS 599660 HAS SOUPS 599184 WITH SCORE 606589.948
AT ITER 8638 NEW BEST:: SOT 13049513 SOS 7405745 HAS SOPS 7405269 HAS SOUS 599645 HAS SOUPS 599169 WITH SCORE 606574.745
AT ITER 8653 NEW BEST:: SOT 13049513 SOS 7405637 HAS SOPS 7405161 HAS SOUS 599627 HAS SOUPS 599151 WITH SCORE 606556.637
AT ITER 8658 NEW BEST:: SOT 13048168 SOS 7404292 HAS SOPS 7403816 HAS SOUS 599409 HAS SOUPS 598933 WITH SCORE 606337.292
AT ITER 8660 NEW BEST:: SOT 13048168 SOS 7404306 HAS SOPS 7403830 HAS SOUS 599407 HAS SOUPS 598931 WITH SCORE 606335.306
AT ITER 8690 NEW BEST:: SOT 13048318 SOS 7404416 HAS SOPS 7403980 HAS SOUS 597736 HAS SOUPS 597300 WITH SCORE 604704.416
AT ITER 8710 NEW BEST:: SOT 13048232 SOS 7404330 HAS SOPS 7403894 HAS SOUS 597635 HAS SOUPS 597199 WITH SCORE 604603.33
AT ITER 8761 NEW BEST:: SOT 13048232 SOS 7400802 HAS SOPS 7400366 HAS SOUS 597635 HAS SOUPS 597199 WITH SCORE 604599.802
AT ITER 8821 NEW BEST:: SOT 13047592 SOS 7400162 HAS SOPS 7399726 HAS SOUS 596459 HAS SOUPS 596023 WITH SCORE 603423.162
AT ITER 8841 NEW BEST:: SOT 13046082 SOS 7398652 HAS SOPS 7398216 HAS SOUS 593898 HAS SOUPS 593462 WITH SCORE 600860.652
AT ITER 8845 NEW BEST:: SOT 13046321 SOS 7398903 HAS SOPS 7398467 HAS SOUS 593855 HAS SOUPS 593419 WITH SCORE 600817.903
AT ITER 8864 NEW BEST:: SOT 13046321 SOS 7398855 HAS SOPS 7398419 HAS SOUS 593855 HAS SOUPS 593419 WITH SCORE 600817.855
AT ITER 8870 NEW BEST:: SOT 13047195 SOS 7399642 HAS SOPS 7399119 HAS SOUS 593597 HAS SOUPS 593074 WITH SCORE 600473.642
AT ITER 8889 NEW BEST:: SOT 13047195 SOS 7399570 HAS SOPS 7399047 HAS SOUS 593597 HAS SOUPS 593074 WITH SCORE 600473.57
AT ITER 8890 NEW BEST:: SOT 13045281 SOS 7397656 HAS SOPS 7397133 HAS SOUS 592061 HAS SOUPS 591538 WITH SCORE 598935.656
AT ITER 8896 NEW BEST:: SOT 13044773 SOS 7397148 HAS SOPS 7396625 HAS SOUS 591017 HAS SOUPS 590494 WITH SCORE 597891.148
AT ITER 8954 NEW BEST:: SOT 13044773 SOS 7387439 HAS SOPS 7386916 HAS SOUS 590702 HAS SOUPS 590179 WITH SCORE 597566.439
AT ITER 8965 NEW BEST:: SOT 13044617 SOS 7387283 HAS SOPS 7386760 HAS SOUS 590569 HAS SOUPS 590046 WITH SCORE 597433.283
AT ITER 8969 NEW BEST:: SOT 13044571 SOS 7387237 HAS SOPS 7386714 HAS SOUS 590523 HAS SOUPS 590000 WITH SCORE 597387.237
AT ITER 9065 NEW BEST:: SOT 13045481 SOS 7391626 HAS SOPS 7391103 HAS SOUS 589008 HAS SOUPS 588485 WITH SCORE 595876.626
AT ITER 9087 NEW BEST:: SOT 13045291 SOS 7391436 HAS SOPS 7390913 HAS SOUS 588808 HAS SOUPS 588285 WITH SCORE 595676.436
AT ITER 9089 NEW BEST:: SOT 13043994 SOS 7390253 HAS SOPS 7389730 HAS SOUS 587824 HAS SOUPS 587301 WITH SCORE 594691.253
AT ITER 9094 NEW BEST:: SOT 13048581 SOS 7399376 HAS SOPS 7398853 HAS SOUS 586700 HAS SOUPS 586177 WITH SCORE 593576.376
AT ITER 9101 NEW BEST:: SOT 13048544 SOS 7399339 HAS SOPS 7398816 HAS SOUS 586691 HAS SOUPS 586168 WITH SCORE 593567.339
AT ITER 9108 NEW BEST:: SOT 13048544 SOS 7399209 HAS SOPS 7398686 HAS SOUS 586686 HAS SOUPS 586163 WITH SCORE 593562.209
AT ITER 9110 NEW BEST:: SOT 13048544 SOS 7399209 HAS SOPS 7398686 HAS SOUS 586674 HAS SOUPS 586151 WITH SCORE 593550.209
AT ITER 9123 NEW BEST:: SOT 13047665 SOS 7398330 HAS SOPS 7397807 HAS SOUS 584820 HAS SOUPS 584297 WITH SCORE 591695.33
AT ITER 9183 NEW BEST:: SOT 13048606 SOS 7399222 HAS SOPS 7398699 HAS SOUS 583716 HAS SOUPS 583193 WITH SCORE 590592.222
AT ITER 9186 NEW BEST:: SOT 13048576 SOS 7399192 HAS SOPS 7398669 HAS SOUS 583655 HAS SOUPS 583132 WITH SCORE 590531.192
AT ITER 9211 NEW BEST:: SOT 13048624 SOS 7399237 HAS SOPS 7398717 HAS SOUS 583577 HAS SOUPS 583057 WITH SCORE 590456.237
AT ITER 9292 NEW BEST:: SOT 13048624 SOS 7398229 HAS SOPS 7397709 HAS SOUS 583577 HAS SOUPS 583057 WITH SCORE 590455.229
AT ITER 9320 NEW BEST:: SOT 13048321 SOS 7397926 HAS SOPS 7397406 HAS SOUS 583524 HAS SOUPS 583004 WITH SCORE 590401.926
AT ITER 9333 NEW BEST:: SOT 13048243 SOS 7397848 HAS SOPS 7397328 HAS SOUS 583365 HAS SOUPS 582845 WITH SCORE 590242.848
AT ITER 9340 NEW BEST:: SOT 13045791 SOS 7393956 HAS SOPS 7393436 HAS SOUS 582681 HAS SOUPS 582161 WITH SCORE 589554.956
AT ITER 9347 NEW BEST:: SOT 13045156 SOS 7393321 HAS SOPS 7392801 HAS SOUS 582179 HAS SOUPS 581659 WITH SCORE 589052.321
AT ITER 9354 NEW BEST:: SOT 13045156 SOS 7393321 HAS SOPS 7392801 HAS SOUS 582167 HAS SOUPS 581647 WITH SCORE 589040.321
AT ITER 9377 NEW BEST:: SOT 13044153 SOS 7390428 HAS SOPS 7389908 HAS SOUS 581642 HAS SOUPS 581122 WITH SCORE 588512.428
AT ITER 9404 NEW BEST:: SOT 13044487 SOS 7390762 HAS SOPS 7390242 HAS SOUS 581610 HAS SOUPS 581090 WITH SCORE 588480.762
AT ITER 9424 NEW BEST:: SOT 13050311 SOS 7396586 HAS SOPS 7396066 HAS SOUS 581368 HAS SOUPS 580848 WITH SCORE 588244.586
AT ITER 9447 NEW BEST:: SOT 13050719 SOS 7401026 HAS SOPS 7400506 HAS SOUS 581079 HAS SOUPS 580559 WITH SCORE 587960.026
AT ITER 9449 NEW BEST:: SOT 13050814 SOS 7401121 HAS SOPS 7400601 HAS SOUS 580849 HAS SOUPS 580329 WITH SCORE 587730.121
AT ITER 9474 NEW BEST:: SOT 13050814 SOS 7397233 HAS SOPS 7396713 HAS SOUS 580130 HAS SOUPS 579610 WITH SCORE 587007.233
AT ITER 9478 NEW BEST:: SOT 13050812 SOS 7397231 HAS SOPS 7396711 HAS SOUS 580128 HAS SOUPS 579608 WITH SCORE 587005.231
AT ITER 9488 NEW BEST:: SOT 13050122 SOS 7396541 HAS SOPS 7396021 HAS SOUS 578731 HAS SOUPS 578211 WITH SCORE 585607.541
AT ITER 9508 NEW BEST:: SOT 13049031 SOS 7395478 HAS SOPS 7394930 HAS SOUS 578441 HAS SOUPS 577893 WITH SCORE 585288.478
AT ITER 9528 NEW BEST:: SOT 13048942 SOS 7395389 HAS SOPS 7394841 HAS SOUS 578358 HAS SOUPS 577810 WITH SCORE 585205.389
AT ITER 9566 NEW BEST:: SOT 13048935 SOS 7395382 HAS SOPS 7394834 HAS SOUS 578354 HAS SOUPS 577806 WITH SCORE 585201.382
AT ITER 9590 NEW BEST:: SOT 13048958 SOS 7395405 HAS SOPS 7394857 HAS SOUS 578336 HAS SOUPS 577788 WITH SCORE 585183.405
AT ITER 9608 NEW BEST:: SOT 13048048 SOS 7394495 HAS SOPS 7393947 HAS SOUS 577153 HAS SOUPS 576605 WITH SCORE 583999.495
AT ITER 9627 NEW BEST:: SOT 13048048 SOS 7392551 HAS SOPS 7392003 HAS SOUS 577153 HAS SOUPS 576605 WITH SCORE 583997.551
AT ITER 9645 NEW BEST:: SOT 13048048 SOS 7390895 HAS SOPS 7390347 HAS SOUS 577153 HAS SOUPS 576605 WITH SCORE 583995.895
AT ITER 9754 NEW BEST:: SOT 13048048 SOS 7227158 HAS SOPS 7226610 HAS SOUS 577153 HAS SOUPS 576605 WITH SCORE 583832.158
AT ITER 9759 NEW BEST:: SOT 13048048 SOS 7227000 HAS SOPS 7226452 HAS SOUS 577101 HAS SOUPS 576553 WITH SCORE 583780.0
AT ITER 9773 NEW BEST:: SOT 13045102 SOS 7224054 HAS SOPS 7223506 HAS SOUS 574563 HAS SOUPS 574015 WITH SCORE 581239.054
AT ITER 9776 NEW BEST:: SOT 13044941 SOS 7223893 HAS SOPS 7223345 HAS SOUS 574359 HAS SOUPS 573811 WITH SCORE 581034.893
AT ITER 9778 NEW BEST:: SOT 13044051 SOS 7223003 HAS SOPS 7222455 HAS SOUS 574006 HAS SOUPS 573458 WITH SCORE 580681.003
AT ITER 9836 NEW BEST:: SOT 13044050 SOS 7223002 HAS SOPS 7222454 HAS SOUS 574005 HAS SOUPS 573457 WITH SCORE 580680.002
AT ITER 9867 NEW BEST:: SOT 13043981 SOS 7222933 HAS SOPS 7222385 HAS SOUS 573579 HAS SOUPS 573031 WITH SCORE 580253.933
AT ITER 9876 NEW BEST:: SOT 13041578 SOS 7220530 HAS SOPS 7219982 HAS SOUS 572790 HAS SOUPS 572242 WITH SCORE 579462.53
AT ITER 9890 NEW BEST:: SOT 13041462 SOS 7220270 HAS SOPS 7219722 HAS SOUS 572759 HAS SOUPS 572211 WITH SCORE 579431.27
AT ITER 9909 NEW BEST:: SOT 13040993 SOS 7219818 HAS SOPS 7219253 HAS SOUS 572741 HAS SOUPS 572176 WITH SCORE 579395.818
AT ITER 9915 NEW BEST:: SOT 13042638 SOS 7221463 HAS SOPS 7220898 HAS SOUS 572606 HAS SOUPS 572041 WITH SCORE 579262.463
AT ITER 9916 NEW BEST:: SOT 13042656 SOS 7221625 HAS SOPS 7221060 HAS SOUS 571996 HAS SOUPS 571431 WITH SCORE 578652.625
AT ITER 9979 NEW BEST:: SOT 13041434 SOS 7220403 HAS SOPS 7219838 HAS SOUS 571990 HAS SOUPS 571425 WITH SCORE 578645.403
AT ITER 9993 NEW BEST:: SOT 13040996 SOS 7219605 HAS SOPS 7219040 HAS SOUS 571792 HAS SOUPS 571227 WITH SCORE 578446.605

BK_STOP 1678791688778

--------------------
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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
double free or corruption (out)
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 524 Aborted ${SMART}/smart ${INPUT_SM}

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-q8m016"
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-q8m016, 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-167813696800416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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