Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973800488.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is SieveSingleMsgMbox-PT-d2m64, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973800488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 26 10:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 10:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 26 10:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 10:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 10:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.1M Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679092266988

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=SieveSingleMsgMbox-PT-d2m64
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d2m64
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: 2398 places, 1954 transitions, 7816 arcs.
AT ITER 0 NEW BEST:: SOT 802664 SOS 718908 HAS SOPS 718908 HAS SOUS 632272 HAS SOUPS 632272 WITH SCORE 632990.908
AT ITER 213 NEW BEST:: SOT 802664 SOS 718900 HAS SOPS 718900 HAS SOUS 632264 HAS SOUPS 632264 WITH SCORE 632982.9
AT ITER 247 NEW BEST:: SOT 802664 SOS 717722 HAS SOPS 717722 HAS SOUS 631375 HAS SOUPS 631375 WITH SCORE 632092.722
AT ITER 283 NEW BEST:: SOT 802664 SOS 717437 HAS SOPS 717437 HAS SOUS 631280 HAS SOUPS 631280 WITH SCORE 631997.437
AT ITER 399 NEW BEST:: SOT 802664 SOS 715724 HAS SOPS 715724 HAS SOUS 619853 HAS SOUPS 619853 WITH SCORE 620568.724
AT ITER 415 NEW BEST:: SOT 802664 SOS 714539 HAS SOPS 714539 HAS SOUS 614548 HAS SOUPS 614548 WITH SCORE 615262.539
AT ITER 445 NEW BEST:: SOT 802664 SOS 713984 HAS SOPS 713984 HAS SOUS 613390 HAS SOUPS 613390 WITH SCORE 614103.984
AT ITER 469 NEW BEST:: SOT 802664 SOS 712558 HAS SOPS 712558 HAS SOUS 611279 HAS SOUPS 611279 WITH SCORE 611991.558
AT ITER 580 NEW BEST:: SOT 802664 SOS 712613 HAS SOPS 712613 HAS SOUS 608372 HAS SOUPS 608372 WITH SCORE 609084.613
AT ITER 589 NEW BEST:: SOT 804644 SOS 713790 HAS SOPS 713790 HAS SOUS 603151 HAS SOUPS 603151 WITH SCORE 603864.79
AT ITER 625 NEW BEST:: SOT 804644 SOS 711643 HAS SOPS 711643 HAS SOUS 592048 HAS SOUPS 592048 WITH SCORE 592759.643
AT ITER 726 NEW BEST:: SOT 808568 SOS 714930 HAS SOPS 714930 HAS SOUS 585607 HAS SOUPS 585607 WITH SCORE 586321.93
AT ITER 896 NEW BEST:: SOT 808568 SOS 714153 HAS SOPS 714153 HAS SOUS 577763 HAS SOUPS 577763 WITH SCORE 578477.153
AT ITER 1012 NEW BEST:: SOT 808568 SOS 713355 HAS SOPS 713355 HAS SOUS 568978 HAS SOUPS 568978 WITH SCORE 569691.355
AT ITER 1015 NEW BEST:: SOT 808802 SOS 710182 HAS SOPS 710170 HAS SOUS 555730 HAS SOUPS 555724 WITH SCORE 556434.182
AT ITER 1031 NEW BEST:: SOT 808802 SOS 708049 HAS SOPS 708037 HAS SOUS 550645 HAS SOUPS 550639 WITH SCORE 551347.049
AT ITER 1034 NEW BEST:: SOT 812681 SOS 711424 HAS SOPS 711406 HAS SOUS 546142 HAS SOUPS 546136 WITH SCORE 546847.424
AT ITER 1056 NEW BEST:: SOT 812681 SOS 711463 HAS SOPS 711445 HAS SOUS 545802 HAS SOUPS 545796 WITH SCORE 546507.463
AT ITER 1090 NEW BEST:: SOT 812681 SOS 711434 HAS SOPS 711416 HAS SOUS 545757 HAS SOUPS 545751 WITH SCORE 546462.434
AT ITER 1115 NEW BEST:: SOT 812681 SOS 709632 HAS SOPS 709614 HAS SOUS 538511 HAS SOUPS 538505 WITH SCORE 539214.632
AT ITER 1132 NEW BEST:: SOT 812792 SOS 709081 HAS SOPS 709063 HAS SOUS 538355 HAS SOUPS 538349 WITH SCORE 539058.081
AT ITER 1189 NEW BEST:: SOT 812792 SOS 708981 HAS SOPS 708963 HAS SOUS 538271 HAS SOUPS 538265 WITH SCORE 538973.981
AT ITER 1287 NEW BEST:: SOT 812835 SOS 709024 HAS SOPS 709006 HAS SOUS 538208 HAS SOUPS 538202 WITH SCORE 538911.024
AT ITER 1371 NEW BEST:: SOT 812835 SOS 707835 HAS SOPS 707817 HAS SOUS 533482 HAS SOUPS 533476 WITH SCORE 534183.835
AT ITER 1373 NEW BEST:: SOT 812835 SOS 706962 HAS SOPS 706944 HAS SOUS 532553 HAS SOUPS 532547 WITH SCORE 533253.962
AT ITER 1380 NEW BEST:: SOT 812976 SOS 706927 HAS SOPS 706909 HAS SOUS 532402 HAS SOUPS 532396 WITH SCORE 533102.927
AT ITER 1389 NEW BEST:: SOT 823626 SOS 715624 HAS SOPS 715600 HAS SOUS 528575 HAS SOUPS 528569 WITH SCORE 529284.624
AT ITER 1411 NEW BEST:: SOT 823781 SOS 715340 HAS SOPS 715316 HAS SOUS 528459 HAS SOUPS 528453 WITH SCORE 529168.34
AT ITER 1445 NEW BEST:: SOT 823966 SOS 715277 HAS SOPS 715233 HAS SOUS 526165 HAS SOUPS 526159 WITH SCORE 526874.277
AT ITER 1452 NEW BEST:: SOT 834071 SOS 723340 HAS SOPS 723285 HAS SOUS 515584 HAS SOUPS 515578 WITH SCORE 516301.34
AT ITER 1722 NEW BEST:: SOT 834071 SOS 723333 HAS SOPS 723278 HAS SOUS 515553 HAS SOUPS 515547 WITH SCORE 516270.333
AT ITER 1750 NEW BEST:: SOT 847639 SOS 734570 HAS SOPS 734504 HAS SOUS 506930 HAS SOUPS 506924 WITH SCORE 507658.57
AT ITER 1763 NEW BEST:: SOT 847639 SOS 734150 HAS SOPS 734084 HAS SOUS 504470 HAS SOUPS 504464 WITH SCORE 505198.15
AT ITER 1798 NEW BEST:: SOT 848151 SOS 734405 HAS SOPS 734339 HAS SOUS 504329 HAS SOUPS 504323 WITH SCORE 505057.405
AT ITER 1811 NEW BEST:: SOT 851884 SOS 736051 HAS SOPS 735974 HAS SOUS 493608 HAS SOUPS 493602 WITH SCORE 494338.051
AT ITER 1875 NEW BEST:: SOT 851884 SOS 735855 HAS SOPS 735778 HAS SOUS 493580 HAS SOUPS 493574 WITH SCORE 494309.855
AT ITER 1895 NEW BEST:: SOT 851932 SOS 735031 HAS SOPS 734954 HAS SOUS 491985 HAS SOUPS 491979 WITH SCORE 492714.031
AT ITER 1979 NEW BEST:: SOT 851932 SOS 734922 HAS SOPS 734845 HAS SOUS 491952 HAS SOUPS 491946 WITH SCORE 492680.922
AT ITER 2043 NEW BEST:: SOT 851932 SOS 734218 HAS SOPS 734141 HAS SOUS 488894 HAS SOUPS 488888 WITH SCORE 489622.218
AT ITER 2089 NEW BEST:: SOT 851932 SOS 734144 HAS SOPS 734067 HAS SOUS 488808 HAS SOUPS 488802 WITH SCORE 489536.144
AT ITER 2122 NEW BEST:: SOT 856195 SOS 734156 HAS SOPS 733340 HAS SOUS 481110 HAS SOUPS 480988 WITH SCORE 481722.156
AT ITER 2140 NEW BEST:: SOT 864790 SOS 739926 HAS SOPS 738029 HAS SOUS 474615 HAS SOUPS 474379 WITH SCORE 475118.926
AT ITER 2146 NEW BEST:: SOT 864790 SOS 739658 HAS SOPS 737761 HAS SOUS 474615 HAS SOUPS 474379 WITH SCORE 475118.658
AT ITER 2289 NEW BEST:: SOT 871599 SOS 741436 HAS SOPS 738599 HAS SOUS 462816 HAS SOUPS 462580 WITH SCORE 463321.436
AT ITER 2326 NEW BEST:: SOT 871599 SOS 739999 HAS SOPS 737162 HAS SOUS 456755 HAS SOUPS 456519 WITH SCORE 457258.999
AT ITER 2340 NEW BEST:: SOT 871599 SOS 740035 HAS SOPS 737198 HAS SOUS 456740 HAS SOUPS 456504 WITH SCORE 457244.035
AT ITER 2342 NEW BEST:: SOT 871599 SOS 738391 HAS SOPS 735554 HAS SOUS 452586 HAS SOUPS 452350 WITH SCORE 453088.391
AT ITER 2392 NEW BEST:: SOT 871599 SOS 735524 HAS SOPS 732687 HAS SOUS 445191 HAS SOUPS 444955 WITH SCORE 445690.524
AT ITER 2413 NEW BEST:: SOT 873819 SOS 737513 HAS SOPS 734231 HAS SOUS 444069 HAS SOUPS 443833 WITH SCORE 444570.513
AT ITER 2426 NEW BEST:: SOT 873819 SOS 737437 HAS SOPS 734155 HAS SOUS 444069 HAS SOUPS 443833 WITH SCORE 444570.437
AT ITER 2428 NEW BEST:: SOT 874156 SOS 737655 HAS SOPS 734373 HAS SOUS 443943 HAS SOUPS 443707 WITH SCORE 444444.655
AT ITER 2431 NEW BEST:: SOT 873764 SOS 737263 HAS SOPS 733981 HAS SOUS 443551 HAS SOUPS 443315 WITH SCORE 444052.263
AT ITER 2497 NEW BEST:: SOT 873764 SOS 736804 HAS SOPS 733522 HAS SOUS 443450 HAS SOUPS 443214 WITH SCORE 443950.804
AT ITER 2514 NEW BEST:: SOT 877417 SOS 737103 HAS SOPS 733406 HAS SOUS 433778 HAS SOUPS 433542 WITH SCORE 434279.103
AT ITER 2531 NEW BEST:: SOT 877417 SOS 736512 HAS SOPS 732815 HAS SOUS 431778 HAS SOUPS 431542 WITH SCORE 432278.512
AT ITER 2556 NEW BEST:: SOT 898466 SOS 754141 HAS SOPS 749821 HAS SOUS 430287 HAS SOUPS 430051 WITH SCORE 430805.141
AT ITER 2597 NEW BEST:: SOT 898602 SOS 753525 HAS SOPS 749205 HAS SOUS 430078 HAS SOUPS 429842 WITH SCORE 430595.525
AT ITER 2707 NEW BEST:: SOT 898923 SOS 753547 HAS SOPS 749196 HAS SOUS 429975 HAS SOUPS 429739 WITH SCORE 430492.547
AT ITER 2711 NEW BEST:: SOT 898923 SOS 752854 HAS SOPS 748503 HAS SOUS 427865 HAS SOUPS 427629 WITH SCORE 428381.854
AT ITER 2720 NEW BEST:: SOT 914788 SOS 768015 HAS SOPS 763041 HAS SOUS 424929 HAS SOUPS 424693 WITH SCORE 425461.015
AT ITER 2752 NEW BEST:: SOT 914888 SOS 767825 HAS SOPS 762851 HAS SOUS 424813 HAS SOUPS 424577 WITH SCORE 425344.825
AT ITER 2757 NEW BEST:: SOT 914888 SOS 765384 HAS SOPS 760410 HAS SOUS 418657 HAS SOUPS 418421 WITH SCORE 419186.384
AT ITER 2764 NEW BEST:: SOT 914888 SOS 765381 HAS SOPS 760407 HAS SOUS 418657 HAS SOUPS 418421 WITH SCORE 419186.381
AT ITER 2770 NEW BEST:: SOT 914888 SOS 765083 HAS SOPS 760109 HAS SOUS 418611 HAS SOUPS 418375 WITH SCORE 419140.083
AT ITER 2879 NEW BEST:: SOT 915140 SOS 764314 HAS SOPS 759340 HAS SOUS 418424 HAS SOUPS 418188 WITH SCORE 418952.314
AT ITER 2909 NEW BEST:: SOT 915140 SOS 764332 HAS SOPS 759358 HAS SOUS 418418 HAS SOUPS 418182 WITH SCORE 418946.332
AT ITER 2953 NEW BEST:: SOT 942489 SOS 788459 HAS SOPS 782862 HAS SOUS 415235 HAS SOUPS 414999 WITH SCORE 415787.459
AT ITER 2964 NEW BEST:: SOT 942489 SOS 788424 HAS SOPS 782827 HAS SOUS 414426 HAS SOUPS 414190 WITH SCORE 414978.424
AT ITER 2972 NEW BEST:: SOT 942489 SOS 788620 HAS SOPS 783023 HAS SOUS 414364 HAS SOUPS 414128 WITH SCORE 414916.62
AT ITER 3015 NEW BEST:: SOT 948071 SOS 791002 HAS SOPS 784867 HAS SOUS 404999 HAS SOUPS 404763 WITH SCORE 405554.002
AT ITER 3045 NEW BEST:: SOT 948094 SOS 790996 HAS SOPS 784861 HAS SOUS 404973 HAS SOUPS 404737 WITH SCORE 405527.996
AT ITER 3064 NEW BEST:: SOT 950955 SOS 790712 HAS SOPS 784234 HAS SOUS 395819 HAS SOUPS 395583 WITH SCORE 396373.712
AT ITER 3086 NEW BEST:: SOT 950955 SOS 790366 HAS SOPS 783888 HAS SOUS 395768 HAS SOUPS 395532 WITH SCORE 396322.366
AT ITER 3110 NEW BEST:: SOT 960592 SOS 796748 HAS SOPS 789647 HAS SOUS 386207 HAS SOUPS 385971 WITH SCORE 386767.748
AT ITER 3154 NEW BEST:: SOT 961906 SOS 795484 HAS SOPS 788208 HAS SOUS 378581 HAS SOUPS 378345 WITH SCORE 379140.484
AT ITER 3165 NEW BEST:: SOT 978455 SOS 808756 HAS SOPS 800857 HAS SOUS 368968 HAS SOUPS 368732 WITH SCORE 369540.756
AT ITER 3179 NEW BEST:: SOT 1001040 SOS 827743 HAS SOPS 819221 HAS SOUS 359334 HAS SOUPS 359098 WITH SCORE 359925.743
AT ITER 3217 NEW BEST:: SOT 1001040 SOS 827554 HAS SOPS 819032 HAS SOUS 359334 HAS SOUPS 359098 WITH SCORE 359925.554
AT ITER 3227 NEW BEST:: SOT 1010837 SOS 828263 HAS SOPS 816131 HAS SOUS 354532 HAS SOUPS 354205 WITH SCORE 355033.263
AT ITER 3239 NEW BEST:: SOT 1010893 SOS 828142 HAS SOPS 816010 HAS SOUS 354411 HAS SOUPS 354084 WITH SCORE 354912.142
AT ITER 3255 NEW BEST:: SOT 1010893 SOS 827056 HAS SOPS 814924 HAS SOUS 351890 HAS SOUPS 351563 WITH SCORE 352390.056
AT ITER 3292 NEW BEST:: SOT 1019745 SOS 826835 HAS SOPS 811255 HAS SOUS 344292 HAS SOUPS 343965 WITH SCORE 344791.835
AT ITER 3296 NEW BEST:: SOT 1021703 SOS 820001 HAS SOPS 803140 HAS SOUS 336876 HAS SOUPS 336549 WITH SCORE 337369.001
AT ITER 3347 NEW BEST:: SOT 1022255 SOS 819516 HAS SOPS 802264 HAS SOUS 335412 HAS SOUPS 335085 WITH SCORE 335904.516
AT ITER 3361 NEW BEST:: SOT 1022255 SOS 819215 HAS SOPS 801963 HAS SOUS 335408 HAS SOUPS 335081 WITH SCORE 335900.215
AT ITER 3363 NEW BEST:: SOT 1022338 SOS 819298 HAS SOPS 802046 HAS SOUS 335353 HAS SOUPS 335026 WITH SCORE 335845.298
AT ITER 3445 NEW BEST:: SOT 1024752 SOS 820743 HAS SOPS 802908 HAS SOUS 333140 HAS SOUPS 332813 WITH SCORE 333633.743
AT ITER 3453 NEW BEST:: SOT 1032845 SOS 819472 HAS SOPS 798250 HAS SOUS 325505 HAS SOUPS 325178 WITH SCORE 325997.472
AT ITER 3455 NEW BEST:: SOT 1032845 SOS 814701 HAS SOPS 793479 HAS SOUS 317894 HAS SOUPS 317567 WITH SCORE 318381.701
AT ITER 3458 NEW BEST:: SOT 1032989 SOS 814422 HAS SOPS 793200 HAS SOUS 317809 HAS SOUPS 317482 WITH SCORE 318296.422
AT ITER 3488 NEW BEST:: SOT 1032989 SOS 814422 HAS SOPS 793200 HAS SOUS 317805 HAS SOUPS 317478 WITH SCORE 318292.422
AT ITER 3562 NEW BEST:: SOT 1057797 SOS 832937 HAS SOPS 810083 HAS SOUS 311432 HAS SOUPS 311105 WITH SCORE 311937.937
AT ITER 3582 NEW BEST:: SOT 1057797 SOS 832601 HAS SOPS 809747 HAS SOUS 311431 HAS SOUPS 311104 WITH SCORE 311936.601
AT ITER 3637 NEW BEST:: SOT 1084405 SOS 854007 HAS SOPS 829521 HAS SOUS 303249 HAS SOUPS 302922 WITH SCORE 303776.007
AT ITER 3640 NEW BEST:: SOT 1084405 SOS 851722 HAS SOPS 827236 HAS SOUS 299849 HAS SOUPS 299522 WITH SCORE 300373.722
AT ITER 3659 NEW BEST:: SOT 1099698 SOS 856739 HAS SOPS 826677 HAS SOUS 299715 HAS SOUPS 299206 WITH SCORE 300062.739
AT ITER 3666 NEW BEST:: SOT 1080105 SOS 837146 HAS SOPS 807651 HAS SOUS 299539 HAS SOUPS 299030 WITH SCORE 299867.146
AT ITER 3675 NEW BEST:: SOT 1080566 SOS 837143 HAS SOPS 807617 HAS SOUS 299238 HAS SOUPS 298729 WITH SCORE 299566.143
AT ITER 3691 NEW BEST:: SOT 1099850 SOS 856427 HAS SOPS 825701 HAS SOUS 298838 HAS SOUPS 298329 WITH SCORE 299185.427
AT ITER 3738 NEW BEST:: SOT 1125897 SOS 879170 HAS SOPS 846303 HAS SOUS 293696 HAS SOUPS 293187 WITH SCORE 294066.17
AT ITER 3739 NEW BEST:: SOT 1125897 SOS 876086 HAS SOPS 843219 HAS SOUS 292950 HAS SOUPS 292441 WITH SCORE 293317.086
AT ITER 3755 NEW BEST:: SOT 1125897 SOS 875002 HAS SOPS 842135 HAS SOUS 292706 HAS SOUPS 292197 WITH SCORE 293072.002
AT ITER 3772 NEW BEST:: SOT 1149064 SOS 894465 HAS SOPS 859457 HAS SOUS 286966 HAS SOUPS 286457 WITH SCORE 287351.465
AT ITER 3806 NEW BEST:: SOT 1149064 SOS 891492 HAS SOPS 856484 HAS SOUS 285542 HAS SOUPS 285033 WITH SCORE 285924.492
AT ITER 3812 NEW BEST:: SOT 1147066 SOS 889494 HAS SOPS 854486 HAS SOUS 285488 HAS SOUPS 284979 WITH SCORE 285868.494
AT ITER 3818 NEW BEST:: SOT 1149494 SOS 882016 HAS SOPS 844680 HAS SOUS 279754 HAS SOUPS 279245 WITH SCORE 280127.016
AT ITER 3833 NEW BEST:: SOT 1177392 SOS 908177 HAS SOPS 868584 HAS SOUS 278509 HAS SOUPS 278000 WITH SCORE 278908.177
AT ITER 3835 NEW BEST:: SOT 1190687 SOS 911159 HAS SOPS 864443 HAS SOUS 272776 HAS SOUPS 272267 WITH SCORE 273178.159
AT ITER 3934 NEW BEST:: SOT 1197056 SOS 906599 HAS SOPS 855100 HAS SOUS 267114 HAS SOUPS 266605 WITH SCORE 267511.599
AT ITER 3956 NEW BEST:: SOT 1197056 SOS 906599 HAS SOPS 855100 HAS SOUS 267018 HAS SOUPS 266509 WITH SCORE 267415.599
AT ITER 4057 NEW BEST:: SOT 1199416 SOS 902311 HAS SOPS 849694 HAS SOUS 260100 HAS SOUPS 259591 WITH SCORE 260493.311
AT ITER 4060 NEW BEST:: SOT 1208052 SOS 904894 HAS SOPS 849645 HAS SOUS 253482 HAS SOUPS 252973 WITH SCORE 253877.894
AT ITER 4081 NEW BEST:: SOT 1208052 SOS 904894 HAS SOPS 849645 HAS SOUS 253481 HAS SOUPS 252972 WITH SCORE 253876.894
AT ITER 4111 NEW BEST:: SOT 1208052 SOS 904251 HAS SOPS 849002 HAS SOUS 252987 HAS SOUPS 252478 WITH SCORE 253382.251
AT ITER 4127 NEW BEST:: SOT 1191545 SOS 887744 HAS SOPS 833970 HAS SOUS 252868 HAS SOUPS 252359 WITH SCORE 253246.744
AT ITER 4157 NEW BEST:: SOT 1191561 SOS 887760 HAS SOPS 833986 HAS SOUS 252820 HAS SOUPS 252311 WITH SCORE 253198.76
AT ITER 4265 NEW BEST:: SOT 1191561 SOS 887608 HAS SOPS 833834 HAS SOUS 252819 HAS SOUPS 252310 WITH SCORE 253197.608
AT ITER 4267 NEW BEST:: SOT 1191561 SOS 887256 HAS SOPS 833482 HAS SOUS 252731 HAS SOUPS 252222 WITH SCORE 253109.256
AT ITER 4277 NEW BEST:: SOT 1192259 SOS 887954 HAS SOPS 835548 HAS SOUS 252597 HAS SOUPS 252088 WITH SCORE 252975.954
AT ITER 4278 NEW BEST:: SOT 1192259 SOS 887817 HAS SOPS 835411 HAS SOUS 252531 HAS SOUPS 252022 WITH SCORE 252909.817
AT ITER 4332 NEW BEST:: SOT 1213450 SOS 902493 HAS SOPS 847194 HAS SOUS 245365 HAS SOUPS 244856 WITH SCORE 245758.493
AT ITER 4360 NEW BEST:: SOT 1213450 SOS 902373 HAS SOPS 847074 HAS SOUS 245345 HAS SOUPS 244836 WITH SCORE 245738.373
AT ITER 4363 NEW BEST:: SOT 1213450 SOS 902315 HAS SOPS 847016 HAS SOUS 245341 HAS SOUPS 244832 WITH SCORE 245734.315
AT ITER 4390 NEW BEST:: SOT 1218670 SOS 895761 HAS SOPS 835232 HAS SOUS 240363 HAS SOUPS 239854 WITH SCORE 240749.761
AT ITER 4391 NEW BEST:: SOT 1197536 SOS 874627 HAS SOPS 816644 HAS SOUS 240188 HAS SOUPS 239679 WITH SCORE 240553.627
AT ITER 4408 NEW BEST:: SOT 1227240 SOS 897429 HAS SOPS 836294 HAS SOUS 236870 HAS SOUPS 236361 WITH SCORE 237258.429
AT ITER 4474 NEW BEST:: SOT 1227421 SOS 897302 HAS SOPS 836167 HAS SOUS 236743 HAS SOUPS 236234 WITH SCORE 237131.302
AT ITER 4486 NEW BEST:: SOT 1227421 SOS 897354 HAS SOPS 836219 HAS SOUS 236714 HAS SOUPS 236205 WITH SCORE 237102.354
AT ITER 4498 NEW BEST:: SOT 1221799 SOS 891732 HAS SOPS 832396 HAS SOUS 236714 HAS SOUPS 236205 WITH SCORE 237096.732
AT ITER 4515 NEW BEST:: SOT 1238447 SOS 900389 HAS SOPS 838101 HAS SOUS 231597 HAS SOUPS 231088 WITH SCORE 231988.389
AT ITER 4543 NEW BEST:: SOT 1234229 SOS 896171 HAS SOPS 833883 HAS SOUS 228855 HAS SOUPS 228346 WITH SCORE 229242.171
AT ITER 4608 NEW BEST:: SOT 1234756 SOS 896109 HAS SOPS 833801 HAS SOUS 228813 HAS SOUPS 228304 WITH SCORE 229200.109
AT ITER 4643 NEW BEST:: SOT 1234756 SOS 890887 HAS SOPS 828579 HAS SOUS 227894 HAS SOUPS 227385 WITH SCORE 228275.887
AT ITER 4707 NEW BEST:: SOT 1244785 SOS 893659 HAS SOPS 823668 HAS SOUS 225176 HAS SOUPS 224667 WITH SCORE 225560.659
AT ITER 4731 NEW BEST:: SOT 1242661 SOS 891535 HAS SOPS 821544 HAS SOUS 225176 HAS SOUPS 224667 WITH SCORE 225558.535
AT ITER 4758 NEW BEST:: SOT 1242661 SOS 886761 HAS SOPS 816770 HAS SOUS 224312 HAS SOUPS 223803 WITH SCORE 224689.761
AT ITER 4760 NEW BEST:: SOT 1242661 SOS 886496 HAS SOPS 816505 HAS SOUS 224309 HAS SOUPS 223800 WITH SCORE 224686.496
AT ITER 4772 NEW BEST:: SOT 1242709 SOS 886338 HAS SOPS 816347 HAS SOUS 223913 HAS SOUPS 223404 WITH SCORE 224290.338
AT ITER 4822 NEW BEST:: SOT 1242521 SOS 886150 HAS SOPS 816159 HAS SOUS 223821 HAS SOUPS 223312 WITH SCORE 224198.15
AT ITER 4846 NEW BEST:: SOT 1242521 SOS 884315 HAS SOPS 814324 HAS SOUS 222858 HAS SOUPS 222349 WITH SCORE 223233.315
AT ITER 4849 NEW BEST:: SOT 1250750 SOS 880268 HAS SOPS 803254 HAS SOUS 219238 HAS SOUPS 218729 WITH SCORE 219609.268
AT ITER 4865 NEW BEST:: SOT 1267212 SOS 896730 HAS SOPS 817530 HAS SOUS 218842 HAS SOUPS 218333 WITH SCORE 219229.73
AT ITER 4901 NEW BEST:: SOT 1267229 SOS 896565 HAS SOPS 817365 HAS SOUS 218659 HAS SOUPS 218150 WITH SCORE 219046.565
AT ITER 4924 NEW BEST:: SOT 1272121 SOS 897010 HAS SOPS 812165 HAS SOUS 216801 HAS SOUPS 216292 WITH SCORE 217189.01
AT ITER 4973 NEW BEST:: SOT 1272121 SOS 896986 HAS SOPS 812141 HAS SOUS 216801 HAS SOUPS 216292 WITH SCORE 217188.986
AT ITER 4974 NEW BEST:: SOT 1272148 SOS 896973 HAS SOPS 812128 HAS SOUS 216788 HAS SOUPS 216279 WITH SCORE 217175.973
AT ITER 4975 NEW BEST:: SOT 1277533 SOS 902358 HAS SOPS 816490 HAS SOUS 216610 HAS SOUPS 216101 WITH SCORE 217003.358
AT ITER 4979 NEW BEST:: SOT 1278390 SOS 902912 HAS SOPS 817044 HAS SOUS 216548 HAS SOUPS 216039 WITH SCORE 216941.912
AT ITER 5025 NEW BEST:: SOT 1282822 SOS 907344 HAS SOPS 821444 HAS SOUS 216516 HAS SOUPS 216007 WITH SCORE 216914.344
AT ITER 5043 NEW BEST:: SOT 1282676 SOS 907198 HAS SOPS 821298 HAS SOUS 216370 HAS SOUPS 215861 WITH SCORE 216768.198
AT ITER 5051 NEW BEST:: SOT 1280840 SOS 905362 HAS SOPS 819462 HAS SOUS 214894 HAS SOUPS 214385 WITH SCORE 215290.362
AT ITER 5093 NEW BEST:: SOT 1284448 SOS 908970 HAS SOPS 822718 HAS SOUS 214784 HAS SOUPS 214275 WITH SCORE 215183.97
AT ITER 5151 NEW BEST:: SOT 1284448 SOS 903556 HAS SOPS 817304 HAS SOUS 213832 HAS SOUPS 213323 WITH SCORE 214226.556
AT ITER 5165 NEW BEST:: SOT 1289375 SOS 908483 HAS SOPS 821758 HAS SOUS 213682 HAS SOUPS 213173 WITH SCORE 214081.483
AT ITER 5197 NEW BEST:: SOT 1287949 SOS 907057 HAS SOPS 821448 HAS SOUS 213682 HAS SOUPS 213173 WITH SCORE 214080.057
AT ITER 5203 NEW BEST:: SOT 1292176 SOS 911284 HAS SOPS 825546 HAS SOUS 213579 HAS SOUPS 213070 WITH SCORE 213981.284
AT ITER 5208 NEW BEST:: SOT 1292176 SOS 910023 HAS SOPS 824285 HAS SOUS 213557 HAS SOUPS 213048 WITH SCORE 213958.023
AT ITER 5226 NEW BEST:: SOT 1293186 SOS 899108 HAS SOPS 811387 HAS SOUS 209672 HAS SOUPS 209163 WITH SCORE 210062.108
AT ITER 5350 NEW BEST:: SOT 1296750 SOS 896245 HAS SOPS 806242 HAS SOUS 205490 HAS SOUPS 204981 WITH SCORE 205877.245
AT ITER 5360 NEW BEST:: SOT 1296761 SOS 896140 HAS SOPS 806137 HAS SOUS 205377 HAS SOUPS 204868 WITH SCORE 205764.14
AT ITER 5391 NEW BEST:: SOT 1297206 SOS 896231 HAS SOPS 805783 HAS SOUS 205022 HAS SOUPS 204513 WITH SCORE 205409.231
AT ITER 5410 NEW BEST:: SOT 1297605 SOS 896501 HAS SOPS 806053 HAS SOUS 204739 HAS SOUPS 204230 WITH SCORE 205126.501
AT ITER 5485 NEW BEST:: SOT 1297605 SOS 896210 HAS SOPS 805762 HAS SOUS 204636 HAS SOUPS 204127 WITH SCORE 205023.21
AT ITER 5491 NEW BEST:: SOT 1317273 SOS 915878 HAS SOPS 822850 HAS SOUS 204216 HAS SOUPS 203707 WITH SCORE 204622.878
AT ITER 5516 NEW BEST:: SOT 1317273 SOS 915448 HAS SOPS 822420 HAS SOUS 204196 HAS SOUPS 203687 WITH SCORE 204602.448
AT ITER 5570 NEW BEST:: SOT 1317273 SOS 915550 HAS SOPS 822522 HAS SOUS 204167 HAS SOUPS 203658 WITH SCORE 204573.55
AT ITER 5682 NEW BEST:: SOT 1317273 SOS 914372 HAS SOPS 821344 HAS SOUS 203721 HAS SOUPS 203212 WITH SCORE 204126.372
AT ITER 5755 NEW BEST:: SOT 1317633 SOS 901210 HAS SOPS 807312 HAS SOUS 200086 HAS SOUPS 199577 WITH SCORE 200478.21
AT ITER 5777 NEW BEST:: SOT 1318242 SOS 901819 HAS SOPS 807846 HAS SOUS 200067 HAS SOUPS 199558 WITH SCORE 200459.819
AT ITER 5889 NEW BEST:: SOT 1318242 SOS 900104 HAS SOPS 806131 HAS SOUS 199123 HAS SOUPS 198614 WITH SCORE 199514.104
AT ITER 5929 NEW BEST:: SOT 1326113 SOS 895107 HAS SOPS 792646 HAS SOUS 195586 HAS SOUPS 195077 WITH SCORE 195972.107
AT ITER 5937 NEW BEST:: SOT 1327941 SOS 896935 HAS SOPS 793202 HAS SOUS 195578 HAS SOUPS 195069 WITH SCORE 195965.935
AT ITER 5943 NEW BEST:: SOT 1327941 SOS 896087 HAS SOPS 792354 HAS SOUS 195266 HAS SOUPS 194757 WITH SCORE 195653.087
AT ITER 5973 NEW BEST:: SOT 1327941 SOS 884920 HAS SOPS 781187 HAS SOUS 192844 HAS SOUPS 192335 WITH SCORE 193219.92
AT ITER 6131 NEW BEST:: SOT 1328921 SOS 885900 HAS SOPS 782139 HAS SOUS 192816 HAS SOUPS 192307 WITH SCORE 193192.9
AT ITER 6145 NEW BEST:: SOT 1327997 SOS 884976 HAS SOPS 781327 HAS SOUS 192816 HAS SOUPS 192307 WITH SCORE 193191.976
AT ITER 6152 NEW BEST:: SOT 1330965 SOS 880393 HAS SOPS 771922 HAS SOUS 190341 HAS SOUPS 189832 WITH SCORE 190712.393
AT ITER 6167 NEW BEST:: SOT 1331363 SOS 870895 HAS SOPS 761850 HAS SOUS 186565 HAS SOUPS 186056 WITH SCORE 186926.895
AT ITER 6471 NEW BEST:: SOT 1331363 SOS 864411 HAS SOPS 755366 HAS SOUS 184785 HAS SOUPS 184276 WITH SCORE 185140.411
AT ITER 6494 NEW BEST:: SOT 1331363 SOS 857973 HAS SOPS 748928 HAS SOUS 183363 HAS SOUPS 182854 WITH SCORE 183711.973
AT ITER 6556 NEW BEST:: SOT 1331363 SOS 857589 HAS SOPS 748544 HAS SOUS 183345 HAS SOUPS 182836 WITH SCORE 183693.589
AT ITER 6625 NEW BEST:: SOT 1331508 SOS 857546 HAS SOPS 748501 HAS SOUS 183276 HAS SOUPS 182767 WITH SCORE 183624.546
AT ITER 6638 NEW BEST:: SOT 1331508 SOS 857220 HAS SOPS 748175 HAS SOUS 183246 HAS SOUPS 182737 WITH SCORE 183594.22
AT ITER 6656 NEW BEST:: SOT 1331508 SOS 857220 HAS SOPS 748175 HAS SOUS 183244 HAS SOUPS 182735 WITH SCORE 183592.22
AT ITER 6670 NEW BEST:: SOT 1331819 SOS 857513 HAS SOPS 748157 HAS SOUS 183226 HAS SOUPS 182717 WITH SCORE 183574.513
AT ITER 6696 NEW BEST:: SOT 1331819 SOS 857497 HAS SOPS 748141 HAS SOUS 182896 HAS SOUPS 182387 WITH SCORE 183244.497
AT ITER 6736 NEW BEST:: SOT 1331819 SOS 857477 HAS SOPS 748121 HAS SOUS 182896 HAS SOUPS 182387 WITH SCORE 183244.477
AT ITER 6746 NEW BEST:: SOT 1271864 SOS 1250595 HAS SOPS 722518 HAS SOUS 124138 HAS SOUPS 123230 WITH SCORE 124480.595
AT ITER 6801 NEW BEST:: SOT 1272108 SOS 1250839 HAS SOPS 722600 HAS SOUS 124122 HAS SOUPS 123214 WITH SCORE 124464.839
AT ITER 6816 NEW BEST:: SOT 1272103 SOS 1250834 HAS SOPS 722620 HAS SOUS 124120 HAS SOUPS 123212 WITH SCORE 124462.834
AT ITER 6853 NEW BEST:: SOT 1272093 SOS 1250824 HAS SOPS 722610 HAS SOUS 124120 HAS SOUPS 123212 WITH SCORE 124462.824
AT ITER 6916 NEW BEST:: SOT 1270968 SOS 1249699 HAS SOPS 725409 HAS SOUS 124023 HAS SOUPS 123115 WITH SCORE 124364.699
AT ITER 7000 NEW BEST:: SOT 1274798 SOS 1253529 HAS SOPS 726013 HAS SOUS 123827 HAS SOUPS 122919 WITH SCORE 124172.529
AT ITER 7054 NEW BEST:: SOT 1274681 SOS 1253412 HAS SOPS 725991 HAS SOUS 123802 HAS SOUPS 122894 WITH SCORE 124147.412
AT ITER 7105 NEW BEST:: SOT 1285873 SOS 1264604 HAS SOPS 715021 HAS SOUS 123188 HAS SOUPS 122280 WITH SCORE 123544.604
AT ITER 7163 NEW BEST:: SOT 1282962 SOS 1261693 HAS SOPS 714160 HAS SOUS 123188 HAS SOUPS 122280 WITH SCORE 123541.693
AT ITER 7279 NEW BEST:: SOT 1282356 SOS 1261087 HAS SOPS 713893 HAS SOUS 122837 HAS SOUPS 121929 WITH SCORE 123190.087
AT ITER 7379 NEW BEST:: SOT 1265298 SOS 1244029 HAS SOPS 696673 HAS SOUS 105765 HAS SOUPS 104857 WITH SCORE 106101.029
AT ITER 7446 NEW BEST:: SOT 1264607 SOS 1243338 HAS SOPS 700931 HAS SOUS 105765 HAS SOUPS 104857 WITH SCORE 106100.338
AT ITER 7456 NEW BEST:: SOT 1242216 SOS 1220947 HAS SOPS 681975 HAS SOUS 105140 HAS SOUPS 104232 WITH SCORE 105452.947
AT ITER 7565 NEW BEST:: SOT 1247524 SOS 1226255 HAS SOPS 672672 HAS SOUS 105126 HAS SOUPS 104218 WITH SCORE 105444.255
AT ITER 7600 NEW BEST:: SOT 1248129 SOS 1226860 HAS SOPS 673277 HAS SOUS 105003 HAS SOUPS 104095 WITH SCORE 105321.86
AT ITER 7611 NEW BEST:: SOT 1248176 SOS 1226907 HAS SOPS 673322 HAS SOUS 104952 HAS SOUPS 104044 WITH SCORE 105270.907
AT ITER 7679 NEW BEST:: SOT 1259399 SOS 1238130 HAS SOPS 662736 HAS SOUS 104678 HAS SOUPS 103770 WITH SCORE 105008.13
AT ITER 7757 NEW BEST:: SOT 1259269 SOS 1238000 HAS SOPS 662606 HAS SOUS 104373 HAS SOUPS 103465 WITH SCORE 104703.0
AT ITER 7796 NEW BEST:: SOT 1259915 SOS 1238646 HAS SOPS 658648 HAS SOUS 104365 HAS SOUPS 103457 WITH SCORE 104695.646
AT ITER 7800 NEW BEST:: SOT 1262139 SOS 1240870 HAS SOPS 660396 HAS SOUS 104290 HAS SOUPS 103382 WITH SCORE 104622.87
AT ITER 7832 NEW BEST:: SOT 1261983 SOS 1240714 HAS SOPS 659736 HAS SOUS 104019 HAS SOUPS 103111 WITH SCORE 104351.714
AT ITER 7882 NEW BEST:: SOT 1261983 SOS 1238814 HAS SOPS 659467 HAS SOUS 104016 HAS SOUPS 103109 WITH SCORE 104347.814
AT ITER 7889 NEW BEST:: SOT 1265003 SOS 1241834 HAS SOPS 647567 HAS SOUS 103406 HAS SOUPS 102499 WITH SCORE 103740.834
AT ITER 7921 NEW BEST:: SOT 1264495 SOS 1241326 HAS SOPS 647059 HAS SOUS 103405 HAS SOUPS 102498 WITH SCORE 103739.326
AT ITER 7939 NEW BEST:: SOT 1261666 SOS 1238497 HAS SOPS 646485 HAS SOUS 103405 HAS SOUPS 102498 WITH SCORE 103736.497
AT ITER 7975 NEW BEST:: SOT 1261450 SOS 1238281 HAS SOPS 646233 HAS SOUS 103315 HAS SOUPS 102408 WITH SCORE 103646.281
AT ITER 8088 NEW BEST:: SOT 1261312 SOS 1238143 HAS SOPS 645725 HAS SOUS 103315 HAS SOUPS 102408 WITH SCORE 103646.143
AT ITER 8125 NEW BEST:: SOT 1261404 SOS 1238235 HAS SOPS 645599 HAS SOUS 103209 HAS SOUPS 102302 WITH SCORE 103540.235
AT ITER 8327 NEW BEST:: SOT 1271958 SOS 1248789 HAS SOPS 639455 HAS SOUS 102452 HAS SOUPS 101545 WITH SCORE 102793.789
AT ITER 8381 NEW BEST:: SOT 1275980 SOS 1252811 HAS SOPS 631366 HAS SOUS 102164 HAS SOUPS 101257 WITH SCORE 102509.811
AT ITER 8470 NEW BEST:: SOT 1289444 SOS 1266275 HAS SOPS 635830 HAS SOUS 101550 HAS SOUPS 100643 WITH SCORE 101909.275
AT ITER 8494 NEW BEST:: SOT 1306121 SOS 1282952 HAS SOPS 650572 HAS SOUS 101227 HAS SOUPS 100320 WITH SCORE 101602.952
AT ITER 8517 NEW BEST:: SOT 1323789 SOS 1300620 HAS SOPS 659304 HAS SOUS 100615 HAS SOUPS 99708 WITH SCORE 101008.62
AT ITER 8564 NEW BEST:: SOT 1312095 SOS 1288926 HAS SOPS 647688 HAS SOUS 99247 HAS SOUPS 98340 WITH SCORE 99628.926
AT ITER 8654 NEW BEST:: SOT 1312048 SOS 1288879 HAS SOPS 647594 HAS SOUS 99198 HAS SOUPS 98291 WITH SCORE 99579.879
AT ITER 8691 NEW BEST:: SOT 1292587 SOS 1269418 HAS SOPS 637196 HAS SOUS 98823 HAS SOUPS 97916 WITH SCORE 99185.418
AT ITER 8809 NEW BEST:: SOT 1291619 SOS 1268450 HAS SOPS 639441 HAS SOUS 98823 HAS SOUPS 97916 WITH SCORE 99184.45
AT ITER 8820 NEW BEST:: SOT 1291544 SOS 1268375 HAS SOPS 639366 HAS SOUS 98748 HAS SOUPS 97841 WITH SCORE 99109.375
AT ITER 8901 NEW BEST:: SOT 1291421 SOS 1268252 HAS SOPS 639243 HAS SOUS 98625 HAS SOUPS 97718 WITH SCORE 98986.252
AT ITER 8989 NEW BEST:: SOT 1291494 SOS 1268325 HAS SOPS 639316 HAS SOUS 98364 HAS SOUPS 97457 WITH SCORE 98725.325
AT ITER 9004 NEW BEST:: SOT 1291494 SOS 1268325 HAS SOPS 639316 HAS SOUS 98246 HAS SOUPS 97339 WITH SCORE 98607.325
AT ITER 9061 NEW BEST:: SOT 1291410 SOS 1268241 HAS SOPS 639232 HAS SOUS 98218 HAS SOUPS 97311 WITH SCORE 98579.241
AT ITER 9068 NEW BEST:: SOT 1313226 SOS 1290057 HAS SOPS 644560 HAS SOUS 97406 HAS SOUPS 96499 WITH SCORE 97789.057
AT ITER 9166 NEW BEST:: SOT 1313329 SOS 1290160 HAS SOPS 644663 HAS SOUS 97405 HAS SOUPS 96498 WITH SCORE 97788.16
AT ITER 9472 NEW BEST:: SOT 1313314 SOS 1290145 HAS SOPS 644480 HAS SOUS 97385 HAS SOUPS 96478 WITH SCORE 97768.145
AT ITER 9603 NEW BEST:: SOT 1313307 SOS 1290138 HAS SOPS 644606 HAS SOUS 97371 HAS SOUPS 96464 WITH SCORE 97754.138
AT ITER 9644 NEW BEST:: SOT 1313307 SOS 1290138 HAS SOPS 644368 HAS SOUS 97133 HAS SOUPS 96226 WITH SCORE 97516.138
AT ITER 9710 NEW BEST:: SOT 1315640 SOS 1292471 HAS SOPS 638342 HAS SOUS 96836 HAS SOUPS 95929 WITH SCORE 97221.471
AT ITER 9717 NEW BEST:: SOT 1314880 SOS 1291711 HAS SOPS 637697 HAS SOUS 96208 HAS SOUPS 95301 WITH SCORE 96592.711
AT ITER 9750 NEW BEST:: SOT 1315434 SOS 1292265 HAS SOPS 638251 HAS SOUS 96113 HAS SOUPS 95206 WITH SCORE 96498.265
AT ITER 9893 NEW BEST:: SOT 1314996 SOS 1291827 HAS SOPS 637823 HAS SOUS 95907 HAS SOUPS 95000 WITH SCORE 96291.827
AT ITER 9894 NEW BEST:: SOT 1314587 SOS 1291418 HAS SOPS 637414 HAS SOUS 95543 HAS SOUPS 94636 WITH SCORE 95927.418
AT ITER 9947 NEW BEST:: SOT 1313233 SOS 1290064 HAS SOPS 637699 HAS SOUS 95543 HAS SOUPS 94636 WITH SCORE 95926.064
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 9683740 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16152032 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="SieveSingleMsgMbox-PT-d2m64"
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 SieveSingleMsgMbox-PT-d2m64, 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 r419-tajo-167905973800488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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