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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 6.7K Feb 26 11:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 11:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 11:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 11:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 11:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 26 11:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 11:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 11:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 17M 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 1679375107732

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyCommit-PT-08a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 05:05:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 05:05:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 05:05:12] [INFO ] Load time of PNML (sax parser for PT used): 1414 ms
[2023-03-21 05:05:12] [INFO ] Transformed 328 places.
[2023-03-21 05:05:13] [INFO ] Transformed 18744 transitions.
[2023-03-21 05:05:13] [INFO ] Found NUPN structural information;
[2023-03-21 05:05:13] [INFO ] Parsed PT model containing 328 places and 18744 transitions and 330279 arcs in 1859 ms.
[2023-03-21 05:05:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 328 places, 18744 transitions and 330279 arcs took 441 ms.
Total runtime 2363 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 08a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 328 places, 18744 transitions, 330279 arcs.
AT ITER 0 NEW BEST:: SOT 2011129 SOS 1559225 HAS SOPS 834112 HAS SOUS 38682 HAS SOUPS 38586 WITH SCORE 40145.225
AT ITER 28 NEW BEST:: SOT 2011163 SOS 1559157 HAS SOPS 834044 HAS SOUS 38614 HAS SOUPS 38518 WITH SCORE 40077.157
AT ITER 45 NEW BEST:: SOT 1995222 SOS 1558896 HAS SOPS 818337 HAS SOUS 27279 HAS SOUPS 26935 WITH SCORE 28493.896
AT ITER 51 NEW BEST:: SOT 2100910 SOS 1664422 HAS SOPS 908183 HAS SOUS 24681 HAS SOUPS 24317 WITH SCORE 25981.422
AT ITER 54 NEW BEST:: SOT 2100851 SOS 1664350 HAS SOPS 908189 HAS SOUS 24622 HAS SOUPS 24258 WITH SCORE 25922.35
AT ITER 61 NEW BEST:: SOT 2100914 SOS 1664264 HAS SOPS 908165 HAS SOUS 24569 HAS SOUPS 24205 WITH SCORE 25869.264
AT ITER 76 NEW BEST:: SOT 2100914 SOS 1664232 HAS SOPS 908133 HAS SOUS 24569 HAS SOUPS 24205 WITH SCORE 25869.232
AT ITER 77 NEW BEST:: SOT 2101050 SOS 1664499 HAS SOPS 908405 HAS SOUS 24568 HAS SOUPS 24204 WITH SCORE 25868.499
AT ITER 80 NEW BEST:: SOT 2101142 SOS 1664477 HAS SOPS 908437 HAS SOUS 24508 HAS SOUPS 24144 WITH SCORE 25808.477
AT ITER 170 NEW BEST:: SOT 2101142 SOS 1664457 HAS SOPS 908417 HAS SOUS 24498 HAS SOUPS 24134 WITH SCORE 25798.457
AT ITER 233 NEW BEST:: SOT 2101091 SOS 1664411 HAS SOPS 908439 HAS SOUS 24447 HAS SOUPS 24083 WITH SCORE 25747.411
AT ITER 295 NEW BEST:: SOT 2101089 SOS 1664407 HAS SOPS 908435 HAS SOUS 24445 HAS SOUPS 24081 WITH SCORE 25745.407
AT ITER 330 NEW BEST:: SOT 2101089 SOS 1664403 HAS SOPS 908431 HAS SOUS 24443 HAS SOUPS 24079 WITH SCORE 25743.403
AT ITER 332 NEW BEST:: SOT 2101093 SOS 1664399 HAS SOPS 908427 HAS SOUS 24439 HAS SOUPS 24075 WITH SCORE 25739.399
AT ITER 334 NEW BEST:: SOT 2101285 SOS 1664239 HAS SOPS 908351 HAS SOUS 24439 HAS SOUPS 24075 WITH SCORE 25739.239
AT ITER 339 NEW BEST:: SOT 2101261 SOS 1664231 HAS SOPS 908343 HAS SOUS 24415 HAS SOUPS 24051 WITH SCORE 25715.231
AT ITER 403 NEW BEST:: SOT 2101260 SOS 1664222 HAS SOPS 908333 HAS SOUS 24405 HAS SOUPS 24041 WITH SCORE 25705.222
AT ITER 421 NEW BEST:: SOT 2101257 SOS 1664219 HAS SOPS 908327 HAS SOUS 24402 HAS SOUPS 24038 WITH SCORE 25702.219
AT ITER 425 NEW BEST:: SOT 2101264 SOS 1664205 HAS SOPS 908313 HAS SOUS 24395 HAS SOUPS 24031 WITH SCORE 25695.205
AT ITER 441 NEW BEST:: SOT 2101287 SOS 1664041 HAS SOPS 908207 HAS SOUS 24266 HAS SOUPS 23902 WITH SCORE 25566.041
AT ITER 454 NEW BEST:: SOT 2101391 SOS 1664145 HAS SOPS 908303 HAS SOUS 24251 HAS SOUPS 23887 WITH SCORE 25551.145
AT ITER 461 NEW BEST:: SOT 2101406 SOS 1664115 HAS SOPS 908273 HAS SOUS 24221 HAS SOUPS 23857 WITH SCORE 25521.115
AT ITER 498 NEW BEST:: SOT 2101390 SOS 1664027 HAS SOPS 908157 HAS SOUS 24205 HAS SOUPS 23841 WITH SCORE 25505.027000000002
AT ITER 525 NEW BEST:: SOT 2101386 SOS 1664019 HAS SOPS 908149 HAS SOUS 24201 HAS SOUPS 23837 WITH SCORE 25501.019
AT ITER 560 NEW BEST:: SOT 2101385 SOS 1664018 HAS SOPS 908147 HAS SOUS 24199 HAS SOUPS 23835 WITH SCORE 25499.018
AT ITER 572 NEW BEST:: SOT 2101590 SOS 860021 HAS SOPS 613933 HAS SOUS 24360 HAS SOUPS 24040 WITH SCORE 24900.021
AT ITER 575 NEW BEST:: SOT 2101590 SOS 859991 HAS SOPS 613903 HAS SOUS 24360 HAS SOUPS 24040 WITH SCORE 24899.991
AT ITER 591 NEW BEST:: SOT 2101639 SOS 859893 HAS SOPS 613805 HAS SOUS 24262 HAS SOUPS 23942 WITH SCORE 24801.893
AT ITER 610 NEW BEST:: SOT 2101609 SOS 859849 HAS SOPS 613837 HAS SOUS 24232 HAS SOUPS 23912 WITH SCORE 24771.849
AT ITER 617 NEW BEST:: SOT 2101636 SOS 859661 HAS SOPS 613715 HAS SOUS 24092 HAS SOUPS 23772 WITH SCORE 24631.661
AT ITER 648 NEW BEST:: SOT 2101669 SOS 859619 HAS SOPS 613673 HAS SOUS 24071 HAS SOUPS 23751 WITH SCORE 24610.619
AT ITER 668 NEW BEST:: SOT 2101657 SOS 859714 HAS SOPS 613768 HAS SOUS 24059 HAS SOUPS 23739 WITH SCORE 24598.714
AT ITER 672 NEW BEST:: SOT 2101647 SOS 859694 HAS SOPS 613748 HAS SOUS 24022 HAS SOUPS 23702 WITH SCORE 24561.694
AT ITER 743 NEW BEST:: SOT 2101647 SOS 859694 HAS SOPS 613748 HAS SOUS 24020 HAS SOUPS 23700 WITH SCORE 24559.694
AT ITER 808 NEW BEST:: SOT 2101636 SOS 859672 HAS SOPS 613726 HAS SOUS 24009 HAS SOUPS 23689 WITH SCORE 24548.672
AT ITER 823 NEW BEST:: SOT 2101538 SOS 859428 HAS SOPS 613530 HAS SOUS 23964 HAS SOUPS 23644 WITH SCORE 24503.428
AT ITER 826 NEW BEST:: SOT 2101507 SOS 859392 HAS SOPS 613530 HAS SOUS 23964 HAS SOUPS 23644 WITH SCORE 24503.392
AT ITER 829 NEW BEST:: SOT 2101499 SOS 859300 HAS SOPS 613514 HAS SOUS 23956 HAS SOUPS 23636 WITH SCORE 24495.3
AT ITER 942 NEW BEST:: SOT 2101481 SOS 858909 HAS SOPS 613138 HAS SOUS 23938 HAS SOUPS 23618 WITH SCORE 24476.909
AT ITER 951 NEW BEST:: SOT 2101467 SOS 858906 HAS SOPS 634100 HAS SOUS 23926 HAS SOUPS 23606 WITH SCORE 24464.906
AT ITER 969 NEW BEST:: SOT 2101455 SOS 859096 HAS SOPS 634290 HAS SOUS 23914 HAS SOUPS 23594 WITH SCORE 24453.096
AT ITER 1050 NEW BEST:: SOT 2101421 SOS 859086 HAS SOPS 634222 HAS SOUS 23880 HAS SOUPS 23560 WITH SCORE 24419.086
AT ITER 1075 NEW BEST:: SOT 2101472 SOS 859035 HAS SOPS 630821 HAS SOUS 22990 HAS SOUPS 22670 WITH SCORE 23529.035
AT ITER 1126 NEW BEST:: SOT 2101528 SOS 858976 HAS SOPS 611140 HAS SOUS 21509 HAS SOUPS 21189 WITH SCORE 22047.976
AT ITER 1137 NEW BEST:: SOT 2101510 SOS 858967 HAS SOPS 611217 HAS SOUS 21491 HAS SOUPS 21171 WITH SCORE 22029.967
AT ITER 1206 NEW BEST:: SOT 2101509 SOS 858966 HAS SOPS 611215 HAS SOUS 21483 HAS SOUPS 21163 WITH SCORE 22021.966
AT ITER 1243 NEW BEST:: SOT 2101621 SOS 858984 HAS SOPS 611285 HAS SOUS 21464 HAS SOUPS 21144 WITH SCORE 22002.984
AT ITER 1251 NEW BEST:: SOT 2101621 SOS 858976 HAS SOPS 611255 HAS SOUS 21464 HAS SOUPS 21144 WITH SCORE 22002.976
AT ITER 1367 NEW BEST:: SOT 2101620 SOS 858975 HAS SOPS 611253 HAS SOUS 21456 HAS SOUPS 21136 WITH SCORE 21994.975
AT ITER 1459 NEW BEST:: SOT 2101636 SOS 858979 HAS SOPS 611257 HAS SOUS 21444 HAS SOUPS 21124 WITH SCORE 21982.979
AT ITER 1520 NEW BEST:: SOT 2101766 SOS 859451 HAS SOPS 611742 HAS SOUS 21437 HAS SOUPS 21117 WITH SCORE 21976.451
AT ITER 1525 NEW BEST:: SOT 2101793 SOS 859505 HAS SOPS 611796 HAS SOUS 21409 HAS SOUPS 21089 WITH SCORE 21948.505
AT ITER 1697 NEW BEST:: SOT 2101792 SOS 859501 HAS SOPS 611792 HAS SOUS 21408 HAS SOUPS 21088 WITH SCORE 21947.501
AT ITER 1746 NEW BEST:: SOT 2101792 SOS 859493 HAS SOPS 611784 HAS SOUS 21404 HAS SOUPS 21084 WITH SCORE 21943.493
AT ITER 1833 NEW BEST:: SOT 2101799 SOS 859479 HAS SOPS 611770 HAS SOUS 21397 HAS SOUPS 21077 WITH SCORE 21936.479
AT ITER 1878 NEW BEST:: SOT 2101799 SOS 859478 HAS SOPS 611770 HAS SOUS 21397 HAS SOUPS 21077 WITH SCORE 21936.478
AT ITER 1902 NEW BEST:: SOT 2101751 SOS 859456 HAS SOPS 611720 HAS SOUS 21382 HAS SOUPS 21062 WITH SCORE 21921.456
AT ITER 1973 NEW BEST:: SOT 2101813 SOS 859518 HAS SOPS 611773 HAS SOUS 21371 HAS SOUPS 21051 WITH SCORE 21910.518
AT ITER 1975 NEW BEST:: SOT 2101812 SOS 859517 HAS SOPS 611771 HAS SOUS 21369 HAS SOUPS 21049 WITH SCORE 21908.517
AT ITER 1986 NEW BEST:: SOT 2101809 SOS 859487 HAS SOPS 611741 HAS SOUS 21366 HAS SOUPS 21046 WITH SCORE 21905.487
AT ITER 1990 NEW BEST:: SOT 2101808 SOS 859521 HAS SOPS 611775 HAS SOUS 21365 HAS SOUPS 21045 WITH SCORE 21904.521
AT ITER 2019 NEW BEST:: SOT 2101716 SOS 859395 HAS SOPS 611677 HAS SOUS 21314 HAS SOUPS 20994 WITH SCORE 21853.395
AT ITER 2068 NEW BEST:: SOT 2101712 SOS 859387 HAS SOPS 611669 HAS SOUS 21306 HAS SOUPS 20986 WITH SCORE 21845.387
AT ITER 2077 NEW BEST:: SOT 2101693 SOS 859349 HAS SOPS 611631 HAS SOUS 21287 HAS SOUPS 20967 WITH SCORE 21826.349
AT ITER 2172 NEW BEST:: SOT 2101645 SOS 859301 HAS SOPS 611583 HAS SOUS 21287 HAS SOUPS 20967 WITH SCORE 21826.301
AT ITER 2174 NEW BEST:: SOT 2101630 SOS 859304 HAS SOPS 611583 HAS SOUS 21273 HAS SOUPS 20953 WITH SCORE 21812.304
AT ITER 2202 NEW BEST:: SOT 2101629 SOS 859302 HAS SOPS 611581 HAS SOUS 21271 HAS SOUPS 20951 WITH SCORE 21810.302
AT ITER 2231 NEW BEST:: SOT 2101629 SOS 859294 HAS SOPS 611573 HAS SOUS 21263 HAS SOUPS 20943 WITH SCORE 21802.294
AT ITER 2285 NEW BEST:: SOT 2101615 SOS 859266 HAS SOPS 611545 HAS SOUS 21249 HAS SOUPS 20929 WITH SCORE 21788.266
AT ITER 2290 NEW BEST:: SOT 2101529 SOS 859254 HAS SOPS 611481 HAS SOUS 21248 HAS SOUPS 20928 WITH SCORE 21787.254
AT ITER 2349 NEW BEST:: SOT 2101541 SOS 859228 HAS SOPS 611455 HAS SOUS 21245 HAS SOUPS 20925 WITH SCORE 21784.228
AT ITER 2404 NEW BEST:: SOT 2101538 SOS 859330 HAS SOPS 611635 HAS SOUS 21242 HAS SOUPS 20922 WITH SCORE 21781.33
AT ITER 2455 NEW BEST:: SOT 2101535 SOS 859325 HAS SOPS 611629 HAS SOUS 21236 HAS SOUPS 20916 WITH SCORE 21775.325
AT ITER 2535 NEW BEST:: SOT 2101529 SOS 859319 HAS SOPS 611623 HAS SOUS 21230 HAS SOUPS 20910 WITH SCORE 21769.319
AT ITER 2563 NEW BEST:: SOT 2101610 SOS 609591 HAS SOPS 551263 HAS SOUS 20606 HAS SOUPS 20304 WITH SCORE 20913.591
AT ITER 2653 NEW BEST:: SOT 2101565 SOS 609561 HAS SOPS 551233 HAS SOUS 20576 HAS SOUPS 20274 WITH SCORE 20883.561
AT ITER 2668 NEW BEST:: SOT 2101592 SOS 609543 HAS SOPS 551243 HAS SOUS 20559 HAS SOUPS 20257 WITH SCORE 20866.543
AT ITER 2781 NEW BEST:: SOT 2101635 SOS 609517 HAS SOPS 551217 HAS SOUS 20546 HAS SOUPS 20244 WITH SCORE 20853.517
AT ITER 2818 NEW BEST:: SOT 2101633 SOS 609513 HAS SOPS 551213 HAS SOUS 20544 HAS SOUPS 20242 WITH SCORE 20851.513
AT ITER 2892 NEW BEST:: SOT 2101667 SOS 609562 HAS SOPS 551281 HAS SOUS 20543 HAS SOUPS 20241 WITH SCORE 20850.562
AT ITER 2902 NEW BEST:: SOT 2101660 SOS 609555 HAS SOPS 551267 HAS SOUS 20536 HAS SOUPS 20234 WITH SCORE 20843.555
AT ITER 2905 NEW BEST:: SOT 2101684 SOS 566295 HAS SOPS 508019 HAS SOUS 20560 HAS SOUPS 20258 WITH SCORE 20824.295
AT ITER 2907 NEW BEST:: SOT 2101682 SOS 566291 HAS SOPS 508015 HAS SOUS 20558 HAS SOUPS 20256 WITH SCORE 20822.291
AT ITER 2922 NEW BEST:: SOT 2101676 SOS 566285 HAS SOPS 508003 HAS SOUS 20552 HAS SOUPS 20250 WITH SCORE 20816.285
AT ITER 2955 NEW BEST:: SOT 2101674 SOS 566283 HAS SOPS 507999 HAS SOUS 20548 HAS SOUPS 20246 WITH SCORE 20812.283
AT ITER 3131 NEW BEST:: SOT 2101670 SOS 566377 HAS SOPS 508093 HAS SOUS 20544 HAS SOUPS 20242 WITH SCORE 20808.377
AT ITER 3136 NEW BEST:: SOT 2101618 SOS 566324 HAS SOPS 507989 HAS SOUS 20542 HAS SOUPS 20240 WITH SCORE 20806.324
AT ITER 3173 NEW BEST:: SOT 2101621 SOS 566330 HAS SOPS 507995 HAS SOUS 20535 HAS SOUPS 20233 WITH SCORE 20799.33
AT ITER 3204 NEW BEST:: SOT 2101643 SOS 566352 HAS SOPS 507381 HAS SOUS 20313 HAS SOUPS 20011 WITH SCORE 20577.352
AT ITER 3319 NEW BEST:: SOT 2101639 SOS 566348 HAS SOPS 506905 HAS SOUS 20213 HAS SOUPS 19911 WITH SCORE 20477.347999999998
AT ITER 3330 NEW BEST:: SOT 2101640 SOS 566814 HAS SOPS 506903 HAS SOUS 20215 HAS SOUPS 19909 WITH SCORE 20475.814
AT ITER 3349 NEW BEST:: SOT 2101646 SOS 566815 HAS SOPS 506620 HAS SOUS 20029 HAS SOUPS 19723 WITH SCORE 20289.815
AT ITER 3381 NEW BEST:: SOT 2101636 SOS 566797 HAS SOPS 506600 HAS SOUS 20019 HAS SOUPS 19713 WITH SCORE 20279.797
AT ITER 3409 NEW BEST:: SOT 2101636 SOS 566795 HAS SOPS 506598 HAS SOUS 20017 HAS SOUPS 19711 WITH SCORE 20277.795
AT ITER 3458 NEW BEST:: SOT 2101629 SOS 566830 HAS SOPS 506633 HAS SOUS 20010 HAS SOUPS 19704 WITH SCORE 20270.83
AT ITER 3498 NEW BEST:: SOT 2101672 SOS 566696 HAS SOPS 506499 HAS SOUS 19943 HAS SOUPS 19637 WITH SCORE 20203.696
AT ITER 3512 NEW BEST:: SOT 2101670 SOS 566688 HAS SOPS 506491 HAS SOUS 19941 HAS SOUPS 19635 WITH SCORE 20201.688
AT ITER 3513 NEW BEST:: SOT 2101649 SOS 566646 HAS SOPS 506449 HAS SOUS 19899 HAS SOUPS 19593 WITH SCORE 20159.646
AT ITER 3543 NEW BEST:: SOT 2004540 SOS 1091745 HAS SOPS 655511 HAS SOUS 18943 HAS SOUPS 18610 WITH SCORE 19701.745
AT ITER 3607 NEW BEST:: SOT 1998695 SOS 1085855 HAS SOPS 649621 HAS SOUS 18679 HAS SOUPS 18346 WITH SCORE 19431.855
AT ITER 3640 NEW BEST:: SOT 1998776 SOS 585369 HAS SOPS 536210 HAS SOUS 18110 HAS SOUPS 17813 WITH SCORE 18398.369
AT ITER 3643 NEW BEST:: SOT 1998776 SOS 585369 HAS SOPS 536210 HAS SOUS 18109 HAS SOUPS 17812 WITH SCORE 18397.369
AT ITER 3673 NEW BEST:: SOT 1998667 SOS 585333 HAS SOPS 536174 HAS SOUS 18091 HAS SOUPS 17794 WITH SCORE 18379.333
AT ITER 3736 NEW BEST:: SOT 1998665 SOS 588141 HAS SOPS 536127 HAS SOUS 18102 HAS SOUPS 17782 WITH SCORE 18370.141
AT ITER 3747 NEW BEST:: SOT 1998663 SOS 588137 HAS SOPS 536123 HAS SOUS 18100 HAS SOUPS 17780 WITH SCORE 18368.137
AT ITER 3787 NEW BEST:: SOT 1998663 SOS 588135 HAS SOPS 536123 HAS SOUS 18100 HAS SOUPS 17780 WITH SCORE 18368.135
AT ITER 3800 NEW BEST:: SOT 1998662 SOS 588134 HAS SOPS 536121 HAS SOUS 18098 HAS SOUPS 17778 WITH SCORE 18366.134
AT ITER 3875 NEW BEST:: SOT 1998673 SOS 588112 HAS SOPS 536121 HAS SOUS 18087 HAS SOUPS 17767 WITH SCORE 18355.112
AT ITER 3916 NEW BEST:: SOT 1998673 SOS 588112 HAS SOPS 536121 HAS SOUS 18084 HAS SOUPS 17764 WITH SCORE 18352.112
AT ITER 4004 NEW BEST:: SOT 1998683 SOS 588110 HAS SOPS 535287 HAS SOUS 18047 HAS SOUPS 17727 WITH SCORE 18315.11
AT ITER 4080 NEW BEST:: SOT 1998679 SOS 588000 HAS SOPS 535173 HAS SOUS 17933 HAS SOUPS 17613 WITH SCORE 18201.0
AT ITER 4110 NEW BEST:: SOT 1998659 SOS 587960 HAS SOPS 535133 HAS SOUS 17913 HAS SOUPS 17593 WITH SCORE 18180.96
AT ITER 4117 NEW BEST:: SOT 1998658 SOS 588102 HAS SOPS 535275 HAS SOUS 17912 HAS SOUPS 17592 WITH SCORE 18180.102
AT ITER 4126 NEW BEST:: SOT 1998666 SOS 589528 HAS SOPS 535280 HAS SOUS 17920 HAS SOUPS 17589 WITH SCORE 18178.528
AT ITER 4160 NEW BEST:: SOT 1998666 SOS 589504 HAS SOPS 535192 HAS SOUS 17920 HAS SOUPS 17589 WITH SCORE 18178.504
AT ITER 4169 NEW BEST:: SOT 1998655 SOS 589614 HAS SOPS 535302 HAS SOUS 17909 HAS SOUPS 17578 WITH SCORE 18167.614
AT ITER 4172 NEW BEST:: SOT 1998655 SOS 589614 HAS SOPS 535302 HAS SOUS 17908 HAS SOUPS 17577 WITH SCORE 18166.614
AT ITER 4200 NEW BEST:: SOT 1998655 SOS 589603 HAS SOPS 535291 HAS SOUS 17908 HAS SOUPS 17577 WITH SCORE 18166.603
AT ITER 4241 NEW BEST:: SOT 1998654 SOS 589601 HAS SOPS 535289 HAS SOUS 17906 HAS SOUPS 17575 WITH SCORE 18164.601
AT ITER 4255 NEW BEST:: SOT 1998624 SOS 615941 HAS SOPS 535279 HAS SOUS 17879 HAS SOUPS 17545 WITH SCORE 18160.941
AT ITER 4264 NEW BEST:: SOT 1998594 SOS 615943 HAS SOPS 535281 HAS SOUS 17849 HAS SOUPS 17515 WITH SCORE 18130.943
AT ITER 4377 NEW BEST:: SOT 1998592 SOS 615939 HAS SOPS 535277 HAS SOUS 17847 HAS SOUPS 17513 WITH SCORE 18128.939
AT ITER 4390 NEW BEST:: SOT 1998589 SOS 615945 HAS SOPS 535261 HAS SOUS 17844 HAS SOUPS 17510 WITH SCORE 18125.945
AT ITER 4408 NEW BEST:: SOT 1983813 SOS 762387 HAS SOPS 689479 HAS SOUS 17403 HAS SOUPS 17069 WITH SCORE 17831.387
AT ITER 4436 NEW BEST:: SOT 1983800 SOS 762251 HAS SOPS 689343 HAS SOUS 17390 HAS SOUPS 17056 WITH SCORE 17818.251
AT ITER 4458 NEW BEST:: SOT 1983725 SOS 762201 HAS SOPS 689293 HAS SOUS 17340 HAS SOUPS 17006 WITH SCORE 17768.201
AT ITER 4465 NEW BEST:: SOT 1983722 SOS 762205 HAS SOPS 689297 HAS SOUS 17337 HAS SOUPS 17003 WITH SCORE 17765.205
AT ITER 4615 NEW BEST:: SOT 1983788 SOS 762269 HAS SOPS 689361 HAS SOUS 17335 HAS SOUPS 17001 WITH SCORE 17763.269
AT ITER 4688 NEW BEST:: SOT 1983788 SOS 762269 HAS SOPS 689361 HAS SOUS 17333 HAS SOUPS 16999 WITH SCORE 17761.269
AT ITER 4713 NEW BEST:: SOT 1983794 SOS 762263 HAS SOPS 688133 HAS SOUS 17243 HAS SOUPS 16909 WITH SCORE 17671.263
AT ITER 4762 NEW BEST:: SOT 1983788 SOS 762253 HAS SOPS 688123 HAS SOUS 17234 HAS SOUPS 16900 WITH SCORE 17662.253
AT ITER 4811 NEW BEST:: SOT 1983787 SOS 762251 HAS SOPS 688121 HAS SOUS 17232 HAS SOUPS 16898 WITH SCORE 17660.251
AT ITER 4897 NEW BEST:: SOT 1983786 SOS 762249 HAS SOPS 688119 HAS SOUS 17230 HAS SOUPS 16896 WITH SCORE 17658.249
AT ITER 5044 NEW BEST:: SOT 1983800 SOS 762277 HAS SOPS 688147 HAS SOUS 17218 HAS SOUPS 16884 WITH SCORE 17646.277000000002
AT ITER 5060 NEW BEST:: SOT 1983792 SOS 762261 HAS SOPS 688131 HAS SOUS 17210 HAS SOUPS 16876 WITH SCORE 17638.261
AT ITER 5133 NEW BEST:: SOT 1983788 SOS 762227 HAS SOPS 688071 HAS SOUS 17162 HAS SOUPS 16828 WITH SCORE 17590.227
AT ITER 5141 NEW BEST:: SOT 1983662 SOS 762195 HAS SOPS 688039 HAS SOUS 17120 HAS SOUPS 16786 WITH SCORE 17548.195
AT ITER 5149 NEW BEST:: SOT 1980967 SOS 929865 HAS SOPS 862177 HAS SOUS 16932 HAS SOUPS 16598 WITH SCORE 17527.865
AT ITER 5188 NEW BEST:: SOT 1981007 SOS 929888 HAS SOPS 862200 HAS SOUS 16913 HAS SOUPS 16579 WITH SCORE 17508.888
AT ITER 5228 NEW BEST:: SOT 1981001 SOS 929882 HAS SOPS 862188 HAS SOUS 16907 HAS SOUPS 16573 WITH SCORE 17502.882
AT ITER 5256 NEW BEST:: SOT 1980997 SOS 929874 HAS SOPS 862180 HAS SOUS 16903 HAS SOUPS 16569 WITH SCORE 17498.874
AT ITER 5273 NEW BEST:: SOT 1980997 SOS 889752 HAS SOPS 822058 HAS SOUS 16906 HAS SOUPS 16572 WITH SCORE 17461.752
AT ITER 5279 NEW BEST:: SOT 1980989 SOS 889756 HAS SOPS 824878 HAS SOUS 16904 HAS SOUPS 16570 WITH SCORE 17459.756
AT ITER 5294 NEW BEST:: SOT 1980988 SOS 889755 HAS SOPS 824876 HAS SOUS 16902 HAS SOUPS 16568 WITH SCORE 17457.755
AT ITER 5316 NEW BEST:: SOT 1980986 SOS 889751 HAS SOPS 824872 HAS SOUS 16900 HAS SOUPS 16566 WITH SCORE 17455.751
AT ITER 5373 NEW BEST:: SOT 1981042 SOS 719307 HAS SOPS 652248 HAS SOUS 16949 HAS SOUPS 16615 WITH SCORE 17334.307
AT ITER 5443 NEW BEST:: SOT 1981042 SOS 719273 HAS SOPS 652248 HAS SOUS 16949 HAS SOUPS 16615 WITH SCORE 17334.273
AT ITER 5452 NEW BEST:: SOT 1981040 SOS 719271 HAS SOPS 652244 HAS SOUS 16947 HAS SOUPS 16613 WITH SCORE 17332.271
AT ITER 5468 NEW BEST:: SOT 1981036 SOS 719263 HAS SOPS 652236 HAS SOUS 16939 HAS SOUPS 16605 WITH SCORE 17324.263
AT ITER 5521 NEW BEST:: SOT 1981031 SOS 719257 HAS SOPS 652226 HAS SOUS 16936 HAS SOUPS 16599 WITH SCORE 17318.257
AT ITER 5554 NEW BEST:: SOT 1981029 SOS 719254 HAS SOPS 652222 HAS SOUS 16932 HAS SOUPS 16595 WITH SCORE 17314.254
AT ITER 5566 NEW BEST:: SOT 1981029 SOS 719254 HAS SOPS 652222 HAS SOUS 16927 HAS SOUPS 16590 WITH SCORE 17309.254
AT ITER 5668 NEW BEST:: SOT 1981015 SOS 719246 HAS SOPS 652204 HAS SOUS 16923 HAS SOUPS 16586 WITH SCORE 17305.246
AT ITER 5700 NEW BEST:: SOT 1981014 SOS 719245 HAS SOPS 652202 HAS SOUS 16921 HAS SOUPS 16584 WITH SCORE 17303.245
AT ITER 5750 NEW BEST:: SOT 1981013 SOS 719243 HAS SOPS 652200 HAS SOUS 16920 HAS SOUPS 16583 WITH SCORE 17302.243
AT ITER 5812 NEW BEST:: SOT 1981059 SOS 719316 HAS SOPS 652242 HAS SOUS 16914 HAS SOUPS 16577 WITH SCORE 17296.316
AT ITER 5818 NEW BEST:: SOT 1981059 SOS 719314 HAS SOPS 652240 HAS SOUS 16912 HAS SOUPS 16575 WITH SCORE 17294.314
AT ITER 5822 NEW BEST:: SOT 1981056 SOS 719308 HAS SOPS 652234 HAS SOUS 16909 HAS SOUPS 16572 WITH SCORE 17291.308
AT ITER 5827 NEW BEST:: SOT 1981020 SOS 719250 HAS SOPS 652162 HAS SOUS 16859 HAS SOUPS 16522 WITH SCORE 17241.25
AT ITER 5828 NEW BEST:: SOT 1981019 SOS 719249 HAS SOPS 652160 HAS SOUS 16857 HAS SOUPS 16520 WITH SCORE 17239.249
AT ITER 5914 NEW BEST:: SOT 1981018 SOS 719247 HAS SOPS 652158 HAS SOUS 16855 HAS SOUPS 16518 WITH SCORE 17237.247
AT ITER 5933 NEW BEST:: SOT 1981017 SOS 719246 HAS SOPS 652156 HAS SOUS 16853 HAS SOUPS 16516 WITH SCORE 17235.246
AT ITER 5955 NEW BEST:: SOT 1981017 SOS 719022 HAS SOPS 651932 HAS SOUS 16853 HAS SOUPS 16516 WITH SCORE 17235.022
AT ITER 6011 NEW BEST:: SOT 1981020 SOS 718986 HAS SOPS 651896 HAS SOUS 16826 HAS SOUPS 16489 WITH SCORE 17207.986
AT ITER 6057 NEW BEST:: SOT 1980991 SOS 718967 HAS SOPS 651877 HAS SOUS 16797 HAS SOUPS 16460 WITH SCORE 17178.967
AT ITER 6149 NEW BEST:: SOT 1980990 SOS 718971 HAS SOPS 651875 HAS SOUS 16789 HAS SOUPS 16452 WITH SCORE 17170.971
AT ITER 6273 NEW BEST:: SOT 1980984 SOS 718969 HAS SOPS 651873 HAS SOUS 16787 HAS SOUPS 16450 WITH SCORE 17168.969
AT ITER 6291 NEW BEST:: SOT 1980984 SOS 718969 HAS SOPS 651873 HAS SOUS 16781 HAS SOUPS 16444 WITH SCORE 17162.969
AT ITER 6310 NEW BEST:: SOT 1980981 SOS 718963 HAS SOPS 651861 HAS SOUS 16778 HAS SOUPS 16441 WITH SCORE 17159.963
AT ITER 6360 NEW BEST:: SOT 1980981 SOS 718980 HAS SOPS 651861 HAS SOUS 16761 HAS SOUPS 16424 WITH SCORE 17142.98
AT ITER 6395 NEW BEST:: SOT 1980978 SOS 718983 HAS SOPS 651865 HAS SOUS 16759 HAS SOUPS 16422 WITH SCORE 17140.983
AT ITER 6536 NEW BEST:: SOT 1980974 SOS 718975 HAS SOPS 651857 HAS SOUS 16755 HAS SOUPS 16418 WITH SCORE 17136.975
AT ITER 6538 NEW BEST:: SOT 1980964 SOS 718955 HAS SOPS 651837 HAS SOUS 16732 HAS SOUPS 16395 WITH SCORE 17113.955
AT ITER 6747 NEW BEST:: SOT 1980960 SOS 718951 HAS SOPS 651833 HAS SOUS 16728 HAS SOUPS 16391 WITH SCORE 17109.951
AT ITER 6751 NEW BEST:: SOT 1980963 SOS 718957 HAS SOPS 651839 HAS SOUS 16724 HAS SOUPS 16387 WITH SCORE 17105.957
AT ITER 6779 NEW BEST:: SOT 1980971 SOS 718949 HAS SOPS 651831 HAS SOUS 16716 HAS SOUPS 16379 WITH SCORE 17097.949
AT ITER 6809 NEW BEST:: SOT 1980962 SOS 718953 HAS SOPS 651835 HAS SOUS 16707 HAS SOUPS 16370 WITH SCORE 17088.953
AT ITER 6851 NEW BEST:: SOT 1980961 SOS 718952 HAS SOPS 651833 HAS SOUS 16705 HAS SOUPS 16368 WITH SCORE 17086.952
AT ITER 6897 NEW BEST:: SOT 1980952 SOS 718949 HAS SOPS 651827 HAS SOUS 16699 HAS SOUPS 16362 WITH SCORE 17080.949
AT ITER 6972 NEW BEST:: SOT 1980954 SOS 718945 HAS SOPS 651823 HAS SOUS 16699 HAS SOUPS 16362 WITH SCORE 17080.945
AT ITER 7059 NEW BEST:: SOT 1980935 SOS 718926 HAS SOPS 651785 HAS SOUS 16659 HAS SOUPS 16322 WITH SCORE 17040.926
AT ITER 7173 NEW BEST:: SOT 1980929 SOS 718918 HAS SOPS 651777 HAS SOUS 16655 HAS SOUPS 16318 WITH SCORE 17036.918
AT ITER 7200 NEW BEST:: SOT 1980969 SOS 646266 HAS SOPS 579125 HAS SOUS 16663 HAS SOUPS 16326 WITH SCORE 16972.266
AT ITER 7206 NEW BEST:: SOT 1980958 SOS 646254 HAS SOPS 579113 HAS SOUS 16651 HAS SOUPS 16314 WITH SCORE 16960.254
AT ITER 7296 NEW BEST:: SOT 1980952 SOS 646274 HAS SOPS 579133 HAS SOUS 16645 HAS SOUPS 16308 WITH SCORE 16954.274
AT ITER 7307 NEW BEST:: SOT 1971700 SOS 709270 HAS SOPS 654196 HAS SOUS 16548 HAS SOUPS 16211 WITH SCORE 16920.27
AT ITER 7351 NEW BEST:: SOT 1971690 SOS 709230 HAS SOPS 654156 HAS SOUS 16538 HAS SOUPS 16201 WITH SCORE 16910.23
AT ITER 7457 NEW BEST:: SOT 1971755 SOS 709184 HAS SOPS 654198 HAS SOUS 16536 HAS SOUPS 16199 WITH SCORE 16908.184
AT ITER 7458 NEW BEST:: SOT 1971735 SOS 709254 HAS SOPS 653730 HAS SOUS 16519 HAS SOUPS 16182 WITH SCORE 16891.254
AT ITER 7490 NEW BEST:: SOT 1971732 SOS 706980 HAS SOPS 651456 HAS SOUS 16521 HAS SOUPS 16184 WITH SCORE 16890.98
AT ITER 7536 NEW BEST:: SOT 1971729 SOS 706872 HAS SOPS 651348 HAS SOUS 16518 HAS SOUPS 16181 WITH SCORE 16887.872
AT ITER 7680 NEW BEST:: SOT 1971729 SOS 706837 HAS SOPS 651312 HAS SOUS 16482 HAS SOUPS 16145 WITH SCORE 16851.837
AT ITER 7737 NEW BEST:: SOT 1971726 SOS 706969 HAS SOPS 651444 HAS SOUS 16479 HAS SOUPS 16142 WITH SCORE 16848.969
AT ITER 7746 NEW BEST:: SOT 1971716 SOS 706949 HAS SOPS 651424 HAS SOUS 16469 HAS SOUPS 16132 WITH SCORE 16838.949
AT ITER 7838 NEW BEST:: SOT 1971704 SOS 706925 HAS SOPS 651400 HAS SOUS 16457 HAS SOUPS 16120 WITH SCORE 16826.925
AT ITER 7883 NEW BEST:: SOT 1971699 SOS 706905 HAS SOPS 651380 HAS SOUS 16452 HAS SOUPS 16115 WITH SCORE 16821.905
AT ITER 7977 NEW BEST:: SOT 1971696 SOS 706902 HAS SOPS 651377 HAS SOUS 16449 HAS SOUPS 16112 WITH SCORE 16818.902000000002
AT ITER 8276 NEW BEST:: SOT 1971585 SOS 706888 HAS SOPS 651363 HAS SOUS 16422 HAS SOUPS 16085 WITH SCORE 16791.888
AT ITER 8318 NEW BEST:: SOT 1971557 SOS 706832 HAS SOPS 651265 HAS SOUS 16387 HAS SOUPS 16050 WITH SCORE 16756.832
AT ITER 8365 NEW BEST:: SOT 1971552 SOS 706864 HAS SOPS 651255 HAS SOUS 16377 HAS SOUPS 16040 WITH SCORE 16746.864
AT ITER 8371 NEW BEST:: SOT 1971584 SOS 706928 HAS SOPS 645461 HAS SOUS 16357 HAS SOUPS 16020 WITH SCORE 16726.928
AT ITER 8482 NEW BEST:: SOT 1971584 SOS 706928 HAS SOPS 645461 HAS SOUS 16353 HAS SOUPS 16016 WITH SCORE 16722.928
AT ITER 8716 NEW BEST:: SOT 1971583 SOS 706926 HAS SOPS 645459 HAS SOUS 16351 HAS SOUPS 16014 WITH SCORE 16720.926
AT ITER 8721 NEW BEST:: SOT 1968749 SOS 704092 HAS SOPS 642607 HAS SOUS 16077 HAS SOUPS 15740 WITH SCORE 16444.092
AT ITER 8725 NEW BEST:: SOT 1968740 SOS 704074 HAS SOPS 642589 HAS SOUS 16068 HAS SOUPS 15731 WITH SCORE 16435.074
AT ITER 8743 NEW BEST:: SOT 1968740 SOS 704074 HAS SOPS 642589 HAS SOUS 16066 HAS SOUPS 15729 WITH SCORE 16433.074
AT ITER 8933 NEW BEST:: SOT 1968733 SOS 704060 HAS SOPS 642582 HAS SOUS 16066 HAS SOUPS 15729 WITH SCORE 16433.06
AT ITER 9141 NEW BEST:: SOT 1968720 SOS 703852 HAS SOPS 642374 HAS SOUS 16027 HAS SOUPS 15690 WITH SCORE 16393.852
AT ITER 9226 NEW BEST:: SOT 1968727 SOS 703866 HAS SOPS 642388 HAS SOUS 16009 HAS SOUPS 15672 WITH SCORE 16375.866
AT ITER 9389 NEW BEST:: SOT 1968727 SOS 703865 HAS SOPS 642388 HAS SOUS 16009 HAS SOUPS 15672 WITH SCORE 16375.865
AT ITER 9514 NEW BEST:: SOT 1968724 SOS 703856 HAS SOPS 642379 HAS SOUS 16006 HAS SOUPS 15669 WITH SCORE 16372.856
AT ITER 9700 NEW BEST:: SOT 1968718 SOS 703850 HAS SOPS 642367 HAS SOUS 15994 HAS SOUPS 15657 WITH SCORE 16360.85
AT ITER 9728 NEW BEST:: SOT 1968707 SOS 703828 HAS SOPS 642345 HAS SOUS 15983 HAS SOUPS 15646 WITH SCORE 16349.828
AT ITER 9771 NEW BEST:: SOT 1968707 SOS 703860 HAS SOPS 642345 HAS SOUS 15951 HAS SOUPS 15614 WITH SCORE 16317.86
AT ITER 9820 NEW BEST:: SOT 1968723 SOS 703724 HAS SOPS 642209 HAS SOUS 15944 HAS SOUPS 15607 WITH SCORE 16310.724
AT ITER 9894 NEW BEST:: SOT 1968722 SOS 703722 HAS SOPS 642207 HAS SOUS 15944 HAS SOUPS 15607 WITH SCORE 16310.722
AT ITER 9968 NEW BEST:: SOT 1968727 SOS 703690 HAS SOPS 642175 HAS SOUS 15943 HAS SOUPS 15606 WITH SCORE 16309.69
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15745504 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16036016 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is StigmergyCommit-PT-08a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651300496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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