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.r363-smll-167891814400456.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is SemanticWebServices-PT-S256P18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814400456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.7M
-rw-r--r-- 1 mcc users 7.2K Feb 26 10:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 10:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 10:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 10:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 10:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 26 10:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 96K Feb 26 10:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 9.2M Mar 5 18:23 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 1679208439119

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=SemanticWebServices-PT-S256P18
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 06:47:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 06:47:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 06:47:22] [INFO ] Load time of PNML (sax parser for PT used): 865 ms
[2023-03-19 06:47:23] [INFO ] Transformed 198 places.
[2023-03-19 06:47:23] [INFO ] Transformed 9732 transitions.
[2023-03-19 06:47:23] [INFO ] Parsed PT model containing 198 places and 9732 transitions and 78799 arcs in 1188 ms.
[2023-03-19 06:47:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 198 places, 9732 transitions and 78799 arcs took 221 ms.
Total runtime 1454 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S256P18
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: 198 places, 9732 transitions, 78799 arcs.
AT ITER 0 NEW BEST:: SOT 1626421 SOS 1547611 HAS SOPS 1512221 HAS SOUS 767635 HAS SOUPS 764001 WITH SCORE 765548.611
AT ITER 1 NEW BEST:: SOT 1626421 SOS 1545813 HAS SOPS 1510169 HAS SOUS 765116 HAS SOUPS 761025 WITH SCORE 762570.813
AT ITER 3 NEW BEST:: SOT 1626421 SOS 1545815 HAS SOPS 1510115 HAS SOUS 765117 HAS SOUPS 760998 WITH SCORE 762543.815
AT ITER 6 NEW BEST:: SOT 1035647 SOS 957291 HAS SOPS 925949 HAS SOUS 430981 HAS SOUPS 428264 WITH SCORE 429221.291
AT ITER 7 NEW BEST:: SOT 1035643 SOS 957287 HAS SOPS 925945 HAS SOUS 430977 HAS SOUPS 428260 WITH SCORE 429217.287
AT ITER 8 NEW BEST:: SOT 1035643 SOS 957275 HAS SOPS 925941 HAS SOUS 430973 HAS SOUPS 428258 WITH SCORE 429215.275
AT ITER 11 NEW BEST:: SOT 1035609 SOS 957231 HAS SOPS 925897 HAS SOUS 430939 HAS SOUPS 428224 WITH SCORE 429181.231
AT ITER 12 NEW BEST:: SOT 1042627 SOS 963807 HAS SOPS 930299 HAS SOUS 432817 HAS SOUPS 427999 WITH SCORE 428962.807
AT ITER 15 NEW BEST:: SOT 1042545 SOS 963725 HAS SOPS 930217 HAS SOUS 432731 HAS SOUPS 427913 WITH SCORE 428876.725
AT ITER 17 NEW BEST:: SOT 1042539 SOS 963719 HAS SOPS 930211 HAS SOUS 432728 HAS SOUPS 427910 WITH SCORE 428873.719
AT ITER 20 NEW BEST:: SOT 1042539 SOS 962565 HAS SOPS 924639 HAS SOUS 406132 HAS SOUPS 400261 WITH SCORE 401223.565
AT ITER 21 NEW BEST:: SOT 1042539 SOS 962513 HAS SOPS 924639 HAS SOUS 406088 HAS SOUPS 400243 WITH SCORE 401205.513
AT ITER 22 NEW BEST:: SOT 1042535 SOS 962509 HAS SOPS 924635 HAS SOUS 406077 HAS SOUPS 400232 WITH SCORE 401194.509
AT ITER 24 NEW BEST:: SOT 771979 SOS 696131 HAS SOPS 663863 HAS SOUS 254631 HAS SOUPS 251342 WITH SCORE 252038.131
AT ITER 25 NEW BEST:: SOT 771961 SOS 696113 HAS SOPS 663845 HAS SOUS 254613 HAS SOUPS 251324 WITH SCORE 252020.113
AT ITER 31 NEW BEST:: SOT 771861 SOS 696013 HAS SOPS 663745 HAS SOUS 254563 HAS SOUPS 251274 WITH SCORE 251970.013
AT ITER 33 NEW BEST:: SOT 771861 SOS 695993 HAS SOPS 663745 HAS SOUS 254547 HAS SOUPS 251263 WITH SCORE 251958.993
AT ITER 35 NEW BEST:: SOT 800617 SOS 723131 HAS SOPS 688333 HAS SOUS 233070 HAS SOUPS 230050 WITH SCORE 230773.131
AT ITER 39 NEW BEST:: SOT 812245 SOS 734231 HAS SOPS 698315 HAS SOUS 220047 HAS SOUPS 217002 WITH SCORE 217736.231
AT ITER 41 NEW BEST:: SOT 815989 SOS 736521 HAS SOPS 700455 HAS SOUS 219423 HAS SOUPS 216304 WITH SCORE 217040.521
AT ITER 44 NEW BEST:: SOT 815989 SOS 735445 HAS SOPS 699799 HAS SOUS 219204 HAS SOUPS 216086 WITH SCORE 216821.445
AT ITER 51 NEW BEST:: SOT 815989 SOS 735317 HAS SOPS 699599 HAS SOUS 217394 HAS SOUPS 214267 WITH SCORE 215002.317
AT ITER 52 NEW BEST:: SOT 815981 SOS 735309 HAS SOPS 699591 HAS SOUS 217350 HAS SOUPS 214223 WITH SCORE 214958.309
AT ITER 62 NEW BEST:: SOT 654852 SOS 597314 HAS SOPS 575916 HAS SOUS 129688 HAS SOUPS 129333 WITH SCORE 129930.314
AT ITER 64 NEW BEST:: SOT 654722 SOS 597184 HAS SOPS 575786 HAS SOUS 129534 HAS SOUPS 129179 WITH SCORE 129776.184
AT ITER 65 NEW BEST:: SOT 654694 SOS 597156 HAS SOPS 575758 HAS SOUS 129486 HAS SOUPS 129131 WITH SCORE 129728.156
AT ITER 72 NEW BEST:: SOT 654682 SOS 597144 HAS SOPS 575746 HAS SOUS 129479 HAS SOUPS 129124 WITH SCORE 129721.144
AT ITER 73 NEW BEST:: SOT 700596 SOS 643058 HAS SOPS 621660 HAS SOUS 121364 HAS SOUPS 121009 WITH SCORE 121652.058
AT ITER 77 NEW BEST:: SOT 700586 SOS 643048 HAS SOPS 621650 HAS SOUS 121349 HAS SOUPS 120994 WITH SCORE 121637.048
AT ITER 80 NEW BEST:: SOT 758487 SOS 699789 HAS SOPS 678751 HAS SOUS 120866 HAS SOUPS 120510 WITH SCORE 121209.789
AT ITER 97 NEW BEST:: SOT 755305 SOS 696707 HAS SOPS 675669 HAS SOUS 120321 HAS SOUPS 119965 WITH SCORE 120661.707
AT ITER 99 NEW BEST:: SOT 778367 SOS 716351 HAS SOPS 695699 HAS SOUS 113859 HAS SOUPS 113505 WITH SCORE 114221.351
AT ITER 100 NEW BEST:: SOT 825579 SOS 763563 HAS SOPS 742911 HAS SOUS 109593 HAS SOUPS 109239 WITH SCORE 110002.563
AT ITER 102 NEW BEST:: SOT 835617 SOS 773263 HAS SOPS 752683 HAS SOUS 106430 HAS SOUPS 106080 WITH SCORE 106853.263
AT ITER 106 NEW BEST:: SOT 837269 SOS 774915 HAS SOPS 754335 HAS SOUS 105914 HAS SOUPS 105564 WITH SCORE 106338.915
AT ITER 108 NEW BEST:: SOT 837299 SOS 774945 HAS SOPS 754365 HAS SOUS 105872 HAS SOUPS 105522 WITH SCORE 106296.945
AT ITER 110 NEW BEST:: SOT 896141 SOS 830507 HAS SOPS 810969 HAS SOUS 101071 HAS SOUPS 100722 WITH SCORE 101552.507
AT ITER 123 NEW BEST:: SOT 896143 SOS 830509 HAS SOPS 810971 HAS SOUS 101068 HAS SOUPS 100719 WITH SCORE 101549.509
AT ITER 132 NEW BEST:: SOT 906045 SOS 839873 HAS SOPS 820295 HAS SOUS 98650 HAS SOUPS 98301 WITH SCORE 99140.873
AT ITER 137 NEW BEST:: SOT 906045 SOS 839873 HAS SOPS 820295 HAS SOUS 98648 HAS SOUPS 98299 WITH SCORE 99138.873
AT ITER 141 NEW BEST:: SOT 904669 SOS 838497 HAS SOPS 818919 HAS SOUS 98578 HAS SOUPS 98229 WITH SCORE 99067.497
AT ITER 146 NEW BEST:: SOT 904669 SOS 838497 HAS SOPS 818919 HAS SOUS 98526 HAS SOUPS 98177 WITH SCORE 99015.497
AT ITER 154 NEW BEST:: SOT 916997 SOS 850283 HAS SOPS 830689 HAS SOUS 94917 HAS SOUPS 94568 WITH SCORE 95418.283
AT ITER 158 NEW BEST:: SOT 916993 SOS 850279 HAS SOPS 830685 HAS SOUS 94913 HAS SOUPS 94564 WITH SCORE 95414.279
AT ITER 160 NEW BEST:: SOT 916463 SOS 849749 HAS SOPS 830155 HAS SOUS 94878 HAS SOUPS 94529 WITH SCORE 95378.749
AT ITER 166 NEW BEST:: SOT 917357 SOS 850643 HAS SOPS 831049 HAS SOUS 94813 HAS SOUPS 94464 WITH SCORE 95314.643
AT ITER 168 NEW BEST:: SOT 915173 SOS 848459 HAS SOPS 828865 HAS SOUS 93623 HAS SOUPS 93274 WITH SCORE 94122.459
AT ITER 177 NEW BEST:: SOT 918463 SOS 851749 HAS SOPS 832155 HAS SOUS 93412 HAS SOUPS 93063 WITH SCORE 93914.749
AT ITER 184 NEW BEST:: SOT 918333 SOS 851619 HAS SOPS 832025 HAS SOUS 93304 HAS SOUPS 92955 WITH SCORE 93806.619
AT ITER 191 NEW BEST:: SOT 918323 SOS 851609 HAS SOPS 832015 HAS SOUS 93299 HAS SOUPS 92950 WITH SCORE 93801.609
AT ITER 196 NEW BEST:: SOT 918303 SOS 851589 HAS SOPS 831995 HAS SOUS 93289 HAS SOUPS 92940 WITH SCORE 93791.589
AT ITER 214 NEW BEST:: SOT 918123 SOS 851409 HAS SOPS 831815 HAS SOUS 93171 HAS SOUPS 92822 WITH SCORE 93673.409
AT ITER 216 NEW BEST:: SOT 918661 SOS 851947 HAS SOPS 832353 HAS SOUS 93032 HAS SOUPS 92683 WITH SCORE 93534.947
AT ITER 244 NEW BEST:: SOT 918661 SOS 851947 HAS SOPS 832353 HAS SOUS 92996 HAS SOUPS 92647 WITH SCORE 93498.947
AT ITER 255 NEW BEST:: SOT 918563 SOS 851849 HAS SOPS 832255 HAS SOUS 92858 HAS SOUPS 92509 WITH SCORE 93360.849
AT ITER 272 NEW BEST:: SOT 918491 SOS 851777 HAS SOPS 832183 HAS SOUS 92726 HAS SOUPS 92377 WITH SCORE 93228.777
AT ITER 274 NEW BEST:: SOT 918509 SOS 853843 HAS SOPS 815723 HAS SOUS 92679 HAS SOUPS 92249 WITH SCORE 93102.843
AT ITER 277 NEW BEST:: SOT 918461 SOS 853793 HAS SOPS 815675 HAS SOUS 92644 HAS SOUPS 92215 WITH SCORE 93068.793
AT ITER 278 NEW BEST:: SOT 918419 SOS 853751 HAS SOPS 815633 HAS SOUS 92623 HAS SOUPS 92194 WITH SCORE 93047.751
AT ITER 279 NEW BEST:: SOT 918419 SOS 851863 HAS SOPS 811455 HAS SOUS 92360 HAS SOUPS 91980 WITH SCORE 92831.863
AT ITER 280 NEW BEST:: SOT 918389 SOS 851833 HAS SOPS 811425 HAS SOUS 92275 HAS SOUPS 91895 WITH SCORE 92746.833
AT ITER 283 NEW BEST:: SOT 918915 SOS 852359 HAS SOPS 811951 HAS SOUS 92104 HAS SOUPS 91724 WITH SCORE 92576.359
AT ITER 302 NEW BEST:: SOT 918915 SOS 852359 HAS SOPS 811951 HAS SOUS 92078 HAS SOUPS 91698 WITH SCORE 92550.359
AT ITER 307 NEW BEST:: SOT 918859 SOS 852303 HAS SOPS 811895 HAS SOUS 91941 HAS SOUPS 91561 WITH SCORE 92413.303
AT ITER 334 NEW BEST:: SOT 918859 SOS 852311 HAS SOPS 811895 HAS SOUS 91943 HAS SOUPS 91559 WITH SCORE 92411.311
AT ITER 341 NEW BEST:: SOT 918839 SOS 852291 HAS SOPS 811875 HAS SOUS 91917 HAS SOUPS 91533 WITH SCORE 92385.291
AT ITER 346 NEW BEST:: SOT 918779 SOS 852231 HAS SOPS 811815 HAS SOUS 91887 HAS SOUPS 91503 WITH SCORE 92355.231
AT ITER 352 NEW BEST:: SOT 918779 SOS 852231 HAS SOPS 811815 HAS SOUS 91871 HAS SOUPS 91487 WITH SCORE 92339.231
AT ITER 359 NEW BEST:: SOT 918769 SOS 852221 HAS SOPS 811805 HAS SOUS 91869 HAS SOUPS 91485 WITH SCORE 92337.221
AT ITER 364 NEW BEST:: SOT 918924 SOS 852376 HAS SOPS 811960 HAS SOUS 91749 HAS SOUPS 91365 WITH SCORE 92217.376
AT ITER 370 NEW BEST:: SOT 918880 SOS 852334 HAS SOPS 811918 HAS SOUS 91729 HAS SOUPS 91345 WITH SCORE 92197.334
AT ITER 386 NEW BEST:: SOT 920470 SOS 850462 HAS SOPS 812304 HAS SOUS 90715 HAS SOUPS 90347 WITH SCORE 91197.462
AT ITER 389 NEW BEST:: SOT 920470 SOS 850462 HAS SOPS 812304 HAS SOUS 90706 HAS SOUPS 90338 WITH SCORE 91188.462
AT ITER 391 NEW BEST:: SOT 920406 SOS 850398 HAS SOPS 812240 HAS SOUS 90667 HAS SOUPS 90299 WITH SCORE 91149.398
AT ITER 395 NEW BEST:: SOT 921480 SOS 851472 HAS SOPS 813314 HAS SOUS 90463 HAS SOUPS 90095 WITH SCORE 90946.472
AT ITER 396 NEW BEST:: SOT 921528 SOS 851520 HAS SOPS 813362 HAS SOUS 90460 HAS SOUPS 90092 WITH SCORE 90943.52
AT ITER 397 NEW BEST:: SOT 921528 SOS 851520 HAS SOPS 813362 HAS SOUS 90436 HAS SOUPS 90068 WITH SCORE 90919.52
AT ITER 414 NEW BEST:: SOT 925022 SOS 855014 HAS SOPS 816856 HAS SOUS 90083 HAS SOUPS 89715 WITH SCORE 90570.014
AT ITER 433 NEW BEST:: SOT 925086 SOS 855078 HAS SOPS 816920 HAS SOUS 90073 HAS SOUPS 89705 WITH SCORE 90560.078
AT ITER 436 NEW BEST:: SOT 895268 SOS 825260 HAS SOPS 787102 HAS SOUS 87732 HAS SOUPS 87364 WITH SCORE 88189.26
AT ITER 439 NEW BEST:: SOT 895242 SOS 825234 HAS SOPS 787076 HAS SOUS 87708 HAS SOUPS 87340 WITH SCORE 88165.234
AT ITER 448 NEW BEST:: SOT 895230 SOS 825222 HAS SOPS 787064 HAS SOUS 87696 HAS SOUPS 87328 WITH SCORE 88153.222
AT ITER 454 NEW BEST:: SOT 895220 SOS 825212 HAS SOPS 787054 HAS SOUS 87686 HAS SOUPS 87318 WITH SCORE 88143.212
AT ITER 483 NEW BEST:: SOT 895132 SOS 825124 HAS SOPS 786966 HAS SOUS 87598 HAS SOUPS 87230 WITH SCORE 88055.124
AT ITER 484 NEW BEST:: SOT 895188 SOS 825180 HAS SOPS 787022 HAS SOUS 87539 HAS SOUPS 87171 WITH SCORE 87996.18
AT ITER 486 NEW BEST:: SOT 895176 SOS 825168 HAS SOPS 787010 HAS SOUS 87527 HAS SOUPS 87159 WITH SCORE 87984.168
AT ITER 491 NEW BEST:: SOT 895176 SOS 825168 HAS SOPS 787010 HAS SOUS 87496 HAS SOUPS 87128 WITH SCORE 87953.168
AT ITER 492 NEW BEST:: SOT 897818 SOS 827810 HAS SOPS 789652 HAS SOUS 86660 HAS SOUPS 86292 WITH SCORE 87119.81
AT ITER 503 NEW BEST:: SOT 899102 SOS 829094 HAS SOPS 790936 HAS SOUS 86069 HAS SOUPS 85701 WITH SCORE 86530.094
AT ITER 505 NEW BEST:: SOT 899082 SOS 829074 HAS SOPS 790916 HAS SOUS 86059 HAS SOUPS 85691 WITH SCORE 86520.074
AT ITER 507 NEW BEST:: SOT 900174 SOS 830166 HAS SOPS 792008 HAS SOUS 86003 HAS SOUPS 85635 WITH SCORE 86465.166
AT ITER 517 NEW BEST:: SOT 900156 SOS 830148 HAS SOPS 791990 HAS SOUS 85991 HAS SOUPS 85623 WITH SCORE 86453.148
AT ITER 522 NEW BEST:: SOT 900124 SOS 830116 HAS SOPS 791958 HAS SOUS 85989 HAS SOUPS 85621 WITH SCORE 86451.116
AT ITER 527 NEW BEST:: SOT 857688 SOS 787680 HAS SOPS 749522 HAS SOUS 80058 HAS SOUPS 79690 WITH SCORE 80477.68
AT ITER 535 NEW BEST:: SOT 857724 SOS 787716 HAS SOPS 749558 HAS SOUS 80053 HAS SOUPS 79685 WITH SCORE 80472.716
AT ITER 540 NEW BEST:: SOT 857732 SOS 787724 HAS SOPS 749566 HAS SOUS 80037 HAS SOUPS 79669 WITH SCORE 80456.724
AT ITER 545 NEW BEST:: SOT 859510 SOS 789502 HAS SOPS 751344 HAS SOUS 79405 HAS SOUPS 79037 WITH SCORE 79826.502
AT ITER 564 NEW BEST:: SOT 859496 SOS 789488 HAS SOPS 751330 HAS SOUS 79403 HAS SOUPS 79035 WITH SCORE 79824.488
AT ITER 584 NEW BEST:: SOT 859462 SOS 789454 HAS SOPS 751296 HAS SOUS 79377 HAS SOUPS 79009 WITH SCORE 79798.454
AT ITER 587 NEW BEST:: SOT 859462 SOS 789454 HAS SOPS 751296 HAS SOUS 79370 HAS SOUPS 79002 WITH SCORE 79791.454
AT ITER 598 NEW BEST:: SOT 863026 SOS 793018 HAS SOPS 754860 HAS SOUS 79017 HAS SOUPS 78649 WITH SCORE 79442.018
AT ITER 602 NEW BEST:: SOT 862948 SOS 792940 HAS SOPS 754782 HAS SOUS 79017 HAS SOUPS 78649 WITH SCORE 79441.94
AT ITER 610 NEW BEST:: SOT 863004 SOS 783116 HAS SOPS 755500 HAS SOUS 78815 HAS SOUPS 78474 WITH SCORE 79257.116
AT ITER 613 NEW BEST:: SOT 869172 SOS 789284 HAS SOPS 761668 HAS SOUS 77797 HAS SOUPS 77456 WITH SCORE 78245.284
AT ITER 618 NEW BEST:: SOT 874218 SOS 794330 HAS SOPS 766714 HAS SOUS 77706 HAS SOUPS 77365 WITH SCORE 78159.33
AT ITER 624 NEW BEST:: SOT 874088 SOS 794200 HAS SOPS 766584 HAS SOUS 77641 HAS SOUPS 77300 WITH SCORE 78094.2
AT ITER 633 NEW BEST:: SOT 874066 SOS 794178 HAS SOPS 766562 HAS SOUS 77602 HAS SOUPS 77261 WITH SCORE 78055.178
AT ITER 643 NEW BEST:: SOT 874084 SOS 794196 HAS SOPS 766580 HAS SOUS 77600 HAS SOUPS 77259 WITH SCORE 78053.196
AT ITER 660 NEW BEST:: SOT 874112 SOS 794224 HAS SOPS 766608 HAS SOUS 77599 HAS SOUPS 77258 WITH SCORE 78052.224
AT ITER 680 NEW BEST:: SOT 878390 SOS 798502 HAS SOPS 770886 HAS SOUS 77070 HAS SOUPS 76729 WITH SCORE 77527.502
AT ITER 681 NEW BEST:: SOT 878256 SOS 798392 HAS SOPS 770776 HAS SOUS 77027 HAS SOUPS 76686 WITH SCORE 77484.392
AT ITER 686 NEW BEST:: SOT 878128 SOS 798264 HAS SOPS 770648 HAS SOUS 76956 HAS SOUPS 76615 WITH SCORE 77413.264
AT ITER 690 NEW BEST:: SOT 895670 SOS 815806 HAS SOPS 788190 HAS SOUS 75252 HAS SOUPS 74911 WITH SCORE 75726.806
AT ITER 698 NEW BEST:: SOT 895678 SOS 815814 HAS SOPS 788198 HAS SOUS 75220 HAS SOUPS 74879 WITH SCORE 75694.814
AT ITER 713 NEW BEST:: SOT 895678 SOS 815814 HAS SOPS 788198 HAS SOUS 75209 HAS SOUPS 74868 WITH SCORE 75683.814
AT ITER 724 NEW BEST:: SOT 895678 SOS 815814 HAS SOPS 788198 HAS SOUS 75193 HAS SOUPS 74852 WITH SCORE 75667.814
AT ITER 732 NEW BEST:: SOT 895678 SOS 815814 HAS SOPS 788198 HAS SOUS 75180 HAS SOUPS 74839 WITH SCORE 75654.814
AT ITER 734 NEW BEST:: SOT 895634 SOS 815770 HAS SOPS 788154 HAS SOUS 75180 HAS SOUPS 74839 WITH SCORE 75654.77
AT ITER 736 NEW BEST:: SOT 895484 SOS 815620 HAS SOPS 788004 HAS SOUS 75142 HAS SOUPS 74801 WITH SCORE 75616.62
AT ITER 737 NEW BEST:: SOT 895488 SOS 815624 HAS SOPS 788008 HAS SOUS 75139 HAS SOUPS 74798 WITH SCORE 75613.624
AT ITER 746 NEW BEST:: SOT 895842 SOS 815978 HAS SOPS 788362 HAS SOUS 74863 HAS SOUPS 74522 WITH SCORE 75337.978
AT ITER 750 NEW BEST:: SOT 897234 SOS 814698 HAS SOPS 788894 HAS SOUS 74791 HAS SOUPS 74520 WITH SCORE 75334.698
AT ITER 763 NEW BEST:: SOT 909188 SOS 826652 HAS SOPS 800848 HAS SOUS 73891 HAS SOUPS 73620 WITH SCORE 74446.652
AT ITER 765 NEW BEST:: SOT 909138 SOS 826602 HAS SOPS 800798 HAS SOUS 73853 HAS SOUPS 73582 WITH SCORE 74408.602
AT ITER 766 NEW BEST:: SOT 887932 SOS 805396 HAS SOPS 779592 HAS SOUS 73219 HAS SOUPS 72948 WITH SCORE 73753.396
AT ITER 773 NEW BEST:: SOT 887932 SOS 805390 HAS SOPS 779592 HAS SOUS 73213 HAS SOUPS 72945 WITH SCORE 73750.39
AT ITER 777 NEW BEST:: SOT 887924 SOS 805382 HAS SOPS 779584 HAS SOUS 73205 HAS SOUPS 72937 WITH SCORE 73742.382
AT ITER 799 NEW BEST:: SOT 867746 SOS 785204 HAS SOPS 759406 HAS SOUS 68561 HAS SOUPS 68293 WITH SCORE 69078.204
AT ITER 801 NEW BEST:: SOT 867742 SOS 785200 HAS SOPS 759402 HAS SOUS 68559 HAS SOUPS 68291 WITH SCORE 69076.2
AT ITER 807 NEW BEST:: SOT 867522 SOS 784991 HAS SOPS 759193 HAS SOUS 68524 HAS SOUPS 68256 WITH SCORE 69040.991
AT ITER 812 NEW BEST:: SOT 867669 SOS 784496 HAS SOPS 758712 HAS SOUS 67893 HAS SOUPS 67633 WITH SCORE 68417.496
AT ITER 814 NEW BEST:: SOT 870339 SOS 787166 HAS SOPS 761382 HAS SOUS 67743 HAS SOUPS 67483 WITH SCORE 68270.166
AT ITER 817 NEW BEST:: SOT 870325 SOS 787152 HAS SOPS 761368 HAS SOUS 67722 HAS SOUPS 67462 WITH SCORE 68249.152
AT ITER 824 NEW BEST:: SOT 870405 SOS 787232 HAS SOPS 761448 HAS SOUS 65727 HAS SOUPS 65467 WITH SCORE 66254.232
AT ITER 836 NEW BEST:: SOT 870325 SOS 787152 HAS SOPS 761368 HAS SOUS 65712 HAS SOUPS 65452 WITH SCORE 66239.152
AT ITER 843 NEW BEST:: SOT 870209 SOS 787036 HAS SOPS 761252 HAS SOUS 65586 HAS SOUPS 65326 WITH SCORE 66113.036
AT ITER 852 NEW BEST:: SOT 870209 SOS 787036 HAS SOPS 761252 HAS SOUS 65516 HAS SOUPS 65256 WITH SCORE 66043.036
AT ITER 861 NEW BEST:: SOT 870215 SOS 787042 HAS SOPS 761258 HAS SOUS 65496 HAS SOUPS 65236 WITH SCORE 66023.042
AT ITER 862 NEW BEST:: SOT 870213 SOS 786944 HAS SOPS 761256 HAS SOUS 65477 HAS SOUPS 65229 WITH SCORE 66015.944
AT ITER 877 NEW BEST:: SOT 870207 SOS 786938 HAS SOPS 761250 HAS SOUS 65462 HAS SOUPS 65214 WITH SCORE 66000.938
AT ITER 881 NEW BEST:: SOT 870195 SOS 786926 HAS SOPS 761238 HAS SOUS 65450 HAS SOUPS 65202 WITH SCORE 65988.926
AT ITER 901 NEW BEST:: SOT 869009 SOS 785740 HAS SOPS 760052 HAS SOUS 65158 HAS SOUPS 64910 WITH SCORE 65695.74
AT ITER 906 NEW BEST:: SOT 869009 SOS 785740 HAS SOPS 760052 HAS SOUS 65155 HAS SOUPS 64907 WITH SCORE 65692.74
AT ITER 916 NEW BEST:: SOT 869031 SOS 785762 HAS SOPS 760074 HAS SOUS 65123 HAS SOUPS 64875 WITH SCORE 65660.762
AT ITER 922 NEW BEST:: SOT 869021 SOS 785752 HAS SOPS 760064 HAS SOUS 65113 HAS SOUPS 64865 WITH SCORE 65650.752
AT ITER 924 NEW BEST:: SOT 878303 SOS 795034 HAS SOPS 769346 HAS SOUS 62223 HAS SOUPS 61975 WITH SCORE 62770.034
AT ITER 928 NEW BEST:: SOT 880323 SOS 797054 HAS SOPS 771366 HAS SOUS 61381 HAS SOUPS 61133 WITH SCORE 61930.054
AT ITER 934 NEW BEST:: SOT 880271 SOS 797002 HAS SOPS 771314 HAS SOUS 61355 HAS SOUPS 61107 WITH SCORE 61904.002
AT ITER 937 NEW BEST:: SOT 880257 SOS 796988 HAS SOPS 771300 HAS SOUS 61353 HAS SOUPS 61105 WITH SCORE 61901.988
AT ITER 950 NEW BEST:: SOT 879505 SOS 796236 HAS SOPS 770548 HAS SOUS 60721 HAS SOUPS 60473 WITH SCORE 61269.236
AT ITER 971 NEW BEST:: SOT 879791 SOS 796522 HAS SOPS 770834 HAS SOUS 60562 HAS SOUPS 60314 WITH SCORE 61110.522
AT ITER 977 NEW BEST:: SOT 879845 SOS 781698 HAS SOPS 765152 HAS SOUS 60014 HAS SOUPS 59834 WITH SCORE 60615.698
AT ITER 984 NEW BEST:: SOT 879141 SOS 780994 HAS SOPS 764448 HAS SOUS 59618 HAS SOUPS 59438 WITH SCORE 60218.994
AT ITER 993 NEW BEST:: SOT 879103 SOS 780956 HAS SOPS 764410 HAS SOUS 59599 HAS SOUPS 59419 WITH SCORE 60199.956
AT ITER 1003 NEW BEST:: SOT 879073 SOS 780926 HAS SOPS 764380 HAS SOUS 59584 HAS SOUPS 59404 WITH SCORE 60184.926
AT ITER 1018 NEW BEST:: SOT 879073 SOS 780890 HAS SOPS 764368 HAS SOUS 59524 HAS SOUPS 59350 WITH SCORE 60130.89
AT ITER 1023 NEW BEST:: SOT 879067 SOS 780884 HAS SOPS 764362 HAS SOUS 59518 HAS SOUPS 59344 WITH SCORE 60124.884
AT ITER 1032 NEW BEST:: SOT 887885 SOS 789702 HAS SOPS 773180 HAS SOUS 59335 HAS SOUPS 59161 WITH SCORE 59950.702
AT ITER 1033 NEW BEST:: SOT 887876 SOS 789693 HAS SOPS 773171 HAS SOUS 59326 HAS SOUPS 59152 WITH SCORE 59941.693
AT ITER 1038 NEW BEST:: SOT 880992 SOS 782809 HAS SOPS 766287 HAS SOUS 59100 HAS SOUPS 58926 WITH SCORE 59708.809
AT ITER 1043 NEW BEST:: SOT 895760 SOS 797577 HAS SOPS 781055 HAS SOUS 56856 HAS SOUPS 56682 WITH SCORE 57479.577
AT ITER 1059 NEW BEST:: SOT 896700 SOS 789007 HAS SOPS 762361 HAS SOUS 56423 HAS SOUPS 56282 WITH SCORE 57071.007
AT ITER 1069 NEW BEST:: SOT 895990 SOS 788297 HAS SOPS 761651 HAS SOUS 56310 HAS SOUPS 56169 WITH SCORE 56957.297
AT ITER 1082 NEW BEST:: SOT 895990 SOS 788297 HAS SOPS 761651 HAS SOUS 56306 HAS SOUPS 56165 WITH SCORE 56953.297
AT ITER 1102 NEW BEST:: SOT 895972 SOS 788279 HAS SOPS 761633 HAS SOUS 56300 HAS SOUPS 56159 WITH SCORE 56947.279
AT ITER 1114 NEW BEST:: SOT 895956 SOS 788263 HAS SOPS 761617 HAS SOUS 56292 HAS SOUPS 56151 WITH SCORE 56939.263
AT ITER 1132 NEW BEST:: SOT 896866 SOS 789173 HAS SOPS 762527 HAS SOUS 56206 HAS SOUPS 56065 WITH SCORE 56854.173
AT ITER 1135 NEW BEST:: SOT 896902 SOS 789209 HAS SOPS 762563 HAS SOUS 55597 HAS SOUPS 55456 WITH SCORE 56245.209
AT ITER 1145 NEW BEST:: SOT 896824 SOS 789115 HAS SOPS 762485 HAS SOUS 55577 HAS SOUPS 55444 WITH SCORE 56233.115
AT ITER 1147 NEW BEST:: SOT 896786 SOS 789077 HAS SOPS 762447 HAS SOUS 55562 HAS SOUPS 55429 WITH SCORE 56218.077
AT ITER 1159 NEW BEST:: SOT 896756 SOS 789047 HAS SOPS 762417 HAS SOUS 55552 HAS SOUPS 55419 WITH SCORE 56208.047
AT ITER 1174 NEW BEST:: SOT 896730 SOS 789021 HAS SOPS 762391 HAS SOUS 55516 HAS SOUPS 55383 WITH SCORE 56172.021
AT ITER 1181 NEW BEST:: SOT 896730 SOS 789021 HAS SOPS 762391 HAS SOUS 55502 HAS SOUPS 55369 WITH SCORE 56158.021
AT ITER 1191 NEW BEST:: SOT 911670 SOS 803961 HAS SOPS 777331 HAS SOUS 55355 HAS SOUPS 55222 WITH SCORE 56025.961
AT ITER 1196 NEW BEST:: SOT 917752 SOS 810043 HAS SOPS 783413 HAS SOUS 52690 HAS SOUPS 52557 WITH SCORE 53367.043
AT ITER 1197 NEW BEST:: SOT 917720 SOS 810037 HAS SOPS 783399 HAS SOUS 52689 HAS SOUPS 52552 WITH SCORE 53362.037
AT ITER 1199 NEW BEST:: SOT 917696 SOS 810013 HAS SOPS 783375 HAS SOUS 52671 HAS SOUPS 52534 WITH SCORE 53344.013
AT ITER 1211 NEW BEST:: SOT 917766 SOS 810083 HAS SOPS 783445 HAS SOUS 52670 HAS SOUPS 52533 WITH SCORE 53343.083
AT ITER 1213 NEW BEST:: SOT 917784 SOS 810101 HAS SOPS 783463 HAS SOUS 52661 HAS SOUPS 52524 WITH SCORE 53334.101
AT ITER 1227 NEW BEST:: SOT 917722 SOS 810039 HAS SOPS 783401 HAS SOUS 52656 HAS SOUPS 52519 WITH SCORE 53329.039
AT ITER 1235 NEW BEST:: SOT 918036 SOS 810353 HAS SOPS 783715 HAS SOUS 52519 HAS SOUPS 52382 WITH SCORE 53192.353
AT ITER 1241 NEW BEST:: SOT 918008 SOS 810325 HAS SOPS 783687 HAS SOUS 52505 HAS SOUPS 52368 WITH SCORE 53178.325
AT ITER 1250 NEW BEST:: SOT 918018 SOS 810335 HAS SOPS 783697 HAS SOUS 52490 HAS SOUPS 52353 WITH SCORE 53163.335
AT ITER 1253 NEW BEST:: SOT 917990 SOS 810269 HAS SOPS 783647 HAS SOUS 52414 HAS SOUPS 52285 WITH SCORE 53095.269
AT ITER 1260 NEW BEST:: SOT 917950 SOS 810229 HAS SOPS 783607 HAS SOUS 52373 HAS SOUPS 52244 WITH SCORE 53054.229
AT ITER 1266 NEW BEST:: SOT 917946 SOS 810225 HAS SOPS 783603 HAS SOUS 52371 HAS SOUPS 52242 WITH SCORE 53052.225
AT ITER 1275 NEW BEST:: SOT 917910 SOS 810189 HAS SOPS 783567 HAS SOUS 52349 HAS SOUPS 52220 WITH SCORE 53030.189
AT ITER 1277 NEW BEST:: SOT 917910 SOS 810189 HAS SOPS 783567 HAS SOUS 52319 HAS SOUPS 52190 WITH SCORE 53000.189
AT ITER 1285 NEW BEST:: SOT 917906 SOS 810185 HAS SOPS 783563 HAS SOUS 52319 HAS SOUPS 52190 WITH SCORE 53000.185
AT ITER 1294 NEW BEST:: SOT 917906 SOS 810185 HAS SOPS 783563 HAS SOUS 52314 HAS SOUPS 52185 WITH SCORE 52995.185
AT ITER 1299 NEW BEST:: SOT 917930 SOS 810209 HAS SOPS 783587 HAS SOUS 52294 HAS SOUPS 52165 WITH SCORE 52975.209
AT ITER 1313 NEW BEST:: SOT 917894 SOS 810173 HAS SOPS 783551 HAS SOUS 52292 HAS SOUPS 52163 WITH SCORE 52973.173
AT ITER 1314 NEW BEST:: SOT 922998 SOS 815277 HAS SOPS 788655 HAS SOUS 49621 HAS SOUPS 49492 WITH SCORE 50307.277
AT ITER 1318 NEW BEST:: SOT 922986 SOS 815265 HAS SOPS 788643 HAS SOUS 49615 HAS SOUPS 49486 WITH SCORE 50301.265
AT ITER 1322 NEW BEST:: SOT 922978 SOS 815272 HAS SOPS 788650 HAS SOUS 49611 HAS SOUPS 49482 WITH SCORE 50297.272
AT ITER 1361 NEW BEST:: SOT 922978 SOS 815402 HAS SOPS 788650 HAS SOUS 49624 HAS SOUPS 49481 WITH SCORE 50296.402
AT ITER 1362 NEW BEST:: SOT 922950 SOS 815374 HAS SOPS 788622 HAS SOUS 49616 HAS SOUPS 49473 WITH SCORE 50288.374
AT ITER 1375 NEW BEST:: SOT 915304 SOS 807728 HAS SOPS 780976 HAS SOUS 48660 HAS SOUPS 48517 WITH SCORE 49324.728
AT ITER 1392 NEW BEST:: SOT 918336 SOS 810760 HAS SOPS 784008 HAS SOUS 48620 HAS SOUPS 48477 WITH SCORE 49287.76
AT ITER 1396 NEW BEST:: SOT 918336 SOS 810742 HAS SOPS 783990 HAS SOUS 48606 HAS SOUPS 48463 WITH SCORE 49273.742
AT ITER 1410 NEW BEST:: SOT 918324 SOS 810730 HAS SOPS 783978 HAS SOUS 48600 HAS SOUPS 48457 WITH SCORE 49267.73
AT ITER 1430 NEW BEST:: SOT 918284 SOS 810690 HAS SOPS 783938 HAS SOUS 48580 HAS SOUPS 48437 WITH SCORE 49247.69
AT ITER 1446 NEW BEST:: SOT 918285 SOS 810691 HAS SOPS 783939 HAS SOUS 48372 HAS SOUPS 48229 WITH SCORE 49039.691
AT ITER 1456 NEW BEST:: SOT 918331 SOS 810737 HAS SOPS 783985 HAS SOUS 48324 HAS SOUPS 48181 WITH SCORE 48991.737
AT ITER 1469 NEW BEST:: SOT 918277 SOS 810683 HAS SOPS 783931 HAS SOUS 48199 HAS SOUPS 48056 WITH SCORE 48866.683
AT ITER 1491 NEW BEST:: SOT 917713 SOS 810119 HAS SOPS 783367 HAS SOUS 47949 HAS SOUPS 47806 WITH SCORE 48616.119
AT ITER 1497 NEW BEST:: SOT 917697 SOS 810103 HAS SOPS 783351 HAS SOUS 47933 HAS SOUPS 47790 WITH SCORE 48600.103
AT ITER 1508 NEW BEST:: SOT 917698 SOS 810104 HAS SOPS 783352 HAS SOUS 47893 HAS SOUPS 47750 WITH SCORE 48560.104
AT ITER 1509 NEW BEST:: SOT 917698 SOS 804924 HAS SOPS 779868 HAS SOUS 47862 HAS SOUPS 47724 WITH SCORE 48528.924
AT ITER 1524 NEW BEST:: SOT 917684 SOS 804910 HAS SOPS 779854 HAS SOUS 47851 HAS SOUPS 47713 WITH SCORE 48517.91
AT ITER 1525 NEW BEST:: SOT 914868 SOS 802094 HAS SOPS 777038 HAS SOUS 46333 HAS SOUPS 46195 WITH SCORE 46997.094
AT ITER 1548 NEW BEST:: SOT 914880 SOS 802106 HAS SOPS 777050 HAS SOUS 46331 HAS SOUPS 46193 WITH SCORE 46995.106
AT ITER 1569 NEW BEST:: SOT 914814 SOS 802040 HAS SOPS 776984 HAS SOUS 46312 HAS SOUPS 46174 WITH SCORE 46976.04
AT ITER 1574 NEW BEST:: SOT 914814 SOS 798702 HAS SOPS 774764 HAS SOUS 46312 HAS SOUPS 46174 WITH SCORE 46972.702
AT ITER 1588 NEW BEST:: SOT 924324 SOS 808212 HAS SOPS 784274 HAS SOUS 45310 HAS SOUPS 45172 WITH SCORE 45980.212
AT ITER 1590 NEW BEST:: SOT 924278 SOS 808166 HAS SOPS 784228 HAS SOUS 45277 HAS SOUPS 45139 WITH SCORE 45947.166
AT ITER 1663 NEW BEST:: SOT 925450 SOS 809338 HAS SOPS 785400 HAS SOUS 45134 HAS SOUPS 44996 WITH SCORE 45805.338
AT ITER 1673 NEW BEST:: SOT 909924 SOS 793812 HAS SOPS 769874 HAS SOUS 44500 HAS SOUPS 44362 WITH SCORE 45155.812
AT ITER 1684 NEW BEST:: SOT 909942 SOS 793830 HAS SOPS 769892 HAS SOUS 44493 HAS SOUPS 44355 WITH SCORE 45148.83
AT ITER 1689 NEW BEST:: SOT 909922 SOS 793810 HAS SOPS 769872 HAS SOUS 44457 HAS SOUPS 44319 WITH SCORE 45112.81
AT ITER 1696 NEW BEST:: SOT 910368 SOS 794256 HAS SOPS 770318 HAS SOUS 44353 HAS SOUPS 44215 WITH SCORE 45009.256
AT ITER 1705 NEW BEST:: SOT 910360 SOS 794248 HAS SOPS 770310 HAS SOUS 44345 HAS SOUPS 44207 WITH SCORE 45001.248
AT ITER 1724 NEW BEST:: SOT 910360 SOS 794212 HAS SOPS 770290 HAS SOUS 44327 HAS SOUPS 44197 WITH SCORE 44991.212
AT ITER 1725 NEW BEST:: SOT 910358 SOS 794210 HAS SOPS 770288 HAS SOUS 44326 HAS SOUPS 44196 WITH SCORE 44990.21
AT ITER 1735 NEW BEST:: SOT 910356 SOS 794208 HAS SOPS 770286 HAS SOUS 44325 HAS SOUPS 44195 WITH SCORE 44989.208
AT ITER 1746 NEW BEST:: SOT 910350 SOS 794202 HAS SOPS 770280 HAS SOUS 44310 HAS SOUPS 44180 WITH SCORE 44974.202
AT ITER 1748 NEW BEST:: SOT 910382 SOS 788212 HAS SOPS 765966 HAS SOUS 44163 HAS SOUPS 44058 WITH SCORE 44846.212
AT ITER 1756 NEW BEST:: SOT 910364 SOS 788187 HAS SOPS 765941 HAS SOUS 44147 HAS SOUPS 44042 WITH SCORE 44830.187
AT ITER 1769 NEW BEST:: SOT 910466 SOS 788289 HAS SOPS 766043 HAS SOUS 43994 HAS SOUPS 43889 WITH SCORE 44677.289
AT ITER 1795 NEW BEST:: SOT 913344 SOS 791167 HAS SOPS 768921 HAS SOUS 43063 HAS SOUPS 42958 WITH SCORE 43749.167
AT ITER 1823 NEW BEST:: SOT 913328 SOS 791151 HAS SOPS 768905 HAS SOUS 43055 HAS SOUPS 42950 WITH SCORE 43741.151
AT ITER 1835 NEW BEST:: SOT 914156 SOS 791979 HAS SOPS 769733 HAS SOUS 42744 HAS SOUPS 42639 WITH SCORE 43430.979
AT ITER 1841 NEW BEST:: SOT 914352 SOS 792175 HAS SOPS 769929 HAS SOUS 42695 HAS SOUPS 42590 WITH SCORE 43382.175
AT ITER 1851 NEW BEST:: SOT 914346 SOS 792169 HAS SOPS 769923 HAS SOUS 42680 HAS SOUPS 42575 WITH SCORE 43367.169
AT ITER 1858 NEW BEST:: SOT 914318 SOS 792141 HAS SOPS 769895 HAS SOUS 42638 HAS SOUPS 42533 WITH SCORE 43325.141
AT ITER 1868 NEW BEST:: SOT 914256 SOS 792073 HAS SOPS 769833 HAS SOUS 42559 HAS SOUPS 42457 WITH SCORE 43249.073
AT ITER 1869 NEW BEST:: SOT 914252 SOS 792069 HAS SOPS 769829 HAS SOUS 42551 HAS SOUPS 42449 WITH SCORE 43241.069
AT ITER 1874 NEW BEST:: SOT 914252 SOS 792069 HAS SOPS 769829 HAS SOUS 42548 HAS SOUPS 42446 WITH SCORE 43238.069
AT ITER 1881 NEW BEST:: SOT 914244 SOS 792061 HAS SOPS 769821 HAS SOUS 42548 HAS SOUPS 42446 WITH SCORE 43238.061
AT ITER 1888 NEW BEST:: SOT 914242 SOS 792059 HAS SOPS 769819 HAS SOUS 42547 HAS SOUPS 42445 WITH SCORE 43237.059
AT ITER 1894 NEW BEST:: SOT 914242 SOS 792059 HAS SOPS 769819 HAS SOUS 42543 HAS SOUPS 42441 WITH SCORE 43233.059
AT ITER 1896 NEW BEST:: SOT 914196 SOS 792013 HAS SOPS 769773 HAS SOUS 42522 HAS SOUPS 42420 WITH SCORE 43212.013
AT ITER 1901 NEW BEST:: SOT 914616 SOS 792433 HAS SOPS 770193 HAS SOUS 42120 HAS SOUPS 42018 WITH SCORE 42810.433
AT ITER 1908 NEW BEST:: SOT 914598 SOS 792415 HAS SOPS 770175 HAS SOUS 42096 HAS SOUPS 41994 WITH SCORE 42786.415
AT ITER 1938 NEW BEST:: SOT 914580 SOS 792397 HAS SOPS 770157 HAS SOUS 42044 HAS SOUPS 41942 WITH SCORE 42734.397
AT ITER 1954 NEW BEST:: SOT 914938 SOS 792755 HAS SOPS 770515 HAS SOUS 41911 HAS SOUPS 41809 WITH SCORE 42601.755
AT ITER 1970 NEW BEST:: SOT 914894 SOS 792711 HAS SOPS 770471 HAS SOUS 41785 HAS SOUPS 41683 WITH SCORE 42475.711
AT ITER 1984 NEW BEST:: SOT 914872 SOS 792689 HAS SOPS 770449 HAS SOUS 41757 HAS SOUPS 41655 WITH SCORE 42447.689
AT ITER 2019 NEW BEST:: SOT 914948 SOS 792159 HAS SOPS 770427 HAS SOUS 41656 HAS SOUPS 41555 WITH SCORE 42347.159
AT ITER 2030 NEW BEST:: SOT 914888 SOS 792099 HAS SOPS 770367 HAS SOUS 41626 HAS SOUPS 41525 WITH SCORE 42317.099
AT ITER 2048 NEW BEST:: SOT 914884 SOS 792095 HAS SOPS 770363 HAS SOUS 41623 HAS SOUPS 41522 WITH SCORE 42314.095
AT ITER 2063 NEW BEST:: SOT 914868 SOS 792079 HAS SOPS 770347 HAS SOUS 41619 HAS SOUPS 41518 WITH SCORE 42310.079
AT ITER 2084 NEW BEST:: SOT 914868 SOS 792075 HAS SOPS 770345 HAS SOUS 41617 HAS SOUPS 41517 WITH SCORE 42309.075
AT ITER 2086 NEW BEST:: SOT 914868 SOS 792067 HAS SOPS 770345 HAS SOUS 41613 HAS SOUPS 41517 WITH SCORE 42309.067
AT ITER 2115 NEW BEST:: SOT 915060 SOS 792259 HAS SOPS 770537 HAS SOUS 41576 HAS SOUPS 41480 WITH SCORE 42272.259
AT ITER 2143 NEW BEST:: SOT 915148 SOS 792347 HAS SOPS 770625 HAS SOUS 41379 HAS SOUPS 41283 WITH SCORE 42075.347
AT ITER 2175 NEW BEST:: SOT 914294 SOS 791493 HAS SOPS 769771 HAS SOUS 41277 HAS SOUPS 41181 WITH SCORE 41972.493
AT ITER 2204 NEW BEST:: SOT 926692 SOS 803891 HAS SOPS 782169 HAS SOUS 40442 HAS SOUPS 40346 WITH SCORE 41149.891
AT ITER 2217 NEW BEST:: SOT 928988 SOS 806187 HAS SOPS 784465 HAS SOUS 39922 HAS SOUPS 39826 WITH SCORE 40632.187
AT ITER 2223 NEW BEST:: SOT 928987 SOS 806186 HAS SOPS 784464 HAS SOUS 39921 HAS SOUPS 39825 WITH SCORE 40631.186
AT ITER 2252 NEW BEST:: SOT 930231 SOS 807430 HAS SOPS 785708 HAS SOUS 39819 HAS SOUPS 39723 WITH SCORE 40530.43
AT ITER 2258 NEW BEST:: SOT 930177 SOS 807376 HAS SOPS 785654 HAS SOUS 39785 HAS SOUPS 39689 WITH SCORE 40496.376
AT ITER 2270 NEW BEST:: SOT 930177 SOS 807376 HAS SOPS 785654 HAS SOUS 39777 HAS SOUPS 39681 WITH SCORE 40488.376
AT ITER 2313 NEW BEST:: SOT 930173 SOS 807372 HAS SOPS 785650 HAS SOUS 39775 HAS SOUPS 39679 WITH SCORE 40486.372
AT ITER 2324 NEW BEST:: SOT 930281 SOS 807480 HAS SOPS 785758 HAS SOUS 39751 HAS SOUPS 39655 WITH SCORE 40462.48
AT ITER 2329 NEW BEST:: SOT 930281 SOS 807480 HAS SOPS 785758 HAS SOUS 39740 HAS SOUPS 39644 WITH SCORE 40451.48
AT ITER 2338 NEW BEST:: SOT 930273 SOS 807472 HAS SOPS 785750 HAS SOUS 39732 HAS SOUPS 39636 WITH SCORE 40443.472
AT ITER 2377 NEW BEST:: SOT 930255 SOS 807462 HAS SOPS 785740 HAS SOUS 39732 HAS SOUPS 39636 WITH SCORE 40443.462
AT ITER 2414 NEW BEST:: SOT 930277 SOS 807484 HAS SOPS 785762 HAS SOUS 39730 HAS SOUPS 39634 WITH SCORE 40441.484
AT ITER 2417 NEW BEST:: SOT 930277 SOS 807484 HAS SOPS 785762 HAS SOUS 39729 HAS SOUPS 39633 WITH SCORE 40440.484
AT ITER 2424 NEW BEST:: SOT 930465 SOS 807672 HAS SOPS 785950 HAS SOUS 39528 HAS SOUPS 39432 WITH SCORE 40239.672
AT ITER 2435 NEW BEST:: SOT 930465 SOS 780964 HAS SOPS 768190 HAS SOUS 39526 HAS SOUPS 39432 WITH SCORE 40212.964
AT ITER 2443 NEW BEST:: SOT 930459 SOS 780958 HAS SOPS 768184 HAS SOUS 39523 HAS SOUPS 39429 WITH SCORE 40209.958
AT ITER 2454 NEW BEST:: SOT 930459 SOS 780958 HAS SOPS 768184 HAS SOUS 39509 HAS SOUPS 39415 WITH SCORE 40195.958
AT ITER 2458 NEW BEST:: SOT 930473 SOS 780972 HAS SOPS 768198 HAS SOUS 39504 HAS SOUPS 39410 WITH SCORE 40190.972
AT ITER 2459 NEW BEST:: SOT 930473 SOS 780972 HAS SOPS 768198 HAS SOUS 39500 HAS SOUPS 39406 WITH SCORE 40186.972
AT ITER 2496 NEW BEST:: SOT 941977 SOS 792476 HAS SOPS 779702 HAS SOUS 39019 HAS SOUPS 38925 WITH SCORE 39717.476
AT ITER 2515 NEW BEST:: SOT 941911 SOS 792410 HAS SOPS 779636 HAS SOUS 39000 HAS SOUPS 38906 WITH SCORE 39698.41
AT ITER 2522 NEW BEST:: SOT 941643 SOS 792173 HAS SOPS 779399 HAS SOUS 38960 HAS SOUPS 38866 WITH SCORE 39658.173
AT ITER 2527 NEW BEST:: SOT 941639 SOS 792169 HAS SOPS 779395 HAS SOUS 38958 HAS SOUPS 38864 WITH SCORE 39656.169
AT ITER 2545 NEW BEST:: SOT 942737 SOS 793267 HAS SOPS 780493 HAS SOUS 38373 HAS SOUPS 38279 WITH SCORE 39072.267
AT ITER 2551 NEW BEST:: SOT 942733 SOS 793263 HAS SOPS 780489 HAS SOUS 38371 HAS SOUPS 38277 WITH SCORE 39070.263
AT ITER 2593 NEW BEST:: SOT 942723 SOS 793253 HAS SOPS 780479 HAS SOUS 38366 HAS SOUPS 38272 WITH SCORE 39065.253
AT ITER 2602 NEW BEST:: SOT 942717 SOS 793247 HAS SOPS 780473 HAS SOUS 38351 HAS SOUPS 38257 WITH SCORE 39050.247
AT ITER 2611 NEW BEST:: SOT 942783 SOS 793313 HAS SOPS 780539 HAS SOUS 38345 HAS SOUPS 38251 WITH SCORE 39044.313
AT ITER 2632 NEW BEST:: SOT 942783 SOS 787833 HAS SOPS 779667 HAS SOUS 38333 HAS SOUPS 38243 WITH SCORE 39030.833
AT ITER 2634 NEW BEST:: SOT 942831 SOS 787881 HAS SOPS 779715 HAS SOUS 38240 HAS SOUPS 38150 WITH SCORE 38937.881
AT ITER 2639 NEW BEST:: SOT 942641 SOS 787691 HAS SOPS 779525 HAS SOUS 38224 HAS SOUPS 38134 WITH SCORE 38921.691
AT ITER 2673 NEW BEST:: SOT 942629 SOS 787679 HAS SOPS 779513 HAS SOUS 38217 HAS SOUPS 38127 WITH SCORE 38914.679
AT ITER 2694 NEW BEST:: SOT 942645 SOS 787695 HAS SOPS 779529 HAS SOUS 38213 HAS SOUPS 38123 WITH SCORE 38910.695
AT ITER 2716 NEW BEST:: SOT 942263 SOS 787313 HAS SOPS 779147 HAS SOUS 37191 HAS SOUPS 37101 WITH SCORE 37888.313
AT ITER 2730 NEW BEST:: SOT 942247 SOS 787297 HAS SOPS 779131 HAS SOUS 37187 HAS SOUPS 37097 WITH SCORE 37884.297
AT ITER 2764 NEW BEST:: SOT 944385 SOS 789435 HAS SOPS 781269 HAS SOUS 37086 HAS SOUPS 36996 WITH SCORE 37785.435
AT ITER 2806 NEW BEST:: SOT 945189 SOS 790239 HAS SOPS 782073 HAS SOUS 37046 HAS SOUPS 36956 WITH SCORE 37746.239
AT ITER 2863 NEW BEST:: SOT 945181 SOS 790231 HAS SOPS 782065 HAS SOUS 37007 HAS SOUPS 36917 WITH SCORE 37707.231
AT ITER 2903 NEW BEST:: SOT 945181 SOS 790239 HAS SOPS 782061 HAS SOUS 37011 HAS SOUPS 36915 WITH SCORE 37705.239
AT ITER 2911 NEW BEST:: SOT 945181 SOS 790239 HAS SOPS 782061 HAS SOUS 36996 HAS SOUPS 36900 WITH SCORE 37690.239
AT ITER 2931 NEW BEST:: SOT 945119 SOS 790177 HAS SOPS 781999 HAS SOUS 36962 HAS SOUPS 36866 WITH SCORE 37656.177
AT ITER 2982 NEW BEST:: SOT 944975 SOS 790033 HAS SOPS 781855 HAS SOUS 36938 HAS SOUPS 36842 WITH SCORE 37632.033
AT ITER 2995 NEW BEST:: SOT 945395 SOS 790453 HAS SOPS 782275 HAS SOUS 36782 HAS SOUPS 36686 WITH SCORE 37476.453
AT ITER 2997 NEW BEST:: SOT 945409 SOS 790467 HAS SOPS 782289 HAS SOUS 36767 HAS SOUPS 36671 WITH SCORE 37461.467
AT ITER 3027 NEW BEST:: SOT 945367 SOS 790425 HAS SOPS 782247 HAS SOUS 36755 HAS SOUPS 36659 WITH SCORE 37449.425
AT ITER 3047 NEW BEST:: SOT 945909 SOS 790967 HAS SOPS 782789 HAS SOUS 36608 HAS SOUPS 36512 WITH SCORE 37302.967
AT ITER 3101 NEW BEST:: SOT 945947 SOS 791005 HAS SOPS 782827 HAS SOUS 36580 HAS SOUPS 36484 WITH SCORE 37275.005
AT ITER 3107 NEW BEST:: SOT 945929 SOS 790987 HAS SOPS 782809 HAS SOUS 36560 HAS SOUPS 36464 WITH SCORE 37254.987
AT ITER 3121 NEW BEST:: SOT 945929 SOS 790975 HAS SOPS 782803 HAS SOUS 36554 HAS SOUPS 36461 WITH SCORE 37251.975
AT ITER 3130 NEW BEST:: SOT 945931 SOS 790985 HAS SOPS 782813 HAS SOUS 36551 HAS SOUPS 36458 WITH SCORE 37248.985
AT ITER 3149 NEW BEST:: SOT 945929 SOS 790983 HAS SOPS 782811 HAS SOUS 36549 HAS SOUPS 36456 WITH SCORE 37246.983
AT ITER 3180 NEW BEST:: SOT 945921 SOS 790975 HAS SOPS 782803 HAS SOUS 36545 HAS SOUPS 36452 WITH SCORE 37242.975
AT ITER 3236 NEW BEST:: SOT 945997 SOS 791051 HAS SOPS 782879 HAS SOUS 36520 HAS SOUPS 36427 WITH SCORE 37218.051
AT ITER 3238 NEW BEST:: SOT 946013 SOS 791067 HAS SOPS 782895 HAS SOUS 36519 HAS SOUPS 36426 WITH SCORE 37217.067
AT ITER 3302 NEW BEST:: SOT 946013 SOS 791067 HAS SOPS 782895 HAS SOUS 36518 HAS SOUPS 36425 WITH SCORE 37216.067
AT ITER 3305 NEW BEST:: SOT 946013 SOS 791063 HAS SOPS 782893 HAS SOUS 36516 HAS SOUPS 36424 WITH SCORE 37215.063
AT ITER 3309 NEW BEST:: SOT 945977 SOS 791027 HAS SOPS 782857 HAS SOUS 36472 HAS SOUPS 36380 WITH SCORE 37171.027
AT ITER 3322 NEW BEST:: SOT 945963 SOS 791016 HAS SOPS 782846 HAS SOUS 36468 HAS SOUPS 36376 WITH SCORE 37167.016
AT ITER 3372 NEW BEST:: SOT 945971 SOS 791024 HAS SOPS 782854 HAS SOUS 36457 HAS SOUPS 36365 WITH SCORE 37156.024
AT ITER 3375 NEW BEST:: SOT 945971 SOS 791024 HAS SOPS 782854 HAS SOUS 36427 HAS SOUPS 36335 WITH SCORE 37126.024
AT ITER 3387 NEW BEST:: SOT 946085 SOS 791138 HAS SOPS 782968 HAS SOUS 36398 HAS SOUPS 36306 WITH SCORE 37097.138
AT ITER 3403 NEW BEST:: SOT 946083 SOS 791136 HAS SOPS 782966 HAS SOUS 36397 HAS SOUPS 36305 WITH SCORE 37096.136
AT ITER 3407 NEW BEST:: SOT 946067 SOS 791120 HAS SOPS 782950 HAS SOUS 36373 HAS SOUPS 36281 WITH SCORE 37072.12
AT ITER 3465 NEW BEST:: SOT 946055 SOS 791108 HAS SOPS 782938 HAS SOUS 36359 HAS SOUPS 36267 WITH SCORE 37058.108
AT ITER 3503 NEW BEST:: SOT 946067 SOS 791120 HAS SOPS 782950 HAS SOUS 36044 HAS SOUPS 35952 WITH SCORE 36743.12
AT ITER 3524 NEW BEST:: SOT 946053 SOS 791106 HAS SOPS 782936 HAS SOUS 36037 HAS SOUPS 35945 WITH SCORE 36736.106
AT ITER 3535 NEW BEST:: SOT 946043 SOS 791084 HAS SOPS 782920 HAS SOUS 36016 HAS SOUPS 35927 WITH SCORE 36718.084
AT ITER 3599 NEW BEST:: SOT 946027 SOS 791068 HAS SOPS 782904 HAS SOUS 35992 HAS SOUPS 35903 WITH SCORE 36694.068
AT ITER 3635 NEW BEST:: SOT 945967 SOS 791008 HAS SOPS 782844 HAS SOUS 35961 HAS SOUPS 35872 WITH SCORE 36663.008
AT ITER 3650 NEW BEST:: SOT 945955 SOS 790996 HAS SOPS 782832 HAS SOUS 35949 HAS SOUPS 35860 WITH SCORE 36650.996
AT ITER 3711 NEW BEST:: SOT 945931 SOS 790972 HAS SOPS 782808 HAS SOUS 35937 HAS SOUPS 35848 WITH SCORE 36638.972
AT ITER 3721 NEW BEST:: SOT 945921 SOS 790962 HAS SOPS 782798 HAS SOUS 35926 HAS SOUPS 35837 WITH SCORE 36627.962
AT ITER 3766 NEW BEST:: SOT 945933 SOS 790974 HAS SOPS 782810 HAS SOUS 35881 HAS SOUPS 35792 WITH SCORE 36582.974
AT ITER 3789 NEW BEST:: SOT 945799 SOS 790840 HAS SOPS 782676 HAS SOUS 35855 HAS SOUPS 35766 WITH SCORE 36556.84
AT ITER 3812 NEW BEST:: SOT 944677 SOS 789718 HAS SOPS 781554 HAS SOUS 35855 HAS SOUPS 35766 WITH SCORE 36555.718
AT ITER 3818 NEW BEST:: SOT 944697 SOS 789738 HAS SOPS 781574 HAS SOUS 35826 HAS SOUPS 35737 WITH SCORE 36526.738
AT ITER 3869 NEW BEST:: SOT 941575 SOS 786616 HAS SOPS 778452 HAS SOUS 35824 HAS SOUPS 35735 WITH SCORE 36521.616
AT ITER 3875 NEW BEST:: SOT 941541 SOS 786582 HAS SOPS 778418 HAS SOUS 35795 HAS SOUPS 35706 WITH SCORE 36492.582
AT ITER 3918 NEW BEST:: SOT 941517 SOS 786558 HAS SOPS 778394 HAS SOUS 35782 HAS SOUPS 35693 WITH SCORE 36479.558
AT ITER 3934 NEW BEST:: SOT 941517 SOS 786558 HAS SOPS 778394 HAS SOUS 35763 HAS SOUPS 35674 WITH SCORE 36460.558
AT ITER 3957 NEW BEST:: SOT 941389 SOS 786430 HAS SOPS 778266 HAS SOUS 35403 HAS SOUPS 35314 WITH SCORE 36100.43
AT ITER 3970 NEW BEST:: SOT 942601 SOS 787642 HAS SOPS 779478 HAS SOUS 35124 HAS SOUPS 35035 WITH SCORE 35822.642
AT ITER 4012 NEW BEST:: SOT 942597 SOS 787638 HAS SOPS 779474 HAS SOUS 35121 HAS SOUPS 35032 WITH SCORE 35819.638
AT ITER 4059 NEW BEST:: SOT 942597 SOS 787638 HAS SOPS 779474 HAS SOUS 35119 HAS SOUPS 35030 WITH SCORE 35817.638
AT ITER 4065 NEW BEST:: SOT 943167 SOS 735604 HAS SOPS 695012 HAS SOUS 35220 HAS SOUPS 34992 WITH SCORE 35727.604
AT ITER 4101 NEW BEST:: SOT 943167 SOS 725578 HAS SOPS 688346 HAS SOUS 35214 HAS SOUPS 34989 WITH SCORE 35714.578
AT ITER 4116 NEW BEST:: SOT 943149 SOS 725560 HAS SOPS 688328 HAS SOUS 35199 HAS SOUPS 34974 WITH SCORE 35699.56
AT ITER 4129 NEW BEST:: SOT 943145 SOS 725530 HAS SOPS 688310 HAS SOUS 35182 HAS SOUPS 34963 WITH SCORE 35688.53
AT ITER 4148 NEW BEST:: SOT 943145 SOS 725526 HAS SOPS 688308 HAS SOUS 35180 HAS SOUPS 34962 WITH SCORE 35687.526
AT ITER 4198 NEW BEST:: SOT 943143 SOS 725524 HAS SOPS 688306 HAS SOUS 35180 HAS SOUPS 34962 WITH SCORE 35687.524
AT ITER 4261 NEW BEST:: SOT 943139 SOS 725520 HAS SOPS 688302 HAS SOUS 35177 HAS SOUPS 34959 WITH SCORE 35684.52
AT ITER 4306 NEW BEST:: SOT 944379 SOS 726760 HAS SOPS 689542 HAS SOUS 35125 HAS SOUPS 34907 WITH SCORE 35633.76
AT ITER 4357 NEW BEST:: SOT 944361 SOS 726742 HAS SOPS 689524 HAS SOUS 35107 HAS SOUPS 34889 WITH SCORE 35615.742
AT ITER 4359 NEW BEST:: SOT 944373 SOS 726754 HAS SOPS 689536 HAS SOUS 35082 HAS SOUPS 34864 WITH SCORE 35590.754
AT ITER 4372 NEW BEST:: SOT 944363 SOS 726744 HAS SOPS 689526 HAS SOUS 35077 HAS SOUPS 34859 WITH SCORE 35585.744
AT ITER 4391 NEW BEST:: SOT 944349 SOS 726730 HAS SOPS 689512 HAS SOUS 35069 HAS SOUPS 34851 WITH SCORE 35577.73
AT ITER 4402 NEW BEST:: SOT 945249 SOS 727630 HAS SOPS 690412 HAS SOUS 34983 HAS SOUPS 34765 WITH SCORE 35492.63
AT ITER 4413 NEW BEST:: SOT 945993 SOS 726302 HAS SOPS 690772 HAS SOUS 34926 HAS SOUPS 34716 WITH SCORE 35442.302
AT ITER 4433 NEW BEST:: SOT 945995 SOS 726320 HAS SOPS 690790 HAS SOUS 34925 HAS SOUPS 34715 WITH SCORE 35441.32
AT ITER 4449 NEW BEST:: SOT 945989 SOS 726314 HAS SOPS 690784 HAS SOUS 34920 HAS SOUPS 34710 WITH SCORE 35436.314
AT ITER 4453 NEW BEST:: SOT 945989 SOS 726314 HAS SOPS 690784 HAS SOUS 34917 HAS SOUPS 34707 WITH SCORE 35433.314
AT ITER 4463 NEW BEST:: SOT 946033 SOS 726358 HAS SOPS 690828 HAS SOUS 34902 HAS SOUPS 34692 WITH SCORE 35418.358
AT ITER 4491 NEW BEST:: SOT 946029 SOS 726354 HAS SOPS 690824 HAS SOUS 34900 HAS SOUPS 34690 WITH SCORE 35416.354
AT ITER 4502 NEW BEST:: SOT 946029 SOS 726354 HAS SOPS 690824 HAS SOUS 34895 HAS SOUPS 34685 WITH SCORE 35411.354
AT ITER 4519 NEW BEST:: SOT 946025 SOS 726350 HAS SOPS 690820 HAS SOUS 34893 HAS SOUPS 34683 WITH SCORE 35409.35
AT ITER 4544 NEW BEST:: SOT 945979 SOS 726304 HAS SOPS 690774 HAS SOUS 34856 HAS SOUPS 34646 WITH SCORE 35372.304
AT ITER 4559 NEW BEST:: SOT 945979 SOS 714484 HAS SOPS 685668 HAS SOUS 34840 HAS SOUPS 34641 WITH SCORE 35355.484
AT ITER 4599 NEW BEST:: SOT 946263 SOS 714768 HAS SOPS 685952 HAS SOUS 34738 HAS SOUPS 34539 WITH SCORE 35253.768
AT ITER 4614 NEW BEST:: SOT 946255 SOS 714760 HAS SOPS 685944 HAS SOUS 34712 HAS SOUPS 34513 WITH SCORE 35227.76
AT ITER 4616 NEW BEST:: SOT 946271 SOS 714776 HAS SOPS 685960 HAS SOUS 34705 HAS SOUPS 34506 WITH SCORE 35220.776
AT ITER 4634 NEW BEST:: SOT 947139 SOS 715644 HAS SOPS 686828 HAS SOUS 34609 HAS SOUPS 34410 WITH SCORE 35125.644
AT ITER 4710 NEW BEST:: SOT 947067 SOS 715572 HAS SOPS 686756 HAS SOUS 34605 HAS SOUPS 34406 WITH SCORE 35121.572
AT ITER 4743 NEW BEST:: SOT 947067 SOS 715560 HAS SOPS 686746 HAS SOUS 34599 HAS SOUPS 34401 WITH SCORE 35116.56
AT ITER 4780 NEW BEST:: SOT 947067 SOS 715560 HAS SOPS 686746 HAS SOUS 34594 HAS SOUPS 34396 WITH SCORE 35111.56
AT ITER 4816 NEW BEST:: SOT 947045 SOS 715538 HAS SOPS 686724 HAS SOUS 34589 HAS SOUPS 34391 WITH SCORE 35106.538
AT ITER 4836 NEW BEST:: SOT 945133 SOS 713626 HAS SOPS 684812 HAS SOUS 33987 HAS SOUPS 33789 WITH SCORE 34502.626
AT ITER 4859 NEW BEST:: SOT 945127 SOS 713620 HAS SOPS 684806 HAS SOUS 33981 HAS SOUPS 33783 WITH SCORE 34496.62
AT ITER 4878 NEW BEST:: SOT 942703 SOS 711196 HAS SOPS 682382 HAS SOUS 33905 HAS SOUPS 33707 WITH SCORE 34418.196
AT ITER 4919 NEW BEST:: SOT 942703 SOS 710158 HAS SOPS 682232 HAS SOUS 33866 HAS SOUPS 33677 WITH SCORE 34387.158
AT ITER 5005 NEW BEST:: SOT 943147 SOS 710602 HAS SOPS 682676 HAS SOUS 33650 HAS SOUPS 33461 WITH SCORE 34171.602
AT ITER 5112 NEW BEST:: SOT 942839 SOS 710294 HAS SOPS 682368 HAS SOUS 33556 HAS SOUPS 33367 WITH SCORE 34077.294
AT ITER 5182 NEW BEST:: SOT 942829 SOS 710284 HAS SOPS 682358 HAS SOUS 33546 HAS SOUPS 33357 WITH SCORE 34067.284
AT ITER 5186 NEW BEST:: SOT 942691 SOS 710146 HAS SOPS 682220 HAS SOUS 33518 HAS SOUPS 33329 WITH SCORE 34039.146
AT ITER 5236 NEW BEST:: SOT 942675 SOS 710130 HAS SOPS 682204 HAS SOUS 33505 HAS SOUPS 33316 WITH SCORE 34026.13
AT ITER 5337 NEW BEST:: SOT 942667 SOS 710122 HAS SOPS 682196 HAS SOUS 33505 HAS SOUPS 33316 WITH SCORE 34026.122
AT ITER 5417 NEW BEST:: SOT 942665 SOS 710118 HAS SOPS 682192 HAS SOUS 33503 HAS SOUPS 33314 WITH SCORE 34024.118
AT ITER 5419 NEW BEST:: SOT 942665 SOS 710118 HAS SOPS 682192 HAS SOUS 33501 HAS SOUPS 33312 WITH SCORE 34022.118
AT ITER 5447 NEW BEST:: SOT 942665 SOS 710124 HAS SOPS 682192 HAS SOUS 33502 HAS SOUPS 33310 WITH SCORE 34020.124
AT ITER 5448 NEW BEST:: SOT 942665 SOS 710116 HAS SOPS 682192 HAS SOUS 33498 HAS SOUPS 33310 WITH SCORE 34020.116
AT ITER 5464 NEW BEST:: SOT 942647 SOS 710090 HAS SOPS 682166 HAS SOUS 33488 HAS SOUPS 33300 WITH SCORE 34010.09
AT ITER 5496 NEW BEST:: SOT 942231 SOS 709674 HAS SOPS 681750 HAS SOUS 33480 HAS SOUPS 33292 WITH SCORE 34001.674
AT ITER 5514 NEW BEST:: SOT 942231 SOS 709668 HAS SOPS 681748 HAS SOUS 33478 HAS SOUPS 33291 WITH SCORE 34000.668
AT ITER 5516 NEW BEST:: SOT 942225 SOS 709662 HAS SOPS 681742 HAS SOUS 33464 HAS SOUPS 33277 WITH SCORE 33986.662
AT ITER 5517 NEW BEST:: SOT 942757 SOS 710194 HAS SOPS 682274 HAS SOUS 32731 HAS SOUPS 32544 WITH SCORE 33254.194
AT ITER 5518 NEW BEST:: SOT 942769 SOS 707610 HAS SOPS 681264 HAS SOUS 32597 HAS SOUPS 32435 WITH SCORE 33142.61
AT ITER 5697 NEW BEST:: SOT 942677 SOS 707518 HAS SOPS 681172 HAS SOUS 32489 HAS SOUPS 32327 WITH SCORE 33034.518
AT ITER 5718 NEW BEST:: SOT 942709 SOS 695988 HAS SOPS 679688 HAS SOUS 32449 HAS SOUPS 32291 WITH SCORE 32986.988
AT ITER 5757 NEW BEST:: SOT 942757 SOS 696036 HAS SOPS 679736 HAS SOUS 32386 HAS SOUPS 32228 WITH SCORE 32924.036
AT ITER 5807 NEW BEST:: SOT 942757 SOS 696028 HAS SOPS 679732 HAS SOUS 32382 HAS SOUPS 32226 WITH SCORE 32922.028
AT ITER 5957 NEW BEST:: SOT 942755 SOS 696026 HAS SOPS 679730 HAS SOUS 32382 HAS SOUPS 32226 WITH SCORE 32922.026
AT ITER 6046 NEW BEST:: SOT 942753 SOS 696024 HAS SOPS 679728 HAS SOUS 32382 HAS SOUPS 32226 WITH SCORE 32922.024
AT ITER 6073 NEW BEST:: SOT 944617 SOS 697888 HAS SOPS 681592 HAS SOUS 32199 HAS SOUPS 32043 WITH SCORE 32740.888
AT ITER 6081 NEW BEST:: SOT 944507 SOS 697778 HAS SOPS 681482 HAS SOUS 32191 HAS SOUPS 32035 WITH SCORE 32732.778
AT ITER 6102 NEW BEST:: SOT 944489 SOS 697760 HAS SOPS 681464 HAS SOUS 32182 HAS SOUPS 32026 WITH SCORE 32723.76
AT ITER 6106 NEW BEST:: SOT 945349 SOS 698620 HAS SOPS 682324 HAS SOUS 32097 HAS SOUPS 31941 WITH SCORE 32639.62
AT ITER 6138 NEW BEST:: SOT 945335 SOS 698606 HAS SOPS 682310 HAS SOUS 32054 HAS SOUPS 31898 WITH SCORE 32596.606
AT ITER 6190 NEW BEST:: SOT 945331 SOS 698602 HAS SOPS 682306 HAS SOUS 32052 HAS SOUPS 31896 WITH SCORE 32594.602
AT ITER 6198 NEW BEST:: SOT 945403 SOS 698658 HAS SOPS 682362 HAS SOUS 32054 HAS SOUPS 31895 WITH SCORE 32593.658
AT ITER 6230 NEW BEST:: SOT 945401 SOS 698656 HAS SOPS 682360 HAS SOUS 32050 HAS SOUPS 31891 WITH SCORE 32589.656
AT ITER 6231 NEW BEST:: SOT 945399 SOS 698654 HAS SOPS 682358 HAS SOUS 32049 HAS SOUPS 31890 WITH SCORE 32588.654
AT ITER 6265 NEW BEST:: SOT 945395 SOS 698649 HAS SOPS 682353 HAS SOUS 32046 HAS SOUPS 31887 WITH SCORE 32585.649
AT ITER 6334 NEW BEST:: SOT 945759 SOS 699013 HAS SOPS 682717 HAS SOUS 31972 HAS SOUPS 31813 WITH SCORE 32512.013
AT ITER 6391 NEW BEST:: SOT 945493 SOS 698747 HAS SOPS 682451 HAS SOUS 31896 HAS SOUPS 31737 WITH SCORE 32435.747
AT ITER 6508 NEW BEST:: SOT 945485 SOS 698739 HAS SOPS 682443 HAS SOUS 31894 HAS SOUPS 31735 WITH SCORE 32433.739
AT ITER 6558 NEW BEST:: SOT 945495 SOS 698749 HAS SOPS 682453 HAS SOUS 31890 HAS SOUPS 31731 WITH SCORE 32429.749
AT ITER 6661 NEW BEST:: SOT 948415 SOS 701669 HAS SOPS 685373 HAS SOUS 31442 HAS SOUPS 31283 WITH SCORE 31984.669
AT ITER 6691 NEW BEST:: SOT 948399 SOS 701653 HAS SOPS 685357 HAS SOUS 31442 HAS SOUPS 31283 WITH SCORE 31984.653
AT ITER 6742 NEW BEST:: SOT 948715 SOS 701969 HAS SOPS 685673 HAS SOUS 31408 HAS SOUPS 31249 WITH SCORE 31950.969
AT ITER 6778 NEW BEST:: SOT 948523 SOS 701777 HAS SOPS 685481 HAS SOUS 31408 HAS SOUPS 31249 WITH SCORE 31950.777000000002
AT ITER 6805 NEW BEST:: SOT 948623 SOS 701877 HAS SOPS 685581 HAS SOUS 31373 HAS SOUPS 31214 WITH SCORE 31915.877
AT ITER 6835 NEW BEST:: SOT 948659 SOS 701913 HAS SOPS 685617 HAS SOUS 31367 HAS SOUPS 31208 WITH SCORE 31909.913
AT ITER 6847 NEW BEST:: SOT 948623 SOS 701875 HAS SOPS 685581 HAS SOUS 31361 HAS SOUPS 31204 WITH SCORE 31905.875
AT ITER 6897 NEW BEST:: SOT 948621 SOS 701873 HAS SOPS 685579 HAS SOUS 31357 HAS SOUPS 31200 WITH SCORE 31901.873
AT ITER 6920 NEW BEST:: SOT 948609 SOS 701861 HAS SOPS 685567 HAS SOUS 31347 HAS SOUPS 31190 WITH SCORE 31891.861
AT ITER 7004 NEW BEST:: SOT 948599 SOS 701851 HAS SOPS 685557 HAS SOUS 31340 HAS SOUPS 31183 WITH SCORE 31884.851
AT ITER 7017 NEW BEST:: SOT 948701 SOS 701953 HAS SOPS 685659 HAS SOUS 31210 HAS SOUPS 31053 WITH SCORE 31754.953
AT ITER 7066 NEW BEST:: SOT 948717 SOS 701969 HAS SOPS 685675 HAS SOUS 31208 HAS SOUPS 31051 WITH SCORE 31752.969
AT ITER 7069 NEW BEST:: SOT 949581 SOS 702833 HAS SOPS 686539 HAS SOUS 31184 HAS SOUPS 31027 WITH SCORE 31729.833
AT ITER 7080 NEW BEST:: SOT 949573 SOS 702825 HAS SOPS 686531 HAS SOUS 31176 HAS SOUPS 31019 WITH SCORE 31721.825
AT ITER 7097 NEW BEST:: SOT 949573 SOS 702825 HAS SOPS 686531 HAS SOUS 31168 HAS SOUPS 31011 WITH SCORE 31713.825
AT ITER 7133 NEW BEST:: SOT 949567 SOS 702819 HAS SOPS 686525 HAS SOUS 31131 HAS SOUPS 30974 WITH SCORE 31676.819
AT ITER 7193 NEW BEST:: SOT 949577 SOS 702829 HAS SOPS 686535 HAS SOUS 31121 HAS SOUPS 30964 WITH SCORE 31666.829
AT ITER 7227 NEW BEST:: SOT 949577 SOS 702825 HAS SOPS 686535 HAS SOUS 31119 HAS SOUPS 30964 WITH SCORE 31666.825
AT ITER 7229 NEW BEST:: SOT 949649 SOS 702897 HAS SOPS 686607 HAS SOUS 31049 HAS SOUPS 30894 WITH SCORE 31596.897
AT ITER 7233 NEW BEST:: SOT 949647 SOS 702896 HAS SOPS 686606 HAS SOUS 31049 HAS SOUPS 30894 WITH SCORE 31596.896
AT ITER 7241 NEW BEST:: SOT 949647 SOS 702892 HAS SOPS 686602 HAS SOUS 31047 HAS SOUPS 30892 WITH SCORE 31594.892
AT ITER 7276 NEW BEST:: SOT 949647 SOS 702892 HAS SOPS 686602 HAS SOUS 31038 HAS SOUPS 30883 WITH SCORE 31585.892
AT ITER 7362 NEW BEST:: SOT 949647 SOS 702892 HAS SOPS 686596 HAS SOUS 31038 HAS SOUPS 30880 WITH SCORE 31582.892
AT ITER 7378 NEW BEST:: SOT 949643 SOS 702888 HAS SOPS 686592 HAS SOUS 31035 HAS SOUPS 30877 WITH SCORE 31579.888
AT ITER 7422 NEW BEST:: SOT 949621 SOS 702866 HAS SOPS 686570 HAS SOUS 31028 HAS SOUPS 30870 WITH SCORE 31572.866
AT ITER 7483 NEW BEST:: SOT 949621 SOS 692624 HAS SOPS 679778 HAS SOUS 31025 HAS SOUPS 30867 WITH SCORE 31559.624
AT ITER 7560 NEW BEST:: SOT 950665 SOS 693668 HAS SOPS 680822 HAS SOUS 30926 HAS SOUPS 30768 WITH SCORE 31461.668
AT ITER 7571 NEW BEST:: SOT 950659 SOS 693662 HAS SOPS 680816 HAS SOUS 30920 HAS SOUPS 30762 WITH SCORE 31455.662
AT ITER 7608 NEW BEST:: SOT 950659 SOS 693662 HAS SOPS 680816 HAS SOUS 30919 HAS SOUPS 30761 WITH SCORE 31454.662
AT ITER 7624 NEW BEST:: SOT 950653 SOS 693654 HAS SOPS 680810 HAS SOUS 30916 HAS SOUPS 30759 WITH SCORE 31452.654
AT ITER 7733 NEW BEST:: SOT 950639 SOS 693640 HAS SOPS 680796 HAS SOUS 30909 HAS SOUPS 30752 WITH SCORE 31445.64
AT ITER 7745 NEW BEST:: SOT 950255 SOS 693256 HAS SOPS 680412 HAS SOUS 30859 HAS SOUPS 30702 WITH SCORE 31395.256
AT ITER 7818 NEW BEST:: SOT 950269 SOS 693270 HAS SOPS 680426 HAS SOUS 30848 HAS SOUPS 30691 WITH SCORE 31384.27
AT ITER 7827 NEW BEST:: SOT 950271 SOS 693272 HAS SOPS 680428 HAS SOUS 30842 HAS SOUPS 30685 WITH SCORE 31378.272
AT ITER 7837 NEW BEST:: SOT 950255 SOS 693256 HAS SOPS 680412 HAS SOUS 30834 HAS SOUPS 30677 WITH SCORE 31370.256
AT ITER 7882 NEW BEST:: SOT 950285 SOS 693286 HAS SOPS 680442 HAS SOUS 30823 HAS SOUPS 30666 WITH SCORE 31359.286
AT ITER 7901 NEW BEST:: SOT 950285 SOS 693271 HAS SOPS 680427 HAS SOUS 30823 HAS SOUPS 30666 WITH SCORE 31359.271
AT ITER 7943 NEW BEST:: SOT 950283 SOS 693265 HAS SOPS 680421 HAS SOUS 30822 HAS SOUPS 30665 WITH SCORE 31358.265
AT ITER 8086 NEW BEST:: SOT 950283 SOS 693261 HAS SOPS 680421 HAS SOUS 30818 HAS SOUPS 30662 WITH SCORE 31355.261
AT ITER 8128 NEW BEST:: SOT 950287 SOS 693265 HAS SOPS 680425 HAS SOUS 30814 HAS SOUPS 30658 WITH SCORE 31351.265
AT ITER 8153 NEW BEST:: SOT 939933 SOS 682911 HAS SOPS 670071 HAS SOUS 30768 HAS SOUPS 30612 WITH SCORE 31294.911
AT ITER 8220 NEW BEST:: SOT 939973 SOS 682951 HAS SOPS 670111 HAS SOUS 30695 HAS SOUPS 30539 WITH SCORE 31221.951
AT ITER 8222 NEW BEST:: SOT 939973 SOS 682951 HAS SOPS 670111 HAS SOUS 30693 HAS SOUPS 30537 WITH SCORE 31219.951
AT ITER 8288 NEW BEST:: SOT 939967 SOS 682945 HAS SOPS 670105 HAS SOUS 30687 HAS SOUPS 30531 WITH SCORE 31213.945
AT ITER 8386 NEW BEST:: SOT 939959 SOS 682937 HAS SOPS 670097 HAS SOUS 30687 HAS SOUPS 30531 WITH SCORE 31213.937
AT ITER 8524 NEW BEST:: SOT 939957 SOS 682935 HAS SOPS 670095 HAS SOUS 30684 HAS SOUPS 30528 WITH SCORE 31210.935
AT ITER 8599 NEW BEST:: SOT 939953 SOS 682931 HAS SOPS 670091 HAS SOUS 30678 HAS SOUPS 30522 WITH SCORE 31204.931
AT ITER 8603 NEW BEST:: SOT 939959 SOS 682937 HAS SOPS 670097 HAS SOUS 30676 HAS SOUPS 30520 WITH SCORE 31202.937
AT ITER 8629 NEW BEST:: SOT 939955 SOS 682933 HAS SOPS 670093 HAS SOUS 30675 HAS SOUPS 30519 WITH SCORE 31201.933
AT ITER 8644 NEW BEST:: SOT 939949 SOS 682927 HAS SOPS 670087 HAS SOUS 30669 HAS SOUPS 30513 WITH SCORE 31195.927
AT ITER 8656 NEW BEST:: SOT 944499 SOS 687477 HAS SOPS 674637 HAS SOUS 30567 HAS SOUPS 30411 WITH SCORE 31098.477
AT ITER 8683 NEW BEST:: SOT 944821 SOS 687799 HAS SOPS 674959 HAS SOUS 30279 HAS SOUPS 30123 WITH SCORE 30810.799
AT ITER 8798 NEW BEST:: SOT 944837 SOS 687815 HAS SOPS 674975 HAS SOUS 30277 HAS SOUPS 30121 WITH SCORE 30808.815
AT ITER 8863 NEW BEST:: SOT 944860 SOS 686722 HAS SOPS 674710 HAS SOUS 30185 HAS SOUPS 30035 WITH SCORE 30721.722
AT ITER 8886 NEW BEST:: SOT 944856 SOS 686718 HAS SOPS 674706 HAS SOUS 30184 HAS SOUPS 30034 WITH SCORE 30720.718
AT ITER 8961 NEW BEST:: SOT 944856 SOS 686716 HAS SOPS 674704 HAS SOUS 30183 HAS SOUPS 30033 WITH SCORE 30719.716
AT ITER 8979 NEW BEST:: SOT 944908 SOS 686768 HAS SOPS 674756 HAS SOUS 30172 HAS SOUPS 30022 WITH SCORE 30708.768
AT ITER 9037 NEW BEST:: SOT 944908 SOS 676514 HAS SOPS 667958 HAS SOUS 30163 HAS SOUPS 30016 WITH SCORE 30692.514
AT ITER 9043 NEW BEST:: SOT 944908 SOS 676514 HAS SOPS 667952 HAS SOUS 30163 HAS SOUPS 30013 WITH SCORE 30689.514
AT ITER 9142 NEW BEST:: SOT 944742 SOS 676348 HAS SOPS 667786 HAS SOUS 30099 HAS SOUPS 29949 WITH SCORE 30625.348
AT ITER 9169 NEW BEST:: SOT 944722 SOS 676328 HAS SOPS 667766 HAS SOUS 30076 HAS SOUPS 29926 WITH SCORE 30602.328
AT ITER 9287 NEW BEST:: SOT 944716 SOS 676322 HAS SOPS 667760 HAS SOUS 30072 HAS SOUPS 29922 WITH SCORE 30598.322
AT ITER 9397 NEW BEST:: SOT 944714 SOS 676320 HAS SOPS 667758 HAS SOUS 30071 HAS SOUPS 29921 WITH SCORE 30597.32
AT ITER 9408 NEW BEST:: SOT 944690 SOS 676296 HAS SOPS 667734 HAS SOUS 30029 HAS SOUPS 29879 WITH SCORE 30555.296
AT ITER 9504 NEW BEST:: SOT 944690 SOS 676296 HAS SOPS 667726 HAS SOUS 30029 HAS SOUPS 29875 WITH SCORE 30551.296
AT ITER 9533 NEW BEST:: SOT 944692 SOS 676298 HAS SOPS 667728 HAS SOUS 30020 HAS SOUPS 29866 WITH SCORE 30542.298
AT ITER 9562 NEW BEST:: SOT 944686 SOS 676292 HAS SOPS 667722 HAS SOUS 30015 HAS SOUPS 29861 WITH SCORE 30537.292
AT ITER 9577 NEW BEST:: SOT 944650 SOS 676256 HAS SOPS 667686 HAS SOUS 30006 HAS SOUPS 29852 WITH SCORE 30528.256
AT ITER 9605 NEW BEST:: SOT 944606 SOS 676212 HAS SOPS 667642 HAS SOUS 29998 HAS SOUPS 29844 WITH SCORE 30520.212
AT ITER 9644 NEW BEST:: SOT 944606 SOS 676212 HAS SOPS 667642 HAS SOUS 29980 HAS SOUPS 29826 WITH SCORE 30502.212
AT ITER 9673 NEW BEST:: SOT 945498 SOS 677104 HAS SOPS 668534 HAS SOUS 29959 HAS SOUPS 29805 WITH SCORE 30482.104
AT ITER 9811 NEW BEST:: SOT 945482 SOS 677088 HAS SOPS 668518 HAS SOUS 29943 HAS SOUPS 29789 WITH SCORE 30466.088
AT ITER 9891 NEW BEST:: SOT 945470 SOS 677076 HAS SOPS 668506 HAS SOUS 29942 HAS SOUPS 29788 WITH SCORE 30465.076
AT ITER 9956 NEW BEST:: SOT 945376 SOS 676982 HAS SOPS 668412 HAS SOUS 29919 HAS SOUPS 29765 WITH SCORE 30441.982
AT ITER 9980 NEW BEST:: SOT 945420 SOS 653128 HAS SOPS 652608 HAS SOUS 29896 HAS SOUPS 29742 WITH SCORE 30395.128

BK_STOP 1679211698153

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 557 Killed ${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="SemanticWebServices-PT-S256P18"
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 SemanticWebServices-PT-S256P18, 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 r363-smll-167891814400456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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