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-167814472000144.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-318, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472000144
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 8.3K Feb 25 11:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 11:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 11:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 11:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 11:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 25 11:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 11:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 124K Feb 25 11:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 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 661K 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 1678226183850

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-318
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 318
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: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458556 SOS 744615 HAS SOPS 744615 HAS SOUS 686857 HAS SOUPS 686857 WITH SCORE 687601.615
AT ITER 10 NEW BEST:: SOT 4458422 SOS 744481 HAS SOPS 744481 HAS SOUS 686857 HAS SOUPS 686857 WITH SCORE 687601.481
AT ITER 28 NEW BEST:: SOT 4458350 SOS 743911 HAS SOPS 743911 HAS SOUS 686466 HAS SOUPS 686466 WITH SCORE 687209.911
AT ITER 51 NEW BEST:: SOT 4458358 SOS 743752 HAS SOPS 743752 HAS SOUS 686319 HAS SOUPS 686319 WITH SCORE 687062.752
AT ITER 105 NEW BEST:: SOT 4458181 SOS 743634 HAS SOPS 743634 HAS SOUS 686142 HAS SOUPS 686142 WITH SCORE 686885.634
AT ITER 111 NEW BEST:: SOT 4458103 SOS 743478 HAS SOPS 743478 HAS SOUS 685986 HAS SOUPS 685986 WITH SCORE 686729.478
AT ITER 126 NEW BEST:: SOT 4458103 SOS 743255 HAS SOPS 743255 HAS SOUS 685986 HAS SOUPS 685986 WITH SCORE 686729.255
AT ITER 218 NEW BEST:: SOT 4458020 SOS 743006 HAS SOPS 743006 HAS SOUS 685820 HAS SOUPS 685820 WITH SCORE 686563.006
AT ITER 239 NEW BEST:: SOT 4457943 SOS 742417 HAS SOPS 742417 HAS SOUS 685421 HAS SOUPS 685421 WITH SCORE 686163.417
AT ITER 240 NEW BEST:: SOT 4457746 SOS 742023 HAS SOPS 742023 HAS SOUS 685027 HAS SOUPS 685027 WITH SCORE 685769.023
AT ITER 282 NEW BEST:: SOT 4457743 SOS 742017 HAS SOPS 742017 HAS SOUS 685011 HAS SOUPS 685011 WITH SCORE 685753.017
AT ITER 297 NEW BEST:: SOT 4457743 SOS 742017 HAS SOPS 742017 HAS SOUS 684882 HAS SOUPS 684882 WITH SCORE 685624.017
AT ITER 298 NEW BEST:: SOT 4457743 SOS 741999 HAS SOPS 741999 HAS SOUS 684881 HAS SOUPS 684881 WITH SCORE 685622.999
AT ITER 312 NEW BEST:: SOT 4457711 SOS 741935 HAS SOPS 741935 HAS SOUS 684849 HAS SOUPS 684849 WITH SCORE 685590.935
AT ITER 327 NEW BEST:: SOT 4457630 SOS 741773 HAS SOPS 741773 HAS SOUS 684687 HAS SOUPS 684687 WITH SCORE 685428.773
AT ITER 332 NEW BEST:: SOT 4457390 SOS 741623 HAS SOPS 741623 HAS SOUS 684482 HAS SOUPS 684482 WITH SCORE 685223.623
AT ITER 336 NEW BEST:: SOT 4457326 SOS 741495 HAS SOPS 741495 HAS SOUS 684354 HAS SOUPS 684354 WITH SCORE 685095.495
AT ITER 361 NEW BEST:: SOT 4457249 SOS 741341 HAS SOPS 741341 HAS SOUS 684200 HAS SOUPS 684200 WITH SCORE 684941.341
AT ITER 370 NEW BEST:: SOT 4457208 SOS 741259 HAS SOPS 741259 HAS SOUS 684118 HAS SOUPS 684118 WITH SCORE 684859.259
AT ITER 389 NEW BEST:: SOT 4457158 SOS 741340 HAS SOPS 741340 HAS SOUS 684092 HAS SOUPS 684092 WITH SCORE 684833.34
AT ITER 398 NEW BEST:: SOT 4456738 SOS 740920 HAS SOPS 740920 HAS SOUS 683672 HAS SOUPS 683672 WITH SCORE 684412.92
AT ITER 405 NEW BEST:: SOT 4456738 SOS 740920 HAS SOPS 740920 HAS SOUS 683449 HAS SOUPS 683449 WITH SCORE 684189.92
AT ITER 409 NEW BEST:: SOT 4456135 SOS 741198 HAS SOPS 741198 HAS SOUS 683217 HAS SOUPS 683217 WITH SCORE 683958.198
AT ITER 426 NEW BEST:: SOT 4455767 SOS 740830 HAS SOPS 740830 HAS SOUS 682849 HAS SOUPS 682849 WITH SCORE 683589.83
AT ITER 449 NEW BEST:: SOT 4455767 SOS 740830 HAS SOPS 740830 HAS SOUS 682840 HAS SOUPS 682840 WITH SCORE 683580.83
AT ITER 451 NEW BEST:: SOT 4455541 SOS 740378 HAS SOPS 740378 HAS SOUS 682165 HAS SOUPS 682165 WITH SCORE 682905.378
AT ITER 475 NEW BEST:: SOT 4455474 SOS 739911 HAS SOPS 739911 HAS SOUS 681757 HAS SOUPS 681757 WITH SCORE 682496.911
AT ITER 484 NEW BEST:: SOT 4455474 SOS 739487 HAS SOPS 739487 HAS SOUS 681545 HAS SOUPS 681545 WITH SCORE 682284.487
AT ITER 508 NEW BEST:: SOT 4455318 SOS 739175 HAS SOPS 739175 HAS SOUS 681233 HAS SOUPS 681233 WITH SCORE 681972.175
AT ITER 525 NEW BEST:: SOT 4455318 SOS 738996 HAS SOPS 738996 HAS SOUS 681233 HAS SOUPS 681233 WITH SCORE 681971.996
AT ITER 601 NEW BEST:: SOT 4455318 SOS 738996 HAS SOPS 738996 HAS SOUS 681231 HAS SOUPS 681231 WITH SCORE 681969.996
AT ITER 625 NEW BEST:: SOT 4455318 SOS 738996 HAS SOPS 738996 HAS SOUS 681230 HAS SOUPS 681230 WITH SCORE 681968.996
AT ITER 659 NEW BEST:: SOT 4455131 SOS 739178 HAS SOPS 739178 HAS SOUS 680965 HAS SOUPS 680965 WITH SCORE 681704.178
AT ITER 678 NEW BEST:: SOT 4454766 SOS 738824 HAS SOPS 738824 HAS SOUS 680611 HAS SOUPS 680611 WITH SCORE 681349.824
AT ITER 690 NEW BEST:: SOT 4454766 SOS 738824 HAS SOPS 738824 HAS SOUS 680508 HAS SOUPS 680508 WITH SCORE 681246.824
AT ITER 705 NEW BEST:: SOT 4454703 SOS 738761 HAS SOPS 738761 HAS SOUS 680445 HAS SOUPS 680445 WITH SCORE 681183.761
AT ITER 731 NEW BEST:: SOT 4454564 SOS 738716 HAS SOPS 738716 HAS SOUS 680306 HAS SOUPS 680306 WITH SCORE 681044.716
AT ITER 742 NEW BEST:: SOT 4454398 SOS 738384 HAS SOPS 738384 HAS SOUS 679974 HAS SOUPS 679974 WITH SCORE 680712.384
AT ITER 746 NEW BEST:: SOT 4454398 SOS 738166 HAS SOPS 738166 HAS SOUS 679974 HAS SOUPS 679974 WITH SCORE 680712.166
AT ITER 798 NEW BEST:: SOT 4454326 SOS 738070 HAS SOPS 738070 HAS SOUS 679878 HAS SOUPS 679878 WITH SCORE 680616.07
AT ITER 810 NEW BEST:: SOT 4454293 SOS 738004 HAS SOPS 738004 HAS SOUS 679812 HAS SOUPS 679812 WITH SCORE 680550.004
AT ITER 876 NEW BEST:: SOT 4454095 SOS 737872 HAS SOPS 737872 HAS SOUS 679614 HAS SOUPS 679614 WITH SCORE 680351.872
AT ITER 882 NEW BEST:: SOT 4453784 SOS 737250 HAS SOPS 737250 HAS SOUS 678992 HAS SOUPS 678992 WITH SCORE 679729.25
AT ITER 886 NEW BEST:: SOT 4453564 SOS 737030 HAS SOPS 737030 HAS SOUS 678772 HAS SOUPS 678772 WITH SCORE 679509.03
AT ITER 941 NEW BEST:: SOT 4453315 SOS 736532 HAS SOPS 736532 HAS SOUS 678274 HAS SOUPS 678274 WITH SCORE 679010.532
AT ITER 959 NEW BEST:: SOT 4453137 SOS 736437 HAS SOPS 736437 HAS SOUS 678138 HAS SOUPS 678138 WITH SCORE 678874.437
AT ITER 960 NEW BEST:: SOT 4453046 SOS 736255 HAS SOPS 736255 HAS SOUS 678047 HAS SOUPS 678047 WITH SCORE 678783.255
AT ITER 961 NEW BEST:: SOT 4453046 SOS 736147 HAS SOPS 736147 HAS SOUS 678047 HAS SOUPS 678047 WITH SCORE 678783.147
AT ITER 974 NEW BEST:: SOT 4453046 SOS 701546 HAS SOPS 701546 HAS SOUS 678047 HAS SOUPS 678047 WITH SCORE 678748.546
AT ITER 988 NEW BEST:: SOT 4453046 SOS 701279 HAS SOPS 701279 HAS SOUS 678047 HAS SOUPS 678047 WITH SCORE 678748.279
AT ITER 1003 NEW BEST:: SOT 4452890 SOS 700967 HAS SOPS 700967 HAS SOUS 677494 HAS SOUPS 677494 WITH SCORE 678194.967
AT ITER 1062 NEW BEST:: SOT 4452909 SOS 700893 HAS SOPS 700893 HAS SOUS 677420 HAS SOUPS 677420 WITH SCORE 678120.893
AT ITER 1069 NEW BEST:: SOT 4452872 SOS 700856 HAS SOPS 700856 HAS SOUS 677383 HAS SOUPS 677383 WITH SCORE 678083.856
AT ITER 1099 NEW BEST:: SOT 4452792 SOS 700696 HAS SOPS 700696 HAS SOUS 677223 HAS SOUPS 677223 WITH SCORE 677923.696
AT ITER 1124 NEW BEST:: SOT 4452792 SOS 700352 HAS SOPS 700352 HAS SOUS 676879 HAS SOUPS 676879 WITH SCORE 677579.352
AT ITER 1132 NEW BEST:: SOT 4452787 SOS 700342 HAS SOPS 700342 HAS SOUS 676868 HAS SOUPS 676868 WITH SCORE 677568.342
AT ITER 1199 NEW BEST:: SOT 4452703 SOS 700174 HAS SOPS 700174 HAS SOUS 676700 HAS SOUPS 676700 WITH SCORE 677400.174
AT ITER 1212 NEW BEST:: SOT 4452930 SOS 700321 HAS SOPS 700321 HAS SOUS 676620 HAS SOUPS 676620 WITH SCORE 677320.321
AT ITER 1222 NEW BEST:: SOT 4452888 SOS 700237 HAS SOPS 700237 HAS SOUS 676578 HAS SOUPS 676578 WITH SCORE 677278.237
AT ITER 1228 NEW BEST:: SOT 4452746 SOS 700113 HAS SOPS 700113 HAS SOUS 676454 HAS SOUPS 676454 WITH SCORE 677154.113
AT ITER 1236 NEW BEST:: SOT 4452746 SOS 700049 HAS SOPS 700049 HAS SOUS 676454 HAS SOUPS 676454 WITH SCORE 677154.049
AT ITER 1238 NEW BEST:: SOT 4452738 SOS 700033 HAS SOPS 700033 HAS SOUS 676438 HAS SOUPS 676438 WITH SCORE 677138.033
AT ITER 1242 NEW BEST:: SOT 4452738 SOS 700033 HAS SOPS 700033 HAS SOUS 676407 HAS SOUPS 676407 WITH SCORE 677107.033
AT ITER 1244 NEW BEST:: SOT 4452727 SOS 700011 HAS SOPS 700011 HAS SOUS 676385 HAS SOUPS 676385 WITH SCORE 677085.011
AT ITER 1253 NEW BEST:: SOT 4452345 SOS 699629 HAS SOPS 699629 HAS SOUS 676003 HAS SOUPS 676003 WITH SCORE 676702.629
AT ITER 1259 NEW BEST:: SOT 4450805 SOS 703269 HAS SOPS 703269 HAS SOUS 674620 HAS SOUPS 674620 WITH SCORE 675323.269
AT ITER 1262 NEW BEST:: SOT 4450892 SOS 703443 HAS SOPS 703443 HAS SOUS 674572 HAS SOUPS 674572 WITH SCORE 675275.443
AT ITER 1282 NEW BEST:: SOT 4450958 SOS 703050 HAS SOPS 703050 HAS SOUS 674362 HAS SOUPS 674362 WITH SCORE 675065.05
AT ITER 1294 NEW BEST:: SOT 4450818 SOS 703076 HAS SOPS 703076 HAS SOUS 674177 HAS SOUPS 674177 WITH SCORE 674880.076
AT ITER 1296 NEW BEST:: SOT 4450695 SOS 702830 HAS SOPS 702830 HAS SOUS 673931 HAS SOUPS 673931 WITH SCORE 674633.83
AT ITER 1310 NEW BEST:: SOT 4450613 SOS 703070 HAS SOPS 703070 HAS SOUS 673848 HAS SOUPS 673848 WITH SCORE 674551.07
AT ITER 1313 NEW BEST:: SOT 4450443 SOS 702764 HAS SOPS 702764 HAS SOUS 673516 HAS SOUPS 673516 WITH SCORE 674218.764
AT ITER 1316 NEW BEST:: SOT 4450267 SOS 702588 HAS SOPS 702588 HAS SOUS 673340 HAS SOUPS 673340 WITH SCORE 674042.588
AT ITER 1317 NEW BEST:: SOT 4450266 SOS 702586 HAS SOPS 702586 HAS SOUS 673338 HAS SOUPS 673338 WITH SCORE 674040.586
AT ITER 1323 NEW BEST:: SOT 4449909 SOS 702570 HAS SOPS 702570 HAS SOUS 672849 HAS SOUPS 672849 WITH SCORE 673551.57
AT ITER 1344 NEW BEST:: SOT 4449785 SOS 702480 HAS SOPS 702480 HAS SOUS 672654 HAS SOUPS 672654 WITH SCORE 673356.48
AT ITER 1351 NEW BEST:: SOT 4449321 SOS 702574 HAS SOPS 702574 HAS SOUS 672322 HAS SOUPS 672322 WITH SCORE 673024.574
AT ITER 1353 NEW BEST:: SOT 4449321 SOS 702304 HAS SOPS 702304 HAS SOUS 672052 HAS SOUPS 672052 WITH SCORE 672754.304
AT ITER 1361 NEW BEST:: SOT 4449321 SOS 702290 HAS SOPS 702290 HAS SOUS 672038 HAS SOUPS 672038 WITH SCORE 672740.29
AT ITER 1377 NEW BEST:: SOT 4449321 SOS 702290 HAS SOPS 702290 HAS SOUS 671955 HAS SOUPS 671955 WITH SCORE 672657.29
AT ITER 1408 NEW BEST:: SOT 4449327 SOS 702302 HAS SOPS 702302 HAS SOUS 671857 HAS SOUPS 671857 WITH SCORE 672559.302
AT ITER 1411 NEW BEST:: SOT 4449327 SOS 702302 HAS SOPS 702302 HAS SOUS 671826 HAS SOUPS 671826 WITH SCORE 672528.302
AT ITER 1480 NEW BEST:: SOT 4449320 SOS 702288 HAS SOPS 702288 HAS SOUS 671812 HAS SOUPS 671812 WITH SCORE 672514.288
AT ITER 1481 NEW BEST:: SOT 4449320 SOS 702074 HAS SOPS 702074 HAS SOUS 671705 HAS SOUPS 671705 WITH SCORE 672407.074
AT ITER 1483 NEW BEST:: SOT 4449140 SOS 701894 HAS SOPS 701894 HAS SOUS 671525 HAS SOUPS 671525 WITH SCORE 672226.894
AT ITER 1508 NEW BEST:: SOT 4449088 SOS 701842 HAS SOPS 701842 HAS SOUS 671473 HAS SOUPS 671473 WITH SCORE 672174.842
AT ITER 1527 NEW BEST:: SOT 4442735 SOS 696528 HAS SOPS 696528 HAS SOUS 665296 HAS SOUPS 665296 WITH SCORE 665992.528
AT ITER 1579 NEW BEST:: SOT 4442813 SOS 696684 HAS SOPS 696684 HAS SOUS 665108 HAS SOUPS 665108 WITH SCORE 665804.684
AT ITER 1619 NEW BEST:: SOT 4442813 SOS 696684 HAS SOPS 696684 HAS SOUS 665107 HAS SOUPS 665107 WITH SCORE 665803.684
AT ITER 1629 NEW BEST:: SOT 4442645 SOS 696516 HAS SOPS 696516 HAS SOUS 664897 HAS SOUPS 664897 WITH SCORE 665593.516
AT ITER 1645 NEW BEST:: SOT 4442541 SOS 696308 HAS SOPS 696308 HAS SOUS 664793 HAS SOUPS 664793 WITH SCORE 665489.308
AT ITER 1651 NEW BEST:: SOT 4442029 SOS 696824 HAS SOPS 696824 HAS SOUS 664618 HAS SOUPS 664618 WITH SCORE 665314.824
AT ITER 1654 NEW BEST:: SOT 4442029 SOS 696824 HAS SOPS 696824 HAS SOUS 664438 HAS SOUPS 664438 WITH SCORE 665134.824
AT ITER 1660 NEW BEST:: SOT 4441890 SOS 696546 HAS SOPS 696546 HAS SOUS 664160 HAS SOUPS 664160 WITH SCORE 664856.546
AT ITER 1661 NEW BEST:: SOT 4441861 SOS 696488 HAS SOPS 696488 HAS SOUS 664102 HAS SOUPS 664102 WITH SCORE 664798.488
AT ITER 1668 NEW BEST:: SOT 4441860 SOS 696486 HAS SOPS 696486 HAS SOUS 664100 HAS SOUPS 664100 WITH SCORE 664796.486
AT ITER 1687 NEW BEST:: SOT 4441642 SOS 696275 HAS SOPS 696275 HAS SOUS 663889 HAS SOUPS 663889 WITH SCORE 664585.275
AT ITER 1698 NEW BEST:: SOT 4441522 SOS 696035 HAS SOPS 696035 HAS SOUS 663347 HAS SOUPS 663347 WITH SCORE 664043.035
AT ITER 1718 NEW BEST:: SOT 4441398 SOS 695787 HAS SOPS 695787 HAS SOUS 663099 HAS SOUPS 663099 WITH SCORE 663794.787
AT ITER 1734 NEW BEST:: SOT 4441247 SOS 695628 HAS SOPS 695628 HAS SOUS 662940 HAS SOUPS 662940 WITH SCORE 663635.628
AT ITER 1745 NEW BEST:: SOT 4441371 SOS 695627 HAS SOPS 695627 HAS SOUS 662939 HAS SOUPS 662939 WITH SCORE 663634.627
AT ITER 1746 NEW BEST:: SOT 4441330 SOS 695545 HAS SOPS 695545 HAS SOUS 662898 HAS SOUPS 662898 WITH SCORE 663593.545
AT ITER 1751 NEW BEST:: SOT 4441330 SOS 695545 HAS SOPS 695545 HAS SOUS 662868 HAS SOUPS 662868 WITH SCORE 663563.545
AT ITER 1781 NEW BEST:: SOT 4441203 SOS 695440 HAS SOPS 695440 HAS SOUS 662741 HAS SOUPS 662741 WITH SCORE 663436.44
AT ITER 1808 NEW BEST:: SOT 4441222 SOS 695478 HAS SOPS 695478 HAS SOUS 662471 HAS SOUPS 662471 WITH SCORE 663166.478
AT ITER 1818 NEW BEST:: SOT 4441153 SOS 695340 HAS SOPS 695340 HAS SOUS 662333 HAS SOUPS 662333 WITH SCORE 663028.34
AT ITER 1824 NEW BEST:: SOT 4440859 SOS 695656 HAS SOPS 695656 HAS SOUS 662270 HAS SOUPS 662270 WITH SCORE 662965.656
AT ITER 1835 NEW BEST:: SOT 4440654 SOS 695830 HAS SOPS 695830 HAS SOUS 662259 HAS SOUPS 662259 WITH SCORE 662954.83
AT ITER 1844 NEW BEST:: SOT 4440344 SOS 697242 HAS SOPS 697242 HAS SOUS 662238 HAS SOUPS 662238 WITH SCORE 662935.242
AT ITER 1900 NEW BEST:: SOT 4440354 SOS 697262 HAS SOPS 697262 HAS SOUS 662038 HAS SOUPS 662038 WITH SCORE 662735.262
AT ITER 1901 NEW BEST:: SOT 4440354 SOS 697262 HAS SOPS 697262 HAS SOUS 661900 HAS SOUPS 661900 WITH SCORE 662597.262
AT ITER 1910 NEW BEST:: SOT 4440308 SOS 697082 HAS SOPS 697082 HAS SOUS 661766 HAS SOUPS 661766 WITH SCORE 662463.082
AT ITER 1915 NEW BEST:: SOT 4439708 SOS 696482 HAS SOPS 696482 HAS SOUS 661166 HAS SOUPS 661166 WITH SCORE 661862.482
AT ITER 1941 NEW BEST:: SOT 4439708 SOS 696482 HAS SOPS 696482 HAS SOUS 660916 HAS SOUPS 660916 WITH SCORE 661612.482
AT ITER 1972 NEW BEST:: SOT 4439681 SOS 696428 HAS SOPS 696428 HAS SOUS 660889 HAS SOUPS 660889 WITH SCORE 661585.428
AT ITER 1975 NEW BEST:: SOT 4439624 SOS 696615 HAS SOPS 696615 HAS SOUS 660876 HAS SOUPS 660876 WITH SCORE 661572.615
AT ITER 2006 NEW BEST:: SOT 4439624 SOS 696615 HAS SOPS 696615 HAS SOUS 660711 HAS SOUPS 660711 WITH SCORE 661407.615
AT ITER 2025 NEW BEST:: SOT 4439624 SOS 696614 HAS SOPS 696614 HAS SOUS 660710 HAS SOUPS 660710 WITH SCORE 661406.614
AT ITER 2048 NEW BEST:: SOT 4439374 SOS 696114 HAS SOPS 696114 HAS SOUS 660460 HAS SOUPS 660460 WITH SCORE 661156.114
AT ITER 2051 NEW BEST:: SOT 4439360 SOS 696102 HAS SOPS 696102 HAS SOUS 660440 HAS SOUPS 660440 WITH SCORE 661136.102
AT ITER 2093 NEW BEST:: SOT 4439252 SOS 695940 HAS SOPS 695940 HAS SOUS 660278 HAS SOUPS 660278 WITH SCORE 660973.94
AT ITER 2142 NEW BEST:: SOT 4439117 SOS 695670 HAS SOPS 695670 HAS SOUS 660143 HAS SOUPS 660143 WITH SCORE 660838.67
AT ITER 2157 NEW BEST:: SOT 4439117 SOS 695635 HAS SOPS 695635 HAS SOUS 660108 HAS SOUPS 660108 WITH SCORE 660803.635
AT ITER 2175 NEW BEST:: SOT 4438805 SOS 695011 HAS SOPS 695011 HAS SOUS 659484 HAS SOUPS 659484 WITH SCORE 660179.011
AT ITER 2201 NEW BEST:: SOT 4438759 SOS 694919 HAS SOPS 694919 HAS SOUS 659392 HAS SOUPS 659392 WITH SCORE 660086.919
AT ITER 2211 NEW BEST:: SOT 4438759 SOS 694777 HAS SOPS 694777 HAS SOUS 659321 HAS SOUPS 659321 WITH SCORE 660015.777
AT ITER 2224 NEW BEST:: SOT 4438570 SOS 694399 HAS SOPS 694399 HAS SOUS 658943 HAS SOUPS 658943 WITH SCORE 659637.399
AT ITER 2275 NEW BEST:: SOT 4438650 SOS 694388 HAS SOPS 694388 HAS SOUS 658921 HAS SOUPS 658921 WITH SCORE 659615.388
AT ITER 2296 NEW BEST:: SOT 4438556 SOS 694200 HAS SOPS 694200 HAS SOUS 658595 HAS SOUPS 658595 WITH SCORE 659289.2
AT ITER 2302 NEW BEST:: SOT 4438556 SOS 694200 HAS SOPS 694200 HAS SOUS 658590 HAS SOUPS 658590 WITH SCORE 659284.2
AT ITER 2339 NEW BEST:: SOT 4438556 SOS 694199 HAS SOPS 694199 HAS SOUS 658588 HAS SOUPS 658588 WITH SCORE 659282.199
AT ITER 2349 NEW BEST:: SOT 4438524 SOS 694135 HAS SOPS 694135 HAS SOUS 658524 HAS SOUPS 658524 WITH SCORE 659218.135
AT ITER 2350 NEW BEST:: SOT 4438441 SOS 693969 HAS SOPS 693969 HAS SOUS 658503 HAS SOUPS 658503 WITH SCORE 659196.969
AT ITER 2374 NEW BEST:: SOT 4438396 SOS 693924 HAS SOPS 693924 HAS SOUS 658458 HAS SOUPS 658458 WITH SCORE 659151.924
AT ITER 2377 NEW BEST:: SOT 4438105 SOS 693342 HAS SOPS 693342 HAS SOUS 657876 HAS SOUPS 657876 WITH SCORE 658569.342
AT ITER 2378 NEW BEST:: SOT 4437866 SOS 692864 HAS SOPS 692864 HAS SOUS 657398 HAS SOUPS 657398 WITH SCORE 658090.864
AT ITER 2414 NEW BEST:: SOT 4437304 SOS 692488 HAS SOPS 692488 HAS SOUS 656836 HAS SOUPS 656836 WITH SCORE 657528.488
AT ITER 2483 NEW BEST:: SOT 4437265 SOS 692410 HAS SOPS 692410 HAS SOUS 656758 HAS SOUPS 656758 WITH SCORE 657450.41
AT ITER 2515 NEW BEST:: SOT 4437264 SOS 692408 HAS SOPS 692408 HAS SOUS 656756 HAS SOUPS 656756 WITH SCORE 657448.408
AT ITER 2657 NEW BEST:: SOT 4436612 SOS 691756 HAS SOPS 691756 HAS SOUS 656104 HAS SOUPS 656104 WITH SCORE 656795.756
AT ITER 2665 NEW BEST:: SOT 4436675 SOS 691882 HAS SOPS 691882 HAS SOUS 656054 HAS SOUPS 656054 WITH SCORE 656745.882
AT ITER 2681 NEW BEST:: SOT 4436495 SOS 691702 HAS SOPS 691702 HAS SOUS 655874 HAS SOUPS 655874 WITH SCORE 656565.702
AT ITER 2685 NEW BEST:: SOT 4436357 SOS 691637 HAS SOPS 691637 HAS SOUS 655762 HAS SOUPS 655762 WITH SCORE 656453.637
AT ITER 2697 NEW BEST:: SOT 4436010 SOS 692337 HAS SOPS 692337 HAS SOUS 655560 HAS SOUPS 655560 WITH SCORE 656252.337
AT ITER 2728 NEW BEST:: SOT 4435904 SOS 692465 HAS SOPS 692465 HAS SOUS 655481 HAS SOUPS 655481 WITH SCORE 656173.465
AT ITER 2738 NEW BEST:: SOT 4435802 SOS 692261 HAS SOPS 692261 HAS SOUS 655277 HAS SOUPS 655277 WITH SCORE 655969.261
AT ITER 2742 NEW BEST:: SOT 4435802 SOS 692261 HAS SOPS 692261 HAS SOUS 655238 HAS SOUPS 655238 WITH SCORE 655930.261
AT ITER 2746 NEW BEST:: SOT 4435762 SOS 692231 HAS SOPS 692231 HAS SOUS 655208 HAS SOUPS 655208 WITH SCORE 655900.231
AT ITER 2747 NEW BEST:: SOT 4435762 SOS 692156 HAS SOPS 692156 HAS SOUS 655208 HAS SOUPS 655208 WITH SCORE 655900.156
AT ITER 2750 NEW BEST:: SOT 4435624 SOS 691880 HAS SOPS 691880 HAS SOUS 654932 HAS SOUPS 654932 WITH SCORE 655623.88
AT ITER 2752 NEW BEST:: SOT 4435696 SOS 691759 HAS SOPS 691759 HAS SOUS 654906 HAS SOUPS 654906 WITH SCORE 655597.759
AT ITER 2760 NEW BEST:: SOT 4435696 SOS 691663 HAS SOPS 691663 HAS SOUS 654810 HAS SOUPS 654810 WITH SCORE 655501.663
AT ITER 2796 NEW BEST:: SOT 4435691 SOS 691653 HAS SOPS 691653 HAS SOUS 654800 HAS SOUPS 654800 WITH SCORE 655491.653
AT ITER 2811 NEW BEST:: SOT 4435622 SOS 691515 HAS SOPS 691515 HAS SOUS 654731 HAS SOUPS 654731 WITH SCORE 655422.515
AT ITER 2816 NEW BEST:: SOT 4435915 SOS 692100 HAS SOPS 692100 HAS SOUS 654701 HAS SOUPS 654701 WITH SCORE 655393.1
AT ITER 2823 NEW BEST:: SOT 4435451 SOS 692100 HAS SOPS 692100 HAS SOUS 654469 HAS SOUPS 654469 WITH SCORE 655161.1
AT ITER 2826 NEW BEST:: SOT 4435450 SOS 692098 HAS SOPS 692098 HAS SOUS 654467 HAS SOUPS 654467 WITH SCORE 655159.098
AT ITER 2835 NEW BEST:: SOT 4435307 SOS 693156 HAS SOPS 693156 HAS SOUS 654402 HAS SOUPS 654402 WITH SCORE 655095.156
AT ITER 2839 NEW BEST:: SOT 4435102 SOS 693022 HAS SOPS 693022 HAS SOUS 654268 HAS SOUPS 654268 WITH SCORE 654961.022
AT ITER 2841 NEW BEST:: SOT 4435273 SOS 693364 HAS SOPS 693364 HAS SOUS 654199 HAS SOUPS 654199 WITH SCORE 654892.364
AT ITER 2853 NEW BEST:: SOT 4435249 SOS 693316 HAS SOPS 693316 HAS SOUS 654151 HAS SOUPS 654151 WITH SCORE 654844.316
AT ITER 2872 NEW BEST:: SOT 4434939 SOS 693491 HAS SOPS 693491 HAS SOUS 654000 HAS SOUPS 654000 WITH SCORE 654693.491
AT ITER 2882 NEW BEST:: SOT 4434911 SOS 693435 HAS SOPS 693435 HAS SOUS 653879 HAS SOUPS 653879 WITH SCORE 654572.435
AT ITER 2884 NEW BEST:: SOT 4434803 SOS 693219 HAS SOPS 693219 HAS SOUS 653771 HAS SOUPS 653771 WITH SCORE 654464.219
AT ITER 2894 NEW BEST:: SOT 4434619 SOS 692483 HAS SOPS 692483 HAS SOUS 653403 HAS SOUPS 653403 WITH SCORE 654095.483
AT ITER 2920 NEW BEST:: SOT 4434548 SOS 692341 HAS SOPS 692341 HAS SOUS 653261 HAS SOUPS 653261 WITH SCORE 653953.341
AT ITER 2933 NEW BEST:: SOT 4434548 SOS 692340 HAS SOPS 692340 HAS SOUS 653260 HAS SOUPS 653260 WITH SCORE 653952.34
AT ITER 2959 NEW BEST:: SOT 4434548 SOS 692339 HAS SOPS 692339 HAS SOUS 653259 HAS SOUPS 653259 WITH SCORE 653951.339
AT ITER 2974 NEW BEST:: SOT 4434423 SOS 692089 HAS SOPS 692089 HAS SOUS 653009 HAS SOUPS 653009 WITH SCORE 653701.089
AT ITER 2981 NEW BEST:: SOT 4434423 SOS 692089 HAS SOPS 692089 HAS SOUS 652919 HAS SOUPS 652919 WITH SCORE 653611.089
AT ITER 3031 NEW BEST:: SOT 4434224 SOS 691691 HAS SOPS 691691 HAS SOUS 652521 HAS SOUPS 652521 WITH SCORE 653212.691
AT ITER 3036 NEW BEST:: SOT 4434207 SOS 691759 HAS SOPS 691759 HAS SOUS 652504 HAS SOUPS 652504 WITH SCORE 653195.759
AT ITER 3047 NEW BEST:: SOT 4434074 SOS 691635 HAS SOPS 691635 HAS SOUS 652371 HAS SOUPS 652371 WITH SCORE 653062.635
AT ITER 3051 NEW BEST:: SOT 4434018 SOS 691579 HAS SOPS 691579 HAS SOUS 652315 HAS SOUPS 652315 WITH SCORE 653006.579
AT ITER 3058 NEW BEST:: SOT 4433924 SOS 691507 HAS SOPS 691507 HAS SOUS 652105 HAS SOUPS 652105 WITH SCORE 652796.507
AT ITER 3060 NEW BEST:: SOT 4433912 SOS 691483 HAS SOPS 691483 HAS SOUS 652081 HAS SOUPS 652081 WITH SCORE 652772.483
AT ITER 3068 NEW BEST:: SOT 4433872 SOS 691403 HAS SOPS 691403 HAS SOUS 652001 HAS SOUPS 652001 WITH SCORE 652692.403
AT ITER 3079 NEW BEST:: SOT 4433872 SOS 691298 HAS SOPS 691298 HAS SOUS 651896 HAS SOUPS 651896 WITH SCORE 652587.298
AT ITER 3114 NEW BEST:: SOT 4433794 SOS 691220 HAS SOPS 691220 HAS SOUS 651818 HAS SOUPS 651818 WITH SCORE 652509.22
AT ITER 3123 NEW BEST:: SOT 4433788 SOS 690764 HAS SOPS 690764 HAS SOUS 651806 HAS SOUPS 651806 WITH SCORE 652496.764
AT ITER 3135 NEW BEST:: SOT 4433595 SOS 690378 HAS SOPS 690378 HAS SOUS 651420 HAS SOUPS 651420 WITH SCORE 652110.378
AT ITER 3145 NEW BEST:: SOT 4433392 SOS 690350 HAS SOPS 690350 HAS SOUS 651374 HAS SOUPS 651374 WITH SCORE 652064.35
AT ITER 3178 NEW BEST:: SOT 4433280 SOS 690126 HAS SOPS 690126 HAS SOUS 651150 HAS SOUPS 651150 WITH SCORE 651840.126
AT ITER 3185 NEW BEST:: SOT 4433086 SOS 689932 HAS SOPS 689932 HAS SOUS 650956 HAS SOUPS 650956 WITH SCORE 651645.932
AT ITER 3188 NEW BEST:: SOT 4433037 SOS 689834 HAS SOPS 689834 HAS SOUS 650858 HAS SOUPS 650858 WITH SCORE 651547.834
AT ITER 3191 NEW BEST:: SOT 4433001 SOS 689762 HAS SOPS 689762 HAS SOUS 650822 HAS SOUPS 650822 WITH SCORE 651511.762
AT ITER 3205 NEW BEST:: SOT 4432991 SOS 689742 HAS SOPS 689742 HAS SOUS 650803 HAS SOUPS 650803 WITH SCORE 651492.742
AT ITER 3220 NEW BEST:: SOT 4432991 SOS 689543 HAS SOPS 689543 HAS SOUS 650604 HAS SOUPS 650604 WITH SCORE 651293.543
AT ITER 3235 NEW BEST:: SOT 4432632 SOS 688825 HAS SOPS 688825 HAS SOUS 649886 HAS SOUPS 649886 WITH SCORE 650574.825
AT ITER 3265 NEW BEST:: SOT 4432632 SOS 688784 HAS SOPS 688784 HAS SOUS 649886 HAS SOUPS 649886 WITH SCORE 650574.784
AT ITER 3286 NEW BEST:: SOT 4432485 SOS 688490 HAS SOPS 688490 HAS SOUS 649592 HAS SOUPS 649592 WITH SCORE 650280.49
AT ITER 3298 NEW BEST:: SOT 4432483 SOS 688486 HAS SOPS 688486 HAS SOUS 649588 HAS SOUPS 649588 WITH SCORE 650276.486
AT ITER 3333 NEW BEST:: SOT 4432291 SOS 688102 HAS SOPS 688102 HAS SOUS 649343 HAS SOUPS 649343 WITH SCORE 650031.102
AT ITER 3335 NEW BEST:: SOT 4432221 SOS 687962 HAS SOPS 687962 HAS SOUS 649203 HAS SOUPS 649203 WITH SCORE 649890.962
AT ITER 3344 NEW BEST:: SOT 4432196 SOS 687912 HAS SOPS 687912 HAS SOUS 649153 HAS SOUPS 649153 WITH SCORE 649840.912
AT ITER 3347 NEW BEST:: SOT 4432172 SOS 687864 HAS SOPS 687864 HAS SOUS 648928 HAS SOUPS 648928 WITH SCORE 649615.864
AT ITER 3376 NEW BEST:: SOT 4432172 SOS 687864 HAS SOPS 687864 HAS SOUS 648892 HAS SOUPS 648892 WITH SCORE 649579.864
AT ITER 3443 NEW BEST:: SOT 4432172 SOS 687827 HAS SOPS 687827 HAS SOUS 648892 HAS SOUPS 648892 WITH SCORE 649579.827
AT ITER 3450 NEW BEST:: SOT 4432172 SOS 687827 HAS SOPS 687827 HAS SOUS 648891 HAS SOUPS 648891 WITH SCORE 649578.827
AT ITER 3464 NEW BEST:: SOT 4432123 SOS 687447 HAS SOPS 687447 HAS SOUS 648793 HAS SOUPS 648793 WITH SCORE 649480.447
AT ITER 3505 NEW BEST:: SOT 4431898 SOS 686997 HAS SOPS 686997 HAS SOUS 648343 HAS SOUPS 648343 WITH SCORE 649029.997
AT ITER 3522 NEW BEST:: SOT 4431557 SOS 686596 HAS SOPS 686596 HAS SOUS 647891 HAS SOUPS 647891 WITH SCORE 648577.596
AT ITER 3547 NEW BEST:: SOT 4431377 SOS 686370 HAS SOPS 686370 HAS SOUS 647665 HAS SOUPS 647665 WITH SCORE 648351.37
AT ITER 3564 NEW BEST:: SOT 4431312 SOS 686076 HAS SOPS 686076 HAS SOUS 647535 HAS SOUPS 647535 WITH SCORE 648221.076
AT ITER 3579 NEW BEST:: SOT 4431399 SOS 686073 HAS SOPS 686073 HAS SOUS 647532 HAS SOUPS 647532 WITH SCORE 648218.073
AT ITER 3584 NEW BEST:: SOT 4431317 SOS 686005 HAS SOPS 686005 HAS SOUS 647454 HAS SOUPS 647454 WITH SCORE 648140.005
AT ITER 3588 NEW BEST:: SOT 4431299 SOS 685969 HAS SOPS 685969 HAS SOUS 647418 HAS SOUPS 647418 WITH SCORE 648103.969
AT ITER 3601 NEW BEST:: SOT 4431344 SOS 686059 HAS SOPS 686059 HAS SOUS 646996 HAS SOUPS 646996 WITH SCORE 647682.059
AT ITER 3628 NEW BEST:: SOT 4431331 SOS 686046 HAS SOPS 686046 HAS SOUS 646983 HAS SOUPS 646983 WITH SCORE 647669.046
AT ITER 3637 NEW BEST:: SOT 4430800 SOS 687300 HAS SOPS 687300 HAS SOUS 646775 HAS SOUPS 646775 WITH SCORE 647462.3
AT ITER 3655 NEW BEST:: SOT 4430556 SOS 686811 HAS SOPS 686811 HAS SOUS 646128 HAS SOUPS 646128 WITH SCORE 646814.811
AT ITER 3674 NEW BEST:: SOT 4430378 SOS 687089 HAS SOPS 687089 HAS SOUS 645999 HAS SOUPS 645999 WITH SCORE 646686.089
AT ITER 3679 NEW BEST:: SOT 4430383 SOS 687099 HAS SOPS 687099 HAS SOUS 645762 HAS SOUPS 645762 WITH SCORE 646449.099
AT ITER 3719 NEW BEST:: SOT 4430174 SOS 686681 HAS SOPS 686681 HAS SOUS 645344 HAS SOUPS 645344 WITH SCORE 646030.681
AT ITER 3735 NEW BEST:: SOT 4430316 SOS 686964 HAS SOPS 686964 HAS SOUS 645029 HAS SOUPS 645029 WITH SCORE 645715.964
AT ITER 3805 NEW BEST:: SOT 4429633 SOS 694041 HAS SOPS 694041 HAS SOUS 644665 HAS SOUPS 644665 WITH SCORE 645359.041
AT ITER 3807 NEW BEST:: SOT 4429572 SOS 693919 HAS SOPS 693919 HAS SOUS 644580 HAS SOUPS 644580 WITH SCORE 645273.919
AT ITER 3824 NEW BEST:: SOT 4429572 SOS 693919 HAS SOPS 693919 HAS SOUS 644579 HAS SOUPS 644579 WITH SCORE 645272.919
AT ITER 3839 NEW BEST:: SOT 4429572 SOS 693918 HAS SOPS 693918 HAS SOUS 644578 HAS SOUPS 644578 WITH SCORE 645271.918
AT ITER 3843 NEW BEST:: SOT 4429446 SOS 693666 HAS SOPS 693666 HAS SOUS 644386 HAS SOUPS 644386 WITH SCORE 645079.666
AT ITER 3847 NEW BEST:: SOT 4429411 SOS 693596 HAS SOPS 693596 HAS SOUS 644316 HAS SOUPS 644316 WITH SCORE 645009.596
AT ITER 3911 NEW BEST:: SOT 4429374 SOS 693522 HAS SOPS 693522 HAS SOUS 644242 HAS SOUPS 644242 WITH SCORE 644935.522
AT ITER 3922 NEW BEST:: SOT 4429144 SOS 693669 HAS SOPS 693669 HAS SOUS 644090 HAS SOUPS 644090 WITH SCORE 644783.669
AT ITER 3928 NEW BEST:: SOT 4428997 SOS 693375 HAS SOPS 693375 HAS SOUS 643943 HAS SOUPS 643943 WITH SCORE 644636.375
AT ITER 3961 NEW BEST:: SOT 4428997 SOS 693375 HAS SOPS 693375 HAS SOUS 643885 HAS SOUPS 643885 WITH SCORE 644578.375
AT ITER 4018 NEW BEST:: SOT 4428984 SOS 693349 HAS SOPS 693349 HAS SOUS 643859 HAS SOUPS 643859 WITH SCORE 644552.349
AT ITER 4022 NEW BEST:: SOT 4428983 SOS 693347 HAS SOPS 693347 HAS SOUS 643857 HAS SOUPS 643857 WITH SCORE 644550.347
AT ITER 4027 NEW BEST:: SOT 4428983 SOS 693346 HAS SOPS 693346 HAS SOUS 643856 HAS SOUPS 643856 WITH SCORE 644549.346
AT ITER 4080 NEW BEST:: SOT 4428961 SOS 693302 HAS SOPS 693302 HAS SOUS 643834 HAS SOUPS 643834 WITH SCORE 644527.302
AT ITER 4081 NEW BEST:: SOT 4428961 SOS 693283 HAS SOPS 693283 HAS SOUS 643815 HAS SOUPS 643815 WITH SCORE 644508.283
AT ITER 4096 NEW BEST:: SOT 4428959 SOS 693279 HAS SOPS 693279 HAS SOUS 643811 HAS SOUPS 643811 WITH SCORE 644504.279
AT ITER 4097 NEW BEST:: SOT 4428959 SOS 693191 HAS SOPS 693191 HAS SOUS 643764 HAS SOUPS 643764 WITH SCORE 644457.191
AT ITER 4100 NEW BEST:: SOT 4428924 SOS 693121 HAS SOPS 693121 HAS SOUS 643694 HAS SOUPS 643694 WITH SCORE 644387.121
AT ITER 4103 NEW BEST:: SOT 4429036 SOS 693105 HAS SOPS 693105 HAS SOUS 643678 HAS SOUPS 643678 WITH SCORE 644371.105
AT ITER 4105 NEW BEST:: SOT 4428845 SOS 692931 HAS SOPS 692931 HAS SOUS 643496 HAS SOUPS 643496 WITH SCORE 644188.931
AT ITER 4113 NEW BEST:: SOT 4428806 SOS 692599 HAS SOPS 692599 HAS SOUS 643203 HAS SOUPS 643203 WITH SCORE 643895.599
AT ITER 4119 NEW BEST:: SOT 4428804 SOS 692595 HAS SOPS 692595 HAS SOUS 643199 HAS SOUPS 643199 WITH SCORE 643891.595
AT ITER 4129 NEW BEST:: SOT 4428816 SOS 692619 HAS SOPS 692619 HAS SOUS 643014 HAS SOUPS 643014 WITH SCORE 643706.619
AT ITER 4136 NEW BEST:: SOT 4428815 SOS 692617 HAS SOPS 692617 HAS SOUS 643012 HAS SOUPS 643012 WITH SCORE 643704.617
AT ITER 4143 NEW BEST:: SOT 4428814 SOS 692615 HAS SOPS 692615 HAS SOUS 643010 HAS SOUPS 643010 WITH SCORE 643702.615
AT ITER 4153 NEW BEST:: SOT 4428553 SOS 692416 HAS SOPS 692416 HAS SOUS 642748 HAS SOUPS 642748 WITH SCORE 643440.416
AT ITER 4158 NEW BEST:: SOT 4428470 SOS 692404 HAS SOPS 692404 HAS SOUS 642582 HAS SOUPS 642582 WITH SCORE 643274.404
AT ITER 4192 NEW BEST:: SOT 4428222 SOS 692222 HAS SOPS 692222 HAS SOUS 642334 HAS SOUPS 642334 WITH SCORE 643026.222
AT ITER 4207 NEW BEST:: SOT 4427713 SOS 691609 HAS SOPS 691609 HAS SOUS 641701 HAS SOUPS 641701 WITH SCORE 642392.609
AT ITER 4255 NEW BEST:: SOT 4427890 SOS 691713 HAS SOPS 691713 HAS SOUS 641628 HAS SOUPS 641628 WITH SCORE 642319.713
AT ITER 4275 NEW BEST:: SOT 4427619 SOS 691442 HAS SOPS 691442 HAS SOUS 641357 HAS SOUPS 641357 WITH SCORE 642048.442
AT ITER 4279 NEW BEST:: SOT 4427619 SOS 691442 HAS SOPS 691442 HAS SOUS 640952 HAS SOUPS 640952 WITH SCORE 641643.442
AT ITER 4338 NEW BEST:: SOT 4427596 SOS 691396 HAS SOPS 691396 HAS SOUS 640906 HAS SOUPS 640906 WITH SCORE 641597.396
AT ITER 4363 NEW BEST:: SOT 4427517 SOS 690986 HAS SOPS 690986 HAS SOUS 640748 HAS SOUPS 640748 WITH SCORE 641438.986
AT ITER 4382 NEW BEST:: SOT 4427309 SOS 690823 HAS SOPS 690823 HAS SOUS 640572 HAS SOUPS 640572 WITH SCORE 641262.823
AT ITER 4430 NEW BEST:: SOT 4427234 SOS 690673 HAS SOPS 690673 HAS SOUS 640221 HAS SOUPS 640221 WITH SCORE 640911.673
AT ITER 4521 NEW BEST:: SOT 4427182 SOS 690637 HAS SOPS 690637 HAS SOUS 640117 HAS SOUPS 640117 WITH SCORE 640807.637
AT ITER 4539 NEW BEST:: SOT 4427175 SOS 690623 HAS SOPS 690623 HAS SOUS 640103 HAS SOUPS 640103 WITH SCORE 640793.623
AT ITER 4540 NEW BEST:: SOT 4427142 SOS 690812 HAS SOPS 690812 HAS SOUS 640099 HAS SOUPS 640099 WITH SCORE 640789.812
AT ITER 4555 NEW BEST:: SOT 4427238 SOS 691004 HAS SOPS 691004 HAS SOUS 640080 HAS SOUPS 640080 WITH SCORE 640771.004
AT ITER 4564 NEW BEST:: SOT 4427121 SOS 691030 HAS SOPS 691030 HAS SOUS 640035 HAS SOUPS 640035 WITH SCORE 640726.03
AT ITER 4591 NEW BEST:: SOT 4427111 SOS 691010 HAS SOPS 691010 HAS SOUS 640015 HAS SOUPS 640015 WITH SCORE 640706.01
AT ITER 4598 NEW BEST:: SOT 4426972 SOS 691179 HAS SOPS 691179 HAS SOUS 639958 HAS SOUPS 639958 WITH SCORE 640649.179
AT ITER 4611 NEW BEST:: SOT 4426971 SOS 691006 HAS SOPS 691006 HAS SOUS 639816 HAS SOUPS 639816 WITH SCORE 640507.006
AT ITER 4619 NEW BEST:: SOT 4426971 SOS 690857 HAS SOPS 690857 HAS SOUS 639813 HAS SOUPS 639813 WITH SCORE 640503.857
AT ITER 4645 NEW BEST:: SOT 4426971 SOS 690773 HAS SOPS 690773 HAS SOUS 639813 HAS SOUPS 639813 WITH SCORE 640503.773
AT ITER 4691 NEW BEST:: SOT 4427004 SOS 690730 HAS SOPS 690730 HAS SOUS 639770 HAS SOUPS 639770 WITH SCORE 640460.73
AT ITER 4698 NEW BEST:: SOT 4426647 SOS 690311 HAS SOPS 690311 HAS SOUS 639159 HAS SOUPS 639159 WITH SCORE 639849.311
AT ITER 4738 NEW BEST:: SOT 4426280 SOS 688888 HAS SOPS 688888 HAS SOUS 638131 HAS SOUPS 638131 WITH SCORE 638819.888
AT ITER 4743 NEW BEST:: SOT 4426202 SOS 688732 HAS SOPS 688732 HAS SOUS 638118 HAS SOUPS 638118 WITH SCORE 638806.732
AT ITER 4747 NEW BEST:: SOT 4424934 SOS 687780 HAS SOPS 687780 HAS SOUS 637088 HAS SOUPS 637088 WITH SCORE 637775.78
AT ITER 4767 NEW BEST:: SOT 4424934 SOS 687772 HAS SOPS 687772 HAS SOUS 637080 HAS SOUPS 637080 WITH SCORE 637767.772
AT ITER 4777 NEW BEST:: SOT 4424671 SOS 687645 HAS SOPS 687645 HAS SOUS 636950 HAS SOUPS 636950 WITH SCORE 637637.645
AT ITER 4829 NEW BEST:: SOT 4424609 SOS 687645 HAS SOPS 687645 HAS SOUS 636888 HAS SOUPS 636888 WITH SCORE 637575.645
AT ITER 4856 NEW BEST:: SOT 4424329 SOS 687737 HAS SOPS 687737 HAS SOUS 636662 HAS SOUPS 636662 WITH SCORE 637349.737
AT ITER 4859 NEW BEST:: SOT 4424207 SOS 687776 HAS SOPS 687776 HAS SOUS 636638 HAS SOUPS 636638 WITH SCORE 637325.776
AT ITER 4869 NEW BEST:: SOT 4424260 SOS 687723 HAS SOPS 687723 HAS SOUS 636638 HAS SOUPS 636638 WITH SCORE 637325.723
AT ITER 4893 NEW BEST:: SOT 4424148 SOS 687499 HAS SOPS 687499 HAS SOUS 636595 HAS SOUPS 636595 WITH SCORE 637282.499
AT ITER 4901 NEW BEST:: SOT 4424226 SOS 687109 HAS SOPS 687109 HAS SOUS 636595 HAS SOUPS 636595 WITH SCORE 637282.109
AT ITER 4913 NEW BEST:: SOT 4424098 SOS 686981 HAS SOPS 686981 HAS SOUS 636467 HAS SOUPS 636467 WITH SCORE 637153.981
AT ITER 4934 NEW BEST:: SOT 4423990 SOS 686333 HAS SOPS 686333 HAS SOUS 636251 HAS SOUPS 636251 WITH SCORE 636937.333
AT ITER 5016 NEW BEST:: SOT 4424034 SOS 685791 HAS SOPS 685791 HAS SOUS 635980 HAS SOUPS 635980 WITH SCORE 636665.791
AT ITER 5031 NEW BEST:: SOT 4423843 SOS 685409 HAS SOPS 685409 HAS SOUS 635789 HAS SOUPS 635789 WITH SCORE 636474.409
AT ITER 5079 NEW BEST:: SOT 4423503 SOS 685077 HAS SOPS 685077 HAS SOUS 635457 HAS SOUPS 635457 WITH SCORE 636142.077
AT ITER 5090 NEW BEST:: SOT 4423503 SOS 685057 HAS SOPS 685057 HAS SOUS 635437 HAS SOUPS 635437 WITH SCORE 636122.057
AT ITER 5101 NEW BEST:: SOT 4423408 SOS 684867 HAS SOPS 684867 HAS SOUS 635247 HAS SOUPS 635247 WITH SCORE 635931.867
AT ITER 5117 NEW BEST:: SOT 4423324 SOS 684762 HAS SOPS 684762 HAS SOUS 635142 HAS SOUPS 635142 WITH SCORE 635826.762
AT ITER 5131 NEW BEST:: SOT 4423128 SOS 684336 HAS SOPS 684336 HAS SOUS 634742 HAS SOUPS 634742 WITH SCORE 635426.336
AT ITER 5136 NEW BEST:: SOT 4422903 SOS 683436 HAS SOPS 683436 HAS SOUS 634292 HAS SOUPS 634292 WITH SCORE 634975.436
AT ITER 5143 NEW BEST:: SOT 4419832 SOS 696786 HAS SOPS 696786 HAS SOUS 631964 HAS SOUPS 631964 WITH SCORE 632660.786
AT ITER 5144 NEW BEST:: SOT 4419383 SOS 696892 HAS SOPS 696892 HAS SOUS 631642 HAS SOUPS 631642 WITH SCORE 632338.892
AT ITER 5150 NEW BEST:: SOT 4419295 SOS 696716 HAS SOPS 696716 HAS SOUS 631466 HAS SOUPS 631466 WITH SCORE 632162.716
AT ITER 5260 NEW BEST:: SOT 4419309 SOS 696561 HAS SOPS 696561 HAS SOUS 631393 HAS SOUPS 631393 WITH SCORE 632089.561
AT ITER 5275 NEW BEST:: SOT 4419046 SOS 696355 HAS SOPS 696355 HAS SOUS 631164 HAS SOUPS 631164 WITH SCORE 631860.355
AT ITER 5291 NEW BEST:: SOT 4419046 SOS 696354 HAS SOPS 696354 HAS SOUS 631163 HAS SOUPS 631163 WITH SCORE 631859.354
AT ITER 5311 NEW BEST:: SOT 4419020 SOS 696302 HAS SOPS 696302 HAS SOUS 631137 HAS SOUPS 631137 WITH SCORE 631833.302
AT ITER 5331 NEW BEST:: SOT 4418717 SOS 695999 HAS SOPS 695999 HAS SOUS 630834 HAS SOUPS 630834 WITH SCORE 631529.999
AT ITER 5379 NEW BEST:: SOT 4418717 SOS 696147 HAS SOPS 696147 HAS SOUS 630601 HAS SOUPS 630601 WITH SCORE 631297.147
AT ITER 5392 NEW BEST:: SOT 4418717 SOS 696121 HAS SOPS 696121 HAS SOUS 630575 HAS SOUPS 630575 WITH SCORE 631271.121
AT ITER 5425 NEW BEST:: SOT 4418717 SOS 696121 HAS SOPS 696121 HAS SOUS 630483 HAS SOUPS 630483 WITH SCORE 631179.121
AT ITER 5427 NEW BEST:: SOT 4418651 SOS 695989 HAS SOPS 695989 HAS SOUS 630351 HAS SOUPS 630351 WITH SCORE 631046.989
AT ITER 5491 NEW BEST:: SOT 4418602 SOS 696201 HAS SOPS 696201 HAS SOUS 630295 HAS SOUPS 630295 WITH SCORE 630991.201
AT ITER 5508 NEW BEST:: SOT 4418575 SOS 696253 HAS SOPS 696253 HAS SOUS 630292 HAS SOUPS 630292 WITH SCORE 630988.253
AT ITER 5529 NEW BEST:: SOT 4418528 SOS 695447 HAS SOPS 695447 HAS SOUS 630056 HAS SOUPS 630056 WITH SCORE 630751.447
AT ITER 5531 NEW BEST:: SOT 4418528 SOS 695446 HAS SOPS 695446 HAS SOUS 630055 HAS SOUPS 630055 WITH SCORE 630750.446
AT ITER 5551 NEW BEST:: SOT 4418528 SOS 695445 HAS SOPS 695445 HAS SOUS 630031 HAS SOUPS 630031 WITH SCORE 630726.445
AT ITER 5574 NEW BEST:: SOT 4418455 SOS 695411 HAS SOPS 695411 HAS SOUS 629958 HAS SOUPS 629958 WITH SCORE 630653.411
AT ITER 5656 NEW BEST:: SOT 4418261 SOS 695217 HAS SOPS 695217 HAS SOUS 629764 HAS SOUPS 629764 WITH SCORE 630459.217
AT ITER 5678 NEW BEST:: SOT 4418106 SOS 694907 HAS SOPS 694907 HAS SOUS 629608 HAS SOUPS 629608 WITH SCORE 630302.907
AT ITER 5725 NEW BEST:: SOT 4417699 SOS 694729 HAS SOPS 694729 HAS SOUS 629229 HAS SOUPS 629229 WITH SCORE 629923.729
AT ITER 5741 NEW BEST:: SOT 4417561 SOS 694591 HAS SOPS 694591 HAS SOUS 629091 HAS SOUPS 629091 WITH SCORE 629785.591
AT ITER 5751 NEW BEST:: SOT 4417471 SOS 694411 HAS SOPS 694411 HAS SOUS 629001 HAS SOUPS 629001 WITH SCORE 629695.411
AT ITER 5763 NEW BEST:: SOT 4417464 SOS 694874 HAS SOPS 694874 HAS SOUS 628994 HAS SOUPS 628994 WITH SCORE 629688.874
AT ITER 5804 NEW BEST:: SOT 4417467 SOS 694178 HAS SOPS 694178 HAS SOUS 628705 HAS SOUPS 628705 WITH SCORE 629399.178
AT ITER 5844 NEW BEST:: SOT 4417467 SOS 694053 HAS SOPS 694053 HAS SOUS 628580 HAS SOUPS 628580 WITH SCORE 629274.053
AT ITER 5847 NEW BEST:: SOT 4417415 SOS 693949 HAS SOPS 693949 HAS SOUS 628502 HAS SOUPS 628502 WITH SCORE 629195.949
AT ITER 5878 NEW BEST:: SOT 4417415 SOS 693948 HAS SOPS 693948 HAS SOUS 628501 HAS SOUPS 628501 WITH SCORE 629194.948
AT ITER 5895 NEW BEST:: SOT 4417383 SOS 693884 HAS SOPS 693884 HAS SOUS 628469 HAS SOUPS 628469 WITH SCORE 629162.884
AT ITER 5937 NEW BEST:: SOT 4417320 SOS 693758 HAS SOPS 693758 HAS SOUS 628371 HAS SOUPS 628371 WITH SCORE 629064.758
AT ITER 5942 NEW BEST:: SOT 4417341 SOS 693745 HAS SOPS 693745 HAS SOUS 628358 HAS SOUPS 628358 WITH SCORE 629051.745
AT ITER 5955 NEW BEST:: SOT 4417151 SOS 693365 HAS SOPS 693365 HAS SOUS 627978 HAS SOUPS 627978 WITH SCORE 628671.365
AT ITER 5974 NEW BEST:: SOT 4417196 SOS 693226 HAS SOPS 693226 HAS SOUS 627839 HAS SOUPS 627839 WITH SCORE 628532.226
AT ITER 5996 NEW BEST:: SOT 4417196 SOS 693220 HAS SOPS 693220 HAS SOUS 627839 HAS SOUPS 627839 WITH SCORE 628532.22
AT ITER 6007 NEW BEST:: SOT 4417196 SOS 693219 HAS SOPS 693219 HAS SOUS 627838 HAS SOUPS 627838 WITH SCORE 628531.219
AT ITER 6026 NEW BEST:: SOT 4417132 SOS 693091 HAS SOPS 693091 HAS SOUS 627837 HAS SOUPS 627837 WITH SCORE 628530.091
AT ITER 6061 NEW BEST:: SOT 4417076 SOS 692979 HAS SOPS 692979 HAS SOUS 627725 HAS SOUPS 627725 WITH SCORE 628417.979
AT ITER 6062 NEW BEST:: SOT 4417064 SOS 693334 HAS SOPS 693334 HAS SOUS 627402 HAS SOUPS 627402 WITH SCORE 628095.334
AT ITER 6068 NEW BEST:: SOT 4417064 SOS 693324 HAS SOPS 693324 HAS SOUS 627392 HAS SOUPS 627392 WITH SCORE 628085.324
AT ITER 6078 NEW BEST:: SOT 4416977 SOS 693095 HAS SOPS 693095 HAS SOUS 627250 HAS SOUPS 627250 WITH SCORE 627943.095
AT ITER 6104 NEW BEST:: SOT 4416917 SOS 692975 HAS SOPS 692975 HAS SOUS 627130 HAS SOUPS 627130 WITH SCORE 627822.975
AT ITER 6130 NEW BEST:: SOT 4416941 SOS 692969 HAS SOPS 692969 HAS SOUS 627127 HAS SOUPS 627127 WITH SCORE 627819.969
AT ITER 6140 NEW BEST:: SOT 4416941 SOS 692968 HAS SOPS 692968 HAS SOUS 627126 HAS SOUPS 627126 WITH SCORE 627818.968
AT ITER 6148 NEW BEST:: SOT 4416939 SOS 692964 HAS SOPS 692964 HAS SOUS 627122 HAS SOUPS 627122 WITH SCORE 627814.964
AT ITER 6181 NEW BEST:: SOT 4416836 SOS 693022 HAS SOPS 693022 HAS SOUS 627036 HAS SOUPS 627036 WITH SCORE 627729.022
AT ITER 6196 NEW BEST:: SOT 4416694 SOS 692738 HAS SOPS 692738 HAS SOUS 626855 HAS SOUPS 626855 WITH SCORE 627547.738
AT ITER 6205 NEW BEST:: SOT 4416543 SOS 692689 HAS SOPS 692689 HAS SOUS 626704 HAS SOUPS 626704 WITH SCORE 627396.689
AT ITER 6207 NEW BEST:: SOT 4416471 SOS 692617 HAS SOPS 692617 HAS SOUS 626632 HAS SOUPS 626632 WITH SCORE 627324.617
AT ITER 6219 NEW BEST:: SOT 4416035 SOS 692290 HAS SOPS 692290 HAS SOUS 626305 HAS SOUPS 626305 WITH SCORE 626997.29
AT ITER 6230 NEW BEST:: SOT 4415985 SOS 692190 HAS SOPS 692190 HAS SOUS 626110 HAS SOUPS 626110 WITH SCORE 626802.19
AT ITER 6245 NEW BEST:: SOT 4415982 SOS 692184 HAS SOPS 692184 HAS SOUS 626104 HAS SOUPS 626104 WITH SCORE 626796.184
AT ITER 6409 NEW BEST:: SOT 4415982 SOS 692184 HAS SOPS 692184 HAS SOUS 626005 HAS SOUPS 626005 WITH SCORE 626697.184
AT ITER 6428 NEW BEST:: SOT 4415862 SOS 692309 HAS SOPS 692309 HAS SOUS 625788 HAS SOUPS 625788 WITH SCORE 626480.309
AT ITER 6441 NEW BEST:: SOT 4415392 SOS 691776 HAS SOPS 691776 HAS SOUS 625255 HAS SOUPS 625255 WITH SCORE 625946.776
AT ITER 6449 NEW BEST:: SOT 4415151 SOS 691810 HAS SOPS 691810 HAS SOUS 625014 HAS SOUPS 625014 WITH SCORE 625705.81
AT ITER 6455 NEW BEST:: SOT 4415020 SOS 691719 HAS SOPS 691719 HAS SOUS 624923 HAS SOUPS 624923 WITH SCORE 625614.719
AT ITER 6484 NEW BEST:: SOT 4414844 SOS 691367 HAS SOPS 691367 HAS SOUS 624571 HAS SOUPS 624571 WITH SCORE 625262.367
AT ITER 6504 NEW BEST:: SOT 4414323 SOS 691579 HAS SOPS 691579 HAS SOUS 624259 HAS SOUPS 624259 WITH SCORE 624950.579
AT ITER 6508 NEW BEST:: SOT 4414291 SOS 691563 HAS SOPS 691563 HAS SOUS 624243 HAS SOUPS 624243 WITH SCORE 624934.563
AT ITER 6531 NEW BEST:: SOT 4413730 SOS 691131 HAS SOPS 691131 HAS SOUS 623578 HAS SOUPS 623578 WITH SCORE 624269.131
AT ITER 6542 NEW BEST:: SOT 4413701 SOS 691745 HAS SOPS 691745 HAS SOUS 623425 HAS SOUPS 623425 WITH SCORE 624116.745
AT ITER 6567 NEW BEST:: SOT 4413598 SOS 691539 HAS SOPS 691539 HAS SOUS 623322 HAS SOUPS 623322 WITH SCORE 624013.539
AT ITER 6610 NEW BEST:: SOT 4413576 SOS 691539 HAS SOPS 691539 HAS SOUS 623311 HAS SOUPS 623311 WITH SCORE 624002.539
AT ITER 6613 NEW BEST:: SOT 4413574 SOS 691535 HAS SOPS 691535 HAS SOUS 623307 HAS SOUPS 623307 WITH SCORE 623998.535
AT ITER 6615 NEW BEST:: SOT 4413574 SOS 691534 HAS SOPS 691534 HAS SOUS 623306 HAS SOUPS 623306 WITH SCORE 623997.534
AT ITER 6671 NEW BEST:: SOT 4412946 SOS 691717 HAS SOPS 691717 HAS SOUS 622825 HAS SOUPS 622825 WITH SCORE 623516.717
AT ITER 6686 NEW BEST:: SOT 4412914 SOS 691173 HAS SOPS 691173 HAS SOUS 622603 HAS SOUPS 622603 WITH SCORE 623294.173
AT ITER 6748 NEW BEST:: SOT 4412605 SOS 691119 HAS SOPS 691119 HAS SOUS 622489 HAS SOUPS 622489 WITH SCORE 623180.119
AT ITER 6758 NEW BEST:: SOT 4412543 SOS 690995 HAS SOPS 690995 HAS SOUS 622413 HAS SOUPS 622413 WITH SCORE 623103.995
AT ITER 6767 NEW BEST:: SOT 4412833 SOS 691002 HAS SOPS 691002 HAS SOUS 622313 HAS SOUPS 622313 WITH SCORE 623004.002
AT ITER 6859 NEW BEST:: SOT 4412833 SOS 690728 HAS SOPS 690728 HAS SOUS 622039 HAS SOUPS 622039 WITH SCORE 622729.728
AT ITER 6910 NEW BEST:: SOT 4412820 SOS 690661 HAS SOPS 690661 HAS SOUS 622013 HAS SOUPS 622013 WITH SCORE 622703.661
AT ITER 6931 NEW BEST:: SOT 4412820 SOS 690547 HAS SOPS 690547 HAS SOUS 621899 HAS SOUPS 621899 WITH SCORE 622589.547
AT ITER 6946 NEW BEST:: SOT 4412820 SOS 690547 HAS SOPS 690547 HAS SOUS 621898 HAS SOUPS 621898 WITH SCORE 622588.547
AT ITER 6970 NEW BEST:: SOT 4412989 SOS 690885 HAS SOPS 690885 HAS SOUS 621857 HAS SOUPS 621857 WITH SCORE 622547.885
AT ITER 6979 NEW BEST:: SOT 4412964 SOS 690835 HAS SOPS 690835 HAS SOUS 621807 HAS SOUPS 621807 WITH SCORE 622497.835
AT ITER 6988 NEW BEST:: SOT 4412823 SOS 690343 HAS SOPS 690343 HAS SOUS 621666 HAS SOUPS 621666 WITH SCORE 622356.343
AT ITER 7019 NEW BEST:: SOT 4412774 SOS 690245 HAS SOPS 690245 HAS SOUS 621568 HAS SOUPS 621568 WITH SCORE 622258.245
AT ITER 7097 NEW BEST:: SOT 4412759 SOS 690200 HAS SOPS 690200 HAS SOUS 621538 HAS SOUPS 621538 WITH SCORE 622228.2
AT ITER 7107 NEW BEST:: SOT 4412737 SOS 690156 HAS SOPS 690156 HAS SOUS 621494 HAS SOUPS 621494 WITH SCORE 622184.156
AT ITER 7125 NEW BEST:: SOT 4412737 SOS 689854 HAS SOPS 689854 HAS SOUS 621343 HAS SOUPS 621343 WITH SCORE 622032.854
AT ITER 7142 NEW BEST:: SOT 4412735 SOS 689850 HAS SOPS 689850 HAS SOUS 621341 HAS SOUPS 621341 WITH SCORE 622030.85
AT ITER 7151 NEW BEST:: SOT 4412371 SOS 689156 HAS SOPS 689156 HAS SOUS 620970 HAS SOUPS 620970 WITH SCORE 621659.156
AT ITER 7183 NEW BEST:: SOT 4412348 SOS 689110 HAS SOPS 689110 HAS SOUS 620924 HAS SOUPS 620924 WITH SCORE 621613.11
AT ITER 7184 NEW BEST:: SOT 4412052 SOS 689170 HAS SOPS 689170 HAS SOUS 620751 HAS SOUPS 620751 WITH SCORE 621440.17
AT ITER 7196 NEW BEST:: SOT 4411973 SOS 689012 HAS SOPS 689012 HAS SOUS 620671 HAS SOUPS 620671 WITH SCORE 621360.012
AT ITER 7235 NEW BEST:: SOT 4411947 SOS 688960 HAS SOPS 688960 HAS SOUS 620606 HAS SOUPS 620606 WITH SCORE 621294.96
AT ITER 7256 NEW BEST:: SOT 4411947 SOS 688960 HAS SOPS 688960 HAS SOUS 620543 HAS SOUPS 620543 WITH SCORE 621231.96
AT ITER 7257 NEW BEST:: SOT 4411942 SOS 688950 HAS SOPS 688950 HAS SOUS 620538 HAS SOUPS 620538 WITH SCORE 621226.95
AT ITER 7298 NEW BEST:: SOT 4411917 SOS 688900 HAS SOPS 688900 HAS SOUS 620513 HAS SOUPS 620513 WITH SCORE 621201.9
AT ITER 7302 NEW BEST:: SOT 4412008 SOS 688778 HAS SOPS 688778 HAS SOUS 620300 HAS SOUPS 620300 WITH SCORE 620988.778
AT ITER 7327 NEW BEST:: SOT 4411856 SOS 688474 HAS SOPS 688474 HAS SOUS 619996 HAS SOUPS 619996 WITH SCORE 620684.474
AT ITER 7342 NEW BEST:: SOT 4411791 SOS 688344 HAS SOPS 688344 HAS SOUS 619866 HAS SOUPS 619866 WITH SCORE 620554.344
AT ITER 7359 NEW BEST:: SOT 4411791 SOS 688326 HAS SOPS 688326 HAS SOUS 619848 HAS SOUPS 619848 WITH SCORE 620536.326
AT ITER 7390 NEW BEST:: SOT 4411774 SOS 687808 HAS SOPS 687808 HAS SOUS 619589 HAS SOUPS 619589 WITH SCORE 620276.808
AT ITER 7414 NEW BEST:: SOT 4411719 SOS 687787 HAS SOPS 687787 HAS SOUS 619568 HAS SOUPS 619568 WITH SCORE 620255.787
AT ITER 7416 NEW BEST:: SOT 4411898 SOS 686625 HAS SOPS 686625 HAS SOUS 619367 HAS SOUPS 619367 WITH SCORE 620053.625
AT ITER 7432 NEW BEST:: SOT 4411882 SOS 686611 HAS SOPS 686611 HAS SOUS 619353 HAS SOUPS 619353 WITH SCORE 620039.611
AT ITER 7462 NEW BEST:: SOT 4411833 SOS 686513 HAS SOPS 686513 HAS SOUS 619304 HAS SOUPS 619304 WITH SCORE 619990.513
AT ITER 7510 NEW BEST:: SOT 4411833 SOS 686513 HAS SOPS 686513 HAS SOUS 619303 HAS SOUPS 619303 WITH SCORE 619989.513
AT ITER 7514 NEW BEST:: SOT 4411608 SOS 686063 HAS SOPS 686063 HAS SOUS 618920 HAS SOUPS 618920 WITH SCORE 619606.063
AT ITER 7521 NEW BEST:: SOT 4411536 SOS 685991 HAS SOPS 685991 HAS SOUS 618848 HAS SOUPS 618848 WITH SCORE 619533.991
AT ITER 7529 NEW BEST:: SOT 4411394 SOS 685707 HAS SOPS 685707 HAS SOUS 618624 HAS SOUPS 618624 WITH SCORE 619309.707
AT ITER 7535 NEW BEST:: SOT 4411341 SOS 685601 HAS SOPS 685601 HAS SOUS 618571 HAS SOUPS 618571 WITH SCORE 619256.601
AT ITER 7573 NEW BEST:: SOT 4411291 SOS 685501 HAS SOPS 685501 HAS SOUS 618521 HAS SOUPS 618521 WITH SCORE 619206.501
AT ITER 7576 NEW BEST:: SOT 4411267 SOS 685477 HAS SOPS 685477 HAS SOUS 618485 HAS SOUPS 618485 WITH SCORE 619170.477
AT ITER 7597 NEW BEST:: SOT 4411008 SOS 684958 HAS SOPS 684958 HAS SOUS 617780 HAS SOUPS 617780 WITH SCORE 618464.958
AT ITER 7639 NEW BEST:: SOT 4410921 SOS 684607 HAS SOPS 684607 HAS SOUS 617614 HAS SOUPS 617614 WITH SCORE 618298.607
AT ITER 7655 NEW BEST:: SOT 4410832 SOS 684429 HAS SOPS 684429 HAS SOUS 617525 HAS SOUPS 617525 WITH SCORE 618209.429
AT ITER 7668 NEW BEST:: SOT 4410470 SOS 683677 HAS SOPS 683677 HAS SOUS 617063 HAS SOUPS 617063 WITH SCORE 617746.677
AT ITER 7683 NEW BEST:: SOT 4410393 SOS 683669 HAS SOPS 683669 HAS SOUS 617006 HAS SOUPS 617006 WITH SCORE 617689.669
AT ITER 7705 NEW BEST:: SOT 4410237 SOS 683389 HAS SOPS 683389 HAS SOUS 616746 HAS SOUPS 616746 WITH SCORE 617429.389
AT ITER 7707 NEW BEST:: SOT 4410155 SOS 683368 HAS SOPS 683368 HAS SOUS 616725 HAS SOUPS 616725 WITH SCORE 617408.368
AT ITER 7743 NEW BEST:: SOT 4410155 SOS 683367 HAS SOPS 683367 HAS SOUS 616724 HAS SOUPS 616724 WITH SCORE 617407.367
AT ITER 7754 NEW BEST:: SOT 4410118 SOS 683293 HAS SOPS 683293 HAS SOUS 616650 HAS SOUPS 616650 WITH SCORE 617333.293
AT ITER 7774 NEW BEST:: SOT 4409881 SOS 683069 HAS SOPS 683069 HAS SOUS 616404 HAS SOUPS 616404 WITH SCORE 617087.069
AT ITER 7906 NEW BEST:: SOT 4409787 SOS 683011 HAS SOPS 683011 HAS SOUS 616310 HAS SOUPS 616310 WITH SCORE 616993.011
AT ITER 7920 NEW BEST:: SOT 4409784 SOS 682997 HAS SOPS 682997 HAS SOUS 616296 HAS SOUPS 616296 WITH SCORE 616978.997
AT ITER 7973 NEW BEST:: SOT 4409793 SOS 683015 HAS SOPS 683015 HAS SOUS 616276 HAS SOUPS 616276 WITH SCORE 616959.015
AT ITER 7986 NEW BEST:: SOT 4409630 SOS 682688 HAS SOPS 682688 HAS SOUS 615785 HAS SOUPS 615785 WITH SCORE 616467.688
AT ITER 8036 NEW BEST:: SOT 4409422 SOS 683108 HAS SOPS 683108 HAS SOUS 615719 HAS SOUPS 615719 WITH SCORE 616402.108
AT ITER 8049 NEW BEST:: SOT 4409343 SOS 682950 HAS SOPS 682950 HAS SOUS 615567 HAS SOUPS 615567 WITH SCORE 616249.95
AT ITER 8071 NEW BEST:: SOT 4409306 SOS 682968 HAS SOPS 682968 HAS SOUS 615551 HAS SOUPS 615551 WITH SCORE 616233.968
AT ITER 8133 NEW BEST:: SOT 4409280 SOS 682958 HAS SOPS 682958 HAS SOUS 615541 HAS SOUPS 615541 WITH SCORE 616223.958
AT ITER 8152 NEW BEST:: SOT 4409157 SOS 682712 HAS SOPS 682712 HAS SOUS 615098 HAS SOUPS 615098 WITH SCORE 615780.712
AT ITER 8177 NEW BEST:: SOT 4408984 SOS 682564 HAS SOPS 682564 HAS SOUS 614925 HAS SOUPS 614925 WITH SCORE 615607.564
AT ITER 8196 NEW BEST:: SOT 4408876 SOS 682492 HAS SOPS 682492 HAS SOUS 614817 HAS SOUPS 614817 WITH SCORE 615499.492
AT ITER 8199 NEW BEST:: SOT 4408849 SOS 682483 HAS SOPS 682483 HAS SOUS 614790 HAS SOUPS 614790 WITH SCORE 615472.483
AT ITER 8208 NEW BEST:: SOT 4408786 SOS 682357 HAS SOPS 682357 HAS SOUS 614664 HAS SOUPS 614664 WITH SCORE 615346.357
AT ITER 8245 NEW BEST:: SOT 4408672 SOS 682129 HAS SOPS 682129 HAS SOUS 614436 HAS SOUPS 614436 WITH SCORE 615118.129
AT ITER 8247 NEW BEST:: SOT 4408588 SOS 681961 HAS SOPS 681961 HAS SOUS 614268 HAS SOUPS 614268 WITH SCORE 614949.961
AT ITER 8261 NEW BEST:: SOT 4408587 SOS 681965 HAS SOPS 681965 HAS SOUS 614267 HAS SOUPS 614267 WITH SCORE 614948.965
AT ITER 8269 NEW BEST:: SOT 4408367 SOS 681525 HAS SOPS 681525 HAS SOUS 614172 HAS SOUPS 614172 WITH SCORE 614853.525
AT ITER 8306 NEW BEST:: SOT 4408315 SOS 681421 HAS SOPS 681421 HAS SOUS 614068 HAS SOUPS 614068 WITH SCORE 614749.421
AT ITER 8330 NEW BEST:: SOT 4408252 SOS 681504 HAS SOPS 681504 HAS SOUS 614005 HAS SOUPS 614005 WITH SCORE 614686.504
AT ITER 8354 NEW BEST:: SOT 4408240 SOS 681601 HAS SOPS 681601 HAS SOUS 613993 HAS SOUPS 613993 WITH SCORE 614674.601
AT ITER 8366 NEW BEST:: SOT 4408188 SOS 681549 HAS SOPS 681549 HAS SOUS 613941 HAS SOUPS 613941 WITH SCORE 614622.549
AT ITER 8378 NEW BEST:: SOT 4408140 SOS 681453 HAS SOPS 681453 HAS SOUS 613900 HAS SOUPS 613900 WITH SCORE 614581.453
AT ITER 8388 NEW BEST:: SOT 4407938 SOS 681049 HAS SOPS 681049 HAS SOUS 613698 HAS SOUPS 613698 WITH SCORE 614379.049
AT ITER 8401 NEW BEST:: SOT 4407938 SOS 681049 HAS SOPS 681049 HAS SOUS 613606 HAS SOUPS 613606 WITH SCORE 614287.049
AT ITER 8419 NEW BEST:: SOT 4407910 SOS 680965 HAS SOPS 680965 HAS SOUS 613577 HAS SOUPS 613577 WITH SCORE 614257.965
AT ITER 8432 NEW BEST:: SOT 4407900 SOS 680945 HAS SOPS 680945 HAS SOUS 613557 HAS SOUPS 613557 WITH SCORE 614237.945
AT ITER 8492 NEW BEST:: SOT 4408244 SOS 681254 HAS SOPS 681254 HAS SOUS 613522 HAS SOUPS 613522 WITH SCORE 614203.254
AT ITER 8516 NEW BEST:: SOT 4408194 SOS 681154 HAS SOPS 681154 HAS SOUS 613422 HAS SOUPS 613422 WITH SCORE 614103.154
AT ITER 8517 NEW BEST:: SOT 4408151 SOS 681068 HAS SOPS 681068 HAS SOUS 613336 HAS SOUPS 613336 WITH SCORE 614017.068
AT ITER 8518 NEW BEST:: SOT 4408078 SOS 680922 HAS SOPS 680922 HAS SOUS 613190 HAS SOUPS 613190 WITH SCORE 613870.922
AT ITER 8571 NEW BEST:: SOT 4408038 SOS 680882 HAS SOPS 680882 HAS SOUS 613150 HAS SOUPS 613150 WITH SCORE 613830.882
AT ITER 8575 NEW BEST:: SOT 4408038 SOS 680881 HAS SOPS 680881 HAS SOUS 613149 HAS SOUPS 613149 WITH SCORE 613829.881
AT ITER 8650 NEW BEST:: SOT 4407974 SOS 680975 HAS SOPS 680975 HAS SOUS 613021 HAS SOUPS 613021 WITH SCORE 613701.975
AT ITER 8652 NEW BEST:: SOT 4407974 SOS 680975 HAS SOPS 680975 HAS SOUS 612728 HAS SOUPS 612728 WITH SCORE 613408.975
AT ITER 8675 NEW BEST:: SOT 4407897 SOS 680821 HAS SOPS 680821 HAS SOUS 612529 HAS SOUPS 612529 WITH SCORE 613209.821
AT ITER 8681 NEW BEST:: SOT 4407770 SOS 680706 HAS SOPS 680706 HAS SOUS 612402 HAS SOUPS 612402 WITH SCORE 613082.706
AT ITER 8743 NEW BEST:: SOT 4407651 SOS 680253 HAS SOPS 680253 HAS SOUS 612068 HAS SOUPS 612068 WITH SCORE 612748.253
AT ITER 8777 NEW BEST:: SOT 4407625 SOS 680208 HAS SOPS 680208 HAS SOUS 612041 HAS SOUPS 612041 WITH SCORE 612721.208
AT ITER 8794 NEW BEST:: SOT 4407482 SOS 679922 HAS SOPS 679922 HAS SOUS 611755 HAS SOUPS 611755 WITH SCORE 612434.922
AT ITER 8849 NEW BEST:: SOT 4407497 SOS 680066 HAS SOPS 680066 HAS SOUS 611722 HAS SOUPS 611722 WITH SCORE 612402.066
AT ITER 8946 NEW BEST:: SOT 4407462 SOS 679961 HAS SOPS 679961 HAS SOUS 611652 HAS SOUPS 611652 WITH SCORE 612331.961
AT ITER 8970 NEW BEST:: SOT 4407206 SOS 679420 HAS SOPS 679420 HAS SOUS 611356 HAS SOUPS 611356 WITH SCORE 612035.42
AT ITER 9018 NEW BEST:: SOT 4407150 SOS 679308 HAS SOPS 679308 HAS SOUS 611244 HAS SOUPS 611244 WITH SCORE 611923.308
AT ITER 9025 NEW BEST:: SOT 4407131 SOS 679332 HAS SOPS 679332 HAS SOUS 611225 HAS SOUPS 611225 WITH SCORE 611904.332
AT ITER 9058 NEW BEST:: SOT 4407163 SOS 679396 HAS SOPS 679396 HAS SOUS 611116 HAS SOUPS 611116 WITH SCORE 611795.396
AT ITER 9074 NEW BEST:: SOT 4407163 SOS 679395 HAS SOPS 679395 HAS SOUS 611115 HAS SOUPS 611115 WITH SCORE 611794.395
AT ITER 9077 NEW BEST:: SOT 4407163 SOS 679395 HAS SOPS 679395 HAS SOUS 610971 HAS SOUPS 610971 WITH SCORE 611650.395
AT ITER 9190 NEW BEST:: SOT 4406982 SOS 679291 HAS SOPS 679291 HAS SOUS 610834 HAS SOUPS 610834 WITH SCORE 611513.291
AT ITER 9206 NEW BEST:: SOT 4406868 SOS 679063 HAS SOPS 679063 HAS SOUS 610798 HAS SOUPS 610798 WITH SCORE 611477.063
AT ITER 9239 NEW BEST:: SOT 4406868 SOS 678986 HAS SOPS 678986 HAS SOUS 610721 HAS SOUPS 610721 WITH SCORE 611399.986
AT ITER 9254 NEW BEST:: SOT 4406703 SOS 679624 HAS SOPS 679624 HAS SOUS 610700 HAS SOUPS 610700 WITH SCORE 611379.624
AT ITER 9256 NEW BEST:: SOT 4406418 SOS 679188 HAS SOPS 679188 HAS SOUS 610578 HAS SOUPS 610578 WITH SCORE 611257.188
AT ITER 9309 NEW BEST:: SOT 4406265 SOS 679281 HAS SOPS 679281 HAS SOUS 610567 HAS SOUPS 610567 WITH SCORE 611246.281
AT ITER 9320 NEW BEST:: SOT 4406265 SOS 679193 HAS SOPS 679193 HAS SOUS 610479 HAS SOUPS 610479 WITH SCORE 611158.193
AT ITER 9323 NEW BEST:: SOT 4406265 SOS 679016 HAS SOPS 679016 HAS SOUS 610302 HAS SOUPS 610302 WITH SCORE 610981.016
AT ITER 9352 NEW BEST:: SOT 4406185 SOS 678856 HAS SOPS 678856 HAS SOUS 610151 HAS SOUPS 610151 WITH SCORE 610829.856
AT ITER 9354 NEW BEST:: SOT 4405861 SOS 678532 HAS SOPS 678532 HAS SOUS 609827 HAS SOUPS 609827 WITH SCORE 610505.532
AT ITER 9390 NEW BEST:: SOT 4405671 SOS 678152 HAS SOPS 678152 HAS SOUS 609447 HAS SOUPS 609447 WITH SCORE 610125.152
AT ITER 9399 NEW BEST:: SOT 4405670 SOS 678150 HAS SOPS 678150 HAS SOUS 609445 HAS SOUPS 609445 WITH SCORE 610123.15
AT ITER 9438 NEW BEST:: SOT 4405670 SOS 677939 HAS SOPS 677939 HAS SOUS 609445 HAS SOUPS 609445 WITH SCORE 610122.939
AT ITER 9442 NEW BEST:: SOT 4405419 SOS 677617 HAS SOPS 677617 HAS SOUS 609324 HAS SOUPS 609324 WITH SCORE 610001.617
AT ITER 9478 NEW BEST:: SOT 4405278 SOS 681353 HAS SOPS 681353 HAS SOUS 609281 HAS SOUPS 609281 WITH SCORE 609962.353
AT ITER 9490 NEW BEST:: SOT 4405277 SOS 681351 HAS SOPS 681351 HAS SOUS 609279 HAS SOUPS 609279 WITH SCORE 609960.351
AT ITER 9493 NEW BEST:: SOT 4405316 SOS 681123 HAS SOPS 681123 HAS SOUS 609216 HAS SOUPS 609216 WITH SCORE 609897.123
AT ITER 9529 NEW BEST:: SOT 4405351 SOS 680889 HAS SOPS 680889 HAS SOUS 609103 HAS SOUPS 609103 WITH SCORE 609783.889
AT ITER 9530 NEW BEST:: SOT 4405198 SOS 680583 HAS SOPS 680583 HAS SOUS 608797 HAS SOUPS 608797 WITH SCORE 609477.583
AT ITER 9576 NEW BEST:: SOT 4405186 SOS 680559 HAS SOPS 680559 HAS SOUS 608773 HAS SOUPS 608773 WITH SCORE 609453.559
AT ITER 9581 NEW BEST:: SOT 4404902 SOS 679991 HAS SOPS 679991 HAS SOUS 608584 HAS SOUPS 608584 WITH SCORE 609263.991
AT ITER 9590 NEW BEST:: SOT 4404824 SOS 679913 HAS SOPS 679913 HAS SOUS 608506 HAS SOUPS 608506 WITH SCORE 609185.913
AT ITER 9602 NEW BEST:: SOT 4404759 SOS 679913 HAS SOPS 679913 HAS SOUS 608441 HAS SOUPS 608441 WITH SCORE 609120.913
AT ITER 9665 NEW BEST:: SOT 4404621 SOS 679637 HAS SOPS 679637 HAS SOUS 608165 HAS SOUPS 608165 WITH SCORE 608844.637
AT ITER 9667 NEW BEST:: SOT 4404621 SOS 679616 HAS SOPS 679616 HAS SOUS 608144 HAS SOUPS 608144 WITH SCORE 608823.616
AT ITER 9687 NEW BEST:: SOT 4404266 SOS 679722 HAS SOPS 679722 HAS SOUS 607780 HAS SOUPS 607780 WITH SCORE 608459.722
AT ITER 9689 NEW BEST:: SOT 4404265 SOS 679720 HAS SOPS 679720 HAS SOUS 607778 HAS SOUPS 607778 WITH SCORE 608457.72
AT ITER 9702 NEW BEST:: SOT 4404265 SOS 679686 HAS SOPS 679686 HAS SOUS 607778 HAS SOUPS 607778 WITH SCORE 608457.686
AT ITER 9742 NEW BEST:: SOT 4404202 SOS 679560 HAS SOPS 679560 HAS SOUS 607715 HAS SOUPS 607715 WITH SCORE 608394.56
AT ITER 9744 NEW BEST:: SOT 4404018 SOS 679192 HAS SOPS 679192 HAS SOUS 607350 HAS SOUPS 607350 WITH SCORE 608029.192
AT ITER 9747 NEW BEST:: SOT 4403781 SOS 678718 HAS SOPS 678718 HAS SOUS 606876 HAS SOUPS 606876 WITH SCORE 607554.718
AT ITER 9755 NEW BEST:: SOT 4403685 SOS 678526 HAS SOPS 678526 HAS SOUS 606684 HAS SOUPS 606684 WITH SCORE 607362.526
AT ITER 9791 NEW BEST:: SOT 4403362 SOS 679908 HAS SOPS 679908 HAS SOUS 606568 HAS SOUPS 606568 WITH SCORE 607247.908
AT ITER 9807 NEW BEST:: SOT 4403336 SOS 679856 HAS SOPS 679856 HAS SOUS 606542 HAS SOUPS 606542 WITH SCORE 607221.856
AT ITER 9819 NEW BEST:: SOT 4403570 SOS 679943 HAS SOPS 679943 HAS SOUS 606383 HAS SOUPS 606383 WITH SCORE 607062.943
AT ITER 9832 NEW BEST:: SOT 4403484 SOS 679943 HAS SOPS 679943 HAS SOUS 606340 HAS SOUPS 606340 WITH SCORE 607019.943
AT ITER 9840 NEW BEST:: SOT 4403471 SOS 679917 HAS SOPS 679917 HAS SOUS 606314 HAS SOUPS 606314 WITH SCORE 606993.917
AT ITER 9864 NEW BEST:: SOT 4403394 SOS 679763 HAS SOPS 679763 HAS SOUS 606237 HAS SOUPS 606237 WITH SCORE 606916.763
AT ITER 9868 NEW BEST:: SOT 4403289 SOS 679553 HAS SOPS 679553 HAS SOUS 605955 HAS SOUPS 605955 WITH SCORE 606634.553
AT ITER 9874 NEW BEST:: SOT 4403346 SOS 679297 HAS SOPS 679297 HAS SOUS 605642 HAS SOUPS 605642 WITH SCORE 606321.297
AT ITER 9878 NEW BEST:: SOT 4403270 SOS 679145 HAS SOPS 679145 HAS SOUS 605490 HAS SOUPS 605490 WITH SCORE 606169.145
AT ITER 9917 NEW BEST:: SOT 4403143 SOS 678891 HAS SOPS 678891 HAS SOUS 605362 HAS SOUPS 605362 WITH SCORE 606040.891
AT ITER 9918 NEW BEST:: SOT 4403106 SOS 678817 HAS SOPS 678817 HAS SOUS 605318 HAS SOUPS 605318 WITH SCORE 605996.817
AT ITER 9932 NEW BEST:: SOT 4403106 SOS 678800 HAS SOPS 678800 HAS SOUS 605318 HAS SOUPS 605318 WITH SCORE 605996.8
AT ITER 9938 NEW BEST:: SOT 4403106 SOS 678800 HAS SOPS 678800 HAS SOUS 605238 HAS SOUPS 605238 WITH SCORE 605916.8
AT ITER 9954 NEW BEST:: SOT 4403067 SOS 678722 HAS SOPS 678722 HAS SOUS 605160 HAS SOUPS 605160 WITH SCORE 605838.722
AT ITER 9979 NEW BEST:: SOT 4402895 SOS 678378 HAS SOPS 678378 HAS SOUS 604816 HAS SOUPS 604816 WITH SCORE 605494.378
AT ITER 9984 NEW BEST:: SOT 4402821 SOS 678208 HAS SOPS 678208 HAS SOUS 604646 HAS SOUPS 604646 WITH SCORE 605324.208
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 12324972 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16154604 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-318"
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-318, 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-167814472000144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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