Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813599800120.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ASLink-PT-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599800120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 6.6K Feb 26 13:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 13:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 13:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 13:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 13:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 13:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 13:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 13:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.1M 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 1678726616574

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-07b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 16:56:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 16:56:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 16:56:59] [INFO ] Load time of PNML (sax parser for PT used): 161 ms
[2023-03-13 16:56:59] [INFO ] Transformed 3222 places.
[2023-03-13 16:56:59] [INFO ] Transformed 3986 transitions.
[2023-03-13 16:56:59] [INFO ] Found NUPN structural information;
[2023-03-13 16:56:59] [INFO ] Parsed PT model containing 3222 places and 3986 transitions and 12126 arcs in 287 ms.
[2023-03-13 16:56:59] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3222 places, 3986 transitions and 12126 arcs took 35 ms.
Total runtime 358 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 07b
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: 3222 places, 3986 transitions, 12126 arcs.
AT ITER 0 NEW BEST:: SOT 6887059 SOS 1328016 HAS SOPS 1328016 HAS SOUS 1070413 HAS SOUPS 1070413 WITH SCORE 1071741.016
AT ITER 16 NEW BEST:: SOT 6886925 SOS 1327857 HAS SOPS 1327857 HAS SOUS 1070279 HAS SOUPS 1070279 WITH SCORE 1071606.857
AT ITER 17 NEW BEST:: SOT 6886925 SOS 1327630 HAS SOPS 1327630 HAS SOUS 1070279 HAS SOUPS 1070279 WITH SCORE 1071606.63
AT ITER 22 NEW BEST:: SOT 6886912 SOS 1327617 HAS SOPS 1327617 HAS SOUS 1070259 HAS SOUPS 1070259 WITH SCORE 1071586.617
AT ITER 34 NEW BEST:: SOT 6886832 SOS 1327533 HAS SOPS 1327533 HAS SOUS 1070175 HAS SOUPS 1070175 WITH SCORE 1071502.533
AT ITER 84 NEW BEST:: SOT 6886785 SOS 1327486 HAS SOPS 1327486 HAS SOUS 1070128 HAS SOUPS 1070128 WITH SCORE 1071455.486
AT ITER 92 NEW BEST:: SOT 6886638 SOS 1327192 HAS SOPS 1327192 HAS SOUS 1069960 HAS SOUPS 1069960 WITH SCORE 1071287.192
AT ITER 128 NEW BEST:: SOT 6886493 SOS 1326757 HAS SOPS 1326757 HAS SOUS 1069525 HAS SOUPS 1069525 WITH SCORE 1070851.757
AT ITER 139 NEW BEST:: SOT 6886164 SOS 1326467 HAS SOPS 1326467 HAS SOUS 1069235 HAS SOUPS 1069235 WITH SCORE 1070561.467
AT ITER 144 NEW BEST:: SOT 6886057 SOS 1326006 HAS SOPS 1326006 HAS SOUS 1068979 HAS SOUPS 1068979 WITH SCORE 1070305.006
AT ITER 221 NEW BEST:: SOT 6885900 SOS 1325603 HAS SOPS 1325603 HAS SOUS 1068822 HAS SOUPS 1068822 WITH SCORE 1070147.603
AT ITER 229 NEW BEST:: SOT 6885746 SOS 1326527 HAS SOPS 1326527 HAS SOUS 1068664 HAS SOUPS 1068664 WITH SCORE 1069990.527
AT ITER 237 NEW BEST:: SOT 6885706 SOS 1326293 HAS SOPS 1326293 HAS SOUS 1068651 HAS SOUPS 1068651 WITH SCORE 1069977.293
AT ITER 249 NEW BEST:: SOT 6885706 SOS 1326289 HAS SOPS 1326289 HAS SOUS 1068647 HAS SOUPS 1068647 WITH SCORE 1069973.289
AT ITER 286 NEW BEST:: SOT 6883483 SOS 1325388 HAS SOPS 1325388 HAS SOUS 1066862 HAS SOUPS 1066862 WITH SCORE 1068187.388
AT ITER 290 NEW BEST:: SOT 6883482 SOS 1325289 HAS SOPS 1325289 HAS SOUS 1066859 HAS SOUPS 1066859 WITH SCORE 1068184.289
AT ITER 292 NEW BEST:: SOT 6883066 SOS 1324295 HAS SOPS 1324295 HAS SOUS 1066026 HAS SOUPS 1066026 WITH SCORE 1067350.295
AT ITER 302 NEW BEST:: SOT 6883066 SOS 1324291 HAS SOPS 1324291 HAS SOUS 1066026 HAS SOUPS 1066026 WITH SCORE 1067350.291
AT ITER 310 NEW BEST:: SOT 6883013 SOS 1324132 HAS SOPS 1324132 HAS SOUS 1065920 HAS SOUPS 1065920 WITH SCORE 1067244.132
AT ITER 314 NEW BEST:: SOT 6882754 SOS 1323719 HAS SOPS 1323719 HAS SOUS 1065792 HAS SOUPS 1065792 WITH SCORE 1067115.719
AT ITER 329 NEW BEST:: SOT 6882344 SOS 1323448 HAS SOPS 1323448 HAS SOUS 1065521 HAS SOUPS 1065521 WITH SCORE 1066844.448
AT ITER 330 NEW BEST:: SOT 6882342 SOS 1323444 HAS SOPS 1323444 HAS SOUS 1065517 HAS SOUPS 1065517 WITH SCORE 1066840.444
AT ITER 338 NEW BEST:: SOT 6881546 SOS 1322630 HAS SOPS 1322630 HAS SOUS 1064843 HAS SOUPS 1064843 WITH SCORE 1066165.63
AT ITER 369 NEW BEST:: SOT 6881426 SOS 1323282 HAS SOPS 1323282 HAS SOUS 1064697 HAS SOUPS 1064697 WITH SCORE 1066020.282
AT ITER 374 NEW BEST:: SOT 6881345 SOS 1323201 HAS SOPS 1323201 HAS SOUS 1064694 HAS SOUPS 1064694 WITH SCORE 1066017.201
AT ITER 384 NEW BEST:: SOT 6881159 SOS 1323004 HAS SOPS 1323004 HAS SOUS 1064489 HAS SOUPS 1064489 WITH SCORE 1065812.004
AT ITER 385 NEW BEST:: SOT 6881159 SOS 1322818 HAS SOPS 1322818 HAS SOUS 1064303 HAS SOUPS 1064303 WITH SCORE 1065625.818
AT ITER 399 NEW BEST:: SOT 6881159 SOS 1322817 HAS SOPS 1322817 HAS SOUS 1064302 HAS SOUPS 1064302 WITH SCORE 1065624.817
AT ITER 405 NEW BEST:: SOT 6881079 SOS 1322737 HAS SOPS 1322737 HAS SOUS 1064222 HAS SOUPS 1064222 WITH SCORE 1065544.737
AT ITER 433 NEW BEST:: SOT 6880900 SOS 1322543 HAS SOPS 1322543 HAS SOUS 1063993 HAS SOUPS 1063993 WITH SCORE 1065315.543
AT ITER 447 NEW BEST:: SOT 6880737 SOS 1322463 HAS SOPS 1322463 HAS SOUS 1063828 HAS SOUPS 1063828 WITH SCORE 1065150.463
AT ITER 457 NEW BEST:: SOT 6880516 SOS 1322206 HAS SOPS 1322206 HAS SOUS 1063565 HAS SOUPS 1063565 WITH SCORE 1064887.206
AT ITER 465 NEW BEST:: SOT 6880516 SOS 1322231 HAS SOPS 1322231 HAS SOUS 1062410 HAS SOUPS 1062410 WITH SCORE 1063732.231
AT ITER 473 NEW BEST:: SOT 6880497 SOS 1322193 HAS SOPS 1322193 HAS SOUS 1062271 HAS SOUPS 1062271 WITH SCORE 1063593.193
AT ITER 488 NEW BEST:: SOT 6880370 SOS 1321812 HAS SOPS 1321812 HAS SOUS 1062016 HAS SOUPS 1062016 WITH SCORE 1063337.812
AT ITER 509 NEW BEST:: SOT 6880245 SOS 1321437 HAS SOPS 1321437 HAS SOUS 1061766 HAS SOUPS 1061766 WITH SCORE 1063087.437
AT ITER 513 NEW BEST:: SOT 6879153 SOS 1320345 HAS SOPS 1320345 HAS SOUS 1061766 HAS SOUPS 1061766 WITH SCORE 1063086.345
AT ITER 536 NEW BEST:: SOT 6879018 SOS 1320381 HAS SOPS 1320381 HAS SOUS 1061754 HAS SOUPS 1061754 WITH SCORE 1063074.381
AT ITER 544 NEW BEST:: SOT 6879009 SOS 1320363 HAS SOPS 1320363 HAS SOUS 1061736 HAS SOUPS 1061736 WITH SCORE 1063056.363
AT ITER 549 NEW BEST:: SOT 6876807 SOS 1322596 HAS SOPS 1322596 HAS SOUS 1060419 HAS SOUPS 1060419 WITH SCORE 1061741.596
AT ITER 560 NEW BEST:: SOT 6876767 SOS 1322482 HAS SOPS 1322482 HAS SOUS 1060359 HAS SOUPS 1060359 WITH SCORE 1061681.482
AT ITER 575 NEW BEST:: SOT 6876766 SOS 1322477 HAS SOPS 1322477 HAS SOUS 1060354 HAS SOUPS 1060354 WITH SCORE 1061676.477
AT ITER 578 NEW BEST:: SOT 6875725 SOS 1321823 HAS SOPS 1321823 HAS SOUS 1059701 HAS SOUPS 1059701 WITH SCORE 1061022.823
AT ITER 585 NEW BEST:: SOT 6875467 SOS 1321679 HAS SOPS 1321679 HAS SOUS 1059557 HAS SOUPS 1059557 WITH SCORE 1060878.679
AT ITER 622 NEW BEST:: SOT 6875302 SOS 1321678 HAS SOPS 1321678 HAS SOUS 1059556 HAS SOUPS 1059556 WITH SCORE 1060877.678
AT ITER 655 NEW BEST:: SOT 6875306 SOS 1322793 HAS SOPS 1322793 HAS SOUS 1059523 HAS SOUPS 1059523 WITH SCORE 1060845.793
AT ITER 657 NEW BEST:: SOT 6875177 SOS 1322534 HAS SOPS 1322534 HAS SOUS 1059264 HAS SOUPS 1059264 WITH SCORE 1060586.534
AT ITER 660 NEW BEST:: SOT 6874777 SOS 1322134 HAS SOPS 1322134 HAS SOUS 1058864 HAS SOUPS 1058864 WITH SCORE 1060186.134
AT ITER 686 NEW BEST:: SOT 6874777 SOS 1322128 HAS SOPS 1322128 HAS SOUS 1058858 HAS SOUPS 1058858 WITH SCORE 1060180.128
AT ITER 696 NEW BEST:: SOT 6873531 SOS 1320967 HAS SOPS 1320967 HAS SOUS 1057654 HAS SOUPS 1057654 WITH SCORE 1058974.967
AT ITER 700 NEW BEST:: SOT 6873504 SOS 1320940 HAS SOPS 1320940 HAS SOUS 1057627 HAS SOUPS 1057627 WITH SCORE 1058947.94
AT ITER 742 NEW BEST:: SOT 6873177 SOS 1320568 HAS SOPS 1320568 HAS SOUS 1057250 HAS SOUPS 1057250 WITH SCORE 1058570.568
AT ITER 798 NEW BEST:: SOT 6872534 SOS 1319966 HAS SOPS 1319966 HAS SOUS 1056648 HAS SOUPS 1056648 WITH SCORE 1057967.966
AT ITER 802 NEW BEST:: SOT 6872374 SOS 1319646 HAS SOPS 1319646 HAS SOUS 1056488 HAS SOUPS 1056488 WITH SCORE 1057807.646
AT ITER 806 NEW BEST:: SOT 6872370 SOS 1319639 HAS SOPS 1319639 HAS SOUS 1056483 HAS SOUPS 1056483 WITH SCORE 1057802.639
AT ITER 848 NEW BEST:: SOT 6872223 SOS 1319596 HAS SOPS 1319596 HAS SOUS 1056440 HAS SOUPS 1056440 WITH SCORE 1057759.596
AT ITER 867 NEW BEST:: SOT 6872215 SOS 1319579 HAS SOPS 1319579 HAS SOUS 1056423 HAS SOUPS 1056423 WITH SCORE 1057742.579
AT ITER 878 NEW BEST:: SOT 6871917 SOS 1319281 HAS SOPS 1319281 HAS SOUS 1056125 HAS SOUPS 1056125 WITH SCORE 1057444.281
AT ITER 880 NEW BEST:: SOT 6871917 SOS 1319224 HAS SOPS 1319224 HAS SOUS 1056068 HAS SOUPS 1056068 WITH SCORE 1057387.224
AT ITER 896 NEW BEST:: SOT 6871729 SOS 1318801 HAS SOPS 1318801 HAS SOUS 1055645 HAS SOUPS 1055645 WITH SCORE 1056963.801
AT ITER 898 NEW BEST:: SOT 6871633 SOS 1318705 HAS SOPS 1318705 HAS SOUS 1055548 HAS SOUPS 1055548 WITH SCORE 1056866.705
AT ITER 908 NEW BEST:: SOT 6871632 SOS 1318523 HAS SOPS 1318523 HAS SOUS 1055385 HAS SOUPS 1055385 WITH SCORE 1056703.523
AT ITER 910 NEW BEST:: SOT 6871632 SOS 1318382 HAS SOPS 1318382 HAS SOUS 1055385 HAS SOUPS 1055385 WITH SCORE 1056703.382
AT ITER 912 NEW BEST:: SOT 6871630 SOS 1318327 HAS SOPS 1318327 HAS SOUS 1052788 HAS SOUPS 1052788 WITH SCORE 1054106.327
AT ITER 930 NEW BEST:: SOT 6871616 SOS 1318038 HAS SOPS 1318038 HAS SOUS 1050902 HAS SOUPS 1050902 WITH SCORE 1052220.038
AT ITER 937 NEW BEST:: SOT 6871661 SOS 1318082 HAS SOPS 1318082 HAS SOUS 1050806 HAS SOUPS 1050806 WITH SCORE 1052124.082
AT ITER 949 NEW BEST:: SOT 6871661 SOS 1318000 HAS SOPS 1318000 HAS SOUS 1050806 HAS SOUPS 1050806 WITH SCORE 1052124.0
AT ITER 954 NEW BEST:: SOT 6871660 SOS 1317998 HAS SOPS 1317998 HAS SOUS 1050804 HAS SOUPS 1050804 WITH SCORE 1052121.998
AT ITER 995 NEW BEST:: SOT 6871376 SOS 1317722 HAS SOPS 1317722 HAS SOUS 1050528 HAS SOUPS 1050528 WITH SCORE 1051845.722
AT ITER 1032 NEW BEST:: SOT 6871376 SOS 1316861 HAS SOPS 1316861 HAS SOUS 1050528 HAS SOUPS 1050528 WITH SCORE 1051844.861
AT ITER 1040 NEW BEST:: SOT 6871022 SOS 1316685 HAS SOPS 1316685 HAS SOUS 1050338 HAS SOUPS 1050338 WITH SCORE 1051654.685
AT ITER 1061 NEW BEST:: SOT 6871022 SOS 1316640 HAS SOPS 1316640 HAS SOUS 1050338 HAS SOUPS 1050338 WITH SCORE 1051654.64
AT ITER 1122 NEW BEST:: SOT 6871022 SOS 1316636 HAS SOPS 1316636 HAS SOUS 1050334 HAS SOUPS 1050334 WITH SCORE 1051650.636
AT ITER 1164 NEW BEST:: SOT 6871022 SOS 1316634 HAS SOPS 1316634 HAS SOUS 1050332 HAS SOUPS 1050332 WITH SCORE 1051648.634
AT ITER 1209 NEW BEST:: SOT 6870938 SOS 1316237 HAS SOPS 1316237 HAS SOUS 1050252 HAS SOUPS 1050252 WITH SCORE 1051568.237
AT ITER 1227 NEW BEST:: SOT 6870938 SOS 1316036 HAS SOPS 1316036 HAS SOUS 1050251 HAS SOUPS 1050251 WITH SCORE 1051567.036
AT ITER 1263 NEW BEST:: SOT 6870937 SOS 1315848 HAS SOPS 1315848 HAS SOUS 1050249 HAS SOUPS 1050249 WITH SCORE 1051564.848
AT ITER 1281 NEW BEST:: SOT 6870791 SOS 1317852 HAS SOPS 1317852 HAS SOUS 1050244 HAS SOUPS 1050244 WITH SCORE 1051561.852
AT ITER 1282 NEW BEST:: SOT 6870645 SOS 1317674 HAS SOPS 1317674 HAS SOUS 1050056 HAS SOUPS 1050056 WITH SCORE 1051373.674
AT ITER 1284 NEW BEST:: SOT 6870645 SOS 1317673 HAS SOPS 1317673 HAS SOUS 1050055 HAS SOUPS 1050055 WITH SCORE 1051372.673
AT ITER 1292 NEW BEST:: SOT 6870645 SOS 1317673 HAS SOPS 1317673 HAS SOUS 1049611 HAS SOUPS 1049611 WITH SCORE 1050928.673
AT ITER 1334 NEW BEST:: SOT 6868401 SOS 1317730 HAS SOPS 1317730 HAS SOUS 1048121 HAS SOUPS 1048121 WITH SCORE 1049438.73
AT ITER 1340 NEW BEST:: SOT 6868201 SOS 1317933 HAS SOPS 1317933 HAS SOUS 1048079 HAS SOUPS 1048079 WITH SCORE 1049396.933
AT ITER 1362 NEW BEST:: SOT 6870255 SOS 1320010 HAS SOPS 1320010 HAS SOUS 1047795 HAS SOUPS 1047795 WITH SCORE 1049115.01
AT ITER 1377 NEW BEST:: SOT 6870183 SOS 1319721 HAS SOPS 1319721 HAS SOUS 1047651 HAS SOUPS 1047651 WITH SCORE 1048970.721
AT ITER 1378 NEW BEST:: SOT 6869391 SOS 1319190 HAS SOPS 1319190 HAS SOUS 1047120 HAS SOUPS 1047120 WITH SCORE 1048439.19
AT ITER 1384 NEW BEST:: SOT 6869176 SOS 1319611 HAS SOPS 1319611 HAS SOUS 1046896 HAS SOUPS 1046896 WITH SCORE 1048215.611
AT ITER 1396 NEW BEST:: SOT 6869088 SOS 1319522 HAS SOPS 1319522 HAS SOUS 1046807 HAS SOUPS 1046807 WITH SCORE 1048126.522
AT ITER 1408 NEW BEST:: SOT 6868912 SOS 1319322 HAS SOPS 1319322 HAS SOUS 1046289 HAS SOUPS 1046289 WITH SCORE 1047608.322
AT ITER 1427 NEW BEST:: SOT 6868488 SOS 1319081 HAS SOPS 1319081 HAS SOUS 1045925 HAS SOUPS 1045925 WITH SCORE 1047244.081
AT ITER 1437 NEW BEST:: SOT 6868211 SOS 1318803 HAS SOPS 1318803 HAS SOUS 1044966 HAS SOUPS 1044966 WITH SCORE 1046284.803
AT ITER 1458 NEW BEST:: SOT 6868183 SOS 1318743 HAS SOPS 1318743 HAS SOUS 1044906 HAS SOUPS 1044906 WITH SCORE 1046224.743
AT ITER 1474 NEW BEST:: SOT 6868060 SOS 1318497 HAS SOPS 1318497 HAS SOUS 1044660 HAS SOUPS 1044660 WITH SCORE 1045978.497
AT ITER 1500 NEW BEST:: SOT 6868052 SOS 1318368 HAS SOPS 1318368 HAS SOUS 1044635 HAS SOUPS 1044635 WITH SCORE 1045953.368
AT ITER 1505 NEW BEST:: SOT 6867901 SOS 1318217 HAS SOPS 1318217 HAS SOUS 1044483 HAS SOUPS 1044483 WITH SCORE 1045801.217
AT ITER 1517 NEW BEST:: SOT 6867901 SOS 1318136 HAS SOPS 1318136 HAS SOUS 1044483 HAS SOUPS 1044483 WITH SCORE 1045801.136
AT ITER 1537 NEW BEST:: SOT 6867732 SOS 1318229 HAS SOPS 1318229 HAS SOUS 1044396 HAS SOUPS 1044396 WITH SCORE 1045714.229
AT ITER 1542 NEW BEST:: SOT 6867386 SOS 1317537 HAS SOPS 1317537 HAS SOUS 1043747 HAS SOUPS 1043747 WITH SCORE 1045064.537
AT ITER 1553 NEW BEST:: SOT 6867364 SOS 1317471 HAS SOPS 1317471 HAS SOUS 1043725 HAS SOUPS 1043725 WITH SCORE 1045042.471
AT ITER 1570 NEW BEST:: SOT 6867364 SOS 1317471 HAS SOPS 1317471 HAS SOUS 1043705 HAS SOUPS 1043705 WITH SCORE 1045022.471
AT ITER 1574 NEW BEST:: SOT 6867223 SOS 1317318 HAS SOPS 1317318 HAS SOUS 1043552 HAS SOUPS 1043552 WITH SCORE 1044869.318
AT ITER 1638 NEW BEST:: SOT 6866997 SOS 1317315 HAS SOPS 1317315 HAS SOUS 1043366 HAS SOUPS 1043366 WITH SCORE 1044683.315
AT ITER 1650 NEW BEST:: SOT 6866647 SOS 1317083 HAS SOPS 1317083 HAS SOUS 1043134 HAS SOUPS 1043134 WITH SCORE 1044451.083
AT ITER 1661 NEW BEST:: SOT 6866692 SOS 1317099 HAS SOPS 1317099 HAS SOUS 1043087 HAS SOUPS 1043087 WITH SCORE 1044404.099
AT ITER 1730 NEW BEST:: SOT 6866525 SOS 1316898 HAS SOPS 1316898 HAS SOUS 1042879 HAS SOUPS 1042879 WITH SCORE 1044195.898
AT ITER 1733 NEW BEST:: SOT 6866366 SOS 1316721 HAS SOPS 1316721 HAS SOUS 1042702 HAS SOUPS 1042702 WITH SCORE 1044018.721
AT ITER 1739 NEW BEST:: SOT 6866221 SOS 1316636 HAS SOPS 1316636 HAS SOUS 1042349 HAS SOUPS 1042349 WITH SCORE 1043665.636
AT ITER 1753 NEW BEST:: SOT 6866202 SOS 1316617 HAS SOPS 1316617 HAS SOUS 1042330 HAS SOUPS 1042330 WITH SCORE 1043646.617
AT ITER 1761 NEW BEST:: SOT 6866285 SOS 1316744 HAS SOPS 1316744 HAS SOUS 1042151 HAS SOUPS 1042151 WITH SCORE 1043467.744
AT ITER 1766 NEW BEST:: SOT 6866140 SOS 1316573 HAS SOPS 1316573 HAS SOUS 1040857 HAS SOUPS 1040857 WITH SCORE 1042173.573
AT ITER 1773 NEW BEST:: SOT 6866140 SOS 1319277 HAS SOPS 1319277 HAS SOUS 1040346 HAS SOUPS 1040346 WITH SCORE 1041665.277
AT ITER 1777 NEW BEST:: SOT 6866140 SOS 1319276 HAS SOPS 1319276 HAS SOUS 1040345 HAS SOUPS 1040345 WITH SCORE 1041664.276
AT ITER 1778 NEW BEST:: SOT 6866098 SOS 1319192 HAS SOPS 1319192 HAS SOUS 1040261 HAS SOUPS 1040261 WITH SCORE 1041580.192
AT ITER 1818 NEW BEST:: SOT 6865788 SOS 1318688 HAS SOPS 1318688 HAS SOUS 1039757 HAS SOUPS 1039757 WITH SCORE 1041075.688
AT ITER 1832 NEW BEST:: SOT 6865727 SOS 1318627 HAS SOPS 1318627 HAS SOUS 1039757 HAS SOUPS 1039757 WITH SCORE 1041075.627
AT ITER 1835 NEW BEST:: SOT 6865727 SOS 1318525 HAS SOPS 1318525 HAS SOUS 1039757 HAS SOUPS 1039757 WITH SCORE 1041075.525
AT ITER 1845 NEW BEST:: SOT 6865644 SOS 1318359 HAS SOPS 1318359 HAS SOUS 1039670 HAS SOUPS 1039670 WITH SCORE 1040988.359
AT ITER 1848 NEW BEST:: SOT 6865568 SOS 1318207 HAS SOPS 1318207 HAS SOUS 1039594 HAS SOUPS 1039594 WITH SCORE 1040912.207
AT ITER 1862 NEW BEST:: SOT 6865567 SOS 1318205 HAS SOPS 1318205 HAS SOUS 1039592 HAS SOUPS 1039592 WITH SCORE 1040910.205
AT ITER 1869 NEW BEST:: SOT 6863973 SOS 1322778 HAS SOPS 1322778 HAS SOUS 1038968 HAS SOUPS 1038968 WITH SCORE 1040290.778
AT ITER 1907 NEW BEST:: SOT 6863657 SOS 1322541 HAS SOPS 1322541 HAS SOUS 1038731 HAS SOUPS 1038731 WITH SCORE 1040053.541
AT ITER 1910 NEW BEST:: SOT 6863496 SOS 1322380 HAS SOPS 1322380 HAS SOUS 1038570 HAS SOUPS 1038570 WITH SCORE 1039892.38
AT ITER 1933 NEW BEST:: SOT 6863496 SOS 1323875 HAS SOPS 1323875 HAS SOUS 1038529 HAS SOUPS 1038529 WITH SCORE 1039852.875
AT ITER 1943 NEW BEST:: SOT 6863121 SOS 1323520 HAS SOPS 1323520 HAS SOUS 1038172 HAS SOUPS 1038172 WITH SCORE 1039495.52
AT ITER 1971 NEW BEST:: SOT 6863119 SOS 1323518 HAS SOPS 1323518 HAS SOUS 1038170 HAS SOUPS 1038170 WITH SCORE 1039493.518
AT ITER 1982 NEW BEST:: SOT 6862865 SOS 1323264 HAS SOPS 1323264 HAS SOUS 1037662 HAS SOUPS 1037662 WITH SCORE 1038985.264
AT ITER 1994 NEW BEST:: SOT 6862832 SOS 1323231 HAS SOPS 1323231 HAS SOUS 1037628 HAS SOUPS 1037628 WITH SCORE 1038951.231
AT ITER 2002 NEW BEST:: SOT 6862560 SOS 1322126 HAS SOPS 1322126 HAS SOUS 1037102 HAS SOUPS 1037102 WITH SCORE 1038424.126
AT ITER 2038 NEW BEST:: SOT 6862560 SOS 1322237 HAS SOPS 1322237 HAS SOUS 1037079 HAS SOUPS 1037079 WITH SCORE 1038401.237
AT ITER 2055 NEW BEST:: SOT 6862538 SOS 1322172 HAS SOPS 1322172 HAS SOUS 1036972 HAS SOUPS 1036972 WITH SCORE 1038294.172
AT ITER 2058 NEW BEST:: SOT 6861128 SOS 1325682 HAS SOPS 1325682 HAS SOUS 1035914 HAS SOUPS 1035914 WITH SCORE 1037239.682
AT ITER 2079 NEW BEST:: SOT 6859574 SOS 1332286 HAS SOPS 1332286 HAS SOUS 1035750 HAS SOUPS 1035750 WITH SCORE 1037082.286
AT ITER 2116 NEW BEST:: SOT 6859494 SOS 1332126 HAS SOPS 1332126 HAS SOUS 1035670 HAS SOUPS 1035670 WITH SCORE 1037002.126
AT ITER 2122 NEW BEST:: SOT 6859494 SOS 1332027 HAS SOPS 1332027 HAS SOUS 1035571 HAS SOUPS 1035571 WITH SCORE 1036903.027
AT ITER 2163 NEW BEST:: SOT 6859493 SOS 1332025 HAS SOPS 1332025 HAS SOUS 1035569 HAS SOUPS 1035569 WITH SCORE 1036901.025
AT ITER 2193 NEW BEST:: SOT 6859216 SOS 1331748 HAS SOPS 1331748 HAS SOUS 1035260 HAS SOUPS 1035260 WITH SCORE 1036591.748
AT ITER 2233 NEW BEST:: SOT 6859055 SOS 1331587 HAS SOPS 1331587 HAS SOUS 1035084 HAS SOUPS 1035084 WITH SCORE 1036415.587
AT ITER 2240 NEW BEST:: SOT 6858995 SOS 1331548 HAS SOPS 1331548 HAS SOUS 1035045 HAS SOUPS 1035045 WITH SCORE 1036376.548
AT ITER 2248 NEW BEST:: SOT 6858594 SOS 1331285 HAS SOPS 1331285 HAS SOUS 1034782 HAS SOUPS 1034782 WITH SCORE 1036113.285
AT ITER 2288 NEW BEST:: SOT 6858292 SOS 1330677 HAS SOPS 1330677 HAS SOUS 1034174 HAS SOUPS 1034174 WITH SCORE 1035504.677
AT ITER 2307 NEW BEST:: SOT 6858046 SOS 1330129 HAS SOPS 1330129 HAS SOUS 1033937 HAS SOUPS 1033937 WITH SCORE 1035267.129
AT ITER 2308 NEW BEST:: SOT 6858025 SOS 1330127 HAS SOPS 1330127 HAS SOUS 1033747 HAS SOUPS 1033747 WITH SCORE 1035077.127
AT ITER 2311 NEW BEST:: SOT 6857819 SOS 1329362 HAS SOPS 1329362 HAS SOUS 1033503 HAS SOUPS 1033503 WITH SCORE 1034832.362
AT ITER 2338 NEW BEST:: SOT 6857672 SOS 1329215 HAS SOPS 1329215 HAS SOUS 1033354 HAS SOUPS 1033354 WITH SCORE 1034683.215
AT ITER 2351 NEW BEST:: SOT 6857653 SOS 1329175 HAS SOPS 1329175 HAS SOUS 1033314 HAS SOUPS 1033314 WITH SCORE 1034643.175
AT ITER 2353 NEW BEST:: SOT 6857653 SOS 1329066 HAS SOPS 1329066 HAS SOUS 1033314 HAS SOUPS 1033314 WITH SCORE 1034643.066
AT ITER 2355 NEW BEST:: SOT 6855773 SOS 1335425 HAS SOPS 1335425 HAS SOUS 1032428 HAS SOUPS 1032428 WITH SCORE 1033763.425
AT ITER 2363 NEW BEST:: SOT 6855772 SOS 1335288 HAS SOPS 1335288 HAS SOUS 1032426 HAS SOUPS 1032426 WITH SCORE 1033761.288
AT ITER 2367 NEW BEST:: SOT 6855680 SOS 1335196 HAS SOPS 1335196 HAS SOUS 1032326 HAS SOUPS 1032326 WITH SCORE 1033661.196
AT ITER 2376 NEW BEST:: SOT 6855680 SOS 1336592 HAS SOPS 1336592 HAS SOUS 1032294 HAS SOUPS 1032294 WITH SCORE 1033630.592
AT ITER 2378 NEW BEST:: SOT 6855653 SOS 1336291 HAS SOPS 1336291 HAS SOUS 1032230 HAS SOUPS 1032230 WITH SCORE 1033566.291
AT ITER 2426 NEW BEST:: SOT 6855341 SOS 1335583 HAS SOPS 1335583 HAS SOUS 1031606 HAS SOUPS 1031606 WITH SCORE 1032941.583
AT ITER 2444 NEW BEST:: SOT 6855174 SOS 1335416 HAS SOPS 1335416 HAS SOUS 1031439 HAS SOUPS 1031439 WITH SCORE 1032774.416
AT ITER 2448 NEW BEST:: SOT 6854829 SOS 1335067 HAS SOPS 1335067 HAS SOUS 1031089 HAS SOUPS 1031089 WITH SCORE 1032424.067
AT ITER 2468 NEW BEST:: SOT 6854828 SOS 1335065 HAS SOPS 1335065 HAS SOUS 1031087 HAS SOUPS 1031087 WITH SCORE 1032422.065
AT ITER 2477 NEW BEST:: SOT 6854444 SOS 1334681 HAS SOPS 1334681 HAS SOUS 1030703 HAS SOUPS 1030703 WITH SCORE 1032037.681
AT ITER 2487 NEW BEST:: SOT 6854337 SOS 1334698 HAS SOPS 1334698 HAS SOUS 1030637 HAS SOUPS 1030637 WITH SCORE 1031971.698
AT ITER 2500 NEW BEST:: SOT 6854201 SOS 1335338 HAS SOPS 1335338 HAS SOUS 1030353 HAS SOUPS 1030353 WITH SCORE 1031688.338
AT ITER 2521 NEW BEST:: SOT 6854045 SOS 1335215 HAS SOPS 1335215 HAS SOUS 1030245 HAS SOUPS 1030245 WITH SCORE 1031580.215
AT ITER 2570 NEW BEST:: SOT 6853928 SOS 1334888 HAS SOPS 1334888 HAS SOUS 1030132 HAS SOUPS 1030132 WITH SCORE 1031466.888
AT ITER 2571 NEW BEST:: SOT 6853389 SOS 1334987 HAS SOPS 1334987 HAS SOUS 1029566 HAS SOUPS 1029566 WITH SCORE 1030900.987
AT ITER 2586 NEW BEST:: SOT 6853277 SOS 1334876 HAS SOPS 1334876 HAS SOUS 1029566 HAS SOUPS 1029566 WITH SCORE 1030900.876
AT ITER 2690 NEW BEST:: SOT 6853012 SOS 1334153 HAS SOPS 1334153 HAS SOUS 1029035 HAS SOUPS 1029035 WITH SCORE 1030369.153
AT ITER 2709 NEW BEST:: SOT 6852620 SOS 1333487 HAS SOPS 1333487 HAS SOUS 1028369 HAS SOUPS 1028369 WITH SCORE 1029702.487
AT ITER 2713 NEW BEST:: SOT 6852620 SOS 1333446 HAS SOPS 1333446 HAS SOUS 1028369 HAS SOUPS 1028369 WITH SCORE 1029702.446
AT ITER 2722 NEW BEST:: SOT 6852618 SOS 1333338 HAS SOPS 1333338 HAS SOUS 1028365 HAS SOUPS 1028365 WITH SCORE 1029698.338
AT ITER 2728 NEW BEST:: SOT 6852373 SOS 1332696 HAS SOPS 1332696 HAS SOUS 1027723 HAS SOUPS 1027723 WITH SCORE 1029055.696
AT ITER 2737 NEW BEST:: SOT 6852373 SOS 1332695 HAS SOPS 1332695 HAS SOUS 1027722 HAS SOUPS 1027722 WITH SCORE 1029054.695
AT ITER 2751 NEW BEST:: SOT 6852272 SOS 1332594 HAS SOPS 1332594 HAS SOUS 1027306 HAS SOUPS 1027306 WITH SCORE 1028638.594
AT ITER 2769 NEW BEST:: SOT 6852272 SOS 1332468 HAS SOPS 1332468 HAS SOUS 1027306 HAS SOUPS 1027306 WITH SCORE 1028638.468
AT ITER 2782 NEW BEST:: SOT 6852271 SOS 1332462 HAS SOPS 1332462 HAS SOUS 1027300 HAS SOUPS 1027300 WITH SCORE 1028632.462
AT ITER 2789 NEW BEST:: SOT 6852271 SOS 1332460 HAS SOPS 1332460 HAS SOUS 1027298 HAS SOUPS 1027298 WITH SCORE 1028630.46
AT ITER 2800 NEW BEST:: SOT 6851855 SOS 1332508 HAS SOPS 1332508 HAS SOUS 1027165 HAS SOUPS 1027165 WITH SCORE 1028497.508
AT ITER 2833 NEW BEST:: SOT 6852675 SOS 1333435 HAS SOPS 1333435 HAS SOUS 1025788 HAS SOUPS 1025788 WITH SCORE 1027121.435
AT ITER 2837 NEW BEST:: SOT 6853521 SOS 1334405 HAS SOPS 1334405 HAS SOUS 1025294 HAS SOUPS 1025294 WITH SCORE 1026628.405
AT ITER 2842 NEW BEST:: SOT 6853310 SOS 1333983 HAS SOPS 1333983 HAS SOUS 1025083 HAS SOUPS 1025083 WITH SCORE 1026416.983
AT ITER 2849 NEW BEST:: SOT 6852963 SOS 1333710 HAS SOPS 1333710 HAS SOUS 1024736 HAS SOUPS 1024736 WITH SCORE 1026069.71
AT ITER 2911 NEW BEST:: SOT 6852952 SOS 1333699 HAS SOPS 1333699 HAS SOUS 1024714 HAS SOUPS 1024714 WITH SCORE 1026047.699
AT ITER 2922 NEW BEST:: SOT 6852895 SOS 1333517 HAS SOPS 1333517 HAS SOUS 1024600 HAS SOUPS 1024600 WITH SCORE 1025933.517
AT ITER 2953 NEW BEST:: SOT 6852895 SOS 1333511 HAS SOPS 1333511 HAS SOUS 1024600 HAS SOUPS 1024600 WITH SCORE 1025933.511
AT ITER 2976 NEW BEST:: SOT 6852776 SOS 1333035 HAS SOPS 1333035 HAS SOUS 1024361 HAS SOUPS 1024361 WITH SCORE 1025694.035
AT ITER 2982 NEW BEST:: SOT 6852700 SOS 1332883 HAS SOPS 1332883 HAS SOUS 1024207 HAS SOUPS 1024207 WITH SCORE 1025539.883
AT ITER 2992 NEW BEST:: SOT 6852601 SOS 1332784 HAS SOPS 1332784 HAS SOUS 1024207 HAS SOUPS 1024207 WITH SCORE 1025539.784
AT ITER 3025 NEW BEST:: SOT 6852310 SOS 1332147 HAS SOPS 1332147 HAS SOUS 1023624 HAS SOUPS 1023624 WITH SCORE 1024956.147
AT ITER 3031 NEW BEST:: SOT 6851722 SOS 1332172 HAS SOPS 1332172 HAS SOUS 1023403 HAS SOUPS 1023403 WITH SCORE 1024735.172
AT ITER 3067 NEW BEST:: SOT 6851644 SOS 1332338 HAS SOPS 1332338 HAS SOUS 1023339 HAS SOUPS 1023339 WITH SCORE 1024671.338
AT ITER 3069 NEW BEST:: SOT 6851644 SOS 1332124 HAS SOPS 1332124 HAS SOUS 1023152 HAS SOUPS 1023152 WITH SCORE 1024484.124
AT ITER 3077 NEW BEST:: SOT 6851515 SOS 1331737 HAS SOPS 1331737 HAS SOUS 1022893 HAS SOUPS 1022893 WITH SCORE 1024224.737
AT ITER 3085 NEW BEST:: SOT 6851342 SOS 1331563 HAS SOPS 1331563 HAS SOUS 1022719 HAS SOUPS 1022719 WITH SCORE 1024050.563
AT ITER 3086 NEW BEST:: SOT 6851286 SOS 1331451 HAS SOPS 1331451 HAS SOUS 1022662 HAS SOUPS 1022662 WITH SCORE 1023993.451
AT ITER 3091 NEW BEST:: SOT 6851286 SOS 1331653 HAS SOPS 1331653 HAS SOUS 1022633 HAS SOUPS 1022633 WITH SCORE 1023964.653
AT ITER 3165 NEW BEST:: SOT 6851286 SOS 1331651 HAS SOPS 1331651 HAS SOUS 1022631 HAS SOUPS 1022631 WITH SCORE 1023962.651
AT ITER 3167 NEW BEST:: SOT 6851286 SOS 1331647 HAS SOPS 1331647 HAS SOUS 1022627 HAS SOUPS 1022627 WITH SCORE 1023958.647
AT ITER 3182 NEW BEST:: SOT 6851282 SOS 1331643 HAS SOPS 1331643 HAS SOUS 1022619 HAS SOUPS 1022619 WITH SCORE 1023950.643
AT ITER 3190 NEW BEST:: SOT 6849826 SOS 1330116 HAS SOPS 1330116 HAS SOUS 1021092 HAS SOUPS 1021092 WITH SCORE 1022422.116
AT ITER 3205 NEW BEST:: SOT 6849826 SOS 1330112 HAS SOPS 1330112 HAS SOUS 1021088 HAS SOUPS 1021088 WITH SCORE 1022418.112
AT ITER 3207 NEW BEST:: SOT 6849568 SOS 1329412 HAS SOPS 1329412 HAS SOUS 1020572 HAS SOUPS 1020572 WITH SCORE 1021901.412
AT ITER 3222 NEW BEST:: SOT 6849258 SOS 1329117 HAS SOPS 1329117 HAS SOUS 1020148 HAS SOUPS 1020148 WITH SCORE 1021477.117
AT ITER 3228 NEW BEST:: SOT 6849068 SOS 1329155 HAS SOPS 1329155 HAS SOUS 1019996 HAS SOUPS 1019996 WITH SCORE 1021325.155
AT ITER 3271 NEW BEST:: SOT 6848635 SOS 1329075 HAS SOPS 1329075 HAS SOUS 1019768 HAS SOUPS 1019768 WITH SCORE 1021097.075
AT ITER 3282 NEW BEST:: SOT 6848635 SOS 1329042 HAS SOPS 1329042 HAS SOUS 1019735 HAS SOUPS 1019735 WITH SCORE 1021064.042
AT ITER 3297 NEW BEST:: SOT 6848431 SOS 1328838 HAS SOPS 1328838 HAS SOUS 1019530 HAS SOUPS 1019530 WITH SCORE 1020858.838
AT ITER 3303 NEW BEST:: SOT 6848431 SOS 1328612 HAS SOPS 1328612 HAS SOUS 1019304 HAS SOUPS 1019304 WITH SCORE 1020632.612
AT ITER 3311 NEW BEST:: SOT 6847511 SOS 1328587 HAS SOPS 1328587 HAS SOUS 1019022 HAS SOUPS 1019022 WITH SCORE 1020350.587
AT ITER 3338 NEW BEST:: SOT 6847510 SOS 1328328 HAS SOPS 1328328 HAS SOUS 1018895 HAS SOUPS 1018895 WITH SCORE 1020223.328
AT ITER 3349 NEW BEST:: SOT 6847291 SOS 1327452 HAS SOPS 1327452 HAS SOUS 1018457 HAS SOUPS 1018457 WITH SCORE 1019784.452
AT ITER 3359 NEW BEST:: SOT 6847251 SOS 1327446 HAS SOPS 1327446 HAS SOUS 1018210 HAS SOUPS 1018210 WITH SCORE 1019537.446
AT ITER 3362 NEW BEST:: SOT 6847198 SOS 1327391 HAS SOPS 1327391 HAS SOUS 1018156 HAS SOUPS 1018156 WITH SCORE 1019483.391
AT ITER 3375 NEW BEST:: SOT 6846955 SOS 1327206 HAS SOPS 1327206 HAS SOUS 1018015 HAS SOUPS 1018015 WITH SCORE 1019342.206
AT ITER 3380 NEW BEST:: SOT 6849065 SOS 1329803 HAS SOPS 1329803 HAS SOUS 1017820 HAS SOUPS 1017820 WITH SCORE 1019149.803
AT ITER 3397 NEW BEST:: SOT 6849001 SOS 1329586 HAS SOPS 1329586 HAS SOUS 1017705 HAS SOUPS 1017705 WITH SCORE 1019034.586
AT ITER 3398 NEW BEST:: SOT 6849001 SOS 1329584 HAS SOPS 1329584 HAS SOUS 1017703 HAS SOUPS 1017703 WITH SCORE 1019032.584
AT ITER 3419 NEW BEST:: SOT 6848996 SOS 1329573 HAS SOPS 1329573 HAS SOUS 1017692 HAS SOUPS 1017692 WITH SCORE 1019021.573
AT ITER 3427 NEW BEST:: SOT 6848666 SOS 1330542 HAS SOPS 1330542 HAS SOUS 1017582 HAS SOUPS 1017582 WITH SCORE 1018912.542
AT ITER 3436 NEW BEST:: SOT 6848666 SOS 1330666 HAS SOPS 1330666 HAS SOUS 1017537 HAS SOUPS 1017537 WITH SCORE 1018867.666
AT ITER 3472 NEW BEST:: SOT 6848545 SOS 1330282 HAS SOPS 1330282 HAS SOUS 1017153 HAS SOUPS 1017153 WITH SCORE 1018483.282
AT ITER 3490 NEW BEST:: SOT 6848356 SOS 1330093 HAS SOPS 1330093 HAS SOUS 1017068 HAS SOUPS 1017068 WITH SCORE 1018398.093
AT ITER 3498 NEW BEST:: SOT 6848331 SOS 1330018 HAS SOPS 1330018 HAS SOUS 1017018 HAS SOUPS 1017018 WITH SCORE 1018348.018
AT ITER 3509 NEW BEST:: SOT 6848218 SOS 1329553 HAS SOPS 1329553 HAS SOUS 1016905 HAS SOUPS 1016905 WITH SCORE 1018234.553
AT ITER 3518 NEW BEST:: SOT 6848119 SOS 1329291 HAS SOPS 1329291 HAS SOUS 1016697 HAS SOUPS 1016697 WITH SCORE 1018026.291
AT ITER 3527 NEW BEST:: SOT 6847934 SOS 1328736 HAS SOPS 1328736 HAS SOUS 1016142 HAS SOUPS 1016142 WITH SCORE 1017470.736
AT ITER 3557 NEW BEST:: SOT 6847663 SOS 1329290 HAS SOPS 1329290 HAS SOUS 1016081 HAS SOUPS 1016081 WITH SCORE 1017410.29
AT ITER 3581 NEW BEST:: SOT 6846949 SOS 1328058 HAS SOPS 1328058 HAS SOUS 1011846 HAS SOUPS 1011846 WITH SCORE 1013174.058
AT ITER 3600 NEW BEST:: SOT 6846808 SOS 1327550 HAS SOPS 1327550 HAS SOUS 1011338 HAS SOUPS 1011338 WITH SCORE 1012665.55
AT ITER 3602 NEW BEST:: SOT 6847062 SOS 1327930 HAS SOPS 1327930 HAS SOUS 1011322 HAS SOUPS 1011322 WITH SCORE 1012649.93
AT ITER 3621 NEW BEST:: SOT 6846770 SOS 1327487 HAS SOPS 1327487 HAS SOUS 1011024 HAS SOUPS 1011024 WITH SCORE 1012351.487
AT ITER 3634 NEW BEST:: SOT 6846770 SOS 1327478 HAS SOPS 1327478 HAS SOUS 1011015 HAS SOUPS 1011015 WITH SCORE 1012342.478
AT ITER 3667 NEW BEST:: SOT 6846698 SOS 1327215 HAS SOPS 1327215 HAS SOUS 1010769 HAS SOUPS 1010769 WITH SCORE 1012096.215
AT ITER 3677 NEW BEST:: SOT 6846698 SOS 1327021 HAS SOPS 1327021 HAS SOUS 1010575 HAS SOUPS 1010575 WITH SCORE 1011902.021
AT ITER 3684 NEW BEST:: SOT 6846697 SOS 1327018 HAS SOPS 1327018 HAS SOUS 1010572 HAS SOUPS 1010572 WITH SCORE 1011899.018
AT ITER 3810 NEW BEST:: SOT 6846437 SOS 1326743 HAS SOPS 1326743 HAS SOUS 1010312 HAS SOUPS 1010312 WITH SCORE 1011638.743
AT ITER 3829 NEW BEST:: SOT 6846436 SOS 1326574 HAS SOPS 1326574 HAS SOUS 1010309 HAS SOUPS 1010309 WITH SCORE 1011635.574
AT ITER 3844 NEW BEST:: SOT 6846378 SOS 1326336 HAS SOPS 1326336 HAS SOUS 1010192 HAS SOUPS 1010192 WITH SCORE 1011518.336
AT ITER 3846 NEW BEST:: SOT 6846055 SOS 1325887 HAS SOPS 1325887 HAS SOUS 1009961 HAS SOUPS 1009961 WITH SCORE 1011286.887
AT ITER 3856 NEW BEST:: SOT 6845954 SOS 1325679 HAS SOPS 1325679 HAS SOUS 1009657 HAS SOUPS 1009657 WITH SCORE 1010982.679
AT ITER 3867 NEW BEST:: SOT 6845822 SOS 1325631 HAS SOPS 1325631 HAS SOUS 1009610 HAS SOUPS 1009610 WITH SCORE 1010935.631
AT ITER 3890 NEW BEST:: SOT 6845180 SOS 1326647 HAS SOPS 1326647 HAS SOUS 1009469 HAS SOUPS 1009469 WITH SCORE 1010795.647
AT ITER 3899 NEW BEST:: SOT 6844792 SOS 1325983 HAS SOPS 1325983 HAS SOUS 1009103 HAS SOUPS 1009103 WITH SCORE 1010428.983
AT ITER 3937 NEW BEST:: SOT 6844607 SOS 1325798 HAS SOPS 1325798 HAS SOUS 1008918 HAS SOUPS 1008918 WITH SCORE 1010243.798
AT ITER 3941 NEW BEST:: SOT 6844639 SOS 1326032 HAS SOPS 1326032 HAS SOUS 1006161 HAS SOUPS 1006161 WITH SCORE 1007487.032
AT ITER 3952 NEW BEST:: SOT 6844707 SOS 1325912 HAS SOPS 1325912 HAS SOUS 1006041 HAS SOUPS 1006041 WITH SCORE 1007366.912
AT ITER 3956 NEW BEST:: SOT 6844292 SOS 1325474 HAS SOPS 1325474 HAS SOUS 1005603 HAS SOUPS 1005603 WITH SCORE 1006928.474
AT ITER 3968 NEW BEST:: SOT 6844367 SOS 1325346 HAS SOPS 1325346 HAS SOUS 1005162 HAS SOUPS 1005162 WITH SCORE 1006487.346
AT ITER 3975 NEW BEST:: SOT 6843990 SOS 1324592 HAS SOPS 1324592 HAS SOUS 1004408 HAS SOUPS 1004408 WITH SCORE 1005732.592
AT ITER 3976 NEW BEST:: SOT 6844040 SOS 1324591 HAS SOPS 1324591 HAS SOUS 1004407 HAS SOUPS 1004407 WITH SCORE 1005731.591
AT ITER 4017 NEW BEST:: SOT 6843890 SOS 1325282 HAS SOPS 1325282 HAS SOUS 1004216 HAS SOUPS 1004216 WITH SCORE 1005541.282
AT ITER 4032 NEW BEST:: SOT 6843696 SOS 1324894 HAS SOPS 1324894 HAS SOUS 1003828 HAS SOUPS 1003828 WITH SCORE 1005152.894
AT ITER 4039 NEW BEST:: SOT 6843531 SOS 1324516 HAS SOPS 1324516 HAS SOUS 1003779 HAS SOUPS 1003779 WITH SCORE 1005103.516
AT ITER 4042 NEW BEST:: SOT 6843507 SOS 1324492 HAS SOPS 1324492 HAS SOUS 1003755 HAS SOUPS 1003755 WITH SCORE 1005079.492
AT ITER 4061 NEW BEST:: SOT 6846917 SOS 1334527 HAS SOPS 1334527 HAS SOUS 1002899 HAS SOUPS 1002899 WITH SCORE 1004233.527
AT ITER 4074 NEW BEST:: SOT 6846689 SOS 1334299 HAS SOPS 1334299 HAS SOUS 1002671 HAS SOUPS 1002671 WITH SCORE 1004005.299
AT ITER 4085 NEW BEST:: SOT 6846523 SOS 1331778 HAS SOPS 1331778 HAS SOUS 1002106 HAS SOUPS 1002106 WITH SCORE 1003437.778
AT ITER 4105 NEW BEST:: SOT 6846492 SOS 1331716 HAS SOPS 1331716 HAS SOUS 1002044 HAS SOUPS 1002044 WITH SCORE 1003375.716
AT ITER 4133 NEW BEST:: SOT 6846266 SOS 1331263 HAS SOPS 1331263 HAS SOUS 1001591 HAS SOUPS 1001591 WITH SCORE 1002922.263
AT ITER 4151 NEW BEST:: SOT 6846129 SOS 1330989 HAS SOPS 1330989 HAS SOUS 1001317 HAS SOUPS 1001317 WITH SCORE 1002647.989
AT ITER 4158 NEW BEST:: SOT 6845765 SOS 1330656 HAS SOPS 1330656 HAS SOUS 1000984 HAS SOUPS 1000984 WITH SCORE 1002314.656
AT ITER 4176 NEW BEST:: SOT 6845835 SOS 1330412 HAS SOPS 1330412 HAS SOUS 1000963 HAS SOUPS 1000963 WITH SCORE 1002293.412
AT ITER 4177 NEW BEST:: SOT 6845835 SOS 1330306 HAS SOPS 1330306 HAS SOUS 1000963 HAS SOUPS 1000963 WITH SCORE 1002293.306
AT ITER 4214 NEW BEST:: SOT 6845399 SOS 1331178 HAS SOPS 1331178 HAS SOUS 1000309 HAS SOUPS 1000309 WITH SCORE 1001640.178
AT ITER 4225 NEW BEST:: SOT 6845279 SOS 1330850 HAS SOPS 1330850 HAS SOUS 1000052 HAS SOUPS 1000052 WITH SCORE 1001382.85
AT ITER 4242 NEW BEST:: SOT 6844873 SOS 1330222 HAS SOPS 1330222 HAS SOUS 999644 HAS SOUPS 999644 WITH SCORE 1000974.222
AT ITER 4264 NEW BEST:: SOT 6844808 SOS 1333240 HAS SOPS 1333240 HAS SOUS 999628 HAS SOUPS 999628 WITH SCORE 1000961.24
AT ITER 4274 NEW BEST:: SOT 6844771 SOS 1333231 HAS SOPS 1333231 HAS SOUS 999612 HAS SOUPS 999612 WITH SCORE 1000945.231
AT ITER 4279 NEW BEST:: SOT 6844196 SOS 1332656 HAS SOPS 1332656 HAS SOUS 999037 HAS SOUPS 999037 WITH SCORE 1000369.656
AT ITER 4288 NEW BEST:: SOT 6843983 SOS 1332443 HAS SOPS 1332443 HAS SOUS 997120 HAS SOUPS 997120 WITH SCORE 998452.443
AT ITER 4289 NEW BEST:: SOT 6843856 SOS 1331972 HAS SOPS 1331972 HAS SOUS 995208 HAS SOUPS 995208 WITH SCORE 996539.972
AT ITER 4292 NEW BEST:: SOT 6843715 SOS 1331949 HAS SOPS 1331949 HAS SOUS 995208 HAS SOUPS 995208 WITH SCORE 996539.949
AT ITER 4325 NEW BEST:: SOT 6843715 SOS 1331826 HAS SOPS 1331826 HAS SOUS 995085 HAS SOUPS 995085 WITH SCORE 996416.826
AT ITER 4339 NEW BEST:: SOT 6843708 SOS 1331717 HAS SOPS 1331717 HAS SOUS 994976 HAS SOUPS 994976 WITH SCORE 996307.717
AT ITER 4361 NEW BEST:: SOT 6843341 SOS 1331387 HAS SOPS 1331387 HAS SOUS 994646 HAS SOUPS 994646 WITH SCORE 995977.387
AT ITER 4367 NEW BEST:: SOT 6840796 SOS 1328821 HAS SOPS 1328821 HAS SOUS 993399 HAS SOUPS 993399 WITH SCORE 994727.821
AT ITER 4368 NEW BEST:: SOT 6840655 SOS 1328539 HAS SOPS 1328539 HAS SOUS 993117 HAS SOUPS 993117 WITH SCORE 994445.539
AT ITER 4370 NEW BEST:: SOT 6840311 SOS 1327864 HAS SOPS 1327864 HAS SOUS 989850 HAS SOUPS 989850 WITH SCORE 991177.864
AT ITER 4373 NEW BEST:: SOT 6839353 SOS 1326978 HAS SOPS 1326978 HAS SOUS 988964 HAS SOUPS 988964 WITH SCORE 990290.978
AT ITER 4420 NEW BEST:: SOT 6839262 SOS 1326716 HAS SOPS 1326716 HAS SOUS 988901 HAS SOUPS 988901 WITH SCORE 990227.716
AT ITER 4427 NEW BEST:: SOT 6838969 SOS 1326667 HAS SOPS 1326667 HAS SOUS 988852 HAS SOUPS 988852 WITH SCORE 990178.667
AT ITER 4431 NEW BEST:: SOT 6838872 SOS 1326641 HAS SOPS 1326641 HAS SOUS 988425 HAS SOUPS 988425 WITH SCORE 989751.641
AT ITER 4438 NEW BEST:: SOT 6838872 SOS 1326540 HAS SOPS 1326540 HAS SOUS 988345 HAS SOUPS 988345 WITH SCORE 989671.54
AT ITER 4456 NEW BEST:: SOT 6838767 SOS 1326330 HAS SOPS 1326330 HAS SOUS 988135 HAS SOUPS 988135 WITH SCORE 989461.33
AT ITER 4474 NEW BEST:: SOT 6838452 SOS 1324832 HAS SOPS 1324832 HAS SOUS 987519 HAS SOUPS 987519 WITH SCORE 988843.832
AT ITER 4483 NEW BEST:: SOT 6838321 SOS 1324701 HAS SOPS 1324701 HAS SOUS 987388 HAS SOUPS 987388 WITH SCORE 988712.701
AT ITER 4487 NEW BEST:: SOT 6837799 SOS 1324594 HAS SOPS 1324594 HAS SOUS 986865 HAS SOUPS 986865 WITH SCORE 988189.594
AT ITER 4491 NEW BEST:: SOT 6837799 SOS 1324821 HAS SOPS 1324821 HAS SOUS 986845 HAS SOUPS 986845 WITH SCORE 988169.821
AT ITER 4496 NEW BEST:: SOT 6837456 SOS 1324478 HAS SOPS 1324478 HAS SOUS 986502 HAS SOUPS 986502 WITH SCORE 987826.478
AT ITER 4516 NEW BEST:: SOT 6837439 SOS 1324659 HAS SOPS 1324659 HAS SOUS 986485 HAS SOUPS 986485 WITH SCORE 987809.659
AT ITER 4517 NEW BEST:: SOT 6837439 SOS 1325441 HAS SOPS 1325441 HAS SOUS 986484 HAS SOUPS 986484 WITH SCORE 987809.441
AT ITER 4550 NEW BEST:: SOT 6837324 SOS 1325347 HAS SOPS 1325347 HAS SOUS 986392 HAS SOUPS 986392 WITH SCORE 987717.347
AT ITER 4551 NEW BEST:: SOT 6837324 SOS 1325117 HAS SOPS 1325117 HAS SOUS 986369 HAS SOUPS 986369 WITH SCORE 987694.117
AT ITER 4561 NEW BEST:: SOT 6837029 SOS 1324336 HAS SOPS 1324336 HAS SOUS 985774 HAS SOUPS 985774 WITH SCORE 987098.336
AT ITER 4567 NEW BEST:: SOT 6836886 SOS 1324050 HAS SOPS 1324050 HAS SOUS 985631 HAS SOUPS 985631 WITH SCORE 986955.05
AT ITER 4582 NEW BEST:: SOT 6836769 SOS 1323699 HAS SOPS 1323699 HAS SOUS 985397 HAS SOUPS 985397 WITH SCORE 986720.699
AT ITER 4589 NEW BEST:: SOT 6836472 SOS 1320746 HAS SOPS 1320746 HAS SOUS 984879 HAS SOUPS 984879 WITH SCORE 986199.746
AT ITER 4609 NEW BEST:: SOT 6836538 SOS 1320614 HAS SOPS 1320614 HAS SOUS 984813 HAS SOUPS 984813 WITH SCORE 986133.614
AT ITER 4610 NEW BEST:: SOT 6836538 SOS 1320509 HAS SOPS 1320509 HAS SOUS 984813 HAS SOUPS 984813 WITH SCORE 986133.509
AT ITER 4623 NEW BEST:: SOT 6836538 SOS 1320476 HAS SOPS 1320476 HAS SOUS 984780 HAS SOUPS 984780 WITH SCORE 986100.476
AT ITER 4647 NEW BEST:: SOT 6836397 SOS 1320193 HAS SOPS 1320193 HAS SOUS 984638 HAS SOUPS 984638 WITH SCORE 985958.193
AT ITER 4655 NEW BEST:: SOT 6836252 SOS 1319903 HAS SOPS 1319903 HAS SOUS 984203 HAS SOUPS 984203 WITH SCORE 985522.903
AT ITER 4671 NEW BEST:: SOT 6836132 SOS 1319663 HAS SOPS 1319663 HAS SOUS 983963 HAS SOUPS 983963 WITH SCORE 985282.663
AT ITER 4672 NEW BEST:: SOT 6835985 SOS 1319196 HAS SOPS 1319196 HAS SOUS 983819 HAS SOUPS 983819 WITH SCORE 985138.196
AT ITER 4713 NEW BEST:: SOT 6835703 SOS 1318671 HAS SOPS 1318671 HAS SOUS 983000 HAS SOUPS 983000 WITH SCORE 984318.671
AT ITER 4716 NEW BEST:: SOT 6835676 SOS 1318617 HAS SOPS 1318617 HAS SOUS 982956 HAS SOUPS 982956 WITH SCORE 984274.617
AT ITER 4728 NEW BEST:: SOT 6836195 SOS 1320448 HAS SOPS 1320448 HAS SOUS 982363 HAS SOUPS 982363 WITH SCORE 983683.448
AT ITER 4736 NEW BEST:: SOT 6836182 SOS 1320422 HAS SOPS 1320422 HAS SOUS 982337 HAS SOUPS 982337 WITH SCORE 983657.422
AT ITER 4743 NEW BEST:: SOT 6836024 SOS 1320052 HAS SOPS 1320052 HAS SOUS 981851 HAS SOUPS 981851 WITH SCORE 983171.052
AT ITER 4831 NEW BEST:: SOT 6836023 SOS 1319904 HAS SOPS 1319904 HAS SOUS 981848 HAS SOUPS 981848 WITH SCORE 983167.904
AT ITER 4838 NEW BEST:: SOT 6835906 SOS 1319897 HAS SOPS 1319897 HAS SOUS 981793 HAS SOUPS 981793 WITH SCORE 983112.897
AT ITER 4843 NEW BEST:: SOT 6835906 SOS 1319811 HAS SOPS 1319811 HAS SOUS 981793 HAS SOUPS 981793 WITH SCORE 983112.811
AT ITER 4852 NEW BEST:: SOT 6835906 SOS 1319811 HAS SOPS 1319811 HAS SOUS 980833 HAS SOUPS 980833 WITH SCORE 982152.811
AT ITER 4859 NEW BEST:: SOT 6835906 SOS 1319947 HAS SOPS 1319947 HAS SOUS 979881 HAS SOUPS 979881 WITH SCORE 981200.947
AT ITER 4877 NEW BEST:: SOT 6834837 SOS 1319255 HAS SOPS 1319255 HAS SOUS 978899 HAS SOUPS 978899 WITH SCORE 980218.255
AT ITER 4896 NEW BEST:: SOT 6834719 SOS 1319105 HAS SOPS 1319105 HAS SOUS 978309 HAS SOUPS 978309 WITH SCORE 979628.105
AT ITER 4924 NEW BEST:: SOT 6834808 SOS 1319094 HAS SOPS 1319094 HAS SOUS 978298 HAS SOUPS 978298 WITH SCORE 979617.094
AT ITER 4936 NEW BEST:: SOT 6834808 SOS 1320134 HAS SOPS 1320134 HAS SOUS 978274 HAS SOUPS 978274 WITH SCORE 979594.134
AT ITER 4982 NEW BEST:: SOT 6834669 SOS 1318700 HAS SOPS 1318700 HAS SOUS 978214 HAS SOUPS 978214 WITH SCORE 979532.7
AT ITER 5023 NEW BEST:: SOT 6834510 SOS 1318541 HAS SOPS 1318541 HAS SOUS 978053 HAS SOUPS 978053 WITH SCORE 979371.541
AT ITER 5034 NEW BEST:: SOT 6834228 SOS 1318353 HAS SOPS 1318353 HAS SOUS 977865 HAS SOUPS 977865 WITH SCORE 979183.353
AT ITER 5073 NEW BEST:: SOT 6834228 SOS 1318326 HAS SOPS 1318326 HAS SOUS 977865 HAS SOUPS 977865 WITH SCORE 979183.326
AT ITER 5078 NEW BEST:: SOT 6833923 SOS 1318149 HAS SOPS 1318149 HAS SOUS 977688 HAS SOUPS 977688 WITH SCORE 979006.149
AT ITER 5113 NEW BEST:: SOT 6833653 SOS 1317879 HAS SOPS 1317879 HAS SOUS 977418 HAS SOUPS 977418 WITH SCORE 978735.879
AT ITER 5123 NEW BEST:: SOT 6832446 SOS 1316920 HAS SOPS 1316920 HAS SOUS 976459 HAS SOUPS 976459 WITH SCORE 977775.92
AT ITER 5132 NEW BEST:: SOT 6832184 SOS 1316059 HAS SOPS 1316059 HAS SOUS 970991 HAS SOUPS 970991 WITH SCORE 972307.059
AT ITER 5161 NEW BEST:: SOT 6832008 SOS 1315883 HAS SOPS 1315883 HAS SOUS 970814 HAS SOUPS 970814 WITH SCORE 972129.883
AT ITER 5183 NEW BEST:: SOT 6831734 SOS 1315335 HAS SOPS 1315335 HAS SOUS 970266 HAS SOUPS 970266 WITH SCORE 971581.335
AT ITER 5191 NEW BEST:: SOT 6831732 SOS 1315333 HAS SOPS 1315333 HAS SOUS 970264 HAS SOUPS 970264 WITH SCORE 971579.333
AT ITER 5200 NEW BEST:: SOT 6831615 SOS 1315099 HAS SOPS 1315099 HAS SOUS 970144 HAS SOUPS 970144 WITH SCORE 971459.099
AT ITER 5224 NEW BEST:: SOT 6831743 SOS 1315227 HAS SOPS 1315227 HAS SOUS 970048 HAS SOUPS 970048 WITH SCORE 971363.227
AT ITER 5258 NEW BEST:: SOT 6831731 SOS 1315203 HAS SOPS 1315203 HAS SOUS 970012 HAS SOUPS 970012 WITH SCORE 971327.203
AT ITER 5264 NEW BEST:: SOT 6831606 SOS 1314953 HAS SOPS 1314953 HAS SOUS 969762 HAS SOUPS 969762 WITH SCORE 971076.953
AT ITER 5325 NEW BEST:: SOT 6831575 SOS 1314862 HAS SOPS 1314862 HAS SOUS 969692 HAS SOUPS 969692 WITH SCORE 971006.862
AT ITER 5327 NEW BEST:: SOT 6831652 SOS 1314704 HAS SOPS 1314704 HAS SOUS 969534 HAS SOUPS 969534 WITH SCORE 970848.704
AT ITER 5330 NEW BEST:: SOT 6831576 SOS 1314725 HAS SOPS 1314725 HAS SOUS 969382 HAS SOUPS 969382 WITH SCORE 970696.725
AT ITER 5335 NEW BEST:: SOT 6829296 SOS 1314023 HAS SOPS 1314023 HAS SOUS 967403 HAS SOUPS 967403 WITH SCORE 968717.023
AT ITER 5336 NEW BEST:: SOT 6829221 SOS 1313862 HAS SOPS 1313862 HAS SOUS 967320 HAS SOUPS 967320 WITH SCORE 968633.862
AT ITER 5338 NEW BEST:: SOT 6829019 SOS 1313714 HAS SOPS 1313714 HAS SOUS 967118 HAS SOUPS 967118 WITH SCORE 968431.714
AT ITER 5344 NEW BEST:: SOT 6829013 SOS 1313294 HAS SOPS 1313294 HAS SOUS 967106 HAS SOUPS 967106 WITH SCORE 968419.294
AT ITER 5376 NEW BEST:: SOT 6828957 SOS 1313238 HAS SOPS 1313238 HAS SOUS 967049 HAS SOUPS 967049 WITH SCORE 968362.238
AT ITER 5384 NEW BEST:: SOT 6828805 SOS 1312934 HAS SOPS 1312934 HAS SOUS 966745 HAS SOUPS 966745 WITH SCORE 968057.934
AT ITER 5464 NEW BEST:: SOT 6828086 SOS 1312010 HAS SOPS 1312010 HAS SOUS 966138 HAS SOUPS 966138 WITH SCORE 967450.01
AT ITER 5478 NEW BEST:: SOT 6828086 SOS 1312003 HAS SOPS 1312003 HAS SOUS 966131 HAS SOUPS 966131 WITH SCORE 967443.003
AT ITER 5486 NEW BEST:: SOT 6825735 SOS 1319421 HAS SOPS 1319421 HAS SOUS 964534 HAS SOUPS 964534 WITH SCORE 965853.421
AT ITER 5518 NEW BEST:: SOT 6825735 SOS 1319286 HAS SOPS 1319286 HAS SOUS 964399 HAS SOUPS 964399 WITH SCORE 965718.286
AT ITER 5520 NEW BEST:: SOT 6825620 SOS 1319194 HAS SOPS 1319194 HAS SOUS 964307 HAS SOUPS 964307 WITH SCORE 965626.194
AT ITER 5557 NEW BEST:: SOT 6825597 SOS 1319130 HAS SOPS 1319130 HAS SOUS 964283 HAS SOUPS 964283 WITH SCORE 965602.13
AT ITER 5564 NEW BEST:: SOT 6825597 SOS 1319129 HAS SOPS 1319129 HAS SOUS 964282 HAS SOUPS 964282 WITH SCORE 965601.129
AT ITER 5565 NEW BEST:: SOT 6825445 SOS 1318977 HAS SOPS 1318977 HAS SOUS 963674 HAS SOUPS 963674 WITH SCORE 964992.977
AT ITER 5595 NEW BEST:: SOT 6825405 SOS 1319130 HAS SOPS 1319130 HAS SOUS 963594 HAS SOUPS 963594 WITH SCORE 964913.13
AT ITER 5621 NEW BEST:: SOT 6825335 SOS 1319060 HAS SOPS 1319060 HAS SOUS 963524 HAS SOUPS 963524 WITH SCORE 964843.06
AT ITER 5631 NEW BEST:: SOT 6824696 SOS 1320477 HAS SOPS 1320477 HAS SOUS 963181 HAS SOUPS 963181 WITH SCORE 964501.477
AT ITER 5644 NEW BEST:: SOT 6824677 SOS 1320457 HAS SOPS 1320457 HAS SOUS 963161 HAS SOUPS 963161 WITH SCORE 964481.457
AT ITER 5671 NEW BEST:: SOT 6824621 SOS 1320233 HAS SOPS 1320233 HAS SOUS 962897 HAS SOUPS 962897 WITH SCORE 964217.233
AT ITER 5677 NEW BEST:: SOT 6824430 SOS 1319851 HAS SOPS 1319851 HAS SOUS 962501 HAS SOUPS 962501 WITH SCORE 963820.851
AT ITER 5692 NEW BEST:: SOT 6824302 SOS 1319745 HAS SOPS 1319745 HAS SOUS 962395 HAS SOUPS 962395 WITH SCORE 963714.745
AT ITER 5718 NEW BEST:: SOT 6824200 SOS 1319318 HAS SOPS 1319318 HAS SOUS 962191 HAS SOUPS 962191 WITH SCORE 963510.318
AT ITER 5721 NEW BEST:: SOT 6824038 SOS 1318994 HAS SOPS 1318994 HAS SOUS 961867 HAS SOUPS 961867 WITH SCORE 963185.994
AT ITER 5746 NEW BEST:: SOT 6824125 SOS 1319012 HAS SOPS 1319012 HAS SOUS 961695 HAS SOUPS 961695 WITH SCORE 963014.012
AT ITER 5755 NEW BEST:: SOT 6824125 SOS 1319028 HAS SOPS 1319028 HAS SOUS 961390 HAS SOUPS 961390 WITH SCORE 962709.028
AT ITER 5773 NEW BEST:: SOT 6823931 SOS 1318833 HAS SOPS 1318833 HAS SOUS 961195 HAS SOUPS 961195 WITH SCORE 962513.833
AT ITER 5783 NEW BEST:: SOT 6823930 SOS 1318963 HAS SOPS 1318963 HAS SOUS 961193 HAS SOUPS 961193 WITH SCORE 962511.963
AT ITER 5801 NEW BEST:: SOT 6823871 SOS 1318786 HAS SOPS 1318786 HAS SOUS 961075 HAS SOUPS 961075 WITH SCORE 962393.786
AT ITER 5813 NEW BEST:: SOT 6822898 SOS 1317693 HAS SOPS 1317693 HAS SOUS 961075 HAS SOUPS 961075 WITH SCORE 962392.693
AT ITER 5828 NEW BEST:: SOT 6822588 SOS 1317073 HAS SOPS 1317073 HAS SOUS 960455 HAS SOUPS 960455 WITH SCORE 961772.073
AT ITER 5841 NEW BEST:: SOT 6822576 SOS 1317049 HAS SOPS 1317049 HAS SOUS 960443 HAS SOUPS 960443 WITH SCORE 961760.049
AT ITER 5899 NEW BEST:: SOT 6822576 SOS 1317038 HAS SOPS 1317038 HAS SOUS 960432 HAS SOUPS 960432 WITH SCORE 961749.038
AT ITER 5904 NEW BEST:: SOT 6822553 SOS 1316996 HAS SOPS 1316996 HAS SOUS 960389 HAS SOUPS 960389 WITH SCORE 961705.996
AT ITER 5915 NEW BEST:: SOT 6822553 SOS 1316940 HAS SOPS 1316940 HAS SOUS 960389 HAS SOUPS 960389 WITH SCORE 961705.94
AT ITER 5918 NEW BEST:: SOT 6822553 SOS 1316938 HAS SOPS 1316938 HAS SOUS 960387 HAS SOUPS 960387 WITH SCORE 961703.938
AT ITER 5927 NEW BEST:: SOT 6822553 SOS 1316887 HAS SOPS 1316887 HAS SOUS 960335 HAS SOUPS 960335 WITH SCORE 961651.887
AT ITER 5950 NEW BEST:: SOT 6822459 SOS 1316699 HAS SOPS 1316699 HAS SOUS 960241 HAS SOUPS 960241 WITH SCORE 961557.699
AT ITER 5958 NEW BEST:: SOT 6822459 SOS 1316402 HAS SOPS 1316402 HAS SOUS 960187 HAS SOUPS 960187 WITH SCORE 961503.402
AT ITER 5962 NEW BEST:: SOT 6822389 SOS 1315914 HAS SOPS 1315914 HAS SOUS 960030 HAS SOUPS 960030 WITH SCORE 961345.914
AT ITER 5981 NEW BEST:: SOT 6822388 SOS 1315913 HAS SOPS 1315913 HAS SOUS 960028 HAS SOUPS 960028 WITH SCORE 961343.913
AT ITER 5982 NEW BEST:: SOT 6822386 SOS 1316141 HAS SOPS 1316141 HAS SOUS 960011 HAS SOUPS 960011 WITH SCORE 961327.141
AT ITER 6025 NEW BEST:: SOT 6822386 SOS 1316125 HAS SOPS 1316125 HAS SOUS 959995 HAS SOUPS 959995 WITH SCORE 961311.125
AT ITER 6027 NEW BEST:: SOT 6822385 SOS 1316028 HAS SOPS 1316028 HAS SOUS 959987 HAS SOUPS 959987 WITH SCORE 961303.028
AT ITER 6028 NEW BEST:: SOT 6822344 SOS 1315905 HAS SOPS 1315905 HAS SOUS 959905 HAS SOUPS 959905 WITH SCORE 961220.905
AT ITER 6064 NEW BEST:: SOT 6822118 SOS 1315679 HAS SOPS 1315679 HAS SOUS 957871 HAS SOUPS 957871 WITH SCORE 959186.679
AT ITER 6110 NEW BEST:: SOT 6822118 SOS 1315638 HAS SOPS 1315638 HAS SOUS 957868 HAS SOUPS 957868 WITH SCORE 959183.638
AT ITER 6133 NEW BEST:: SOT 6822043 SOS 1315488 HAS SOPS 1315488 HAS SOUS 957718 HAS SOUPS 957718 WITH SCORE 959033.488
AT ITER 6148 NEW BEST:: SOT 6822010 SOS 1316512 HAS SOPS 1316512 HAS SOUS 957643 HAS SOUPS 957643 WITH SCORE 958959.512
AT ITER 6165 NEW BEST:: SOT 6822010 SOS 1316443 HAS SOPS 1316443 HAS SOUS 957574 HAS SOUPS 957574 WITH SCORE 958890.443
AT ITER 6169 NEW BEST:: SOT 6822010 SOS 1316413 HAS SOPS 1316413 HAS SOUS 957544 HAS SOUPS 957544 WITH SCORE 958860.413
AT ITER 6200 NEW BEST:: SOT 6820224 SOS 1316468 HAS SOPS 1316468 HAS SOUS 955866 HAS SOUPS 955866 WITH SCORE 957182.468
AT ITER 6209 NEW BEST:: SOT 6820448 SOS 1316389 HAS SOPS 1316389 HAS SOUS 955787 HAS SOUPS 955787 WITH SCORE 957103.389
AT ITER 6221 NEW BEST:: SOT 6820498 SOS 1316201 HAS SOPS 1316201 HAS SOUS 955599 HAS SOUPS 955599 WITH SCORE 956915.201
AT ITER 6225 NEW BEST:: SOT 6821156 SOS 1318671 HAS SOPS 1318671 HAS SOUS 953682 HAS SOUPS 953682 WITH SCORE 955000.671
AT ITER 6245 NEW BEST:: SOT 6820995 SOS 1318510 HAS SOPS 1318510 HAS SOUS 953521 HAS SOUPS 953521 WITH SCORE 954839.51
AT ITER 6282 NEW BEST:: SOT 6820991 SOS 1318660 HAS SOPS 1318660 HAS SOUS 953508 HAS SOUPS 953508 WITH SCORE 954826.66
AT ITER 6293 NEW BEST:: SOT 6820991 SOS 1318659 HAS SOPS 1318659 HAS SOUS 953507 HAS SOUPS 953507 WITH SCORE 954825.659
AT ITER 6300 NEW BEST:: SOT 6820991 SOS 1318609 HAS SOPS 1318609 HAS SOUS 953507 HAS SOUPS 953507 WITH SCORE 954825.609
AT ITER 6324 NEW BEST:: SOT 6820868 SOS 1318363 HAS SOPS 1318363 HAS SOUS 953069 HAS SOUPS 953069 WITH SCORE 954387.363
AT ITER 6352 NEW BEST:: SOT 6820868 SOS 1318340 HAS SOPS 1318340 HAS SOUS 953046 HAS SOUPS 953046 WITH SCORE 954364.34
AT ITER 6365 NEW BEST:: SOT 6820840 SOS 1318312 HAS SOPS 1318312 HAS SOUS 953018 HAS SOUPS 953018 WITH SCORE 954336.312
AT ITER 6370 NEW BEST:: SOT 6820840 SOS 1318091 HAS SOPS 1318091 HAS SOUS 953017 HAS SOUPS 953017 WITH SCORE 954335.091
AT ITER 6377 NEW BEST:: SOT 6820840 SOS 1318089 HAS SOPS 1318089 HAS SOUS 952951 HAS SOUPS 952951 WITH SCORE 954269.089
AT ITER 6394 NEW BEST:: SOT 6820645 SOS 1315747 HAS SOPS 1315747 HAS SOUS 952444 HAS SOUPS 952444 WITH SCORE 953759.747
AT ITER 6406 NEW BEST:: SOT 6820474 SOS 1315582 HAS SOPS 1315582 HAS SOUS 952268 HAS SOUPS 952268 WITH SCORE 953583.582
AT ITER 6422 NEW BEST:: SOT 6820442 SOS 1315852 HAS SOPS 1315852 HAS SOUS 952207 HAS SOUPS 952207 WITH SCORE 953522.852
AT ITER 6430 NEW BEST:: SOT 6820393 SOS 1315147 HAS SOPS 1315147 HAS SOUS 952109 HAS SOUPS 952109 WITH SCORE 953424.147
AT ITER 6437 NEW BEST:: SOT 6820392 SOS 1315145 HAS SOPS 1315145 HAS SOUS 952107 HAS SOUPS 952107 WITH SCORE 953422.145
AT ITER 6444 NEW BEST:: SOT 6820352 SOS 1315104 HAS SOPS 1315104 HAS SOUS 952066 HAS SOUPS 952066 WITH SCORE 953381.104
AT ITER 6449 NEW BEST:: SOT 6820084 SOS 1314835 HAS SOPS 1314835 HAS SOUS 951797 HAS SOUPS 951797 WITH SCORE 953111.835
AT ITER 6467 NEW BEST:: SOT 6819876 SOS 1314552 HAS SOPS 1314552 HAS SOUS 951514 HAS SOUPS 951514 WITH SCORE 952828.552
AT ITER 6509 NEW BEST:: SOT 6819742 SOS 1314942 HAS SOPS 1314942 HAS SOUS 951201 HAS SOUPS 951201 WITH SCORE 952515.942
AT ITER 6521 NEW BEST:: SOT 6819727 SOS 1314767 HAS SOPS 1314767 HAS SOUS 951128 HAS SOUPS 951128 WITH SCORE 952442.767
AT ITER 6549 NEW BEST:: SOT 6819727 SOS 1314520 HAS SOPS 1314520 HAS SOUS 950881 HAS SOUPS 950881 WITH SCORE 952195.52
AT ITER 6588 NEW BEST:: SOT 6819726 SOS 1314519 HAS SOPS 1314519 HAS SOUS 950879 HAS SOUPS 950879 WITH SCORE 952193.519
AT ITER 6613 NEW BEST:: SOT 6819524 SOS 1314152 HAS SOPS 1314152 HAS SOUS 950560 HAS SOUPS 950560 WITH SCORE 951874.152
AT ITER 6622 NEW BEST:: SOT 6819474 SOS 1314052 HAS SOPS 1314052 HAS SOUS 950460 HAS SOUPS 950460 WITH SCORE 951774.052
AT ITER 6638 NEW BEST:: SOT 6819430 SOS 1313964 HAS SOPS 1313964 HAS SOUS 950372 HAS SOUPS 950372 WITH SCORE 951685.964
AT ITER 6639 NEW BEST:: SOT 6819323 SOS 1313867 HAS SOPS 1313867 HAS SOUS 950275 HAS SOUPS 950275 WITH SCORE 951588.867
AT ITER 6680 NEW BEST:: SOT 6819121 SOS 1313463 HAS SOPS 1313463 HAS SOUS 949871 HAS SOUPS 949871 WITH SCORE 951184.463
AT ITER 6710 NEW BEST:: SOT 6819141 SOS 1316398 HAS SOPS 1316398 HAS SOUS 949636 HAS SOUPS 949636 WITH SCORE 950952.398
AT ITER 6715 NEW BEST:: SOT 6819141 SOS 1316299 HAS SOPS 1316299 HAS SOUS 949635 HAS SOUPS 949635 WITH SCORE 950951.299
AT ITER 6760 NEW BEST:: SOT 6818917 SOS 1315671 HAS SOPS 1315671 HAS SOUS 949007 HAS SOUPS 949007 WITH SCORE 950322.671
AT ITER 6788 NEW BEST:: SOT 6818892 SOS 1315619 HAS SOPS 1315619 HAS SOUS 948956 HAS SOUPS 948956 WITH SCORE 950271.619
AT ITER 6793 NEW BEST:: SOT 6818779 SOS 1315393 HAS SOPS 1315393 HAS SOUS 948843 HAS SOUPS 948843 WITH SCORE 950158.393
AT ITER 6794 NEW BEST:: SOT 6818778 SOS 1314992 HAS SOPS 1314992 HAS SOUS 948442 HAS SOUPS 948442 WITH SCORE 949756.992
AT ITER 6809 NEW BEST:: SOT 6818769 SOS 1314863 HAS SOPS 1314863 HAS SOUS 948431 HAS SOUPS 948431 WITH SCORE 949745.863
AT ITER 6828 NEW BEST:: SOT 6819065 SOS 1315159 HAS SOPS 1315159 HAS SOUS 947654 HAS SOUPS 947654 WITH SCORE 948969.159
AT ITER 6837 NEW BEST:: SOT 6819054 SOS 1314814 HAS SOPS 1314814 HAS SOUS 947231 HAS SOUPS 947231 WITH SCORE 948545.814
AT ITER 6875 NEW BEST:: SOT 6819003 SOS 1314443 HAS SOPS 1314443 HAS SOUS 947129 HAS SOUPS 947129 WITH SCORE 948443.443
AT ITER 6888 NEW BEST:: SOT 6818905 SOS 1314247 HAS SOPS 1314247 HAS SOUS 946737 HAS SOUPS 946737 WITH SCORE 948051.247
AT ITER 6890 NEW BEST:: SOT 6818905 SOS 1314028 HAS SOPS 1314028 HAS SOUS 946737 HAS SOUPS 946737 WITH SCORE 948051.028
AT ITER 6897 NEW BEST:: SOT 6818716 SOS 1313975 HAS SOPS 1313975 HAS SOUS 946684 HAS SOUPS 946684 WITH SCORE 947997.975
AT ITER 6932 NEW BEST:: SOT 6818536 SOS 1310915 HAS SOPS 1310915 HAS SOUS 946324 HAS SOUPS 946324 WITH SCORE 947634.915
AT ITER 6962 NEW BEST:: SOT 6818378 SOS 1310492 HAS SOPS 1310492 HAS SOUS 946008 HAS SOUPS 946008 WITH SCORE 947318.492
AT ITER 6969 NEW BEST:: SOT 6817773 SOS 1309978 HAS SOPS 1309978 HAS SOUS 945494 HAS SOUPS 945494 WITH SCORE 946803.978
AT ITER 6977 NEW BEST:: SOT 6816888 SOS 1310424 HAS SOPS 1310424 HAS SOUS 945097 HAS SOUPS 945097 WITH SCORE 946407.424
AT ITER 6978 NEW BEST:: SOT 6817038 SOS 1310194 HAS SOPS 1310194 HAS SOUS 944867 HAS SOUPS 944867 WITH SCORE 946177.194
AT ITER 7006 NEW BEST:: SOT 6817038 SOS 1310193 HAS SOPS 1310193 HAS SOUS 944866 HAS SOUPS 944866 WITH SCORE 946176.193
AT ITER 7015 NEW BEST:: SOT 6817031 SOS 1310179 HAS SOPS 1310179 HAS SOUS 944852 HAS SOUPS 944852 WITH SCORE 946162.179
AT ITER 7025 NEW BEST:: SOT 6816878 SOS 1310616 HAS SOPS 1310616 HAS SOUS 944540 HAS SOUPS 944540 WITH SCORE 945850.616
AT ITER 7042 NEW BEST:: SOT 6816869 SOS 1310571 HAS SOPS 1310571 HAS SOUS 944522 HAS SOUPS 944522 WITH SCORE 945832.571
AT ITER 7074 NEW BEST:: SOT 6816584 SOS 1310925 HAS SOPS 1310925 HAS SOUS 944321 HAS SOUPS 944321 WITH SCORE 945631.925
AT ITER 7085 NEW BEST:: SOT 6816584 SOS 1310914 HAS SOPS 1310914 HAS SOUS 944310 HAS SOUPS 944310 WITH SCORE 945620.914
AT ITER 7087 NEW BEST:: SOT 6815781 SOS 1310090 HAS SOPS 1310090 HAS SOUS 943744 HAS SOUPS 943744 WITH SCORE 945054.09
AT ITER 7113 NEW BEST:: SOT 6815381 SOS 1310250 HAS SOPS 1310250 HAS SOUS 943424 HAS SOUPS 943424 WITH SCORE 944734.25
AT ITER 7121 NEW BEST:: SOT 6815097 SOS 1310141 HAS SOPS 1310141 HAS SOUS 943315 HAS SOUPS 943315 WITH SCORE 944625.141
AT ITER 7153 NEW BEST:: SOT 6815755 SOS 1311755 HAS SOPS 1311755 HAS SOUS 941412 HAS SOUPS 941412 WITH SCORE 942723.755
AT ITER 7162 NEW BEST:: SOT 6815945 SOS 1311703 HAS SOPS 1311703 HAS SOUS 941360 HAS SOUPS 941360 WITH SCORE 942671.703
AT ITER 7164 NEW BEST:: SOT 6816876 SOS 1312863 HAS SOPS 1312863 HAS SOUS 937242 HAS SOUPS 937242 WITH SCORE 938554.863
AT ITER 7166 NEW BEST:: SOT 6816663 SOS 1312848 HAS SOPS 1312848 HAS SOUS 936933 HAS SOUPS 936933 WITH SCORE 938245.848
AT ITER 7172 NEW BEST:: SOT 6816574 SOS 1312670 HAS SOPS 1312670 HAS SOUS 936742 HAS SOUPS 936742 WITH SCORE 938054.67
AT ITER 7173 NEW BEST:: SOT 6818469 SOS 1314920 HAS SOPS 1314920 HAS SOUS 936118 HAS SOUPS 936118 WITH SCORE 937432.92
AT ITER 7182 NEW BEST:: SOT 6818407 SOS 1314796 HAS SOPS 1314796 HAS SOUS 935994 HAS SOUPS 935994 WITH SCORE 937308.796
AT ITER 7187 NEW BEST:: SOT 6817386 SOS 1313947 HAS SOPS 1313947 HAS SOUS 935145 HAS SOUPS 935145 WITH SCORE 936458.947
AT ITER 7189 NEW BEST:: SOT 6817130 SOS 1313691 HAS SOPS 1313691 HAS SOUS 934882 HAS SOUPS 934882 WITH SCORE 936195.691
AT ITER 7224 NEW BEST:: SOT 6817130 SOS 1313364 HAS SOPS 1313364 HAS SOUS 934774 HAS SOUPS 934774 WITH SCORE 936087.364
AT ITER 7245 NEW BEST:: SOT 6817130 SOS 1313349 HAS SOPS 1313349 HAS SOUS 934759 HAS SOUPS 934759 WITH SCORE 936072.349
AT ITER 7284 NEW BEST:: SOT 6817092 SOS 1313273 HAS SOPS 1313273 HAS SOUS 934720 HAS SOUPS 934720 WITH SCORE 936033.273
AT ITER 7312 NEW BEST:: SOT 6816744 SOS 1312807 HAS SOPS 1312807 HAS SOUS 931876 HAS SOUPS 931876 WITH SCORE 933188.807
AT ITER 7329 NEW BEST:: SOT 6816676 SOS 1312671 HAS SOPS 1312671 HAS SOUS 931740 HAS SOUPS 931740 WITH SCORE 933052.671
AT ITER 7330 NEW BEST:: SOT 6816422 SOS 1313542 HAS SOPS 1313542 HAS SOUS 931226 HAS SOUPS 931226 WITH SCORE 932539.542
AT ITER 7342 NEW BEST:: SOT 6816389 SOS 1313509 HAS SOPS 1313509 HAS SOUS 931160 HAS SOUPS 931160 WITH SCORE 932473.509
AT ITER 7359 NEW BEST:: SOT 6816154 SOS 1313036 HAS SOPS 1313036 HAS SOUS 930687 HAS SOUPS 930687 WITH SCORE 932000.036
AT ITER 7380 NEW BEST:: SOT 6816154 SOS 1312939 HAS SOPS 1312939 HAS SOUS 930590 HAS SOUPS 930590 WITH SCORE 931902.939
AT ITER 7399 NEW BEST:: SOT 6815939 SOS 1312939 HAS SOPS 1312939 HAS SOUS 930435 HAS SOUPS 930435 WITH SCORE 931747.939
AT ITER 7406 NEW BEST:: SOT 6815939 SOS 1312490 HAS SOPS 1312490 HAS SOUS 930342 HAS SOUPS 930342 WITH SCORE 931654.49
AT ITER 7421 NEW BEST:: SOT 6815718 SOS 1312269 HAS SOPS 1312269 HAS SOUS 930121 HAS SOUPS 930121 WITH SCORE 931433.269
AT ITER 7467 NEW BEST:: SOT 6816029 SOS 1312695 HAS SOPS 1312695 HAS SOUS 930109 HAS SOUPS 930109 WITH SCORE 931421.695
AT ITER 7476 NEW BEST:: SOT 6815880 SOS 1312122 HAS SOPS 1312122 HAS SOUS 929774 HAS SOUPS 929774 WITH SCORE 931086.122
AT ITER 7477 NEW BEST:: SOT 6815880 SOS 1311716 HAS SOPS 1311716 HAS SOUS 929774 HAS SOUPS 929774 WITH SCORE 931085.716
AT ITER 7487 NEW BEST:: SOT 6815779 SOS 1311514 HAS SOPS 1311514 HAS SOUS 929572 HAS SOUPS 929572 WITH SCORE 930883.514
AT ITER 7489 NEW BEST:: SOT 6815779 SOS 1311514 HAS SOPS 1311514 HAS SOUS 929564 HAS SOUPS 929564 WITH SCORE 930875.514
AT ITER 7505 NEW BEST:: SOT 6815772 SOS 1311507 HAS SOPS 1311507 HAS SOUS 929557 HAS SOUPS 929557 WITH SCORE 930868.507
AT ITER 7518 NEW BEST:: SOT 6815607 SOS 1312116 HAS SOPS 1312116 HAS SOUS 929200 HAS SOUPS 929200 WITH SCORE 930512.116
AT ITER 7562 NEW BEST:: SOT 6815450 SOS 1311893 HAS SOPS 1311893 HAS SOUS 929006 HAS SOUPS 929006 WITH SCORE 930317.893
AT ITER 7573 NEW BEST:: SOT 6815227 SOS 1312644 HAS SOPS 1312644 HAS SOUS 928749 HAS SOUPS 928749 WITH SCORE 930061.644
AT ITER 7574 NEW BEST:: SOT 6815050 SOS 1312334 HAS SOPS 1312334 HAS SOUS 928439 HAS SOUPS 928439 WITH SCORE 929751.334
AT ITER 7576 NEW BEST:: SOT 6814929 SOS 1312047 HAS SOPS 1312047 HAS SOUS 928280 HAS SOUPS 928280 WITH SCORE 929592.047
AT ITER 7578 NEW BEST:: SOT 6814781 SOS 1311842 HAS SOPS 1311842 HAS SOUS 928113 HAS SOUPS 928113 WITH SCORE 929424.842
AT ITER 7581 NEW BEST:: SOT 6814689 SOS 1311702 HAS SOPS 1311702 HAS SOUS 927973 HAS SOUPS 927973 WITH SCORE 929284.702
AT ITER 7604 NEW BEST:: SOT 6814610 SOS 1311611 HAS SOPS 1311611 HAS SOUS 927882 HAS SOUPS 927882 WITH SCORE 929193.611
AT ITER 7615 NEW BEST:: SOT 6814610 SOS 1311601 HAS SOPS 1311601 HAS SOUS 927882 HAS SOUPS 927882 WITH SCORE 929193.601
AT ITER 7621 NEW BEST:: SOT 6814861 SOS 1312035 HAS SOPS 1312035 HAS SOUS 927784 HAS SOUPS 927784 WITH SCORE 929096.035
AT ITER 7657 NEW BEST:: SOT 6814603 SOS 1311971 HAS SOPS 1311971 HAS SOUS 927720 HAS SOUPS 927720 WITH SCORE 929031.971
AT ITER 7675 NEW BEST:: SOT 6814460 SOS 1311864 HAS SOPS 1311864 HAS SOUS 927613 HAS SOUPS 927613 WITH SCORE 928924.864
AT ITER 7748 NEW BEST:: SOT 6814476 SOS 1310609 HAS SOPS 1310609 HAS SOUS 927486 HAS SOUPS 927486 WITH SCORE 928796.609
AT ITER 7758 NEW BEST:: SOT 6814337 SOS 1310331 HAS SOPS 1310331 HAS SOUS 927347 HAS SOUPS 927347 WITH SCORE 928657.331
AT ITER 7772 NEW BEST:: SOT 6814736 SOS 1310785 HAS SOPS 1310785 HAS SOUS 926033 HAS SOUPS 926033 WITH SCORE 927343.785
AT ITER 7777 NEW BEST:: SOT 6814695 SOS 1310299 HAS SOPS 1310299 HAS SOUS 926002 HAS SOUPS 926002 WITH SCORE 927312.299
AT ITER 7781 NEW BEST:: SOT 6813230 SOS 1308834 HAS SOPS 1308834 HAS SOUS 924537 HAS SOUPS 924537 WITH SCORE 925845.834
AT ITER 7807 NEW BEST:: SOT 6813294 SOS 1306011 HAS SOPS 1306011 HAS SOUS 924071 HAS SOUPS 924071 WITH SCORE 925377.011
AT ITER 7851 NEW BEST:: SOT 6813153 SOS 1306241 HAS SOPS 1306241 HAS SOUS 924045 HAS SOUPS 924045 WITH SCORE 925351.241
AT ITER 7860 NEW BEST:: SOT 6813033 SOS 1306001 HAS SOPS 1306001 HAS SOUS 923805 HAS SOUPS 923805 WITH SCORE 925111.001
AT ITER 7864 NEW BEST:: SOT 6812643 SOS 1305676 HAS SOPS 1305676 HAS SOUS 923480 HAS SOUPS 923480 WITH SCORE 924785.676
AT ITER 7884 NEW BEST:: SOT 6812263 SOS 1305007 HAS SOPS 1305007 HAS SOUS 922801 HAS SOUPS 922801 WITH SCORE 924106.007
AT ITER 7916 NEW BEST:: SOT 6812204 SOS 1304948 HAS SOPS 1304948 HAS SOUS 922791 HAS SOUPS 922791 WITH SCORE 924095.948
AT ITER 7926 NEW BEST:: SOT 6812353 SOS 1304821 HAS SOPS 1304821 HAS SOUS 922664 HAS SOUPS 922664 WITH SCORE 923968.821
AT ITER 7932 NEW BEST:: SOT 6812138 SOS 1304260 HAS SOPS 1304260 HAS SOUS 922102 HAS SOUPS 922102 WITH SCORE 923406.26
AT ITER 7939 NEW BEST:: SOT 6812363 SOS 1305632 HAS SOPS 1305632 HAS SOUS 921909 HAS SOUPS 921909 WITH SCORE 923214.632
AT ITER 7951 NEW BEST:: SOT 6813814 SOS 1307536 HAS SOPS 1307536 HAS SOUS 921360 HAS SOUPS 921360 WITH SCORE 922667.536
AT ITER 7974 NEW BEST:: SOT 6813585 SOS 1307307 HAS SOPS 1307307 HAS SOUS 921131 HAS SOUPS 921131 WITH SCORE 922438.307
AT ITER 7977 NEW BEST:: SOT 6813364 SOS 1307244 HAS SOPS 1307244 HAS SOUS 921068 HAS SOUPS 921068 WITH SCORE 922375.244
AT ITER 8018 NEW BEST:: SOT 6813187 SOS 1306713 HAS SOPS 1306713 HAS SOUS 920672 HAS SOUPS 920672 WITH SCORE 921978.713
AT ITER 8051 NEW BEST:: SOT 6812952 SOS 1306331 HAS SOPS 1306331 HAS SOUS 920289 HAS SOUPS 920289 WITH SCORE 921595.331
AT ITER 8084 NEW BEST:: SOT 6812551 SOS 1305529 HAS SOPS 1305529 HAS SOUS 919487 HAS SOUPS 919487 WITH SCORE 920792.529
AT ITER 8087 NEW BEST:: SOT 6811732 SOS 1305120 HAS SOPS 1305120 HAS SOUS 918988 HAS SOUPS 918988 WITH SCORE 920293.12
AT ITER 8106 NEW BEST:: SOT 6811833 SOS 1305019 HAS SOPS 1305019 HAS SOUS 918895 HAS SOUPS 918895 WITH SCORE 920200.019
AT ITER 8127 NEW BEST:: SOT 6811798 SOS 1304991 HAS SOPS 1304991 HAS SOUS 918867 HAS SOUPS 918867 WITH SCORE 920171.991
AT ITER 8146 NEW BEST:: SOT 6811394 SOS 1305350 HAS SOPS 1305350 HAS SOUS 918476 HAS SOUPS 918476 WITH SCORE 919781.35
AT ITER 8165 NEW BEST:: SOT 6811394 SOS 1305268 HAS SOPS 1305268 HAS SOUS 918475 HAS SOUPS 918475 WITH SCORE 919780.268
AT ITER 8174 NEW BEST:: SOT 6811276 SOS 1305032 HAS SOPS 1305032 HAS SOUS 918239 HAS SOUPS 918239 WITH SCORE 919544.032
AT ITER 8178 NEW BEST:: SOT 6811042 SOS 1305044 HAS SOPS 1305044 HAS SOUS 918141 HAS SOUPS 918141 WITH SCORE 919446.044
AT ITER 8181 NEW BEST:: SOT 6811042 SOS 1304974 HAS SOPS 1304974 HAS SOUS 918071 HAS SOUPS 918071 WITH SCORE 919375.974
AT ITER 8234 NEW BEST:: SOT 6810926 SOS 1304417 HAS SOPS 1304417 HAS SOUS 917861 HAS SOUPS 917861 WITH SCORE 919165.417
AT ITER 8237 NEW BEST:: SOT 6810925 SOS 1304415 HAS SOPS 1304415 HAS SOUS 917859 HAS SOUPS 917859 WITH SCORE 919163.415
AT ITER 8240 NEW BEST:: SOT 6810747 SOS 1304086 HAS SOPS 1304086 HAS SOUS 917592 HAS SOUPS 917592 WITH SCORE 918896.086
AT ITER 8242 NEW BEST:: SOT 6810747 SOS 1303991 HAS SOPS 1303991 HAS SOUS 917497 HAS SOUPS 917497 WITH SCORE 918800.991
AT ITER 8246 NEW BEST:: SOT 6810743 SOS 1303987 HAS SOPS 1303987 HAS SOUS 917493 HAS SOUPS 917493 WITH SCORE 918796.987
AT ITER 8253 NEW BEST:: SOT 6810715 SOS 1304341 HAS SOPS 1304341 HAS SOUS 917437 HAS SOUPS 917437 WITH SCORE 918741.341
AT ITER 8257 NEW BEST:: SOT 6810281 SOS 1303999 HAS SOPS 1303999 HAS SOUS 917095 HAS SOUPS 917095 WITH SCORE 918398.999
AT ITER 8269 NEW BEST:: SOT 6810140 SOS 1303872 HAS SOPS 1303872 HAS SOUS 916968 HAS SOUPS 916968 WITH SCORE 918271.872
AT ITER 8281 NEW BEST:: SOT 6810204 SOS 1305504 HAS SOPS 1305504 HAS SOUS 915942 HAS SOUPS 915942 WITH SCORE 917247.504
AT ITER 8291 NEW BEST:: SOT 6810133 SOS 1305433 HAS SOPS 1305433 HAS SOUS 915871 HAS SOUPS 915871 WITH SCORE 917176.433
AT ITER 8302 NEW BEST:: SOT 6810015 SOS 1305379 HAS SOPS 1305379 HAS SOUS 915583 HAS SOUPS 915583 WITH SCORE 916888.379
AT ITER 8344 NEW BEST:: SOT 6810098 SOS 1305174 HAS SOPS 1305174 HAS SOUS 915378 HAS SOUPS 915378 WITH SCORE 916683.174
AT ITER 8374 NEW BEST:: SOT 6809955 SOS 1304983 HAS SOPS 1304983 HAS SOUS 915187 HAS SOUPS 915187 WITH SCORE 916491.983
AT ITER 8394 NEW BEST:: SOT 6809937 SOS 1305177 HAS SOPS 1305177 HAS SOUS 915107 HAS SOUPS 915107 WITH SCORE 916412.177
AT ITER 8427 NEW BEST:: SOT 6809820 SOS 1304709 HAS SOPS 1304709 HAS SOUS 914867 HAS SOUPS 914867 WITH SCORE 916171.709
AT ITER 8428 NEW BEST:: SOT 6809875 SOS 1299732 HAS SOPS 1299732 HAS SOUS 914670 HAS SOUPS 914670 WITH SCORE 915969.732
AT ITER 8462 NEW BEST:: SOT 6809085 SOS 1299068 HAS SOPS 1299068 HAS SOUS 914011 HAS SOUPS 914011 WITH SCORE 915310.068
AT ITER 8480 NEW BEST:: SOT 6809030 SOS 1298815 HAS SOPS 1298815 HAS SOUS 913901 HAS SOUPS 913901 WITH SCORE 915199.815
AT ITER 8501 NEW BEST:: SOT 6808998 SOS 1298782 HAS SOPS 1298782 HAS SOUS 913868 HAS SOUPS 913868 WITH SCORE 915166.782
AT ITER 8510 NEW BEST:: SOT 6808995 SOS 1298777 HAS SOPS 1298777 HAS SOUS 913862 HAS SOUPS 913862 WITH SCORE 915160.777
AT ITER 8512 NEW BEST:: SOT 6808957 SOS 1298544 HAS SOPS 1298544 HAS SOUS 913629 HAS SOUPS 913629 WITH SCORE 914927.544
AT ITER 8546 NEW BEST:: SOT 6808957 SOS 1298394 HAS SOPS 1298394 HAS SOUS 913582 HAS SOUPS 913582 WITH SCORE 914880.394
AT ITER 8571 NEW BEST:: SOT 6809248 SOS 1297900 HAS SOPS 1297900 HAS SOUS 913582 HAS SOUPS 913582 WITH SCORE 914879.9
AT ITER 8586 NEW BEST:: SOT 6809151 SOS 1297828 HAS SOPS 1297828 HAS SOUS 913440 HAS SOUPS 913440 WITH SCORE 914737.828
AT ITER 8615 NEW BEST:: SOT 6809151 SOS 1298212 HAS SOPS 1298212 HAS SOUS 913401 HAS SOUPS 913401 WITH SCORE 914699.212
AT ITER 8639 NEW BEST:: SOT 6808487 SOS 1299150 HAS SOPS 1299150 HAS SOUS 912943 HAS SOUPS 912943 WITH SCORE 914242.15
AT ITER 8703 NEW BEST:: SOT 6808839 SOS 1299526 HAS SOPS 1299526 HAS SOUS 911663 HAS SOUPS 911663 WITH SCORE 912962.526
AT ITER 8720 NEW BEST:: SOT 6808529 SOS 1299278 HAS SOPS 1299278 HAS SOUS 911597 HAS SOUPS 911597 WITH SCORE 912896.278
AT ITER 8721 NEW BEST:: SOT 6808531 SOS 1299209 HAS SOPS 1299209 HAS SOUS 911528 HAS SOUPS 911528 WITH SCORE 912827.209
AT ITER 8752 NEW BEST:: SOT 6808534 SOS 1299212 HAS SOPS 1299212 HAS SOUS 911428 HAS SOUPS 911428 WITH SCORE 912727.212
AT ITER 8755 NEW BEST:: SOT 6808373 SOS 1298890 HAS SOPS 1298890 HAS SOUS 911264 HAS SOUPS 911264 WITH SCORE 912562.89
AT ITER 8767 NEW BEST:: SOT 6807860 SOS 1298440 HAS SOPS 1298440 HAS SOUS 910825 HAS SOUPS 910825 WITH SCORE 912123.44
AT ITER 8769 NEW BEST:: SOT 6807712 SOS 1298144 HAS SOPS 1298144 HAS SOUS 910587 HAS SOUPS 910587 WITH SCORE 911885.144
AT ITER 8807 NEW BEST:: SOT 6807682 SOS 1298084 HAS SOPS 1298084 HAS SOUS 910527 HAS SOUPS 910527 WITH SCORE 911825.084
AT ITER 8826 NEW BEST:: SOT 6807664 SOS 1298066 HAS SOPS 1298066 HAS SOUS 910509 HAS SOUPS 910509 WITH SCORE 911807.066
AT ITER 8837 NEW BEST:: SOT 6807664 SOS 1298062 HAS SOPS 1298062 HAS SOUS 910505 HAS SOUPS 910505 WITH SCORE 911803.062
AT ITER 8847 NEW BEST:: SOT 6807520 SOS 1297962 HAS SOPS 1297962 HAS SOUS 910374 HAS SOUPS 910374 WITH SCORE 911671.962
AT ITER 8911 NEW BEST:: SOT 6807216 SOS 1297326 HAS SOPS 1297326 HAS SOUS 909687 HAS SOUPS 909687 WITH SCORE 910984.326
AT ITER 8914 NEW BEST:: SOT 6807172 SOS 1297265 HAS SOPS 1297265 HAS SOUS 908570 HAS SOUPS 908570 WITH SCORE 909867.265
AT ITER 8939 NEW BEST:: SOT 6807024 SOS 1297542 HAS SOPS 1297542 HAS SOUS 908421 HAS SOUPS 908421 WITH SCORE 909718.542
AT ITER 8947 NEW BEST:: SOT 6807052 SOS 1297602 HAS SOPS 1297602 HAS SOUS 908213 HAS SOUPS 908213 WITH SCORE 909510.602
AT ITER 8992 NEW BEST:: SOT 6807035 SOS 1297568 HAS SOPS 1297568 HAS SOUS 908179 HAS SOUPS 908179 WITH SCORE 909476.568
AT ITER 9048 NEW BEST:: SOT 6806957 SOS 1297178 HAS SOPS 1297178 HAS SOUS 908023 HAS SOUPS 908023 WITH SCORE 909320.178
AT ITER 9049 NEW BEST:: SOT 6806534 SOS 1296755 HAS SOPS 1296755 HAS SOUS 907600 HAS SOUPS 907600 WITH SCORE 908896.755
AT ITER 9062 NEW BEST:: SOT 6806332 SOS 1296553 HAS SOPS 1296553 HAS SOUS 907398 HAS SOUPS 907398 WITH SCORE 908694.553
AT ITER 9088 NEW BEST:: SOT 6806282 SOS 1296538 HAS SOPS 1296538 HAS SOUS 907383 HAS SOUPS 907383 WITH SCORE 908679.538
AT ITER 9120 NEW BEST:: SOT 6806279 SOS 1296531 HAS SOPS 1296531 HAS SOUS 907376 HAS SOUPS 907376 WITH SCORE 908672.531
AT ITER 9183 NEW BEST:: SOT 6806279 SOS 1296445 HAS SOPS 1296445 HAS SOUS 907290 HAS SOUPS 907290 WITH SCORE 908586.445
AT ITER 9187 NEW BEST:: SOT 6806279 SOS 1296386 HAS SOPS 1296386 HAS SOUS 907231 HAS SOUPS 907231 WITH SCORE 908527.386
AT ITER 9188 NEW BEST:: SOT 6806279 SOS 1296255 HAS SOPS 1296255 HAS SOUS 907100 HAS SOUPS 907100 WITH SCORE 908396.255
AT ITER 9196 NEW BEST:: SOT 6806103 SOS 1296079 HAS SOPS 1296079 HAS SOUS 906924 HAS SOUPS 906924 WITH SCORE 908220.079
AT ITER 9202 NEW BEST:: SOT 6806030 SOS 1296517 HAS SOPS 1296517 HAS SOUS 906778 HAS SOUPS 906778 WITH SCORE 908074.517
AT ITER 9219 NEW BEST:: SOT 6805948 SOS 1296232 HAS SOPS 1296232 HAS SOUS 906611 HAS SOUPS 906611 WITH SCORE 907907.232
AT ITER 9228 NEW BEST:: SOT 6805521 SOS 1295886 HAS SOPS 1295886 HAS SOUS 905754 HAS SOUPS 905754 WITH SCORE 907049.886
AT ITER 9238 NEW BEST:: SOT 6805436 SOS 1295716 HAS SOPS 1295716 HAS SOUS 905584 HAS SOUPS 905584 WITH SCORE 906879.716
AT ITER 9267 NEW BEST:: SOT 6805381 SOS 1297854 HAS SOPS 1297854 HAS SOUS 905474 HAS SOUPS 905474 WITH SCORE 906771.854
AT ITER 9273 NEW BEST:: SOT 6805331 SOS 1297657 HAS SOPS 1297657 HAS SOUS 905277 HAS SOUPS 905277 WITH SCORE 906574.657
AT ITER 9341 NEW BEST:: SOT 6805121 SOS 1297201 HAS SOPS 1297201 HAS SOUS 905017 HAS SOUPS 905017 WITH SCORE 906314.201
AT ITER 9343 NEW BEST:: SOT 6804839 SOS 1296959 HAS SOPS 1296959 HAS SOUS 904775 HAS SOUPS 904775 WITH SCORE 906071.959
AT ITER 9387 NEW BEST:: SOT 6804797 SOS 1296875 HAS SOPS 1296875 HAS SOUS 904733 HAS SOUPS 904733 WITH SCORE 906029.875
AT ITER 9408 NEW BEST:: SOT 6804581 SOS 1296443 HAS SOPS 1296443 HAS SOUS 904301 HAS SOUPS 904301 WITH SCORE 905597.443
AT ITER 9426 NEW BEST:: SOT 6804562 SOS 1296405 HAS SOPS 1296405 HAS SOUS 904263 HAS SOUPS 904263 WITH SCORE 905559.405
AT ITER 9465 NEW BEST:: SOT 6804502 SOS 1296285 HAS SOPS 1296285 HAS SOUS 904143 HAS SOUPS 904143 WITH SCORE 905439.285
AT ITER 9474 NEW BEST:: SOT 6804232 SOS 1295655 HAS SOPS 1295655 HAS SOUS 903873 HAS SOUPS 903873 WITH SCORE 905168.655
AT ITER 9488 NEW BEST:: SOT 6803982 SOS 1295224 HAS SOPS 1295224 HAS SOUS 903571 HAS SOUPS 903571 WITH SCORE 904866.224
AT ITER 9500 NEW BEST:: SOT 6803982 SOS 1295161 HAS SOPS 1295161 HAS SOUS 903508 HAS SOUPS 903508 WITH SCORE 904803.161
AT ITER 9515 NEW BEST:: SOT 6803754 SOS 1295537 HAS SOPS 1295537 HAS SOUS 903396 HAS SOUPS 903396 WITH SCORE 904691.537
AT ITER 9570 NEW BEST:: SOT 6803576 SOS 1294862 HAS SOPS 1294862 HAS SOUS 903071 HAS SOUPS 903071 WITH SCORE 904365.862
AT ITER 9586 NEW BEST:: SOT 6803465 SOS 1294344 HAS SOPS 1294344 HAS SOUS 902553 HAS SOUPS 902553 WITH SCORE 903847.344
AT ITER 9623 NEW BEST:: SOT 6803576 SOS 1294582 HAS SOPS 1294582 HAS SOUS 902374 HAS SOUPS 902374 WITH SCORE 903668.582
AT ITER 9626 NEW BEST:: SOT 6803493 SOS 1294416 HAS SOPS 1294416 HAS SOUS 902208 HAS SOUPS 902208 WITH SCORE 903502.416
AT ITER 9633 NEW BEST:: SOT 6803250 SOS 1293777 HAS SOPS 1293777 HAS SOUS 901569 HAS SOUPS 901569 WITH SCORE 902862.777
AT ITER 9681 NEW BEST:: SOT 6803189 SOS 1293680 HAS SOPS 1293680 HAS SOUS 901472 HAS SOUPS 901472 WITH SCORE 902765.68
AT ITER 9698 NEW BEST:: SOT 6803201 SOS 1293704 HAS SOPS 1293704 HAS SOUS 901241 HAS SOUPS 901241 WITH SCORE 902534.704
AT ITER 9706 NEW BEST:: SOT 6803192 SOS 1293686 HAS SOPS 1293686 HAS SOUS 901232 HAS SOUPS 901232 WITH SCORE 902525.686
AT ITER 9753 NEW BEST:: SOT 6803141 SOS 1293568 HAS SOPS 1293568 HAS SOUS 901114 HAS SOUPS 901114 WITH SCORE 902407.568
AT ITER 9759 NEW BEST:: SOT 6803141 SOS 1293504 HAS SOPS 1293504 HAS SOUS 901050 HAS SOUPS 901050 WITH SCORE 902343.504
AT ITER 9761 NEW BEST:: SOT 6803178 SOS 1293578 HAS SOPS 1293578 HAS SOUS 901016 HAS SOUPS 901016 WITH SCORE 902309.578
AT ITER 9768 NEW BEST:: SOT 6803178 SOS 1293576 HAS SOPS 1293576 HAS SOUS 901015 HAS SOUPS 901015 WITH SCORE 902308.576
AT ITER 9790 NEW BEST:: SOT 6803060 SOS 1291802 HAS SOPS 1291802 HAS SOUS 900431 HAS SOUPS 900431 WITH SCORE 901722.802
AT ITER 9810 NEW BEST:: SOT 6802889 SOS 1291430 HAS SOPS 1291430 HAS SOUS 900147 HAS SOUPS 900147 WITH SCORE 901438.43
AT ITER 9828 NEW BEST:: SOT 6802886 SOS 1291294 HAS SOPS 1291294 HAS SOUS 899905 HAS SOUPS 899905 WITH SCORE 901196.294
AT ITER 9878 NEW BEST:: SOT 6802881 SOS 1291284 HAS SOPS 1291284 HAS SOUS 899900 HAS SOUPS 899900 WITH SCORE 901191.284
AT ITER 9886 NEW BEST:: SOT 6802733 SOS 1290949 HAS SOPS 1290949 HAS SOUS 899331 HAS SOUPS 899331 WITH SCORE 900621.949
AT ITER 9920 NEW BEST:: SOT 6802732 SOS 1290717 HAS SOPS 1290717 HAS SOUS 899175 HAS SOUPS 899175 WITH SCORE 900465.717
AT ITER 9941 NEW BEST:: SOT 6802712 SOS 1290697 HAS SOPS 1290697 HAS SOUS 899155 HAS SOUPS 899155 WITH SCORE 900445.697
AT ITER 9942 NEW BEST:: SOT 6802564 SOS 1290401 HAS SOPS 1290401 HAS SOUS 898859 HAS SOUPS 898859 WITH SCORE 900149.401
AT ITER 9951 NEW BEST:: SOT 6802562 SOS 1290191 HAS SOPS 1290191 HAS SOUS 898649 HAS SOUPS 898649 WITH SCORE 899939.191
AT ITER 9968 NEW BEST:: SOT 6802316 SOS 1289822 HAS SOPS 1289822 HAS SOUS 898157 HAS SOUPS 898157 WITH SCORE 899446.822
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 13557280 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16118944 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-07b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ASLink-PT-07b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813599800120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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