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.r099-tall-167814472000112.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 smart
Input is CloudReconfiguration-PT-314, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472000112
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.5K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 29K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 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 660K 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 1678226119515

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CloudReconfiguration-PT-314
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 314
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4448374 SOS 744558 HAS SOPS 744558 HAS SOUS 686884 HAS SOUPS 686884 WITH SCORE 687628.558
AT ITER 13 NEW BEST:: SOT 4447978 SOS 744180 HAS SOPS 744180 HAS SOUS 686488 HAS SOUPS 686488 WITH SCORE 687232.18
AT ITER 21 NEW BEST:: SOT 4447978 SOS 743847 HAS SOPS 743847 HAS SOUS 686487 HAS SOUPS 686487 WITH SCORE 687230.847
AT ITER 26 NEW BEST:: SOT 4447978 SOS 743662 HAS SOPS 743662 HAS SOUS 686302 HAS SOUPS 686302 WITH SCORE 687045.662
AT ITER 45 NEW BEST:: SOT 4447924 SOS 743379 HAS SOPS 743379 HAS SOUS 686029 HAS SOUPS 686029 WITH SCORE 686772.379
AT ITER 86 NEW BEST:: SOT 4447914 SOS 743359 HAS SOPS 743359 HAS SOUS 686014 HAS SOUPS 686014 WITH SCORE 686757.359
AT ITER 98 NEW BEST:: SOT 4447672 SOS 743147 HAS SOPS 743147 HAS SOUS 685789 HAS SOUPS 685789 WITH SCORE 686532.147
AT ITER 110 NEW BEST:: SOT 4447548 SOS 742899 HAS SOPS 742899 HAS SOUS 685443 HAS SOUPS 685443 WITH SCORE 686185.899
AT ITER 111 NEW BEST:: SOT 4447281 SOS 742365 HAS SOPS 742365 HAS SOUS 684909 HAS SOUPS 684909 WITH SCORE 685651.365
AT ITER 116 NEW BEST:: SOT 4447175 SOS 742297 HAS SOPS 742297 HAS SOUS 684817 HAS SOUPS 684817 WITH SCORE 685559.297
AT ITER 160 NEW BEST:: SOT 4446850 SOS 742017 HAS SOPS 742017 HAS SOUS 684407 HAS SOUPS 684407 WITH SCORE 685149.017
AT ITER 163 NEW BEST:: SOT 4446816 SOS 741902 HAS SOPS 741902 HAS SOUS 684326 HAS SOUPS 684326 WITH SCORE 685067.902
AT ITER 174 NEW BEST:: SOT 4446223 SOS 741042 HAS SOPS 741042 HAS SOUS 683407 HAS SOUPS 683407 WITH SCORE 684148.042
AT ITER 190 NEW BEST:: SOT 4446213 SOS 740610 HAS SOPS 740610 HAS SOUS 683089 HAS SOUPS 683089 WITH SCORE 683829.61
AT ITER 217 NEW BEST:: SOT 4446213 SOS 740610 HAS SOPS 740610 HAS SOUS 682946 HAS SOUPS 682946 WITH SCORE 683686.61
AT ITER 231 NEW BEST:: SOT 4446146 SOS 740562 HAS SOPS 740562 HAS SOUS 682898 HAS SOUPS 682898 WITH SCORE 683638.562
AT ITER 245 NEW BEST:: SOT 4446146 SOS 740528 HAS SOPS 740528 HAS SOUS 682898 HAS SOUPS 682898 WITH SCORE 683638.528
AT ITER 253 NEW BEST:: SOT 4445961 SOS 740158 HAS SOPS 740158 HAS SOUS 682528 HAS SOUPS 682528 WITH SCORE 683268.158
AT ITER 287 NEW BEST:: SOT 4445969 SOS 739908 HAS SOPS 739908 HAS SOUS 682286 HAS SOUPS 682286 WITH SCORE 683025.908
AT ITER 314 NEW BEST:: SOT 4445969 SOS 739382 HAS SOPS 739382 HAS SOUS 682022 HAS SOUPS 682022 WITH SCORE 682761.382
AT ITER 322 NEW BEST:: SOT 4445914 SOS 738993 HAS SOPS 738993 HAS SOUS 681747 HAS SOUPS 681747 WITH SCORE 682485.993
AT ITER 347 NEW BEST:: SOT 4445388 SOS 738257 HAS SOPS 738257 HAS SOUS 680930 HAS SOUPS 680930 WITH SCORE 681668.257
AT ITER 378 NEW BEST:: SOT 4445534 SOS 738549 HAS SOPS 738549 HAS SOUS 680926 HAS SOUPS 680926 WITH SCORE 681664.549
AT ITER 380 NEW BEST:: SOT 4445534 SOS 738549 HAS SOPS 738549 HAS SOUS 680797 HAS SOUPS 680797 WITH SCORE 681535.549
AT ITER 412 NEW BEST:: SOT 4445534 SOS 738506 HAS SOPS 738506 HAS SOUS 680754 HAS SOUPS 680754 WITH SCORE 681492.506
AT ITER 424 NEW BEST:: SOT 4445534 SOS 738248 HAS SOPS 738248 HAS SOUS 680754 HAS SOUPS 680754 WITH SCORE 681492.248
AT ITER 456 NEW BEST:: SOT 4445467 SOS 737926 HAS SOPS 737926 HAS SOUS 680527 HAS SOUPS 680527 WITH SCORE 681264.926
AT ITER 485 NEW BEST:: SOT 4445467 SOS 737926 HAS SOPS 737926 HAS SOUS 680526 HAS SOUPS 680526 WITH SCORE 681263.926
AT ITER 515 NEW BEST:: SOT 4445107 SOS 737566 HAS SOPS 737566 HAS SOUS 680166 HAS SOUPS 680166 WITH SCORE 680903.566
AT ITER 519 NEW BEST:: SOT 4444897 SOS 737770 HAS SOPS 737770 HAS SOUS 680095 HAS SOUPS 680095 WITH SCORE 680832.77
AT ITER 543 NEW BEST:: SOT 4444312 SOS 737825 HAS SOPS 737825 HAS SOUS 679625 HAS SOUPS 679625 WITH SCORE 680362.825
AT ITER 550 NEW BEST:: SOT 4444039 SOS 737559 HAS SOPS 737559 HAS SOUS 679359 HAS SOUPS 679359 WITH SCORE 680096.559
AT ITER 551 NEW BEST:: SOT 4444039 SOS 737559 HAS SOPS 737559 HAS SOUS 679098 HAS SOUPS 679098 WITH SCORE 679835.559
AT ITER 621 NEW BEST:: SOT 4444039 SOS 737258 HAS SOPS 737258 HAS SOUS 679098 HAS SOUPS 679098 WITH SCORE 679835.258
AT ITER 622 NEW BEST:: SOT 4443838 SOS 737124 HAS SOPS 737124 HAS SOUS 678897 HAS SOUPS 678897 WITH SCORE 679634.124
AT ITER 655 NEW BEST:: SOT 4443711 SOS 736870 HAS SOPS 736870 HAS SOUS 678643 HAS SOUPS 678643 WITH SCORE 679379.87
AT ITER 660 NEW BEST:: SOT 4443708 SOS 736665 HAS SOPS 736665 HAS SOUS 678487 HAS SOUPS 678487 WITH SCORE 679223.665
AT ITER 677 NEW BEST:: SOT 4443708 SOS 736590 HAS SOPS 736590 HAS SOUS 678412 HAS SOUPS 678412 WITH SCORE 679148.59
AT ITER 700 NEW BEST:: SOT 4443370 SOS 736318 HAS SOPS 736318 HAS SOUS 678097 HAS SOUPS 678097 WITH SCORE 678833.318
AT ITER 704 NEW BEST:: SOT 4443329 SOS 736277 HAS SOPS 736277 HAS SOUS 678095 HAS SOUPS 678095 WITH SCORE 678831.277
AT ITER 707 NEW BEST:: SOT 4443492 SOS 735721 HAS SOPS 735721 HAS SOUS 677817 HAS SOUPS 677817 WITH SCORE 678552.721
AT ITER 732 NEW BEST:: SOT 4443479 SOS 735695 HAS SOPS 735695 HAS SOUS 677625 HAS SOUPS 677625 WITH SCORE 678360.695
AT ITER 741 NEW BEST:: SOT 4443426 SOS 735589 HAS SOPS 735589 HAS SOUS 677519 HAS SOUPS 677519 WITH SCORE 678254.589
AT ITER 788 NEW BEST:: SOT 4443372 SOS 735592 HAS SOPS 735592 HAS SOUS 677464 HAS SOUPS 677464 WITH SCORE 678199.592
AT ITER 806 NEW BEST:: SOT 4443402 SOS 735378 HAS SOPS 735378 HAS SOUS 677082 HAS SOUPS 677082 WITH SCORE 677817.378
AT ITER 812 NEW BEST:: SOT 4442024 SOS 735884 HAS SOPS 735884 HAS SOUS 676121 HAS SOUPS 676121 WITH SCORE 676856.884
AT ITER 866 NEW BEST:: SOT 4442024 SOS 735884 HAS SOPS 735884 HAS SOUS 676067 HAS SOUPS 676067 WITH SCORE 676802.884
AT ITER 874 NEW BEST:: SOT 4442011 SOS 735688 HAS SOPS 735688 HAS SOUS 676054 HAS SOUPS 676054 WITH SCORE 676789.688
AT ITER 882 NEW BEST:: SOT 4442337 SOS 735468 HAS SOPS 735468 HAS SOUS 675948 HAS SOUPS 675948 WITH SCORE 676683.468
AT ITER 910 NEW BEST:: SOT 4442213 SOS 735344 HAS SOPS 735344 HAS SOUS 675824 HAS SOUPS 675824 WITH SCORE 676559.344
AT ITER 921 NEW BEST:: SOT 4442216 SOS 735292 HAS SOPS 735292 HAS SOUS 675769 HAS SOUPS 675769 WITH SCORE 676504.292
AT ITER 942 NEW BEST:: SOT 4442248 SOS 735356 HAS SOPS 735356 HAS SOUS 675644 HAS SOUPS 675644 WITH SCORE 676379.356
AT ITER 953 NEW BEST:: SOT 4442065 SOS 735182 HAS SOPS 735182 HAS SOUS 675470 HAS SOUPS 675470 WITH SCORE 676205.182
AT ITER 1018 NEW BEST:: SOT 4442046 SOS 735144 HAS SOPS 735144 HAS SOUS 675432 HAS SOUPS 675432 WITH SCORE 676167.144
AT ITER 1020 NEW BEST:: SOT 4442025 SOS 735102 HAS SOPS 735102 HAS SOUS 675390 HAS SOUPS 675390 WITH SCORE 676125.102
AT ITER 1021 NEW BEST:: SOT 4441860 SOS 735570 HAS SOPS 735570 HAS SOUS 675337 HAS SOUPS 675337 WITH SCORE 676072.57
AT ITER 1027 NEW BEST:: SOT 4441572 SOS 735282 HAS SOPS 735282 HAS SOUS 675049 HAS SOUPS 675049 WITH SCORE 675784.282
AT ITER 1032 NEW BEST:: SOT 4441393 SOS 734507 HAS SOPS 734507 HAS SOUS 674553 HAS SOUPS 674553 WITH SCORE 675287.507
AT ITER 1053 NEW BEST:: SOT 4441544 SOS 734809 HAS SOPS 734809 HAS SOUS 674424 HAS SOUPS 674424 WITH SCORE 675158.809
AT ITER 1081 NEW BEST:: SOT 4441544 SOS 734688 HAS SOPS 734688 HAS SOUS 674303 HAS SOUPS 674303 WITH SCORE 675037.688
AT ITER 1091 NEW BEST:: SOT 4441544 SOS 734551 HAS SOPS 734551 HAS SOUS 674302 HAS SOUPS 674302 WITH SCORE 675036.551
AT ITER 1099 NEW BEST:: SOT 4441426 SOS 734787 HAS SOPS 734787 HAS SOUS 674184 HAS SOUPS 674184 WITH SCORE 674918.787
AT ITER 1109 NEW BEST:: SOT 4441426 SOS 734663 HAS SOPS 734663 HAS SOUS 674184 HAS SOUPS 674184 WITH SCORE 674918.663
AT ITER 1168 NEW BEST:: SOT 4441351 SOS 734513 HAS SOPS 734513 HAS SOUS 674109 HAS SOUPS 674109 WITH SCORE 674843.513
AT ITER 1172 NEW BEST:: SOT 4441350 SOS 734511 HAS SOPS 734511 HAS SOUS 674107 HAS SOUPS 674107 WITH SCORE 674841.511
AT ITER 1203 NEW BEST:: SOT 4441350 SOS 734251 HAS SOPS 734251 HAS SOUS 673870 HAS SOUPS 673870 WITH SCORE 674604.251
AT ITER 1223 NEW BEST:: SOT 4441130 SOS 734031 HAS SOPS 734031 HAS SOUS 673650 HAS SOUPS 673650 WITH SCORE 674384.031
AT ITER 1239 NEW BEST:: SOT 4441130 SOS 733984 HAS SOPS 733984 HAS SOUS 673649 HAS SOUPS 673649 WITH SCORE 674382.984
AT ITER 1287 NEW BEST:: SOT 4440909 SOS 734019 HAS SOPS 734019 HAS SOUS 673516 HAS SOUPS 673516 WITH SCORE 674250.019
AT ITER 1293 NEW BEST:: SOT 4440726 SOS 733988 HAS SOPS 733988 HAS SOUS 673361 HAS SOUPS 673361 WITH SCORE 674094.988
AT ITER 1325 NEW BEST:: SOT 4440725 SOS 733986 HAS SOPS 733986 HAS SOUS 673359 HAS SOUPS 673359 WITH SCORE 674092.986
AT ITER 1353 NEW BEST:: SOT 4438848 SOS 738066 HAS SOPS 738066 HAS SOUS 671915 HAS SOUPS 671915 WITH SCORE 672653.066
AT ITER 1414 NEW BEST:: SOT 4438762 SOS 737999 HAS SOPS 737999 HAS SOUS 671848 HAS SOUPS 671848 WITH SCORE 672585.999
AT ITER 1417 NEW BEST:: SOT 4438600 SOS 737675 HAS SOPS 737675 HAS SOUS 671524 HAS SOUPS 671524 WITH SCORE 672261.675
AT ITER 1459 NEW BEST:: SOT 4438600 SOS 737348 HAS SOPS 737348 HAS SOUS 671523 HAS SOUPS 671523 WITH SCORE 672260.348
AT ITER 1463 NEW BEST:: SOT 4438422 SOS 737348 HAS SOPS 737348 HAS SOUS 671434 HAS SOUPS 671434 WITH SCORE 672171.348
AT ITER 1546 NEW BEST:: SOT 4438413 SOS 737686 HAS SOPS 737686 HAS SOUS 671190 HAS SOUPS 671190 WITH SCORE 671927.686
AT ITER 1555 NEW BEST:: SOT 4438816 SOS 737258 HAS SOPS 737258 HAS SOUS 670834 HAS SOUPS 670834 WITH SCORE 671571.258
AT ITER 1556 NEW BEST:: SOT 4438816 SOS 737258 HAS SOPS 737258 HAS SOUS 670833 HAS SOUPS 670833 WITH SCORE 671570.258
AT ITER 1569 NEW BEST:: SOT 4438572 SOS 736770 HAS SOPS 736770 HAS SOUS 670206 HAS SOUPS 670206 WITH SCORE 670942.77
AT ITER 1590 NEW BEST:: SOT 4438474 SOS 736672 HAS SOPS 736672 HAS SOUS 670108 HAS SOUPS 670108 WITH SCORE 670844.672
AT ITER 1598 NEW BEST:: SOT 4438474 SOS 736486 HAS SOPS 736486 HAS SOUS 670108 HAS SOUPS 670108 WITH SCORE 670844.486
AT ITER 1629 NEW BEST:: SOT 4438654 SOS 736846 HAS SOPS 736846 HAS SOUS 669995 HAS SOUPS 669995 WITH SCORE 670731.846
AT ITER 1633 NEW BEST:: SOT 4435403 SOS 746557 HAS SOPS 746557 HAS SOUS 667516 HAS SOUPS 667516 WITH SCORE 668262.557
AT ITER 1640 NEW BEST:: SOT 4434896 SOS 745543 HAS SOPS 745543 HAS SOUS 667034 HAS SOUPS 667034 WITH SCORE 667779.543
AT ITER 1642 NEW BEST:: SOT 4434895 SOS 745481 HAS SOPS 745481 HAS SOUS 667032 HAS SOUPS 667032 WITH SCORE 667777.481
AT ITER 1681 NEW BEST:: SOT 4434894 SOS 745479 HAS SOPS 745479 HAS SOUS 667030 HAS SOUPS 667030 WITH SCORE 667775.479
AT ITER 1698 NEW BEST:: SOT 4434893 SOS 745477 HAS SOPS 745477 HAS SOUS 667028 HAS SOUPS 667028 WITH SCORE 667773.477
AT ITER 1714 NEW BEST:: SOT 4431652 SOS 751405 HAS SOPS 751405 HAS SOUS 664097 HAS SOUPS 664097 WITH SCORE 664848.405
AT ITER 1734 NEW BEST:: SOT 4431609 SOS 751829 HAS SOPS 751829 HAS SOUS 664077 HAS SOUPS 664077 WITH SCORE 664828.829
AT ITER 1745 NEW BEST:: SOT 4431609 SOS 751829 HAS SOPS 751829 HAS SOUS 663900 HAS SOUPS 663900 WITH SCORE 664651.829
AT ITER 1755 NEW BEST:: SOT 4431481 SOS 751573 HAS SOPS 751573 HAS SOUS 663644 HAS SOUPS 663644 WITH SCORE 664395.573
AT ITER 1768 NEW BEST:: SOT 4431419 SOS 751449 HAS SOPS 751449 HAS SOUS 663520 HAS SOUPS 663520 WITH SCORE 664271.449
AT ITER 1802 NEW BEST:: SOT 4431046 SOS 751095 HAS SOPS 751095 HAS SOUS 663166 HAS SOUPS 663166 WITH SCORE 663917.095
AT ITER 1811 NEW BEST:: SOT 4430719 SOS 750931 HAS SOPS 750931 HAS SOUS 662937 HAS SOUPS 662937 WITH SCORE 663687.931
AT ITER 1823 NEW BEST:: SOT 4424502 SOS 751223 HAS SOPS 751223 HAS SOUS 657326 HAS SOUPS 657326 WITH SCORE 658077.223
AT ITER 1845 NEW BEST:: SOT 4424313 SOS 750845 HAS SOPS 750845 HAS SOUS 656948 HAS SOUPS 656948 WITH SCORE 657698.845
AT ITER 1905 NEW BEST:: SOT 4424216 SOS 750782 HAS SOPS 750782 HAS SOUS 656851 HAS SOUPS 656851 WITH SCORE 657601.782
AT ITER 1935 NEW BEST:: SOT 4423900 SOS 750729 HAS SOPS 750729 HAS SOUS 656411 HAS SOUPS 656411 WITH SCORE 657161.729
AT ITER 1947 NEW BEST:: SOT 4424093 SOS 750799 HAS SOPS 750799 HAS SOUS 656329 HAS SOUPS 656329 WITH SCORE 657079.799
AT ITER 1976 NEW BEST:: SOT 4423881 SOS 750375 HAS SOPS 750375 HAS SOUS 656165 HAS SOUPS 656165 WITH SCORE 656915.375
AT ITER 1979 NEW BEST:: SOT 4423909 SOS 750431 HAS SOPS 750431 HAS SOUS 656146 HAS SOUPS 656146 WITH SCORE 656896.431
AT ITER 1984 NEW BEST:: SOT 4423908 SOS 750429 HAS SOPS 750429 HAS SOUS 656144 HAS SOUPS 656144 WITH SCORE 656894.429
AT ITER 2026 NEW BEST:: SOT 4423908 SOS 750138 HAS SOPS 750138 HAS SOUS 655853 HAS SOUPS 655853 WITH SCORE 656603.138
AT ITER 2029 NEW BEST:: SOT 4423738 SOS 750354 HAS SOPS 750354 HAS SOUS 655770 HAS SOUPS 655770 WITH SCORE 656520.354
AT ITER 2059 NEW BEST:: SOT 4423515 SOS 749908 HAS SOPS 749908 HAS SOUS 655324 HAS SOUPS 655324 WITH SCORE 656073.908
AT ITER 2067 NEW BEST:: SOT 4423274 SOS 749426 HAS SOPS 749426 HAS SOUS 654842 HAS SOUPS 654842 WITH SCORE 655591.426
AT ITER 2073 NEW BEST:: SOT 4423256 SOS 749428 HAS SOPS 749428 HAS SOUS 654786 HAS SOUPS 654786 WITH SCORE 655535.428
AT ITER 2075 NEW BEST:: SOT 4423168 SOS 749460 HAS SOPS 749460 HAS SOUS 654698 HAS SOUPS 654698 WITH SCORE 655447.46
AT ITER 2118 NEW BEST:: SOT 4423168 SOS 749077 HAS SOPS 749077 HAS SOUS 654698 HAS SOUPS 654698 WITH SCORE 655447.077
AT ITER 2132 NEW BEST:: SOT 4422936 SOS 748845 HAS SOPS 748845 HAS SOUS 654466 HAS SOUPS 654466 WITH SCORE 655214.845
AT ITER 2135 NEW BEST:: SOT 4422902 SOS 748777 HAS SOPS 748777 HAS SOUS 654398 HAS SOUPS 654398 WITH SCORE 655146.777
AT ITER 2154 NEW BEST:: SOT 4422875 SOS 748723 HAS SOPS 748723 HAS SOUS 654344 HAS SOUPS 654344 WITH SCORE 655092.723
AT ITER 2166 NEW BEST:: SOT 4422874 SOS 748666 HAS SOPS 748666 HAS SOUS 654286 HAS SOUPS 654286 WITH SCORE 655034.666
AT ITER 2190 NEW BEST:: SOT 4422876 SOS 748670 HAS SOPS 748670 HAS SOUS 654269 HAS SOUPS 654269 WITH SCORE 655017.67
AT ITER 2261 NEW BEST:: SOT 4422666 SOS 748549 HAS SOPS 748549 HAS SOUS 654093 HAS SOUPS 654093 WITH SCORE 654841.549
AT ITER 2265 NEW BEST:: SOT 4422660 SOS 748350 HAS SOPS 748350 HAS SOUS 654081 HAS SOUPS 654081 WITH SCORE 654829.35
AT ITER 2271 NEW BEST:: SOT 4422509 SOS 748199 HAS SOPS 748199 HAS SOUS 653930 HAS SOUPS 653930 WITH SCORE 654678.199
AT ITER 2286 NEW BEST:: SOT 4422511 SOS 748125 HAS SOPS 748125 HAS SOUS 653854 HAS SOUPS 653854 WITH SCORE 654602.125
AT ITER 2314 NEW BEST:: SOT 4422505 SOS 748057 HAS SOPS 748057 HAS SOUS 653820 HAS SOUPS 653820 WITH SCORE 654568.057
AT ITER 2332 NEW BEST:: SOT 4422443 SOS 747933 HAS SOPS 747933 HAS SOUS 653758 HAS SOUPS 653758 WITH SCORE 654505.933
AT ITER 2397 NEW BEST:: SOT 4422184 SOS 747415 HAS SOPS 747415 HAS SOUS 653550 HAS SOUPS 653550 WITH SCORE 654297.415
AT ITER 2438 NEW BEST:: SOT 4422099 SOS 747245 HAS SOPS 747245 HAS SOUS 653380 HAS SOUPS 653380 WITH SCORE 654127.245
AT ITER 2448 NEW BEST:: SOT 4422099 SOS 746880 HAS SOPS 746880 HAS SOUS 653380 HAS SOUPS 653380 WITH SCORE 654126.88
AT ITER 2465 NEW BEST:: SOT 4422099 SOS 746880 HAS SOPS 746880 HAS SOUS 653309 HAS SOUPS 653309 WITH SCORE 654055.88
AT ITER 2508 NEW BEST:: SOT 4421188 SOS 746138 HAS SOPS 746138 HAS SOUS 652398 HAS SOUPS 652398 WITH SCORE 653144.138
AT ITER 2524 NEW BEST:: SOT 4420942 SOS 745769 HAS SOPS 745769 HAS SOUS 652152 HAS SOUPS 652152 WITH SCORE 652897.769
AT ITER 2527 NEW BEST:: SOT 4420942 SOS 745741 HAS SOPS 745741 HAS SOUS 652152 HAS SOUPS 652152 WITH SCORE 652897.741
AT ITER 2535 NEW BEST:: SOT 4420942 SOS 745741 HAS SOPS 745741 HAS SOUS 652138 HAS SOUPS 652138 WITH SCORE 652883.741
AT ITER 2563 NEW BEST:: SOT 4420942 SOS 745512 HAS SOPS 745512 HAS SOUS 652138 HAS SOUPS 652138 WITH SCORE 652883.512
AT ITER 2591 NEW BEST:: SOT 4420921 SOS 745470 HAS SOPS 745470 HAS SOUS 652117 HAS SOUPS 652117 WITH SCORE 652862.47
AT ITER 2658 NEW BEST:: SOT 4420921 SOS 745470 HAS SOPS 745470 HAS SOUS 652019 HAS SOUPS 652019 WITH SCORE 652764.47
AT ITER 2694 NEW BEST:: SOT 4420863 SOS 745354 HAS SOPS 745354 HAS SOUS 651961 HAS SOUPS 651961 WITH SCORE 652706.354
AT ITER 2729 NEW BEST:: SOT 4420890 SOS 745005 HAS SOPS 745005 HAS SOUS 651612 HAS SOUPS 651612 WITH SCORE 652357.005
AT ITER 2752 NEW BEST:: SOT 4420890 SOS 744947 HAS SOPS 744947 HAS SOUS 651583 HAS SOUPS 651583 WITH SCORE 652327.947
AT ITER 2755 NEW BEST:: SOT 4420616 SOS 744399 HAS SOPS 744399 HAS SOUS 651261 HAS SOUPS 651261 WITH SCORE 652005.399
AT ITER 2761 NEW BEST:: SOT 4420544 SOS 744255 HAS SOPS 744255 HAS SOUS 651117 HAS SOUPS 651117 WITH SCORE 651861.255
AT ITER 2780 NEW BEST:: SOT 4420595 SOS 743994 HAS SOPS 743994 HAS SOUS 651022 HAS SOUPS 651022 WITH SCORE 651765.994
AT ITER 2784 NEW BEST:: SOT 4420569 SOS 743942 HAS SOPS 743942 HAS SOUS 650970 HAS SOUPS 650970 WITH SCORE 651713.942
AT ITER 2815 NEW BEST:: SOT 4420439 SOS 743812 HAS SOPS 743812 HAS SOUS 650840 HAS SOUPS 650840 WITH SCORE 651583.812
AT ITER 2838 NEW BEST:: SOT 4420439 SOS 743812 HAS SOPS 743812 HAS SOUS 650839 HAS SOUPS 650839 WITH SCORE 651582.812
AT ITER 2842 NEW BEST:: SOT 4420297 SOS 743528 HAS SOPS 743528 HAS SOUS 650555 HAS SOUPS 650555 WITH SCORE 651298.528
AT ITER 2857 NEW BEST:: SOT 4420297 SOS 743528 HAS SOPS 743528 HAS SOUS 650384 HAS SOUPS 650384 WITH SCORE 651127.528
AT ITER 2891 NEW BEST:: SOT 4420201 SOS 743434 HAS SOPS 743434 HAS SOUS 650288 HAS SOUPS 650288 WITH SCORE 651031.434
AT ITER 2897 NEW BEST:: SOT 4420155 SOS 743244 HAS SOPS 743244 HAS SOUS 650144 HAS SOUPS 650144 WITH SCORE 650887.244
AT ITER 2953 NEW BEST:: SOT 4420094 SOS 743188 HAS SOPS 743188 HAS SOUS 650083 HAS SOUPS 650083 WITH SCORE 650826.188
AT ITER 2955 NEW BEST:: SOT 4420094 SOS 743133 HAS SOPS 743133 HAS SOUS 650083 HAS SOUPS 650083 WITH SCORE 650826.133
AT ITER 2974 NEW BEST:: SOT 4420081 SOS 743107 HAS SOPS 743107 HAS SOUS 650057 HAS SOUPS 650057 WITH SCORE 650800.107
AT ITER 2984 NEW BEST:: SOT 4419984 SOS 742913 HAS SOPS 742913 HAS SOUS 649960 HAS SOUPS 649960 WITH SCORE 650702.913
AT ITER 2993 NEW BEST:: SOT 4419728 SOS 742401 HAS SOPS 742401 HAS SOUS 649704 HAS SOUPS 649704 WITH SCORE 650446.401
AT ITER 3024 NEW BEST:: SOT 4419623 SOS 742191 HAS SOPS 742191 HAS SOUS 649599 HAS SOUPS 649599 WITH SCORE 650341.191
AT ITER 3038 NEW BEST:: SOT 4419484 SOS 741913 HAS SOPS 741913 HAS SOUS 649460 HAS SOUPS 649460 WITH SCORE 650201.913
AT ITER 3080 NEW BEST:: SOT 4419302 SOS 741761 HAS SOPS 741761 HAS SOUS 649308 HAS SOUPS 649308 WITH SCORE 650049.761
AT ITER 3100 NEW BEST:: SOT 4419164 SOS 741623 HAS SOPS 741623 HAS SOUS 649170 HAS SOUPS 649170 WITH SCORE 649911.623
AT ITER 3109 NEW BEST:: SOT 4418984 SOS 741263 HAS SOPS 741263 HAS SOUS 648732 HAS SOUPS 648732 WITH SCORE 649473.263
AT ITER 3122 NEW BEST:: SOT 4418974 SOS 741243 HAS SOPS 741243 HAS SOUS 648712 HAS SOUPS 648712 WITH SCORE 649453.243
AT ITER 3142 NEW BEST:: SOT 4418904 SOS 741103 HAS SOPS 741103 HAS SOUS 648572 HAS SOUPS 648572 WITH SCORE 649313.103
AT ITER 3152 NEW BEST:: SOT 4418889 SOS 741073 HAS SOPS 741073 HAS SOUS 648557 HAS SOUPS 648557 WITH SCORE 649298.073
AT ITER 3175 NEW BEST:: SOT 4418690 SOS 741990 HAS SOPS 741990 HAS SOUS 648453 HAS SOUPS 648453 WITH SCORE 649194.99
AT ITER 3181 NEW BEST:: SOT 4418614 SOS 741838 HAS SOPS 741838 HAS SOUS 648301 HAS SOUPS 648301 WITH SCORE 649042.838
AT ITER 3188 NEW BEST:: SOT 4418614 SOS 741838 HAS SOPS 741838 HAS SOUS 648066 HAS SOUPS 648066 WITH SCORE 648807.838
AT ITER 3228 NEW BEST:: SOT 4418393 SOS 742461 HAS SOPS 742461 HAS SOUS 648058 HAS SOUPS 648058 WITH SCORE 648800.461
AT ITER 3290 NEW BEST:: SOT 4418312 SOS 742299 HAS SOPS 742299 HAS SOUS 647977 HAS SOUPS 647977 WITH SCORE 648719.299
AT ITER 3302 NEW BEST:: SOT 4417978 SOS 742299 HAS SOPS 742299 HAS SOUS 647810 HAS SOUPS 647810 WITH SCORE 648552.299
AT ITER 3315 NEW BEST:: SOT 4417908 SOS 742194 HAS SOPS 742194 HAS SOUS 647705 HAS SOUPS 647705 WITH SCORE 648447.194
AT ITER 3330 NEW BEST:: SOT 4417836 SOS 742147 HAS SOPS 742147 HAS SOUS 647633 HAS SOUPS 647633 WITH SCORE 648375.147
AT ITER 3359 NEW BEST:: SOT 4417836 SOS 741741 HAS SOPS 741741 HAS SOUS 647633 HAS SOUPS 647633 WITH SCORE 648374.741
AT ITER 3365 NEW BEST:: SOT 4417816 SOS 741701 HAS SOPS 741701 HAS SOUS 647593 HAS SOUPS 647593 WITH SCORE 648334.701
AT ITER 3374 NEW BEST:: SOT 4417899 SOS 741588 HAS SOPS 741588 HAS SOUS 647485 HAS SOUPS 647485 WITH SCORE 648226.588
AT ITER 3451 NEW BEST:: SOT 4417899 SOS 741094 HAS SOPS 741094 HAS SOUS 647485 HAS SOUPS 647485 WITH SCORE 648226.094
AT ITER 3494 NEW BEST:: SOT 4417899 SOS 740907 HAS SOPS 740907 HAS SOUS 647298 HAS SOUPS 647298 WITH SCORE 648038.907
AT ITER 3515 NEW BEST:: SOT 4417862 SOS 740896 HAS SOPS 740896 HAS SOUS 647278 HAS SOUPS 647278 WITH SCORE 648018.896
AT ITER 3520 NEW BEST:: SOT 4417785 SOS 740742 HAS SOPS 740742 HAS SOUS 647201 HAS SOUPS 647201 WITH SCORE 647941.742
AT ITER 3566 NEW BEST:: SOT 4417970 SOS 740648 HAS SOPS 740648 HAS SOUS 647107 HAS SOUPS 647107 WITH SCORE 647847.648
AT ITER 3585 NEW BEST:: SOT 4417719 SOS 740146 HAS SOPS 740146 HAS SOUS 646605 HAS SOUPS 646605 WITH SCORE 647345.146
AT ITER 3614 NEW BEST:: SOT 4417154 SOS 739588 HAS SOPS 739588 HAS SOUS 646047 HAS SOUPS 646047 WITH SCORE 646786.588
AT ITER 3618 NEW BEST:: SOT 4417165 SOS 739610 HAS SOPS 739610 HAS SOUS 645916 HAS SOUPS 645916 WITH SCORE 646655.61
AT ITER 3647 NEW BEST:: SOT 4417079 SOS 739438 HAS SOPS 739438 HAS SOUS 645830 HAS SOUPS 645830 WITH SCORE 646569.438
AT ITER 3648 NEW BEST:: SOT 4416783 SOS 739656 HAS SOPS 739656 HAS SOUS 645794 HAS SOUPS 645794 WITH SCORE 646533.656
AT ITER 3668 NEW BEST:: SOT 4416721 SOS 739532 HAS SOPS 739532 HAS SOUS 645670 HAS SOUPS 645670 WITH SCORE 646409.532
AT ITER 3720 NEW BEST:: SOT 4416721 SOS 739532 HAS SOPS 739532 HAS SOUS 645517 HAS SOUPS 645517 WITH SCORE 646256.532
AT ITER 3721 NEW BEST:: SOT 4416835 SOS 739763 HAS SOPS 739763 HAS SOUS 645363 HAS SOUPS 645363 WITH SCORE 646102.763
AT ITER 3747 NEW BEST:: SOT 4416379 SOS 739571 HAS SOPS 739571 HAS SOUS 644907 HAS SOUPS 644907 WITH SCORE 645646.571
AT ITER 3796 NEW BEST:: SOT 4416379 SOS 739524 HAS SOPS 739524 HAS SOUS 644907 HAS SOUPS 644907 WITH SCORE 645646.524
AT ITER 3849 NEW BEST:: SOT 4416379 SOS 739524 HAS SOPS 739524 HAS SOUS 644885 HAS SOUPS 644885 WITH SCORE 645624.524
AT ITER 3854 NEW BEST:: SOT 4416379 SOS 739480 HAS SOPS 739480 HAS SOUS 644885 HAS SOUPS 644885 WITH SCORE 645624.48
AT ITER 3859 NEW BEST:: SOT 4416228 SOS 739178 HAS SOPS 739178 HAS SOUS 644583 HAS SOUPS 644583 WITH SCORE 645322.178
AT ITER 3867 NEW BEST:: SOT 4415985 SOS 738692 HAS SOPS 738692 HAS SOUS 644097 HAS SOUPS 644097 WITH SCORE 644835.692
AT ITER 3877 NEW BEST:: SOT 4416011 SOS 738744 HAS SOPS 738744 HAS SOUS 644083 HAS SOUPS 644083 WITH SCORE 644821.744
AT ITER 3899 NEW BEST:: SOT 4416011 SOS 738725 HAS SOPS 738725 HAS SOUS 644064 HAS SOUPS 644064 WITH SCORE 644802.725
AT ITER 3923 NEW BEST:: SOT 4416052 SOS 738807 HAS SOPS 738807 HAS SOUS 643894 HAS SOUPS 643894 WITH SCORE 644632.807
AT ITER 3936 NEW BEST:: SOT 4415954 SOS 738709 HAS SOPS 738709 HAS SOUS 643796 HAS SOUPS 643796 WITH SCORE 644534.709
AT ITER 3965 NEW BEST:: SOT 4415851 SOS 738503 HAS SOPS 738503 HAS SOUS 643693 HAS SOUPS 643693 WITH SCORE 644431.503
AT ITER 3993 NEW BEST:: SOT 4415301 SOS 737967 HAS SOPS 737967 HAS SOUS 643143 HAS SOUPS 643143 WITH SCORE 643880.967
AT ITER 3998 NEW BEST:: SOT 4415210 SOS 737879 HAS SOPS 737879 HAS SOUS 643054 HAS SOUPS 643054 WITH SCORE 643791.879
AT ITER 4069 NEW BEST:: SOT 4415106 SOS 737671 HAS SOPS 737671 HAS SOUS 642846 HAS SOUPS 642846 WITH SCORE 643583.671
AT ITER 4083 NEW BEST:: SOT 4415005 SOS 737570 HAS SOPS 737570 HAS SOUS 642842 HAS SOUPS 642842 WITH SCORE 643579.57
AT ITER 4097 NEW BEST:: SOT 4414768 SOS 737403 HAS SOPS 737403 HAS SOUS 642407 HAS SOUPS 642407 WITH SCORE 643144.403
AT ITER 4105 NEW BEST:: SOT 4414768 SOS 737215 HAS SOPS 737215 HAS SOUS 642313 HAS SOUPS 642313 WITH SCORE 643050.215
AT ITER 4110 NEW BEST:: SOT 4414764 SOS 737211 HAS SOPS 737211 HAS SOUS 642311 HAS SOUPS 642311 WITH SCORE 643048.211
AT ITER 4122 NEW BEST:: SOT 4414706 SOS 737153 HAS SOPS 737153 HAS SOUS 642253 HAS SOUPS 642253 WITH SCORE 642990.153
AT ITER 4139 NEW BEST:: SOT 4414618 SOS 736977 HAS SOPS 736977 HAS SOUS 642197 HAS SOUPS 642197 WITH SCORE 642933.977
AT ITER 4143 NEW BEST:: SOT 4414509 SOS 736689 HAS SOPS 736689 HAS SOUS 641909 HAS SOUPS 641909 WITH SCORE 642645.689
AT ITER 4174 NEW BEST:: SOT 4414508 SOS 736482 HAS SOPS 736482 HAS SOUS 641907 HAS SOUPS 641907 WITH SCORE 642643.482
AT ITER 4191 NEW BEST:: SOT 4414508 SOS 736545 HAS SOPS 736545 HAS SOUS 641844 HAS SOUPS 641844 WITH SCORE 642580.545
AT ITER 4236 NEW BEST:: SOT 4414508 SOS 736543 HAS SOPS 736543 HAS SOUS 641842 HAS SOUPS 641842 WITH SCORE 642578.543
AT ITER 4247 NEW BEST:: SOT 4414508 SOS 736543 HAS SOPS 736543 HAS SOUS 641608 HAS SOUPS 641608 WITH SCORE 642344.543
AT ITER 4267 NEW BEST:: SOT 4414301 SOS 736336 HAS SOPS 736336 HAS SOUS 641510 HAS SOUPS 641510 WITH SCORE 642246.336
AT ITER 4269 NEW BEST:: SOT 4414152 SOS 736038 HAS SOPS 736038 HAS SOUS 641361 HAS SOUPS 641361 WITH SCORE 642097.038
AT ITER 4292 NEW BEST:: SOT 4413977 SOS 736113 HAS SOPS 736113 HAS SOUS 641309 HAS SOUPS 641309 WITH SCORE 642045.113
AT ITER 4293 NEW BEST:: SOT 4413778 SOS 735715 HAS SOPS 735715 HAS SOUS 641110 HAS SOUPS 641110 WITH SCORE 641845.715
AT ITER 4310 NEW BEST:: SOT 4413778 SOS 735295 HAS SOPS 735295 HAS SOUS 641110 HAS SOUPS 641110 WITH SCORE 641845.295
AT ITER 4319 NEW BEST:: SOT 4413953 SOS 735645 HAS SOPS 735645 HAS SOUS 640967 HAS SOUPS 640967 WITH SCORE 641702.645
AT ITER 4331 NEW BEST:: SOT 4413953 SOS 735599 HAS SOPS 735599 HAS SOUS 640967 HAS SOUPS 640967 WITH SCORE 641702.599
AT ITER 4337 NEW BEST:: SOT 4413816 SOS 735712 HAS SOPS 735712 HAS SOUS 640896 HAS SOUPS 640896 WITH SCORE 641631.712
AT ITER 4349 NEW BEST:: SOT 4413235 SOS 734923 HAS SOPS 734923 HAS SOUS 640623 HAS SOUPS 640623 WITH SCORE 641357.923
AT ITER 4359 NEW BEST:: SOT 4413241 SOS 734680 HAS SOPS 734680 HAS SOUS 640380 HAS SOUPS 640380 WITH SCORE 641114.68
AT ITER 4392 NEW BEST:: SOT 4413241 SOS 734420 HAS SOPS 734420 HAS SOUS 640380 HAS SOUPS 640380 WITH SCORE 641114.42
AT ITER 4410 NEW BEST:: SOT 4413147 SOS 734232 HAS SOPS 734232 HAS SOUS 640335 HAS SOUPS 640335 WITH SCORE 641069.232
AT ITER 4451 NEW BEST:: SOT 4412909 SOS 733756 HAS SOPS 733756 HAS SOUS 639859 HAS SOUPS 639859 WITH SCORE 640592.756
AT ITER 4464 NEW BEST:: SOT 4412881 SOS 733728 HAS SOPS 733728 HAS SOUS 639831 HAS SOUPS 639831 WITH SCORE 640564.728
AT ITER 4495 NEW BEST:: SOT 4412588 SOS 733142 HAS SOPS 733142 HAS SOUS 639245 HAS SOUPS 639245 WITH SCORE 639978.142
AT ITER 4521 NEW BEST:: SOT 4412636 SOS 733027 HAS SOPS 733027 HAS SOUS 639130 HAS SOUPS 639130 WITH SCORE 639863.027
AT ITER 4537 NEW BEST:: SOT 4412476 SOS 732867 HAS SOPS 732867 HAS SOUS 638970 HAS SOUPS 638970 WITH SCORE 639702.867
AT ITER 4569 NEW BEST:: SOT 4412358 SOS 728674 HAS SOPS 728674 HAS SOUS 638734 HAS SOUPS 638734 WITH SCORE 639462.674
AT ITER 4581 NEW BEST:: SOT 4412344 SOS 728646 HAS SOPS 728646 HAS SOUS 638706 HAS SOUPS 638706 WITH SCORE 639434.646
AT ITER 4591 NEW BEST:: SOT 4412344 SOS 728562 HAS SOPS 728562 HAS SOUS 638622 HAS SOUPS 638622 WITH SCORE 639350.562
AT ITER 4599 NEW BEST:: SOT 4412245 SOS 728463 HAS SOPS 728463 HAS SOUS 638424 HAS SOUPS 638424 WITH SCORE 639152.463
AT ITER 4621 NEW BEST:: SOT 4412040 SOS 728294 HAS SOPS 728294 HAS SOUS 638255 HAS SOUPS 638255 WITH SCORE 638983.294
AT ITER 4633 NEW BEST:: SOT 4412020 SOS 728088 HAS SOPS 728088 HAS SOUS 638080 HAS SOUPS 638080 WITH SCORE 638808.088
AT ITER 4655 NEW BEST:: SOT 4412057 SOS 728065 HAS SOPS 728065 HAS SOUS 637997 HAS SOUPS 637997 WITH SCORE 638725.065
AT ITER 4676 NEW BEST:: SOT 4411982 SOS 727990 HAS SOPS 727990 HAS SOUS 637997 HAS SOUPS 637997 WITH SCORE 638724.99
AT ITER 4681 NEW BEST:: SOT 4411884 SOS 727794 HAS SOPS 727794 HAS SOUS 637801 HAS SOUPS 637801 WITH SCORE 638528.794
AT ITER 4716 NEW BEST:: SOT 4411884 SOS 727794 HAS SOPS 727794 HAS SOUS 637778 HAS SOUPS 637778 WITH SCORE 638505.794
AT ITER 4728 NEW BEST:: SOT 4411883 SOS 727792 HAS SOPS 727792 HAS SOUS 637776 HAS SOUPS 637776 WITH SCORE 638503.792
AT ITER 4729 NEW BEST:: SOT 4411812 SOS 727650 HAS SOPS 727650 HAS SOUS 637634 HAS SOUPS 637634 WITH SCORE 638361.65
AT ITER 4731 NEW BEST:: SOT 4411105 SOS 726916 HAS SOPS 726916 HAS SOUS 636900 HAS SOUPS 636900 WITH SCORE 637626.916
AT ITER 4795 NEW BEST:: SOT 4411105 SOS 726624 HAS SOPS 726624 HAS SOUS 636900 HAS SOUPS 636900 WITH SCORE 637626.624
AT ITER 4811 NEW BEST:: SOT 4411059 SOS 726377 HAS SOPS 726377 HAS SOUS 636653 HAS SOUPS 636653 WITH SCORE 637379.377
AT ITER 4838 NEW BEST:: SOT 4410970 SOS 726199 HAS SOPS 726199 HAS SOUS 636564 HAS SOUPS 636564 WITH SCORE 637290.199
AT ITER 4840 NEW BEST:: SOT 4410970 SOS 726084 HAS SOPS 726084 HAS SOUS 636564 HAS SOUPS 636564 WITH SCORE 637290.084
AT ITER 4844 NEW BEST:: SOT 4410931 SOS 726006 HAS SOPS 726006 HAS SOUS 636486 HAS SOUPS 636486 WITH SCORE 637212.006
AT ITER 4855 NEW BEST:: SOT 4410930 SOS 726141 HAS SOPS 726141 HAS SOUS 636484 HAS SOUPS 636484 WITH SCORE 637210.141
AT ITER 4867 NEW BEST:: SOT 4411043 SOS 725891 HAS SOPS 725891 HAS SOUS 636472 HAS SOUPS 636472 WITH SCORE 637197.891
AT ITER 4869 NEW BEST:: SOT 4411037 SOS 725879 HAS SOPS 725879 HAS SOUS 636460 HAS SOUPS 636460 WITH SCORE 637185.879
AT ITER 4884 NEW BEST:: SOT 4410990 SOS 725785 HAS SOPS 725785 HAS SOUS 636366 HAS SOUPS 636366 WITH SCORE 637091.785
AT ITER 4923 NEW BEST:: SOT 4410990 SOS 725785 HAS SOPS 725785 HAS SOUS 636251 HAS SOUPS 636251 WITH SCORE 636976.785
AT ITER 4929 NEW BEST:: SOT 4410768 SOS 725563 HAS SOPS 725563 HAS SOUS 636029 HAS SOUPS 636029 WITH SCORE 636754.563
AT ITER 4931 NEW BEST:: SOT 4410768 SOS 725389 HAS SOPS 725389 HAS SOUS 636029 HAS SOUPS 636029 WITH SCORE 636754.389
AT ITER 4941 NEW BEST:: SOT 4410618 SOS 725239 HAS SOPS 725239 HAS SOUS 635879 HAS SOUPS 635879 WITH SCORE 636604.239
AT ITER 4948 NEW BEST:: SOT 4410618 SOS 725239 HAS SOPS 725239 HAS SOUS 635819 HAS SOUPS 635819 WITH SCORE 636544.239
AT ITER 4953 NEW BEST:: SOT 4410180 SOS 724860 HAS SOPS 724860 HAS SOUS 635394 HAS SOUPS 635394 WITH SCORE 636118.86
AT ITER 4961 NEW BEST:: SOT 4410105 SOS 724710 HAS SOPS 724710 HAS SOUS 635244 HAS SOUPS 635244 WITH SCORE 635968.71
AT ITER 4966 NEW BEST:: SOT 4410178 SOS 724700 HAS SOPS 724700 HAS SOUS 635239 HAS SOUPS 635239 WITH SCORE 635963.7
AT ITER 4969 NEW BEST:: SOT 4410223 SOS 724574 HAS SOPS 724574 HAS SOUS 635055 HAS SOUPS 635055 WITH SCORE 635779.574
AT ITER 4973 NEW BEST:: SOT 4409998 SOS 724265 HAS SOPS 724265 HAS SOUS 634746 HAS SOUPS 634746 WITH SCORE 635470.265
AT ITER 5005 NEW BEST:: SOT 4409342 SOS 724157 HAS SOPS 724157 HAS SOUS 634262 HAS SOUPS 634262 WITH SCORE 634986.157
AT ITER 5008 NEW BEST:: SOT 4409342 SOS 724157 HAS SOPS 724157 HAS SOUS 634167 HAS SOUPS 634167 WITH SCORE 634891.157
AT ITER 5048 NEW BEST:: SOT 4409209 SOS 723891 HAS SOPS 723891 HAS SOUS 633901 HAS SOUPS 633901 WITH SCORE 634624.891
AT ITER 5049 NEW BEST:: SOT 4408882 SOS 723786 HAS SOPS 723786 HAS SOUS 633796 HAS SOUPS 633796 WITH SCORE 634519.786
AT ITER 5082 NEW BEST:: SOT 4408798 SOS 723702 HAS SOPS 723702 HAS SOUS 633712 HAS SOUPS 633712 WITH SCORE 634435.702
AT ITER 5090 NEW BEST:: SOT 4408667 SOS 723610 HAS SOPS 723610 HAS SOUS 633600 HAS SOUPS 633600 WITH SCORE 634323.61
AT ITER 5149 NEW BEST:: SOT 4408667 SOS 723610 HAS SOPS 723610 HAS SOUS 633581 HAS SOUPS 633581 WITH SCORE 634304.61
AT ITER 5170 NEW BEST:: SOT 4408667 SOS 723610 HAS SOPS 723610 HAS SOUS 633580 HAS SOUPS 633580 WITH SCORE 634303.61
AT ITER 5179 NEW BEST:: SOT 4408615 SOS 723506 HAS SOPS 723506 HAS SOUS 633476 HAS SOUPS 633476 WITH SCORE 634199.506
AT ITER 5194 NEW BEST:: SOT 4408615 SOS 723376 HAS SOPS 723376 HAS SOUS 633476 HAS SOUPS 633476 WITH SCORE 634199.376
AT ITER 5242 NEW BEST:: SOT 4408615 SOS 723079 HAS SOPS 723079 HAS SOUS 633476 HAS SOUPS 633476 WITH SCORE 634199.079
AT ITER 5258 NEW BEST:: SOT 4408503 SOS 722558 HAS SOPS 722558 HAS SOUS 633252 HAS SOUPS 633252 WITH SCORE 633974.558
AT ITER 5266 NEW BEST:: SOT 4408503 SOS 722558 HAS SOPS 722558 HAS SOUS 633242 HAS SOUPS 633242 WITH SCORE 633964.558
AT ITER 5336 NEW BEST:: SOT 4408502 SOS 722556 HAS SOPS 722556 HAS SOUS 633240 HAS SOUPS 633240 WITH SCORE 633962.556
AT ITER 5342 NEW BEST:: SOT 4408501 SOS 722268 HAS SOPS 722268 HAS SOUS 632848 HAS SOUPS 632848 WITH SCORE 633570.268
AT ITER 5388 NEW BEST:: SOT 4408362 SOS 721990 HAS SOPS 721990 HAS SOUS 632570 HAS SOUPS 632570 WITH SCORE 633291.99
AT ITER 5431 NEW BEST:: SOT 4408283 SOS 721832 HAS SOPS 721832 HAS SOUS 632412 HAS SOUPS 632412 WITH SCORE 633133.832
AT ITER 5480 NEW BEST:: SOT 4408000 SOS 721266 HAS SOPS 721266 HAS SOUS 632227 HAS SOUPS 632227 WITH SCORE 632948.266
AT ITER 5489 NEW BEST:: SOT 4408001 SOS 721168 HAS SOPS 721168 HAS SOUS 632179 HAS SOUPS 632179 WITH SCORE 632900.168
AT ITER 5492 NEW BEST:: SOT 4408098 SOS 721362 HAS SOPS 721362 HAS SOUS 632126 HAS SOUPS 632126 WITH SCORE 632847.362
AT ITER 5498 NEW BEST:: SOT 4408098 SOS 721389 HAS SOPS 721389 HAS SOUS 632060 HAS SOUPS 632060 WITH SCORE 632781.389
AT ITER 5514 NEW BEST:: SOT 4408086 SOS 721365 HAS SOPS 721365 HAS SOUS 632036 HAS SOUPS 632036 WITH SCORE 632757.365
AT ITER 5518 NEW BEST:: SOT 4408085 SOS 721363 HAS SOPS 721363 HAS SOUS 632034 HAS SOUPS 632034 WITH SCORE 632755.363
AT ITER 5519 NEW BEST:: SOT 4408085 SOS 721363 HAS SOPS 721363 HAS SOUS 631764 HAS SOUPS 631764 WITH SCORE 632485.363
AT ITER 5529 NEW BEST:: SOT 4408168 SOS 721308 HAS SOPS 721308 HAS SOUS 631654 HAS SOUPS 631654 WITH SCORE 632375.308
AT ITER 5536 NEW BEST:: SOT 4408055 SOS 721195 HAS SOPS 721195 HAS SOUS 631541 HAS SOUPS 631541 WITH SCORE 632262.195
AT ITER 5555 NEW BEST:: SOT 4407958 SOS 720902 HAS SOPS 720902 HAS SOUS 631347 HAS SOUPS 631347 WITH SCORE 632067.902
AT ITER 5573 NEW BEST:: SOT 4407941 SOS 720868 HAS SOPS 720868 HAS SOUS 631326 HAS SOUPS 631326 WITH SCORE 632046.868
AT ITER 5594 NEW BEST:: SOT 4407900 SOS 720584 HAS SOPS 720584 HAS SOUS 631125 HAS SOUPS 631125 WITH SCORE 631845.584
AT ITER 5604 NEW BEST:: SOT 4407670 SOS 720124 HAS SOPS 720124 HAS SOUS 630895 HAS SOUPS 630895 WITH SCORE 631615.124
AT ITER 5611 NEW BEST:: SOT 4407598 SOS 720052 HAS SOPS 720052 HAS SOUS 630823 HAS SOUPS 630823 WITH SCORE 631543.052
AT ITER 5619 NEW BEST:: SOT 4407598 SOS 719929 HAS SOPS 719929 HAS SOUS 630823 HAS SOUPS 630823 WITH SCORE 631542.929
AT ITER 5645 NEW BEST:: SOT 4407588 SOS 719909 HAS SOPS 719909 HAS SOUS 630813 HAS SOUPS 630813 WITH SCORE 631532.909
AT ITER 5673 NEW BEST:: SOT 4407588 SOS 719891 HAS SOPS 719891 HAS SOUS 630795 HAS SOUPS 630795 WITH SCORE 631514.891
AT ITER 5679 NEW BEST:: SOT 4407588 SOS 719646 HAS SOPS 719646 HAS SOUS 630795 HAS SOUPS 630795 WITH SCORE 631514.646
AT ITER 5704 NEW BEST:: SOT 4407518 SOS 719640 HAS SOPS 719640 HAS SOUS 630725 HAS SOUPS 630725 WITH SCORE 631444.64
AT ITER 5716 NEW BEST:: SOT 4407492 SOS 719588 HAS SOPS 719588 HAS SOUS 630673 HAS SOUPS 630673 WITH SCORE 631392.588
AT ITER 5723 NEW BEST:: SOT 4407492 SOS 719558 HAS SOPS 719558 HAS SOUS 630673 HAS SOUPS 630673 WITH SCORE 631392.558
AT ITER 5757 NEW BEST:: SOT 4407950 SOS 720244 HAS SOPS 720244 HAS SOUS 630494 HAS SOUPS 630494 WITH SCORE 631214.244
AT ITER 5821 NEW BEST:: SOT 4407840 SOS 720024 HAS SOPS 720024 HAS SOUS 630274 HAS SOUPS 630274 WITH SCORE 630994.024
AT ITER 5853 NEW BEST:: SOT 4407817 SOS 719978 HAS SOPS 719978 HAS SOUS 630228 HAS SOUPS 630228 WITH SCORE 630947.978
AT ITER 5878 NEW BEST:: SOT 4407683 SOS 719844 HAS SOPS 719844 HAS SOUS 630094 HAS SOUPS 630094 WITH SCORE 630813.844
AT ITER 5893 NEW BEST:: SOT 4407683 SOS 719568 HAS SOPS 719568 HAS SOUS 630094 HAS SOUPS 630094 WITH SCORE 630813.568
AT ITER 5899 NEW BEST:: SOT 4407683 SOS 719476 HAS SOPS 719476 HAS SOUS 630094 HAS SOUPS 630094 WITH SCORE 630813.476
AT ITER 5931 NEW BEST:: SOT 4407683 SOS 719391 HAS SOPS 719391 HAS SOUS 630094 HAS SOUPS 630094 WITH SCORE 630813.391
AT ITER 5933 NEW BEST:: SOT 4407682 SOS 719389 HAS SOPS 719389 HAS SOUS 630092 HAS SOUPS 630092 WITH SCORE 630811.389
AT ITER 5940 NEW BEST:: SOT 4407632 SOS 727178 HAS SOPS 727178 HAS SOUS 630042 HAS SOUPS 630042 WITH SCORE 630769.178
AT ITER 5991 NEW BEST:: SOT 4407384 SOS 727054 HAS SOPS 727054 HAS SOUS 629794 HAS SOUPS 629794 WITH SCORE 630521.054
AT ITER 6001 NEW BEST:: SOT 4407343 SOS 726972 HAS SOPS 726972 HAS SOUS 629712 HAS SOUPS 629712 WITH SCORE 630438.972
AT ITER 6006 NEW BEST:: SOT 4407332 SOS 726991 HAS SOPS 726991 HAS SOUS 629701 HAS SOUPS 629701 WITH SCORE 630427.991
AT ITER 6014 NEW BEST:: SOT 4407236 SOS 727018 HAS SOPS 727018 HAS SOUS 629636 HAS SOUPS 629636 WITH SCORE 630363.018
AT ITER 6034 NEW BEST:: SOT 4407197 SOS 726687 HAS SOPS 726687 HAS SOUS 629344 HAS SOUPS 629344 WITH SCORE 630070.687
AT ITER 6035 NEW BEST:: SOT 4407135 SOS 726563 HAS SOPS 726563 HAS SOUS 629220 HAS SOUPS 629220 WITH SCORE 629946.563
AT ITER 6040 NEW BEST:: SOT 4406970 SOS 726233 HAS SOPS 726233 HAS SOUS 628890 HAS SOUPS 628890 WITH SCORE 629616.233
AT ITER 6122 NEW BEST:: SOT 4406821 SOS 725935 HAS SOPS 725935 HAS SOUS 628871 HAS SOUPS 628871 WITH SCORE 629596.935
AT ITER 6143 NEW BEST:: SOT 4406665 SOS 725831 HAS SOPS 725831 HAS SOUS 628715 HAS SOUPS 628715 WITH SCORE 629440.831
AT ITER 6160 NEW BEST:: SOT 4406476 SOS 725453 HAS SOPS 725453 HAS SOUS 628337 HAS SOUPS 628337 WITH SCORE 629062.453
AT ITER 6163 NEW BEST:: SOT 4406455 SOS 725652 HAS SOPS 725652 HAS SOUS 628316 HAS SOUPS 628316 WITH SCORE 629041.652
AT ITER 6167 NEW BEST:: SOT 4406449 SOS 725640 HAS SOPS 725640 HAS SOUS 628304 HAS SOUPS 628304 WITH SCORE 629029.64
AT ITER 6188 NEW BEST:: SOT 4406401 SOS 725544 HAS SOPS 725544 HAS SOUS 628208 HAS SOUPS 628208 WITH SCORE 628933.544
AT ITER 6201 NEW BEST:: SOT 4406288 SOS 725318 HAS SOPS 725318 HAS SOUS 627982 HAS SOUPS 627982 WITH SCORE 628707.318
AT ITER 6223 NEW BEST:: SOT 4406288 SOS 725147 HAS SOPS 725147 HAS SOUS 627640 HAS SOUPS 627640 WITH SCORE 628365.147
AT ITER 6289 NEW BEST:: SOT 4406196 SOS 724963 HAS SOPS 724963 HAS SOUS 627456 HAS SOUPS 627456 WITH SCORE 628180.963
AT ITER 6330 NEW BEST:: SOT 4406195 SOS 724930 HAS SOPS 724930 HAS SOUS 627454 HAS SOUPS 627454 WITH SCORE 628178.93
AT ITER 6334 NEW BEST:: SOT 4405809 SOS 724930 HAS SOPS 724930 HAS SOUS 627261 HAS SOUPS 627261 WITH SCORE 627985.93
AT ITER 6352 NEW BEST:: SOT 4405805 SOS 724930 HAS SOPS 724930 HAS SOUS 627257 HAS SOUPS 627257 WITH SCORE 627981.93
AT ITER 6356 NEW BEST:: SOT 4405789 SOS 724898 HAS SOPS 724898 HAS SOUS 627236 HAS SOUPS 627236 WITH SCORE 627960.898
AT ITER 6381 NEW BEST:: SOT 4405733 SOS 724786 HAS SOPS 724786 HAS SOUS 627124 HAS SOUPS 627124 WITH SCORE 627848.786
AT ITER 6384 NEW BEST:: SOT 4405731 SOS 724782 HAS SOPS 724782 HAS SOUS 626982 HAS SOUPS 626982 WITH SCORE 627706.782
AT ITER 6385 NEW BEST:: SOT 4405612 SOS 724544 HAS SOPS 724544 HAS SOUS 626744 HAS SOUPS 626744 WITH SCORE 627468.544
AT ITER 6389 NEW BEST:: SOT 4405612 SOS 724474 HAS SOPS 724474 HAS SOUS 626674 HAS SOUPS 626674 WITH SCORE 627398.474
AT ITER 6390 NEW BEST:: SOT 4405504 SOS 724258 HAS SOPS 724258 HAS SOUS 626458 HAS SOUPS 626458 WITH SCORE 627182.258
AT ITER 6395 NEW BEST:: SOT 4405434 SOS 724196 HAS SOPS 724196 HAS SOUS 626388 HAS SOUPS 626388 WITH SCORE 627112.196
AT ITER 6411 NEW BEST:: SOT 4405379 SOS 723995 HAS SOPS 723995 HAS SOUS 626206 HAS SOUPS 626206 WITH SCORE 626929.995
AT ITER 6433 NEW BEST:: SOT 4405379 SOS 724250 HAS SOPS 724250 HAS SOUS 626158 HAS SOUPS 626158 WITH SCORE 626882.25
AT ITER 6490 NEW BEST:: SOT 4405275 SOS 724167 HAS SOPS 724167 HAS SOUS 625929 HAS SOUPS 625929 WITH SCORE 626653.167
AT ITER 6546 NEW BEST:: SOT 4405292 SOS 724201 HAS SOPS 724201 HAS SOUS 625705 HAS SOUPS 625705 WITH SCORE 626429.201
AT ITER 6562 NEW BEST:: SOT 4405166 SOS 723824 HAS SOPS 723824 HAS SOUS 625453 HAS SOUPS 625453 WITH SCORE 626176.824
AT ITER 6567 NEW BEST:: SOT 4405164 SOS 723734 HAS SOPS 723734 HAS SOUS 625365 HAS SOUPS 625365 WITH SCORE 626088.734
AT ITER 6578 NEW BEST:: SOT 4405073 SOS 723552 HAS SOPS 723552 HAS SOUS 625274 HAS SOUPS 625274 WITH SCORE 625997.552
AT ITER 6616 NEW BEST:: SOT 4405034 SOS 723474 HAS SOPS 723474 HAS SOUS 625235 HAS SOUPS 625235 WITH SCORE 625958.474
AT ITER 6634 NEW BEST:: SOT 4405023 SOS 723493 HAS SOPS 723493 HAS SOUS 625228 HAS SOUPS 625228 WITH SCORE 625951.493
AT ITER 6640 NEW BEST:: SOT 4404553 SOS 723023 HAS SOPS 723023 HAS SOUS 624758 HAS SOUPS 624758 WITH SCORE 625481.023
AT ITER 6646 NEW BEST:: SOT 4404447 SOS 722811 HAS SOPS 722811 HAS SOUS 624546 HAS SOUPS 624546 WITH SCORE 625268.811
AT ITER 6652 NEW BEST:: SOT 4404545 SOS 722805 HAS SOPS 722805 HAS SOUS 624442 HAS SOUPS 624442 WITH SCORE 625164.805
AT ITER 6654 NEW BEST:: SOT 4404577 SOS 722701 HAS SOPS 722701 HAS SOUS 624338 HAS SOUPS 624338 WITH SCORE 625060.701
AT ITER 6690 NEW BEST:: SOT 4404440 SOS 722427 HAS SOPS 722427 HAS SOUS 624201 HAS SOUPS 624201 WITH SCORE 624923.427
AT ITER 6709 NEW BEST:: SOT 4404440 SOS 722427 HAS SOPS 722427 HAS SOUS 624198 HAS SOUPS 624198 WITH SCORE 624920.427
AT ITER 6799 NEW BEST:: SOT 4404366 SOS 722353 HAS SOPS 722353 HAS SOUS 624124 HAS SOUPS 624124 WITH SCORE 624846.353
AT ITER 6859 NEW BEST:: SOT 4404278 SOS 722242 HAS SOPS 722242 HAS SOUS 624078 HAS SOUPS 624078 WITH SCORE 624800.242
AT ITER 6867 NEW BEST:: SOT 4404254 SOS 722194 HAS SOPS 722194 HAS SOUS 624030 HAS SOUPS 624030 WITH SCORE 624752.194
AT ITER 6873 NEW BEST:: SOT 4404263 SOS 722212 HAS SOPS 722212 HAS SOUS 624025 HAS SOUPS 624025 WITH SCORE 624747.212
AT ITER 6922 NEW BEST:: SOT 4404057 SOS 722006 HAS SOPS 722006 HAS SOUS 623819 HAS SOUPS 623819 WITH SCORE 624541.006
AT ITER 7001 NEW BEST:: SOT 4403915 SOS 721722 HAS SOPS 721722 HAS SOUS 623535 HAS SOUPS 623535 WITH SCORE 624256.722
AT ITER 7043 NEW BEST:: SOT 4403519 SOS 722163 HAS SOPS 722163 HAS SOUS 623226 HAS SOUPS 623226 WITH SCORE 623948.163
AT ITER 7052 NEW BEST:: SOT 4403479 SOS 722083 HAS SOPS 722083 HAS SOUS 623146 HAS SOUPS 623146 WITH SCORE 623868.083
AT ITER 7125 NEW BEST:: SOT 4403478 SOS 722081 HAS SOPS 722081 HAS SOUS 623144 HAS SOUPS 623144 WITH SCORE 623866.081
AT ITER 7131 NEW BEST:: SOT 4403418 SOS 722001 HAS SOPS 722001 HAS SOUS 623064 HAS SOUPS 623064 WITH SCORE 623786.001
AT ITER 7135 NEW BEST:: SOT 4403417 SOS 721628 HAS SOPS 721628 HAS SOUS 623062 HAS SOUPS 623062 WITH SCORE 623783.628
AT ITER 7147 NEW BEST:: SOT 4403417 SOS 721628 HAS SOPS 721628 HAS SOUS 623061 HAS SOUPS 623061 WITH SCORE 623782.628
AT ITER 7161 NEW BEST:: SOT 4403118 SOS 721030 HAS SOPS 721030 HAS SOUS 622463 HAS SOUPS 622463 WITH SCORE 623184.03
AT ITER 7173 NEW BEST:: SOT 4403118 SOS 721030 HAS SOPS 721030 HAS SOUS 622434 HAS SOUPS 622434 WITH SCORE 623155.03
AT ITER 7207 NEW BEST:: SOT 4403019 SOS 720931 HAS SOPS 720931 HAS SOUS 622219 HAS SOUPS 622219 WITH SCORE 622939.931
AT ITER 7218 NEW BEST:: SOT 4402789 SOS 720471 HAS SOPS 720471 HAS SOUS 621759 HAS SOUPS 621759 WITH SCORE 622479.471
AT ITER 7249 NEW BEST:: SOT 4402768 SOS 720429 HAS SOPS 720429 HAS SOUS 621717 HAS SOUPS 621717 WITH SCORE 622437.429
AT ITER 7288 NEW BEST:: SOT 4402473 SOS 720145 HAS SOPS 720145 HAS SOUS 621422 HAS SOUPS 621422 WITH SCORE 622142.145
AT ITER 7301 NEW BEST:: SOT 4402462 SOS 720123 HAS SOPS 720123 HAS SOUS 621411 HAS SOUPS 621411 WITH SCORE 622131.123
AT ITER 7304 NEW BEST:: SOT 4402431 SOS 719221 HAS SOPS 719221 HAS SOUS 620959 HAS SOUPS 620959 WITH SCORE 621678.221
AT ITER 7307 NEW BEST:: SOT 4402342 SOS 718949 HAS SOPS 718949 HAS SOUS 620781 HAS SOUPS 620781 WITH SCORE 621499.949
AT ITER 7314 NEW BEST:: SOT 4402258 SOS 718781 HAS SOPS 718781 HAS SOUS 620613 HAS SOUPS 620613 WITH SCORE 621331.781
AT ITER 7325 NEW BEST:: SOT 4402230 SOS 718783 HAS SOPS 718783 HAS SOUS 620586 HAS SOUPS 620586 WITH SCORE 621304.783
AT ITER 7331 NEW BEST:: SOT 4402098 SOS 718729 HAS SOPS 718729 HAS SOUS 620562 HAS SOUPS 620562 WITH SCORE 621280.729
AT ITER 7340 NEW BEST:: SOT 4402098 SOS 718729 HAS SOPS 718729 HAS SOUS 620561 HAS SOUPS 620561 WITH SCORE 621279.729
AT ITER 7341 NEW BEST:: SOT 4402109 SOS 718707 HAS SOPS 718707 HAS SOUS 620561 HAS SOUPS 620561 WITH SCORE 621279.707
AT ITER 7365 NEW BEST:: SOT 4401980 SOS 718631 HAS SOPS 718631 HAS SOUS 620432 HAS SOUPS 620432 WITH SCORE 621150.631
AT ITER 7375 NEW BEST:: SOT 4401924 SOS 718519 HAS SOPS 718519 HAS SOUS 620320 HAS SOUPS 620320 WITH SCORE 621038.519
AT ITER 7397 NEW BEST:: SOT 4401804 SOS 718279 HAS SOPS 718279 HAS SOUS 620080 HAS SOUPS 620080 WITH SCORE 620798.279
AT ITER 7428 NEW BEST:: SOT 4401549 SOS 717769 HAS SOPS 717769 HAS SOUS 619597 HAS SOUPS 619597 WITH SCORE 620314.769
AT ITER 7456 NEW BEST:: SOT 4401438 SOS 717844 HAS SOPS 717844 HAS SOUS 619488 HAS SOUPS 619488 WITH SCORE 620205.844
AT ITER 7466 NEW BEST:: SOT 4401438 SOS 717844 HAS SOPS 717844 HAS SOUS 619296 HAS SOUPS 619296 WITH SCORE 620013.844
AT ITER 7472 NEW BEST:: SOT 4401326 SOS 717732 HAS SOPS 717732 HAS SOUS 619184 HAS SOUPS 619184 WITH SCORE 619901.732
AT ITER 7474 NEW BEST:: SOT 4401319 SOS 717582 HAS SOPS 717582 HAS SOUS 619170 HAS SOUPS 619170 WITH SCORE 619887.582
AT ITER 7489 NEW BEST:: SOT 4401312 SOS 717568 HAS SOPS 717568 HAS SOUS 619170 HAS SOUPS 619170 WITH SCORE 619887.568
AT ITER 7498 NEW BEST:: SOT 4401291 SOS 717526 HAS SOPS 717526 HAS SOUS 619128 HAS SOUPS 619128 WITH SCORE 619845.526
AT ITER 7514 NEW BEST:: SOT 4401158 SOS 717260 HAS SOPS 717260 HAS SOUS 618998 HAS SOUPS 618998 WITH SCORE 619715.26
AT ITER 7517 NEW BEST:: SOT 4401157 SOS 716948 HAS SOPS 716948 HAS SOUS 618996 HAS SOUPS 618996 WITH SCORE 619712.948
AT ITER 7548 NEW BEST:: SOT 4401184 SOS 716939 HAS SOPS 716939 HAS SOUS 618987 HAS SOUPS 618987 WITH SCORE 619703.939
AT ITER 7549 NEW BEST:: SOT 4401194 SOS 716959 HAS SOPS 716959 HAS SOUS 618878 HAS SOUPS 618878 WITH SCORE 619594.959
AT ITER 7613 NEW BEST:: SOT 4401327 SOS 716722 HAS SOPS 716722 HAS SOUS 618841 HAS SOUPS 618841 WITH SCORE 619557.722
AT ITER 7616 NEW BEST:: SOT 4401204 SOS 716614 HAS SOPS 716614 HAS SOUS 618718 HAS SOUPS 618718 WITH SCORE 619434.614
AT ITER 7619 NEW BEST:: SOT 4401140 SOS 716563 HAS SOPS 716563 HAS SOUS 618667 HAS SOUPS 618667 WITH SCORE 619383.563
AT ITER 7620 NEW BEST:: SOT 4400894 SOS 716071 HAS SOPS 716071 HAS SOUS 618175 HAS SOUPS 618175 WITH SCORE 618891.071
AT ITER 7624 NEW BEST:: SOT 4400944 SOS 716021 HAS SOPS 716021 HAS SOUS 618175 HAS SOUPS 618175 WITH SCORE 618891.021
AT ITER 7646 NEW BEST:: SOT 4400950 SOS 716011 HAS SOPS 716011 HAS SOUS 617920 HAS SOUPS 617920 WITH SCORE 618636.011
AT ITER 7687 NEW BEST:: SOT 4400836 SOS 715783 HAS SOPS 715783 HAS SOUS 617692 HAS SOUPS 617692 WITH SCORE 618407.783
AT ITER 7688 NEW BEST:: SOT 4400832 SOS 715775 HAS SOPS 715775 HAS SOUS 617684 HAS SOUPS 617684 WITH SCORE 618399.775
AT ITER 7693 NEW BEST:: SOT 4400817 SOS 715745 HAS SOPS 715745 HAS SOUS 617654 HAS SOUPS 617654 WITH SCORE 618369.745
AT ITER 7700 NEW BEST:: SOT 4400817 SOS 715701 HAS SOPS 715701 HAS SOUS 617653 HAS SOUPS 617653 WITH SCORE 618368.701
AT ITER 7705 NEW BEST:: SOT 4400804 SOS 715675 HAS SOPS 715675 HAS SOUS 617640 HAS SOUPS 617640 WITH SCORE 618355.675
AT ITER 7733 NEW BEST:: SOT 4400652 SOS 715371 HAS SOPS 715371 HAS SOUS 617336 HAS SOUPS 617336 WITH SCORE 618051.371
AT ITER 7738 NEW BEST:: SOT 4400473 SOS 715192 HAS SOPS 715192 HAS SOUS 617240 HAS SOUPS 617240 WITH SCORE 617955.192
AT ITER 7749 NEW BEST:: SOT 4400327 SOS 715119 HAS SOPS 715119 HAS SOUS 617167 HAS SOUPS 617167 WITH SCORE 617882.119
AT ITER 7778 NEW BEST:: SOT 4400306 SOS 715077 HAS SOPS 715077 HAS SOUS 617125 HAS SOUPS 617125 WITH SCORE 617840.077
AT ITER 7799 NEW BEST:: SOT 4400281 SOS 715027 HAS SOPS 715027 HAS SOUS 617075 HAS SOUPS 617075 WITH SCORE 617790.027
AT ITER 7823 NEW BEST:: SOT 4400275 SOS 715015 HAS SOPS 715015 HAS SOUS 617063 HAS SOUPS 617063 WITH SCORE 617778.015
AT ITER 7824 NEW BEST:: SOT 4400140 SOS 714905 HAS SOPS 714905 HAS SOUS 616953 HAS SOUPS 616953 WITH SCORE 617667.905
AT ITER 7868 NEW BEST:: SOT 4399753 SOS 714615 HAS SOPS 714615 HAS SOUS 616663 HAS SOUPS 616663 WITH SCORE 617377.615
AT ITER 7944 NEW BEST:: SOT 4399667 SOS 714443 HAS SOPS 714443 HAS SOUS 616491 HAS SOUPS 616491 WITH SCORE 617205.443
AT ITER 7962 NEW BEST:: SOT 4399665 SOS 714439 HAS SOPS 714439 HAS SOUS 616487 HAS SOUPS 616487 WITH SCORE 617201.439
AT ITER 7984 NEW BEST:: SOT 4399696 SOS 714501 HAS SOPS 714501 HAS SOUS 616464 HAS SOUPS 616464 WITH SCORE 617178.501
AT ITER 7989 NEW BEST:: SOT 4399598 SOS 714451 HAS SOPS 714451 HAS SOUS 616414 HAS SOUPS 616414 WITH SCORE 617128.451
AT ITER 8003 NEW BEST:: SOT 4398980 SOS 714836 HAS SOPS 714836 HAS SOUS 616013 HAS SOUPS 616013 WITH SCORE 616727.836
AT ITER 8022 NEW BEST:: SOT 4398928 SOS 714732 HAS SOPS 714732 HAS SOUS 615909 HAS SOUPS 615909 WITH SCORE 616623.732
AT ITER 8039 NEW BEST:: SOT 4399071 SOS 715018 HAS SOPS 715018 HAS SOUS 615675 HAS SOUPS 615675 WITH SCORE 616390.018
AT ITER 8071 NEW BEST:: SOT 4399071 SOS 715003 HAS SOPS 715003 HAS SOUS 615675 HAS SOUPS 615675 WITH SCORE 616390.003
AT ITER 8101 NEW BEST:: SOT 4399071 SOS 714959 HAS SOPS 714959 HAS SOUS 615675 HAS SOUPS 615675 WITH SCORE 616389.959
AT ITER 8105 NEW BEST:: SOT 4398932 SOS 714486 HAS SOPS 714486 HAS SOUS 615536 HAS SOUPS 615536 WITH SCORE 616250.486
AT ITER 8127 NEW BEST:: SOT 4398703 SOS 714028 HAS SOPS 714028 HAS SOUS 614988 HAS SOUPS 614988 WITH SCORE 615702.028
AT ITER 8133 NEW BEST:: SOT 4398703 SOS 714028 HAS SOPS 714028 HAS SOUS 614983 HAS SOUPS 614983 WITH SCORE 615697.028
AT ITER 8135 NEW BEST:: SOT 4398661 SOS 713944 HAS SOPS 713944 HAS SOUS 614899 HAS SOUPS 614899 WITH SCORE 615612.944
AT ITER 8156 NEW BEST:: SOT 4398658 SOS 713938 HAS SOPS 713938 HAS SOUS 614893 HAS SOUPS 614893 WITH SCORE 615606.938
AT ITER 8166 NEW BEST:: SOT 4398620 SOS 713862 HAS SOPS 713862 HAS SOUS 614807 HAS SOUPS 614807 WITH SCORE 615520.862
AT ITER 8182 NEW BEST:: SOT 4398463 SOS 713705 HAS SOPS 713705 HAS SOUS 614807 HAS SOUPS 614807 WITH SCORE 615520.705
AT ITER 8207 NEW BEST:: SOT 4398375 SOS 713741 HAS SOPS 713741 HAS SOUS 614737 HAS SOUPS 614737 WITH SCORE 615450.741
AT ITER 8224 NEW BEST:: SOT 4398375 SOS 713622 HAS SOPS 713622 HAS SOUS 614737 HAS SOUPS 614737 WITH SCORE 615450.622
AT ITER 8234 NEW BEST:: SOT 4398282 SOS 713900 HAS SOPS 713900 HAS SOUS 614722 HAS SOUPS 614722 WITH SCORE 615435.9
AT ITER 8243 NEW BEST:: SOT 4398145 SOS 713626 HAS SOPS 713626 HAS SOUS 614448 HAS SOUPS 614448 WITH SCORE 615161.626
AT ITER 8263 NEW BEST:: SOT 4397967 SOS 713448 HAS SOPS 713448 HAS SOUS 614371 HAS SOUPS 614371 WITH SCORE 615084.448
AT ITER 8290 NEW BEST:: SOT 4397965 SOS 713066 HAS SOPS 713066 HAS SOUS 614360 HAS SOUPS 614360 WITH SCORE 615073.066
AT ITER 8307 NEW BEST:: SOT 4397942 SOS 713020 HAS SOPS 713020 HAS SOUS 614314 HAS SOUPS 614314 WITH SCORE 615027.02
AT ITER 8309 NEW BEST:: SOT 4397833 SOS 712987 HAS SOPS 712987 HAS SOUS 614205 HAS SOUPS 614205 WITH SCORE 614917.987
AT ITER 8326 NEW BEST:: SOT 4397676 SOS 712673 HAS SOPS 712673 HAS SOUS 613891 HAS SOUPS 613891 WITH SCORE 614603.673
AT ITER 8338 NEW BEST:: SOT 4397586 SOS 712493 HAS SOPS 712493 HAS SOUS 613711 HAS SOUPS 613711 WITH SCORE 614423.493
AT ITER 8351 NEW BEST:: SOT 4397503 SOS 712327 HAS SOPS 712327 HAS SOUS 613545 HAS SOUPS 613545 WITH SCORE 614257.327
AT ITER 8407 NEW BEST:: SOT 4397501 SOS 712323 HAS SOPS 712323 HAS SOUS 613543 HAS SOUPS 613543 WITH SCORE 614255.323
AT ITER 8415 NEW BEST:: SOT 4397348 SOS 712221 HAS SOPS 712221 HAS SOUS 613390 HAS SOUPS 613390 WITH SCORE 614102.221
AT ITER 8448 NEW BEST:: SOT 4397348 SOS 712221 HAS SOPS 712221 HAS SOUS 613184 HAS SOUPS 613184 WITH SCORE 613896.221
AT ITER 8450 NEW BEST:: SOT 4397348 SOS 711896 HAS SOPS 711896 HAS SOUS 613184 HAS SOUPS 613184 WITH SCORE 613895.896
AT ITER 8453 NEW BEST:: SOT 4397348 SOS 711896 HAS SOPS 711896 HAS SOUS 613183 HAS SOUPS 613183 WITH SCORE 613894.896
AT ITER 8489 NEW BEST:: SOT 4397104 SOS 711408 HAS SOPS 711408 HAS SOUS 612695 HAS SOUPS 612695 WITH SCORE 613406.408
AT ITER 8497 NEW BEST:: SOT 4397104 SOS 711377 HAS SOPS 711377 HAS SOUS 612694 HAS SOUPS 612694 WITH SCORE 613405.377
AT ITER 8499 NEW BEST:: SOT 4397001 SOS 711313 HAS SOPS 711313 HAS SOUS 612591 HAS SOUPS 612591 WITH SCORE 613302.313
AT ITER 8562 NEW BEST:: SOT 4397001 SOS 711211 HAS SOPS 711211 HAS SOUS 612591 HAS SOUPS 612591 WITH SCORE 613302.211
AT ITER 8563 NEW BEST:: SOT 4397001 SOS 711201 HAS SOPS 711201 HAS SOUS 612581 HAS SOUPS 612581 WITH SCORE 613292.201
AT ITER 8576 NEW BEST:: SOT 4396749 SOS 710697 HAS SOPS 710697 HAS SOUS 611872 HAS SOUPS 611872 WITH SCORE 612582.697
AT ITER 8615 NEW BEST:: SOT 4396743 SOS 710685 HAS SOPS 710685 HAS SOUS 611866 HAS SOUPS 611866 WITH SCORE 612576.685
AT ITER 8690 NEW BEST:: SOT 4396743 SOS 710583 HAS SOPS 710583 HAS SOUS 611866 HAS SOUPS 611866 WITH SCORE 612576.583
AT ITER 8717 NEW BEST:: SOT 4396577 SOS 710251 HAS SOPS 710251 HAS SOUS 611700 HAS SOUPS 611700 WITH SCORE 612410.251
AT ITER 8746 NEW BEST:: SOT 4396533 SOS 710163 HAS SOPS 710163 HAS SOUS 611612 HAS SOUPS 611612 WITH SCORE 612322.163
AT ITER 8758 NEW BEST:: SOT 4396369 SOS 709835 HAS SOPS 709835 HAS SOUS 611448 HAS SOUPS 611448 WITH SCORE 612157.835
AT ITER 8760 NEW BEST:: SOT 4396121 SOS 710091 HAS SOPS 710091 HAS SOUS 611328 HAS SOUPS 611328 WITH SCORE 612038.091
AT ITER 8776 NEW BEST:: SOT 4396121 SOS 710091 HAS SOPS 710091 HAS SOUS 611326 HAS SOUPS 611326 WITH SCORE 612036.091
AT ITER 8782 NEW BEST:: SOT 4396121 SOS 709997 HAS SOPS 709997 HAS SOUS 611326 HAS SOUPS 611326 WITH SCORE 612035.997
AT ITER 8784 NEW BEST:: SOT 4395704 SOS 709901 HAS SOPS 709901 HAS SOUS 611017 HAS SOUPS 611017 WITH SCORE 611726.901
AT ITER 8809 NEW BEST:: SOT 4395451 SOS 709765 HAS SOPS 709765 HAS SOUS 610758 HAS SOUPS 610758 WITH SCORE 611467.765
AT ITER 8821 NEW BEST:: SOT 4395379 SOS 709585 HAS SOPS 709585 HAS SOUS 610614 HAS SOUPS 610614 WITH SCORE 611323.585
AT ITER 8825 NEW BEST:: SOT 4395332 SOS 709491 HAS SOPS 709491 HAS SOUS 610585 HAS SOUPS 610585 WITH SCORE 611294.491
AT ITER 8848 NEW BEST:: SOT 4394952 SOS 709111 HAS SOPS 709111 HAS SOUS 610205 HAS SOUPS 610205 WITH SCORE 610914.111
AT ITER 8859 NEW BEST:: SOT 4394862 SOS 708931 HAS SOPS 708931 HAS SOUS 610025 HAS SOUPS 610025 WITH SCORE 610733.931
AT ITER 8892 NEW BEST:: SOT 4394738 SOS 708987 HAS SOPS 708987 HAS SOUS 609948 HAS SOUPS 609948 WITH SCORE 610656.987
AT ITER 8896 NEW BEST:: SOT 4394739 SOS 708673 HAS SOPS 708673 HAS SOUS 609847 HAS SOUPS 609847 WITH SCORE 610555.673
AT ITER 8905 NEW BEST:: SOT 4394532 SOS 708504 HAS SOPS 708504 HAS SOUS 609675 HAS SOUPS 609675 WITH SCORE 610383.504
AT ITER 8922 NEW BEST:: SOT 4394532 SOS 708460 HAS SOPS 708460 HAS SOUS 609631 HAS SOUPS 609631 WITH SCORE 610339.46
AT ITER 8985 NEW BEST:: SOT 4394511 SOS 708418 HAS SOPS 708418 HAS SOUS 609589 HAS SOUPS 609589 WITH SCORE 610297.418
AT ITER 8986 NEW BEST:: SOT 4394510 SOS 708416 HAS SOPS 708416 HAS SOUS 609587 HAS SOUPS 609587 WITH SCORE 610295.416
AT ITER 9043 NEW BEST:: SOT 4394510 SOS 708294 HAS SOPS 708294 HAS SOUS 609587 HAS SOUPS 609587 WITH SCORE 610295.294
AT ITER 9071 NEW BEST:: SOT 4394468 SOS 708374 HAS SOPS 708374 HAS SOUS 609503 HAS SOUPS 609503 WITH SCORE 610211.374
AT ITER 9105 NEW BEST:: SOT 4394450 SOS 708247 HAS SOPS 708247 HAS SOUS 609094 HAS SOUPS 609094 WITH SCORE 609802.247
AT ITER 9108 NEW BEST:: SOT 4394439 SOS 708506 HAS SOPS 708506 HAS SOUS 609083 HAS SOUPS 609083 WITH SCORE 609791.506
AT ITER 9124 NEW BEST:: SOT 4393854 SOS 708116 HAS SOPS 708116 HAS SOUS 608498 HAS SOUPS 608498 WITH SCORE 609206.116
AT ITER 9128 NEW BEST:: SOT 4393854 SOS 708116 HAS SOPS 708116 HAS SOUS 608497 HAS SOUPS 608497 WITH SCORE 609205.116
AT ITER 9166 NEW BEST:: SOT 4393735 SOS 707878 HAS SOPS 707878 HAS SOUS 608366 HAS SOUPS 608366 WITH SCORE 609073.878
AT ITER 9188 NEW BEST:: SOT 4393732 SOS 707881 HAS SOPS 707881 HAS SOUS 608363 HAS SOUPS 608363 WITH SCORE 609070.881
AT ITER 9195 NEW BEST:: SOT 4393665 SOS 707747 HAS SOPS 707747 HAS SOUS 608320 HAS SOUPS 608320 WITH SCORE 609027.747
AT ITER 9204 NEW BEST:: SOT 4393448 SOS 707292 HAS SOPS 707292 HAS SOUS 608011 HAS SOUPS 608011 WITH SCORE 608718.292
AT ITER 9206 NEW BEST:: SOT 4393448 SOS 707283 HAS SOPS 707283 HAS SOUS 608002 HAS SOUPS 608002 WITH SCORE 608709.283
AT ITER 9218 NEW BEST:: SOT 4393413 SOS 707143 HAS SOPS 707143 HAS SOUS 607897 HAS SOUPS 607897 WITH SCORE 608604.143
AT ITER 9230 NEW BEST:: SOT 4393353 SOS 707023 HAS SOPS 707023 HAS SOUS 607895 HAS SOUPS 607895 WITH SCORE 608602.023
AT ITER 9255 NEW BEST:: SOT 4393301 SOS 706971 HAS SOPS 706971 HAS SOUS 607843 HAS SOUPS 607843 WITH SCORE 608549.971
AT ITER 9299 NEW BEST:: SOT 4393270 SOS 706909 HAS SOPS 706909 HAS SOUS 607793 HAS SOUPS 607793 WITH SCORE 608499.909
AT ITER 9327 NEW BEST:: SOT 4393110 SOS 706749 HAS SOPS 706749 HAS SOUS 607633 HAS SOUPS 607633 WITH SCORE 608339.749
AT ITER 9333 NEW BEST:: SOT 4393098 SOS 706701 HAS SOPS 706701 HAS SOUS 607609 HAS SOUPS 607609 WITH SCORE 608315.701
AT ITER 9472 NEW BEST:: SOT 4392991 SOS 706487 HAS SOPS 706487 HAS SOUS 607395 HAS SOUPS 607395 WITH SCORE 608101.487
AT ITER 9479 NEW BEST:: SOT 4392991 SOS 706487 HAS SOPS 706487 HAS SOUS 607294 HAS SOUPS 607294 WITH SCORE 608000.487
AT ITER 9484 NEW BEST:: SOT 4392956 SOS 706725 HAS SOPS 706725 HAS SOUS 607273 HAS SOUPS 607273 WITH SCORE 607979.725
AT ITER 9494 NEW BEST:: SOT 4392887 SOS 706587 HAS SOPS 706587 HAS SOUS 607204 HAS SOUPS 607204 WITH SCORE 607910.587
AT ITER 9504 NEW BEST:: SOT 4392762 SOS 706337 HAS SOPS 706337 HAS SOUS 607131 HAS SOUPS 607131 WITH SCORE 607837.337
AT ITER 9667 NEW BEST:: SOT 4392762 SOS 706013 HAS SOPS 706013 HAS SOUS 606807 HAS SOUPS 606807 WITH SCORE 607513.013
AT ITER 9671 NEW BEST:: SOT 4392693 SOS 705875 HAS SOPS 705875 HAS SOUS 606669 HAS SOUPS 606669 WITH SCORE 607374.875
AT ITER 9715 NEW BEST:: SOT 4392641 SOS 705822 HAS SOPS 705822 HAS SOUS 606616 HAS SOUPS 606616 WITH SCORE 607321.822
AT ITER 9752 NEW BEST:: SOT 4392511 SOS 705562 HAS SOPS 705562 HAS SOUS 606381 HAS SOUPS 606381 WITH SCORE 607086.562
AT ITER 9753 NEW BEST:: SOT 4392486 SOS 705512 HAS SOPS 705512 HAS SOUS 606331 HAS SOUPS 606331 WITH SCORE 607036.512
AT ITER 9791 NEW BEST:: SOT 4392425 SOS 705390 HAS SOPS 705390 HAS SOUS 606317 HAS SOUPS 606317 WITH SCORE 607022.39
AT ITER 9793 NEW BEST:: SOT 4391990 SOS 704992 HAS SOPS 704992 HAS SOUS 605882 HAS SOUPS 605882 WITH SCORE 606586.992
AT ITER 9795 NEW BEST:: SOT 4391990 SOS 704892 HAS SOPS 704892 HAS SOUS 605882 HAS SOUPS 605882 WITH SCORE 606586.892
AT ITER 9797 NEW BEST:: SOT 4391990 SOS 704853 HAS SOPS 704853 HAS SOUS 605843 HAS SOUPS 605843 WITH SCORE 606547.853
AT ITER 9827 NEW BEST:: SOT 4391480 SOS 703972 HAS SOPS 703972 HAS SOUS 605060 HAS SOUPS 605060 WITH SCORE 605763.972
AT ITER 9860 NEW BEST:: SOT 4391480 SOS 703902 HAS SOPS 703902 HAS SOUS 605025 HAS SOUPS 605025 WITH SCORE 605728.902
AT ITER 9884 NEW BEST:: SOT 4391480 SOS 703731 HAS SOPS 703731 HAS SOUS 605025 HAS SOUPS 605025 WITH SCORE 605728.731
AT ITER 9913 NEW BEST:: SOT 4391200 SOS 703068 HAS SOPS 703068 HAS SOUS 604204 HAS SOUPS 604204 WITH SCORE 604907.068
AT ITER 9931 NEW BEST:: SOT 4391200 SOS 703055 HAS SOPS 703055 HAS SOUS 604191 HAS SOUPS 604191 WITH SCORE 604894.055
AT ITER 9987 NEW BEST:: SOT 4391188 SOS 703031 HAS SOPS 703031 HAS SOUS 604167 HAS SOUPS 604167 WITH SCORE 604870.031
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12666896 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152808 kB

BK_TIME_CONFINEMENT_REACHED

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

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="CloudReconfiguration-PT-314"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is CloudReconfiguration-PT-314, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472000112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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