About the Execution of 2021-gold for RERS17pb114-PT-8
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16248.535 | 1421789.00 | 2490461.00 | 17290.40 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2022-input.r198-tajo-165281579300082.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2022-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is RERS17pb114-PT-8, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r198-tajo-165281579300082
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 8.0K Apr 29 17:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Apr 29 17:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Apr 29 17:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Apr 29 17:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K May 9 08:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 9 08:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 9 08:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 9 08:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 9 08:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 9 08:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 2 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 73M May 10 09:34 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME QuasiLiveness
=== Now, execution of the tool begins
BK_START 1653291805774
Running Version 0
[2022-05-23 07:43:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2022-05-23 07:43:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-23 07:43:33] [INFO ] Load time of PNML (sax parser for PT used): 3615 ms
[2022-05-23 07:43:33] [INFO ] Transformed 1446 places.
[2022-05-23 07:43:34] [INFO ] Transformed 151085 transitions.
[2022-05-23 07:43:34] [INFO ] Parsed PT model containing 1446 places and 151085 transitions in 4473 ms.
Starting structural reductions, iteration 0 : 1446/1446 places, 151085/151085 transitions.
Ensure Unique test removed 17 places
Iterating post reduction 0 with 17 rules applied. Total rules applied 17 place count 1429 transition count 151085
Applied a total of 17 rules in 3155 ms. Remains 1429 /1446 variables (removed 17) and now considering 151085/151085 (removed 0) transitions.
[2022-05-23 07:43:37] [INFO ] Flow matrix only has 84691 transitions (discarded 66394 similar events)
// Phase 1: matrix 84691 rows 1429 cols
[2022-05-23 07:43:38] [INFO ] Computed 18 place invariants in 800 ms
[2022-05-23 07:43:47] [INFO ] Implicit Places using invariants in 10466 ms returned []
Implicit Place search using SMT only with invariants took 10559 ms to find 0 implicit places.
[2022-05-23 07:43:48] [INFO ] Flow matrix only has 84691 transitions (discarded 66394 similar events)
// Phase 1: matrix 84691 rows 1429 cols
[2022-05-23 07:43:48] [INFO ] Computed 18 place invariants in 408 ms
[2022-05-23 07:44:18] [INFO ] Performed 76059/151085 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-23 07:44:44] [INFO ] Dead Transitions using invariants and state equation in 56293 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1429/1446 places, 151085/151085 transitions.
Discarding 9356 transitions out of 151085. Remains 141729
[2022-05-23 07:44:45] [INFO ] Initial state test concluded for 1 properties.
Interrupted random walk after 1228 steps, including 0 resets, run timeout after 30018 ms. (steps per millisecond=0 ) properties seen :{420=1, 1149=1, 1322=1, 1330=1, 1494=1, 2345=1, 2603=1, 2629=1, 3410=1, 3518=1, 3572=1, 3590=1, 3636=1, 5282=1, 5285=1, 5331=1, 5373=1, 5376=1, 5864=1, 5893=1, 6393=1, 6566=1, 6574=1, 6892=1, 6938=1, 6949=1, 7382=1, 7673=1, 8053=1, 8059=1, 8536=1, 8562=1, 8568=1, 8574=1, 8586=1, 8760=1, 8816=1, 8844=1, 8958=1, 9325=1, 10053=1, 10063=1, 10352=1, 10585=1, 10605=1, 10980=1, 11155=1, 11870=1, 11894=1, 11896=1, 11902=1, 12943=1, 12949=1, 12955=1, 13403=1, 13467=1, 14249=1, 14489=1, 14505=1, 14520=1, 15251=1, 17052=1, 17056=1, 17062=1, 17094=1, 17166=1, 17174=1, 17198=1, 17707=1, 17717=1, 17731=1, 17779=1, 18356=1, 18734=1, 18900=1, 18930=1, 18933=1, 18934=1, 18936=1, 19446=1, 20631=1, 21097=1, 21117=1, 21119=1, 21211=1, 22047=1, 22200=1, 22496=1, 22558=1, 22904=1, 23821=1, 24741=1, 24747=1, 25126=1, 25411=1, 25429=1, 25480=1, 25971=1, 26029=1, 26035=1, 26141=1, 26152=1, 26206=1, 26224=1, 26390=1, 26394=1, 26418=1, 26446=1, 26463=1, 26491=1, 26945=1, 27633=1, 28063=1, 28066=1, 28078=1, 28105=1, 28893=1, 29141=1, 29143=1, 29603=1, 29670=1, 29813=1, 31214=1, 31599=1, 31617=1, 31641=1, 31666=1, 31679=1, 32422=1, 32539=1, 32553=1, 32579=1, 32637=1, 32641=1, 32647=1, 32659=1, 32762=1, 32801=1, 33293=1, 33295=1, 33356=1, 33440=1, 33493=1, 33521=1, 33536=1, 33537=1, 33538=1, 33621=1, 33762=1, 33800=1, 33921=1, 34011=1, 34033=1, 34308=1, 34324=1, 34422=1, 34530=1, 34661=1, 34663=1, 34675=1, 34677=1, 34679=1, 34681=1, 34685=1, 34689=1, 34753=1, 34864=1, 34900=1, 35104=1, 35128=1, 35146=1, 35278=1, 35332=1, 35679=1, 35733=1, 35777=1, 37407=1, 37702=1, 37774=1, 37817=1, 37986=1, 38299=1, 38325=1, 38368=1, 38418=1, 38430=1, 39297=1, 39391=1, 39716=1, 39752=1, 39764=1, 40280=1, 40351=1, 41017=1, 41286=1, 41289=1, 41292=1, 41318=1, 41324=1, 41428=1, 41438=1, 42219=1, 42457=1, 42472=1, 42475=1, 42490=1, 42493=1, 42596=1, 42601=1, 42628=1, 42633=1, 43459=1, 43654=1, 43673=1, 43936=1, 44004=1, 44008=1, 44107=1, 44764=1, 44939=1, 44990=1, 45771=1, 45789=1, 45831=1, 45853=1, 45855=1, 45869=1, 46096=1, 46134=1, 46137=1, 46143=1, 46181=1, 46602=1, 46935=1, 47027=1, 47139=1, 47564=1, 47979=1, 48043=1, 48061=1, 48093=1, 48135=1, 48291=1, 48309=1, 49145=1, 49199=1, 49230=1, 49463=1, 49554=1, 49558=1, 50189=1, 50200=1, 50224=1, 50256=1, 50284=1, 50297=1, 50301=1, 50312=1, 50315=1, 50322=1, 50326=1, 50333=1, 50336=1, 50340=1, 50343=1, 50350=1, 50361=1, 50392=1, 50409=1, 50410=1, 50767=1, 51077=1, 51343=1, 51349=1, 51400=1, 51412=1, 51414=1, 51415=1, 51442=1, 51454=1, 51472=1, 51481=1, 51490=1, 52744=1, 52878=1, 53045=1, 53272=1, 53387=1, 53395=1, 53407=1, 53770=1, 53812=1, 53834=1, 54339=1, 54362=1, 54712=1, 54715=1, 55074=1, 55259=1, 55331=1, 55430=1, 55537=1, 55552=1, 55556=1, 55568=1, 55583=1, 55611=1, 55617=1, 55621=1, 55999=1, 56001=1, 56015=1, 56035=1, 56349=1, 56412=1, 56682=1, 56777=1, 56778=1, 56779=1, 56782=1, 56784=1, 56788=1, 56789=1, 56790=1, 56791=1, 56793=1, 56794=1, 56795=1, 56796=1, 56797=1, 56799=1, 56801=1, 56803=1, 57339=1, 57349=1, 57367=1, 57403=1, 57634=1, 58450=1, 58455=1, 59488=1, 59918=1, 59947=1, 60127=1, 60138=1, 60448=1, 60459=1, 60462=1, 60469=1, 60499=1, 60700=1, 60722=1, 61099=1, 61164=1, 61180=1, 61898=1, 61970=1, 61976=1, 62070=1, 62076=1, 62186=1, 63409=1, 63457=1, 63997=1, 64511=1, 65040=1, 65500=1, 65809=1, 65818=1, 65824=1, 66584=1, 66645=1, 67280=1, 68284=1, 68814=1, 69520=1, 69556=1, 69784=1, 69811=1, 69880=1, 70186=1, 70215=1, 71317=1, 71339=1, 71488=1, 71971=1, 71997=1, 72037=1, 72261=1, 72871=1, 72982=1, 72990=1, 73076=1, 73156=1, 73219=1, 73252=1, 73561=1, 73564=1, 73582=1, 73630=1, 73646=1, 73662=1, 73678=1, 73679=1, 73921=1, 73941=1, 73970=1, 74302=1, 74624=1, 74633=1, 74695=1, 74711=1, 74713=1, 74735=1, 75252=1, 75365=1, 75374=1, 75375=1, 75410=1, 75416=1, 75445=1, 75499=1, 75537=1, 75542=1, 75627=1, 75719=1, 75751=1, 75774=1, 75777=1, 76019=1, 76028=1, 76034=1, 76500=1, 76532=1, 76617=1, 76672=1, 77318=1, 77327=1, 77333=1, 77733=1, 78005=1, 78084=1, 78369=1, 78385=1, 78393=1, 78411=1, 78512=1, 78731=1, 78747=1, 78809=1, 78839=1, 79307=1, 79411=1, 79420=1, 79470=1, 80026=1, 80074=1, 80194=1, 80206=1, 80538=1, 80580=1, 81260=1, 81304=1, 81425=1, 81511=1, 81535=1, 81538=1, 81571=1, 81607=1, 81673=1, 82167=1, 82169=1, 82181=1, 82196=1, 82265=1, 82682=1, 82746=1, 82786=1, 83234=1, 83338=1, 84296=1, 84989=1, 85011=1, 85364=1, 85366=1, 85519=1, 85773=1, 85795=1, 85881=1, 85908=1, 86497=1, 86503=1, 86634=1, 86806=1, 86819=1, 86823=1, 87586=1, 87769=1, 87851=1, 87863=1, 88391=1, 88509=1, 88545=1, 88565=1, 88603=1, 88633=1, 88790=1, 89431=1, 89483=1, 89524=1, 89527=1, 89557=1, 89592=1, 89593=1, 89613=1, 89615=1, 89681=1, 89754=1, 89770=1, 90371=1, 90411=1, 90450=1, 90512=1, 90534=1, 90539=1, 90561=1, 90562=1, 90604=1, 91326=1, 91627=1, 92293=1, 92328=1, 92512=1, 93091=1, 93098=1, 93128=1, 93171=1, 93220=1, 93415=1, 93543=1, 93618=1, 94112=1, 94256=1, 94263=1, 94272=1, 94288=1, 94458=1, 94606=1, 94971=1, 95044=1, 95644=1, 95815=1, 95821=1, 95852=1, 95889=1, 95891=1, 95939=1, 96002=1, 96005=1, 96185=1, 96201=1, 97040=1, 97966=1, 97982=1, 97995=1, 98050=1, 99049=1, 99052=1, 99441=1, 99455=1, 99476=1, 99485=1, 100318=1, 100341=1, 100362=1, 100386=1, 100394=1, 100404=1, 100424=1, 100444=1, 101143=1, 101147=1, 101164=1, 101190=1, 101194=1, 101333=1, 101338=1, 101353=1, 101367=1, 101378=1, 101383=1, 101404=1, 102374=1, 102384=1, 102487=1, 102535=1, 102545=1, 102560=1, 102566=1, 102614=1, 102617=1, 102623=1, 102644=1, 102650=1, 102946=1, 103242=1, 103248=1, 103262=1, 103353=1, 103369=1, 104183=1, 104238=1, 104244=1, 104361=1, 104409=1, 104829=1, 105239=1, 105447=1, 105546=1, 105567=1, 105848=1, 106277=1, 106288=1, 106314=1, 106324=1, 106399=1, 106434=1, 106721=1, 106798=1, 106804=1, 106978=1, 106985=1, 107026=1, 107462=1, 107471=1, 107472=1, 107476=1, 107482=1, 107586=1, 107600=1, 108218=1, 108404=1, 109082=1, 109126=1, 109769=1, 109820=1, 109841=1, 109847=1, 109872=1, 109895=1, 109898=1, 109904=1, 109922=1, 109925=1, 110062=1, 110094=1, 110096=1, 110118=1, 110692=1, 110889=1, 110893=1, 111586=1, 111598=1, 111651=1, 111654=1, 111735=1, 111806=1, 111927=1, 112225=1, 112536=1, 112548=1, 112595=1, 112597=1, 112635=1, 112844=1, 113201=1, 113261=1, 113395=1, 113442=1, 113479=1, 113482=1, 113490=1, 113491=1, 113845=1, 114243=1, 114374=1, 114413=1, 114422=1, 114424=1, 114428=1, 114436=1, 114472=1, 114484=1, 114503=1, 114509=1, 114512=1, 114520=1, 114521=1, 114524=1, 114525=1, 114566=1, 114568=1, 115149=1, 115226=1, 115350=1, 115388=1, 115398=1, 115419=1, 115425=1, 115428=1, 115434=1, 115459=1, 115462=1, 115502=1, 115514=1, 115916=1, 115922=1, 115924=1, 115932=1, 115934=1, 115936=1, 115942=1, 115944=1, 115954=1, 115956=1, 115962=1, 115964=1, 115966=1, 115968=1, 116038=1, 116040=1, 116321=1, 116504=1, 116506=1, 116523=1, 116525=1, 116536=1, 116547=1, 116549=1, 116730=1, 116739=1, 116990=1, 116993=1, 117071=1, 117074=1, 117090=1, 117093=1, 117212=1, 117912=1, 117968=1, 118347=1, 118544=1, 118861=1, 118869=1, 118875=1, 118900=1, 118929=1, 118934=1, 118951=1, 119082=1, 119264=1, 119399=1, 119403=1, 119536=1, 119724=1, 119727=1, 119730=1, 119733=1, 119960=1, 119967=1, 119998=1, 120086=1, 120176=1, 120481=1, 120853=1, 120862=1, 122753=1, 123490=1, 123815=1, 125003=1, 125039=1, 125350=1, 125382=1, 125762=1, 125790=1, 126093=1, 127106=1, 127183=1, 127185=1, 127598=1, 129494=1, 129525=1, 129559=1, 129698=1, 130108=1, 130279=1, 130306=1, 130327=1, 130452=1, 130544=1, 130552=1, 130558=1, 130780=1, 131085=1, 131087=1, 131101=1, 131105=1, 131222=1, 131224=1, 131228=1, 131230=1, 131252=1, 131256=1, 131262=1, 131266=1, 131280=1, 131367=1, 131451=1, 131721=1, 131727=1, 131869=1, 131883=1, 131887=1, 132223=1, 132239=1, 132394=1, 132397=1, 132424=1, 132450=1, 132461=1, 132739=1, 133114=1, 133123=1, 133392=1, 133397=1, 133412=1, 133422=1, 133593=1, 133657=1, 133917=1, 133960=1, 134488=1, 134833=1, 134853=1, 134859=1, 134963=1, 135221=1, 135238=1, 135654=1, 135829=1, 135833=1, 135835=1, 135837=1, 135841=1, 135843=1, 135929=1, 135957=1, 136285=1, 136319=1, 136602=1, 136711=1, 136873=1, 136941=1, 137095=1, 137350=1, 137446=1, 137478=1, 137510=1, 137555=1, 137575=1, 137585=1, 137615=1, 137764=1, 137806=1, 137825=1, 138216=1, 138464=1, 138496=1, 138528=1, 138684=1, 138702=1, 138999=1, 139025=1, 139283=1, 139353=1, 139388=1, 139406=1, 139478=1, 139491=1, 139924=1, 140033=1, 140481=1, 140792=1, 141302=1, 141312=1, 141366=1, 141368=1, 141376=1, 141578=1}
Interrupted probabilistic random walk after 712 steps, run timeout after 30604 ms. (steps per millisecond=0 ) properties seen :{2404=1, 3434=1, 3470=1, 3497=1, 5284=1, 6550=1, 6894=1, 7936=1, 7972=1, 8962=1, 9028=1, 10246=1, 10282=1, 10309=1, 11834=1, 11842=1, 12156=1, 12166=1, 12890=1, 17091=1, 22126=1, 22151=1, 23710=1, 23772=1, 24985=1, 26165=1, 27015=1, 27961=1, 29012=1, 29018=1, 30359=1, 30432=1, 31451=1, 31538=1, 31607=1, 38121=1, 38254=1, 40620=1, 40686=1, 41143=1, 43230=1, 44097=1, 44225=1, 45518=1, 47835=1, 48204=1, 51107=1, 56383=1, 56459=1, 56470=1, 58755=1, 58791=1, 60046=1, 68620=1, 73242=1, 73272=1, 73376=1, 76363=1, 76897=1, 78089=1, 79318=1, 84873=1, 88133=1, 88147=1, 88161=1, 89010=1, 89013=1, 96606=1, 102000=1, 102019=1, 109132=1, 112729=1, 112762=1, 113833=1, 120108=1, 122421=1, 122461=1, 124583=1, 125300=1, 129981=1, 129987=1, 130849=1, 130905=1, 133838=1, 135463=1, 135475=1, 138836=1}
Probabilistic random walk after 712 steps, saw 565 distinct states, run finished after 30606 ms. (steps per millisecond=0 ) properties seen :{2404=1, 3434=1, 3470=1, 3497=1, 5284=1, 6550=1, 6894=1, 7936=1, 7972=1, 8962=1, 9028=1, 10246=1, 10282=1, 10309=1, 11834=1, 11842=1, 12156=1, 12166=1, 12890=1, 17091=1, 22126=1, 22151=1, 23710=1, 23772=1, 24985=1, 26165=1, 27015=1, 27961=1, 29012=1, 29018=1, 30359=1, 30432=1, 31451=1, 31538=1, 31607=1, 38121=1, 38254=1, 40620=1, 40686=1, 41143=1, 43230=1, 44097=1, 44225=1, 45518=1, 47835=1, 48204=1, 51107=1, 56383=1, 56459=1, 56470=1, 58755=1, 58791=1, 60046=1, 68620=1, 73242=1, 73272=1, 73376=1, 76363=1, 76897=1, 78089=1, 79318=1, 84873=1, 88133=1, 88147=1, 88161=1, 89010=1, 89013=1, 96606=1, 102000=1, 102019=1, 109132=1, 112729=1, 112762=1, 113833=1, 120108=1, 122421=1, 122461=1, 124583=1, 125300=1, 129981=1, 129987=1, 130849=1, 130905=1, 133838=1, 135463=1, 135475=1, 138836=1}
Running SMT prover for 140742 properties.
[2022-05-23 07:46:28] [INFO ] Flow matrix only has 84691 transitions (discarded 66394 similar events)
// Phase 1: matrix 84691 rows 1429 cols
[2022-05-23 07:46:29] [INFO ] Computed 18 place invariants in 418 ms
[2022-05-23 07:46:54] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 140742 Parikh solutions to 1 different solutions.
Support contains 1428 out of 1429 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1429/1429 places, 151085/151085 transitions.
Drop transitions removed 512 transitions
Reduce isomorphic transitions removed 512 transitions.
Iterating post reduction 0 with 512 rules applied. Total rules applied 512 place count 1429 transition count 150573
Applied a total of 512 rules in 1852 ms. Remains 1429 /1429 variables (removed 0) and now considering 150573/151085 (removed 512) transitions.
Finished structural reductions, in 1 iterations. Remains : 1429/1429 places, 150573/151085 transitions.
[2022-05-23 07:47:05] [INFO ] Flatten gal took : 5797 ms
[2022-05-23 07:47:10] [INFO ] Flatten gal took : 4594 ms
[2022-05-23 07:47:10] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6256718547323730470.gal : 495 ms
[2022-05-23 07:47:11] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17530552914394024723.prop : 358 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality6256718547323730470.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17530552914394024723.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality6256718547323730470.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17530552914394024723.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-05-23 07:47:32] [INFO ] Flatten gal took : 4682 ms
[2022-05-23 07:47:32] [INFO ] Applying decomposition
[2022-05-23 07:47:37] [INFO ] Flatten gal took : 4991 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph7959465356025848423.txt, -o, /tmp/graph7959465356025848423.bin, -w, /tmp/graph7959465356025848423.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph7959465356025848423.bin, -l, -1, -v, -w, /tmp/graph7959465356025848423.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-23 07:47:53] [INFO ] Decomposing Gal with order
[2022-05-23 07:47:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-23 07:48:08] [INFO ] Removed a total of 456676 redundant transitions.
[2022-05-23 07:48:12] [INFO ] Flatten gal took : 11265 ms
[2022-05-23 07:52:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 4278 labels/synchronizations in 11715 ms.
[2022-05-23 07:52:14] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16223439968051330863.gal : 497 ms
[2022-05-23 07:52:15] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1491629881416840949.prop : 572 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality16223439968051330863.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1491629881416840949.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality16223439968051330863.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1491629881416840949.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin13829741303078257323
[2022-05-23 07:52:32] [INFO ] Built C files in 2714ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13829741303078257323
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin13829741303078257323]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin13829741303078257323] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin13829741303078257323] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 2410 steps, including 0 resets, run timeout after 30042 ms. (steps per millisecond=0 ) properties seen :{1159=1, 1163=1, 1893=1, 1953=1, 1974=1, 2280=1, 3384=1, 3401=1, 3506=1, 3510=1, 3548=1, 4522=1, 4874=1, 5273=1, 5283=1, 5307=1, 5870=1, 5876=1, 5892=1, 5905=1, 6403=1, 6538=1, 6901=1, 6915=1, 6917=1, 6977=1, 8002=1, 8012=1, 8045=1, 8053=1, 8767=1, 8780=1, 8950=1, 9153=1, 9913=1, 9932=1, 9939=1, 9990=1, 10233=1, 10535=1, 10544=1, 10932=1, 10962=1, 10965=1, 10977=1, 11001=1, 11345=1, 11828=1, 13002=1, 13343=1, 13406=1, 14199=1, 14223=1, 14741=1, 14747=1, 15211=1, 15611=1, 15621=1, 15908=1, 15912=1, 16875=1, 16950=1, 17066=1, 17107=1, 17497=1, 17503=1, 17547=1, 17557=1, 17567=1, 17578=1, 17596=1, 17602=1, 17608=1, 17613=1, 17685=1, 18213=1, 18219=1, 18266=1, 18775=1, 19274=1, 19366=1, 20794=1, 21013=1, 21023=1, 21164=1, 21170=1, 21202=1, 21217=1, 21230=1, 21965=1, 22117=1, 22135=1, 22144=1, 22733=1, 22765=1, 22854=1, 22856=1, 22870=1, 22918=1, 22920=1, 23467=1, 23477=1, 23702=1, 24183=1, 24186=1, 24254=1, 24257=1, 24288=1, 24616=1, 24618=1, 24640=1, 24734=1, 24744=1, 24748=1, 24999=1, 25306=1, 25361=1, 25364=1, 25376=1, 25409=1, 25657=1, 25678=1, 25890=1, 25892=1, 25988=1, 26000=1, 26015=1, 26031=1, 26098=1, 26104=1, 26349=1, 26665=1, 26707=1, 26819=1, 26886=1, 26938=1, 26946=1, 26950=1, 26980=1, 27185=1, 27429=1, 27431=1, 27898=1, 27904=1, 27932=1, 27959=1, 28143=1, 28264=1, 29001=1, 29025=1, 29047=1, 29531=1, 29548=1, 29723=1, 29725=1, 29739=1, 30300=1, 30364=1, 30377=1, 30395=1, 31123=1, 31336=1, 31433=1, 31503=1, 32371=1, 32378=1, 32382=1, 32393=1, 32428=1, 32446=1, 33245=1, 33269=1, 33553=1, 33565=1, 33786=1, 33798=1, 33805=1, 33813=1, 33817=1, 33823=1, 33863=1, 33899=1, 34230=1, 34471=1, 34477=1, 34479=1, 34485=1, 34895=1, 34970=1, 35036=1, 35122=1, 35137=1, 35156=1, 35165=1, 35167=1, 35308=1, 35359=1, 35383=1, 35467=1, 36049=1, 36061=1, 36091=1, 36106=1, 36145=1, 36172=1, 36178=1, 36196=1, 36229=1, 36241=1, 36247=1, 36256=1, 36420=1, 36434=1, 36550=1, 36558=1, 36566=1, 36622=1, 36640=1, 36782=1, 36822=1, 37183=1, 37581=1, 37599=1, 37626=1, 37751=1, 37755=1, 37763=1, 37769=1, 37774=1, 37806=1, 37814=1, 37881=1, 37891=1, 37913=1, 37947=1, 37951=1, 37955=1, 38093=1, 38123=1, 38181=1, 38228=1, 38286=1, 38296=1, 38300=1, 39196=1, 39341=1, 39345=1, 39373=1, 39393=1, 39418=1, 39425=1, 39428=1, 39432=1, 39457=1, 39469=1, 39494=1, 39681=1, 40072=1, 40135=1, 40244=1, 40686=1, 40695=1, 40758=1, 40790=1, 41015=1, 41025=1, 41068=1, 41125=1, 41251=1, 41294=1, 41337=1, 41574=1, 41576=1, 42273=1, 42669=1, 43148=1, 43204=1, 43410=1, 43417=1, 43520=1, 43539=1, 43587=1, 43685=1, 43746=1, 43767=1, 44135=1, 44373=1, 44380=1, 44505=1, 44526=1, 44532=1, 44583=1, 44627=1, 44645=1, 44647=1, 44654=1, 44659=1, 44678=1, 44736=1, 45521=1, 45575=1, 45579=1, 45602=1, 45694=1, 45712=1, 45890=1, 45967=1, 46399=1, 46685=1, 46693=1, 46711=1, 46877=1, 46958=1, 47179=1, 47260=1, 47275=1, 47282=1, 47287=1, 47869=1, 47926=1, 48026=1, 48068=1, 48847=1, 48855=1, 49179=1, 49276=1, 49286=1, 49625=1, 50076=1, 50512=1, 50695=1, 50790=1, 51236=1, 51662=1, 51702=1, 51851=1, 51854=1, 51863=1, 51889=1, 51893=1, 51898=1, 51905=1, 52194=1, 52225=1, 52483=1, 52757=1, 52851=1, 52877=1, 52885=1, 52913=1, 52915=1, 52940=1, 52948=1, 52976=1, 52978=1, 52984=1, 53031=1, 53330=1, 53340=1, 53360=1, 53372=1, 54000=1, 54008=1, 54089=1, 54093=1, 54101=1, 54111=1, 54295=1, 54337=1, 54352=1, 54361=1, 54380=1, 54398=1, 54485=1, 54747=1, 54960=1, 55059=1, 55170=1, 55200=1, 55215=1, 55219=1, 55240=1, 55665=1, 56289=1, 56296=1, 56405=1, 56413=1, 56421=1, 56426=1, 56430=1, 56431=1, 56432=1, 56434=1, 56438=1, 56972=1, 57026=1, 57209=1, 57235=1, 57239=1, 57381=1, 57512=1, 57843=1, 57847=1, 57868=1, 57902=1, 57969=1, 58018=1, 58036=1, 58046=1, 58384=1, 59519=1, 59596=1, 59734=1, 60015=1, 60030=1, 60073=1, 61543=1, 62054=1, 63895=1, 65089=1, 65145=1, 65950=1, 66147=1, 66236=1, 66374=1, 66828=1, 66875=1, 67182=1, 67259=1, 67403=1, 67417=1, 67421=1, 67452=1, 67456=1, 68377=1, 68428=1, 68559=1, 68630=1, 68647=1, 68729=1, 68859=1, 69376=1, 69399=1, 69402=1, 69411=1, 69417=1, 69854=1, 70044=1, 70104=1, 70219=1, 70221=1, 70237=1, 70247=1, 70249=1, 70251=1, 70741=1, 70802=1, 71015=1, 71039=1, 71041=1, 71085=1, 71133=1, 71557=1, 71593=1, 71606=1, 71626=1, 71630=1, 71632=1, 71642=1, 71986=1, 72077=1, 72576=1, 72580=1, 72582=1, 72616=1, 73132=1, 73140=1, 73177=1, 73191=1, 73197=1, 73225=1, 74046=1, 74051=1, 74147=1, 74739=1, 74771=1, 74955=1, 74991=1, 75025=1, 75035=1, 75133=1, 76166=1, 76183=1, 76746=1, 76794=1, 76968=1, 77516=1, 77553=1, 77558=1, 77873=1, 77940=1, 78051=1, 78423=1, 78513=1, 78710=1, 78712=1, 78732=1, 78752=1, 78754=1, 78776=1, 78805=1, 78819=1, 78829=1, 78890=1, 79305=1, 79706=1, 79752=1, 79760=1, 79768=1, 79820=1, 79835=1, 79900=1, 79949=1, 79959=1, 80568=1, 80666=1, 80672=1, 80688=1, 80811=1, 81034=1, 81116=1, 81119=1, 81154=1, 81157=1, 81163=1, 81270=1, 81290=1, 81294=1, 81401=1, 82157=1, 82191=1, 82220=1, 82222=1, 82604=1, 82801=1, 82807=1, 82840=1, 82870=1, 82895=1, 82901=1, 83098=1, 83120=1, 83142=1, 83173=1, 83699=1, 83982=1, 83983=1, 84575=1, 84641=1, 84724=1, 84756=1, 84788=1, 84790=1, 84831=1, 84892=1, 85054=1, 85089=1, 85230=1, 85236=1, 85377=1, 85395=1, 85828=1, 86279=1, 86829=1, 86858=1, 87327=1, 87339=1, 87365=1, 88049=1, 88053=1, 88323=1, 88344=1, 88765=1, 88781=1, 88850=1, 88903=1, 88913=1, 88920=1, 88953=1, 88966=1, 89008=1, 89009=1, 89037=1, 89166=1, 89184=1, 89243=1, 89310=1, 89711=1, 89855=1, 89889=1, 89939=1, 89973=1, 89988=1, 89994=1, 90000=1, 90099=1, 90148=1, 90276=1, 90312=1, 90396=1, 90399=1, 90601=1, 90651=1, 90676=1, 90677=1, 90690=1, 90856=1, 90865=1, 90986=1, 91009=1, 91045=1, 91664=1, 91702=1, 91718=1, 91810=1, 92126=1, 92506=1, 92512=1, 92519=1, 92579=1, 92599=1, 92992=1, 93399=1, 93428=1, 93429=1, 93451=1, 93456=1, 93477=1, 93656=1, 93757=1, 93784=1, 93928=1, 94340=1, 94702=1, 94799=1, 94927=1, 95047=1, 95084=1, 95270=1, 95569=1, 95605=1, 95778=1, 96132=1, 96307=1, 96499=1, 96675=1, 96696=1, 96699=1, 96735=1, 96740=1, 96770=1, 97428=1, 97445=1, 97489=1, 97495=1, 97516=1, 97538=1, 97553=1, 97566=1, 97682=1, 97728=1, 98118=1, 99446=1, 99472=1, 99549=1, 99602=1, 99634=1, 99739=1, 99830=1, 99876=1, 99882=1, 99984=1, 100510=1, 100514=1, 100540=1, 100574=1, 100577=1, 100613=1, 100693=1, 100747=1, 100752=1, 100757=1, 100778=1, 100798=1, 100804=1, 101619=1, 101712=1, 101717=1, 101866=1, 101874=1, 101897=1, 101905=1, 101911=1, 101943=1, 102091=1, 102206=1, 102673=1, 102683=1, 102685=1, 102741=1, 102757=1, 103207=1, 104215=1, 104229=1, 104271=1, 104297=1, 104324=1, 104328=1, 104469=1, 104483=1, 104612=1, 104615=1, 104723=1, 105117=1, 105133=1, 105151=1, 105379=1, 105586=1, 105603=1, 105604=1, 105611=1, 105621=1, 105702=1, 105707=1, 106348=1, 106654=1, 106656=1, 106668=1, 106757=1, 106762=1, 107691=1, 107695=1, 108037=1, 108325=1, 108358=1, 108362=1, 108795=1, 108845=1, 109126=1, 109134=1, 109149=1, 109172=1, 109206=1, 109314=1, 109357=1, 109363=1, 109630=1, 109944=1, 109959=1, 110066=1, 110072=1, 110150=1, 110160=1, 110342=1, 110489=1, 110917=1, 110948=1, 110960=1, 110993=1, 111013=1, 111174=1, 111706=1, 111709=1, 111809=1, 111865=1, 111885=1, 111915=1, 112379=1, 112393=1, 112409=1, 112502=1, 112523=1, 112525=1, 112646=1, 112738=1, 112747=1, 113004=1, 113047=1, 113715=1, 113759=1, 113780=1, 113797=1, 113804=1, 114000=1, 114014=1, 114022=1, 114028=1, 114034=1, 114070=1, 114476=1, 114478=1, 114524=1, 114536=1, 114583=1, 114629=1, 114634=1, 114651=1, 114681=1, 114688=1, 115128=1, 115130=1, 115169=1, 115401=1, 115514=1, 115519=1, 115691=1, 115717=1, 115998=1, 116007=1, 116057=1, 116183=1, 116584=1, 116599=1, 117610=1, 118069=1, 118085=1, 118087=1, 118088=1, 118099=1, 118101=1, 118104=1, 118109=1, 118116=1, 118123=1, 118133=1, 118268=1, 118341=1, 118347=1, 118562=1, 118574=1, 118594=1, 118900=1, 119117=1, 119173=1, 119306=1, 119309=1, 119324=1, 119543=1, 119607=1, 120010=1, 120627=1, 120878=1, 121438=1, 122647=1, 122976=1, 122979=1, 123771=1, 123776=1, 123786=1, 124111=1, 124119=1, 124125=1, 124173=1, 124187=1, 124189=1, 124272=1, 124279=1, 124533=1, 124637=1, 124658=1, 124682=1, 124695=1, 124920=1, 124949=1, 124959=1, 124961=1, 124973=1, 125089=1, 125222=1, 125234=1, 125795=1, 126326=1, 126732=1, 127608=1, 128502=1, 128595=1, 128613=1, 128635=1, 128643=1, 128669=1, 128684=1, 128697=1, 128792=1, 128823=1, 128828=1, 129203=1, 129209=1, 129226=1, 129380=1, 129406=1, 130332=1, 130350=1, 130358=1, 130374=1, 130376=1, 130382=1, 130518=1, 130544=1, 130551=1, 130756=1, 130762=1, 130773=1, 130785=1, 130809=1, 130973=1, 131303=1, 131312=1, 131723=1, 131732=1, 131772=1, 131811=1, 131833=1, 131878=1, 132060=1, 132140=1, 132489=1, 132536=1, 132537=1, 132676=1, 132696=1, 132701=1, 132729=1, 132733=1, 132737=1, 133762=1, 133770=1, 133903=1, 133908=1, 133944=1, 133964=1, 134032=1, 134035=1, 134041=1, 134211=1, 134280=1, 134294=1, 135291=1, 135300=1, 135332=1, 135336=1, 135349=1, 135364=1, 135375=1, 135391=1, 135441=1, 135445=1, 135602=1, 135703=1, 135711=1, 135721=1, 135776=1, 135782=1, 135949=1, 135961=1, 136102=1, 136110=1, 136463=1, 136554=1, 136587=1, 136621=1, 136659=1, 137243=1, 137257=1, 137302=1, 137317=1, 137434=1, 137595=1, 137631=1, 138078=1, 138084=1, 138317=1, 138332=1, 138420=1, 138434=1, 138741=1, 138769=1, 138791=1, 138808=1, 138826=1, 138854=1, 139094=1, 139889=1, 140354=1, 140362=1, 140376=1, 140545=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3151 ms. (steps per millisecond=0 ) properties (out of 139746) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3892 ms. (steps per millisecond=0 ) properties (out of 139746) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3679 ms. (steps per millisecond=0 ) properties (out of 139746) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3479 ms. (steps per millisecond=0 ) properties (out of 139746) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3426 ms. (steps per millisecond=0 ) properties (out of 139746) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3912 ms. (steps per millisecond=0 ) properties (out of 139746) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3368 ms. (steps per millisecond=0 ) properties (out of 139746) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3806 ms. (steps per millisecond=0 ) properties (out of 139746) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4831 ms. (steps per millisecond=0 ) properties (out of 139746) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3342 ms. (steps per millisecond=0 ) properties (out of 139746) seen :0
Interrupted Best-First random walk after 843 steps, including 2 resets, run timeout after 5026 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3888 ms. (steps per millisecond=0 ) properties (out of 139746) seen :1
Interrupted Best-First random walk after 764 steps, including 2 resets, run timeout after 5051 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4412 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3242 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3576 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3929 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3150 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3149 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3624 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3357 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3190 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2840 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2444 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3645 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3477 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3298 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3231 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3422 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 3933 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 3341 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3185 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 3493 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3072 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3259 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3202 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3049 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3152 ms. (steps per millisecond=0 ) properties (out of 139745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3314 ms. (steps per millisecond=0 ) properties (out of 139745) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4316 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2827 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2477 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2484 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2823 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2338 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2889 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2881 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3279 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2768 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3462 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2571 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2731 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2390 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2424 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4395 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2558 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2412 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2651 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2548 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3787 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2515 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2557 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2380 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2604 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2547 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2399 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2441 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2436 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2385 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2625 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2934 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2749 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2625 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3370 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3723 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3420 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3460 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3280 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3648 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4074 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 3551 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3463 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3728 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3441 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3764 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Interrupted Best-First random walk after 938 steps, including 2 resets, run timeout after 5019 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3799 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3688 ms. (steps per millisecond=0 ) properties (out of 139742) seen :0
Interrupted probabilistic random walk after 1224 steps, run timeout after 30122 ms. (steps per millisecond=0 ) properties seen :{2212=1, 2271=1, 2333=1, 3401=1, 3410=1, 3471=1, 3488=1, 3515=1, 3538=1, 3572=1, 4050=1, 4127=1, 5738=1, 5797=1, 7879=1, 7888=1, 7949=1, 8922=1, 8931=1, 8937=1, 8952=1, 8976=1, 9002=1, 9011=1, 10173=1, 10182=1, 10242=1, 10258=1, 10267=1, 10273=1, 10288=1, 11302=1, 12397=1, 12402=1, 12415=1, 12418=1, 12421=1, 14395=1, 16314=1, 17042=1, 17052=1, 17525=1, 18559=1, 18745=1, 21885=1, 22630=1, 22665=1, 24718=1, 25986=1, 25995=1, 26797=1, 26807=1, 26809=1, 26813=1, 26828=1, 26862=1, 28520=1, 29355=1, 29650=1, 30148=1, 30157=1, 30218=1, 30232=1, 30235=1, 30242=1, 31386=1, 31421=1, 32304=1, 37146=1, 40323=1, 40332=1, 40338=1, 40353=1, 40377=1, 40403=1, 40412=1, 43479=1, 43744=1, 43754=1, 43818=1, 43833=1, 43836=1, 43862=1, 43912=1, 54981=1, 55822=1, 55885=1, 58268=1, 58277=1, 58307=1, 58338=1, 72966=1, 73689=1, 73725=1, 73887=1, 74336=1, 74359=1, 74787=1, 74831=1, 75786=1, 77529=1, 79577=1, 80167=1, 80175=1, 80185=1, 80205=1, 81115=1, 81118=1, 81120=1, 81124=1, 81125=1, 84249=1, 86462=1, 86514=1, 86610=1, 87186=1, 88577=1, 88798=1, 88814=1, 89343=1, 89391=1, 89400=1, 91050=1, 91078=1, 91086=1, 91099=1, 98190=1, 99018=1, 101115=1, 103889=1, 103905=1, 111721=1, 111726=1, 111738=1, 111742=1, 111891=1, 117245=1, 118659=1, 118761=1, 119152=1, 121235=1, 123694=1, 124534=1, 124537=1, 124539=1, 131588=1, 132618=1, 132644=1, 132653=1, 132689=1, 132752=1, 136784=1}
Probabilistic random walk after 1224 steps, saw 1115 distinct states, run finished after 30127 ms. (steps per millisecond=0 ) properties seen :{2212=1, 2271=1, 2333=1, 3401=1, 3410=1, 3471=1, 3488=1, 3515=1, 3538=1, 3572=1, 4050=1, 4127=1, 5738=1, 5797=1, 7879=1, 7888=1, 7949=1, 8922=1, 8931=1, 8937=1, 8952=1, 8976=1, 9002=1, 9011=1, 10173=1, 10182=1, 10242=1, 10258=1, 10267=1, 10273=1, 10288=1, 11302=1, 12397=1, 12402=1, 12415=1, 12418=1, 12421=1, 14395=1, 16314=1, 17042=1, 17052=1, 17525=1, 18559=1, 18745=1, 21885=1, 22630=1, 22665=1, 24718=1, 25986=1, 25995=1, 26797=1, 26807=1, 26809=1, 26813=1, 26828=1, 26862=1, 28520=1, 29355=1, 29650=1, 30148=1, 30157=1, 30218=1, 30232=1, 30235=1, 30242=1, 31386=1, 31421=1, 32304=1, 37146=1, 40323=1, 40332=1, 40338=1, 40353=1, 40377=1, 40403=1, 40412=1, 43479=1, 43744=1, 43754=1, 43818=1, 43833=1, 43836=1, 43862=1, 43912=1, 54981=1, 55822=1, 55885=1, 58268=1, 58277=1, 58307=1, 58338=1, 72966=1, 73689=1, 73725=1, 73887=1, 74336=1, 74359=1, 74787=1, 74831=1, 75786=1, 77529=1, 79577=1, 80167=1, 80175=1, 80185=1, 80205=1, 81115=1, 81118=1, 81120=1, 81124=1, 81125=1, 84249=1, 86462=1, 86514=1, 86610=1, 87186=1, 88577=1, 88798=1, 88814=1, 89343=1, 89391=1, 89400=1, 91050=1, 91078=1, 91086=1, 91099=1, 98190=1, 99018=1, 101115=1, 103889=1, 103905=1, 111721=1, 111726=1, 111738=1, 111742=1, 111891=1, 117245=1, 118659=1, 118761=1, 119152=1, 121235=1, 123694=1, 124534=1, 124537=1, 124539=1, 131588=1, 132618=1, 132644=1, 132653=1, 132689=1, 132752=1, 136784=1}
Running SMT prover for 139590 properties.
[2022-05-23 07:58:24] [INFO ] Flow matrix only has 84690 transitions (discarded 65883 similar events)
// Phase 1: matrix 84690 rows 1429 cols
[2022-05-23 07:58:25] [INFO ] Computed 18 place invariants in 764 ms
[2022-05-23 08:02:11] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 139590 Parikh solutions to 1 different solutions.
Support contains 1428 out of 1429 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1429/1429 places, 150573/150573 transitions.
Applied a total of 0 rules in 1870 ms. Remains 1429 /1429 variables (removed 0) and now considering 150573/150573 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1429/1429 places, 150573/150573 transitions.
[2022-05-23 08:02:23] [INFO ] Flatten gal took : 6081 ms
[2022-05-23 08:02:30] [INFO ] Flatten gal took : 7496 ms
[2022-05-23 08:02:31] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1660144413370342833.gal : 890 ms
[2022-05-23 08:02:32] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5311424876696310350.prop : 262 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality1660144413370342833.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5311424876696310350.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality1660144413370342833.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5311424876696310350.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-05-23 08:02:55] [INFO ] Flatten gal took : 7559 ms
[2022-05-23 08:02:56] [INFO ] Applying decomposition
[2022-05-23 08:03:03] [INFO ] Flatten gal took : 6967 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph572759274398508348.txt, -o, /tmp/graph572759274398508348.bin, -w, /tmp/graph572759274398508348.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph572759274398508348.bin, -l, -1, -v, -w, /tmp/graph572759274398508348.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-23 08:03:31] [INFO ] Decomposing Gal with order
[2022-05-23 08:03:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-23 08:03:46] [INFO ] Removed a total of 456616 redundant transitions.
[2022-05-23 08:03:48] [INFO ] Flatten gal took : 8946 ms
[2022-05-23 08:06:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 3401 labels/synchronizations in 21968 ms.
[2022-05-23 08:06:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11363052101290076866.gal : 667 ms
[2022-05-23 08:06:55] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17721193187428480882.prop : 495 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality11363052101290076866.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17721193187428480882.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality11363052101290076866.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17721193187428480882.prop --nowitness
ITS-tools command line returned an error code 137
Built C files in :
/tmp/ltsmin3893340767114073356
[2022-05-23 08:07:04] [INFO ] Built C files in 2322ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3893340767114073356
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3893340767114073356]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3893340767114073356] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3893340767114073356] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
BK_STOP 1653293227563
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination QuasiLiveness -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
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="RERS17pb114-PT-8"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2021"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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-4028"
echo " Executing tool gold2021"
echo " Input is RERS17pb114-PT-8, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r198-tajo-165281579300082"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-8.tgz
mv RERS17pb114-PT-8 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "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 [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.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 '
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;