fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r108-blw3-149441612100128
Last Updated
June 27, 2017

About the Execution of LoLA for S_DNAwalker-PT-15ringRRLarge

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2011.980 3166829.00 3172203.00 1225.20 ? ? ? ? ? 1 ? 1 ? ? ? ? ? 1 ? ? normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_DNAwalker-PT-15ringRRLarge, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612100128
=====================================================================


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

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

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-0
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-1
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-10
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-11
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-12
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-13
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-14
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-15
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-2
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-3
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-4
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-5
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-6
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-7
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-8
FORMULA_NAME DNAwalker-PT-15ringRRLarge-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496345556180


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DNAwalker-PT-15ringRRLarge: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_DNAwalker-PT-15ringRRLarge: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DNAwalker-PT-15ringRRLarge @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 345/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 33 places, 312 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 197 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-15ringRRLarge-UpperBounds.task
lola: MAX(A10) : MAX(A4) : MAX(A18) : MAX(A24) : MAX(A19) : MAX(A6) : MAX(A24) : MAX(B13) : MAX(A16) : MAX(A18) : MAX(A3) : MAX(A21) : MAX(A11) : MAX(B16) : MAX(A6) : MAX(B26)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 529531 markings, 1576423 edges, 105906 markings/sec, 0 secs
lola: 1047900 markings, 3276393 edges, 103674 markings/sec, 5 secs
lola: 1525418 markings, 5238025 edges, 95504 markings/sec, 10 secs
lola: 1984529 markings, 6922720 edges, 91822 markings/sec, 15 secs
lola: 2445605 markings, 8508751 edges, 92215 markings/sec, 20 secs
lola: 2894558 markings, 10160994 edges, 89791 markings/sec, 25 secs
lola: 3322093 markings, 12109774 edges, 85507 markings/sec, 30 secs
lola: 3729490 markings, 13986695 edges, 81479 markings/sec, 35 secs
lola: 4121888 markings, 16019623 edges, 78480 markings/sec, 40 secs
lola: 4554868 markings, 18171021 edges, 86596 markings/sec, 45 secs
lola: 4988063 markings, 20117940 edges, 86639 markings/sec, 50 secs
lola: 5386841 markings, 22235934 edges, 79756 markings/sec, 55 secs
lola: 5829350 markings, 24419260 edges, 88502 markings/sec, 60 secs
lola: 6253476 markings, 26911094 edges, 84825 markings/sec, 65 secs
lola: 6707139 markings, 29073559 edges, 90733 markings/sec, 70 secs
lola: 7160298 markings, 30902261 edges, 90632 markings/sec, 75 secs
lola: 7593360 markings, 32532955 edges, 86612 markings/sec, 80 secs
lola: 8021082 markings, 34318995 edges, 85544 markings/sec, 85 secs
lola: 8414454 markings, 36243179 edges, 78674 markings/sec, 90 secs
lola: 8803830 markings, 38189142 edges, 77875 markings/sec, 95 secs
lola: 9163582 markings, 40253230 edges, 71950 markings/sec, 100 secs
lola: 9612605 markings, 42263802 edges, 89805 markings/sec, 105 secs
lola: 10007601 markings, 44792044 edges, 78999 markings/sec, 110 secs
lola: 10461000 markings, 46415907 edges, 90680 markings/sec, 115 secs
lola: 10858883 markings, 48235534 edges, 79577 markings/sec, 120 secs
lola: 11236276 markings, 50169377 edges, 75479 markings/sec, 125 secs
lola: 11648142 markings, 52177175 edges, 82373 markings/sec, 130 secs
lola: 12059429 markings, 54378763 edges, 82257 markings/sec, 135 secs
lola: 12478482 markings, 56185435 edges, 83811 markings/sec, 140 secs
lola: 12831256 markings, 57935876 edges, 70555 markings/sec, 145 secs
lola: 13237772 markings, 59939108 edges, 81303 markings/sec, 150 secs
lola: 13643415 markings, 62002664 edges, 81129 markings/sec, 155 secs
lola: 14010106 markings, 64005480 edges, 73338 markings/sec, 160 secs
lola: 14439898 markings, 65803662 edges, 85958 markings/sec, 165 secs
lola: 14862825 markings, 67514245 edges, 84585 markings/sec, 170 secs
lola: 15312587 markings, 69003916 edges, 89952 markings/sec, 175 secs
lola: 15738656 markings, 70726784 edges, 85214 markings/sec, 180 secs
lola: 16086992 markings, 72518287 edges, 69667 markings/sec, 185 secs
lola: 16450448 markings, 74362062 edges, 72691 markings/sec, 190 secs
lola: 16837202 markings, 76194193 edges, 77351 markings/sec, 195 secs
lola: 17196975 markings, 78255341 edges, 71955 markings/sec, 200 secs
lola: 17524114 markings, 80154132 edges, 65428 markings/sec, 205 secs
lola: 17907546 markings, 81889009 edges, 76686 markings/sec, 210 secs
lola: 18276989 markings, 83888038 edges, 73889 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 493257 markings, 1425178 edges, 98651 markings/sec, 0 secs
lola: 943203 markings, 2963229 edges, 89989 markings/sec, 5 secs
lola: 1369005 markings, 4446384 edges, 85160 markings/sec, 10 secs
lola: 1776057 markings, 5909201 edges, 81410 markings/sec, 15 secs
lola: 2154692 markings, 7456450 edges, 75727 markings/sec, 20 secs
lola: 2539908 markings, 9032109 edges, 77043 markings/sec, 25 secs
lola: 2955820 markings, 10500905 edges, 83182 markings/sec, 30 secs
lola: 3404729 markings, 12085514 edges, 89782 markings/sec, 35 secs
lola: 3819443 markings, 13606613 edges, 82943 markings/sec, 40 secs
lola: 4191131 markings, 15189628 edges, 74338 markings/sec, 45 secs
lola: 4594164 markings, 16911249 edges, 80607 markings/sec, 50 secs
lola: 5025885 markings, 18621543 edges, 86344 markings/sec, 55 secs
lola: 5458792 markings, 20383750 edges, 86581 markings/sec, 60 secs
lola: 5908477 markings, 21939099 edges, 89937 markings/sec, 65 secs
lola: 6339532 markings, 23657502 edges, 86211 markings/sec, 70 secs
lola: 6758006 markings, 25603559 edges, 83695 markings/sec, 75 secs
lola: 7173979 markings, 27573500 edges, 83195 markings/sec, 80 secs
lola: 7616374 markings, 29288263 edges, 88479 markings/sec, 85 secs
lola: 8041369 markings, 31128885 edges, 84999 markings/sec, 90 secs
lola: 8460373 markings, 33122929 edges, 83801 markings/sec, 95 secs
lola: 8875774 markings, 35133101 edges, 83080 markings/sec, 100 secs
lola: 9297509 markings, 36993455 edges, 84347 markings/sec, 105 secs
lola: 9679625 markings, 38763686 edges, 76423 markings/sec, 110 secs
lola: 10032002 markings, 40573392 edges, 70475 markings/sec, 115 secs
lola: 10397406 markings, 42338142 edges, 73081 markings/sec, 120 secs
lola: 10701871 markings, 43908255 edges, 60893 markings/sec, 125 secs
lola: 11046219 markings, 45673533 edges, 68870 markings/sec, 130 secs
lola: 11375211 markings, 47472935 edges, 65798 markings/sec, 135 secs
lola: 11705224 markings, 49298190 edges, 66003 markings/sec, 140 secs
lola: 12023989 markings, 51014587 edges, 63753 markings/sec, 145 secs
lola: 12388670 markings, 52595272 edges, 72936 markings/sec, 150 secs
lola: 12756905 markings, 54293440 edges, 73647 markings/sec, 155 secs
lola: 13101928 markings, 56049635 edges, 69005 markings/sec, 160 secs
lola: 13414150 markings, 57708654 edges, 62444 markings/sec, 165 secs
lola: 13730831 markings, 59510960 edges, 63336 markings/sec, 170 secs
lola: 14054590 markings, 61332495 edges, 64752 markings/sec, 175 secs
lola: 14378041 markings, 63145462 edges, 64690 markings/sec, 180 secs
lola: 14708154 markings, 64929030 edges, 66023 markings/sec, 185 secs
lola: 15051174 markings, 66660404 edges, 68604 markings/sec, 190 secs
lola: 15411702 markings, 68485016 edges, 72106 markings/sec, 195 secs
lola: 15784230 markings, 70366228 edges, 74506 markings/sec, 200 secs
lola: 16168914 markings, 72403737 edges, 76937 markings/sec, 205 secs
lola: 16561253 markings, 74354047 edges, 78468 markings/sec, 210 secs
lola: 16960684 markings, 76348659 edges, 79886 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 548740 markings, 1489736 edges, 109748 markings/sec, 0 secs
lola: 1142614 markings, 2937582 edges, 118775 markings/sec, 5 secs
lola: 1644922 markings, 4696483 edges, 100462 markings/sec, 10 secs
lola: 2134829 markings, 6419752 edges, 97981 markings/sec, 15 secs
lola: 2697908 markings, 7982696 edges, 112616 markings/sec, 20 secs
lola: 3103229 markings, 9609953 edges, 81064 markings/sec, 25 secs
lola: 3591990 markings, 11515822 edges, 97752 markings/sec, 30 secs
lola: 3955780 markings, 13386928 edges, 72758 markings/sec, 35 secs
lola: 4316599 markings, 15272803 edges, 72164 markings/sec, 40 secs
lola: 4689422 markings, 17093810 edges, 74565 markings/sec, 45 secs
lola: 5155768 markings, 18649434 edges, 93269 markings/sec, 50 secs
lola: 5691363 markings, 20216444 edges, 107119 markings/sec, 55 secs
lola: 6125080 markings, 21854615 edges, 86743 markings/sec, 60 secs
lola: 6602012 markings, 23426006 edges, 95386 markings/sec, 65 secs
lola: 7114663 markings, 25026996 edges, 102530 markings/sec, 70 secs
lola: 7686451 markings, 26621090 edges, 114358 markings/sec, 75 secs
lola: 8285931 markings, 28070310 edges, 119896 markings/sec, 80 secs
lola: 8790547 markings, 29964202 edges, 100923 markings/sec, 85 secs
lola: 9169431 markings, 31992954 edges, 75777 markings/sec, 90 secs
lola: 9682518 markings, 33993018 edges, 102617 markings/sec, 95 secs
lola: 10188708 markings, 35790741 edges, 101238 markings/sec, 100 secs
lola: 10671357 markings, 37587196 edges, 96530 markings/sec, 105 secs
lola: 11094487 markings, 39711681 edges, 84626 markings/sec, 110 secs
lola: 11598912 markings, 41726792 edges, 100885 markings/sec, 115 secs
lola: 12017453 markings, 43711955 edges, 83708 markings/sec, 120 secs
lola: 12468930 markings, 45699514 edges, 90295 markings/sec, 125 secs
lola: 12974111 markings, 47613093 edges, 101036 markings/sec, 130 secs
lola: 13460377 markings, 49456419 edges, 97253 markings/sec, 135 secs
lola: 13892685 markings, 51506864 edges, 86462 markings/sec, 140 secs
lola: 14288535 markings, 54002531 edges, 79170 markings/sec, 145 secs
lola: 14733399 markings, 56298757 edges, 88973 markings/sec, 150 secs
lola: 15196413 markings, 58398573 edges, 92603 markings/sec, 155 secs
lola: 15753877 markings, 59906452 edges, 111493 markings/sec, 160 secs
lola: 16297897 markings, 61617155 edges, 108804 markings/sec, 165 secs
lola: 16670745 markings, 63494506 edges, 74570 markings/sec, 170 secs
lola: 17056934 markings, 65288416 edges, 77238 markings/sec, 175 secs
lola: 17459980 markings, 66991025 edges, 80609 markings/sec, 180 secs
lola: 17890265 markings, 68586688 edges, 86057 markings/sec, 185 secs
lola: 18372714 markings, 70223206 edges, 96490 markings/sec, 190 secs
lola: 19009994 markings, 71716622 edges, 127456 markings/sec, 195 secs
lola: 19456128 markings, 73658387 edges, 89227 markings/sec, 200 secs
lola: 19909665 markings, 75583800 edges, 90707 markings/sec, 205 secs
lola: 20419202 markings, 77278711 edges, 101907 markings/sec, 210 secs
lola: 20857032 markings, 79360497 edges, 87566 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 540138 markings, 1435916 edges, 108028 markings/sec, 0 secs
lola: 1050523 markings, 3015256 edges, 102077 markings/sec, 5 secs
lola: 1543056 markings, 4525357 edges, 98507 markings/sec, 10 secs
lola: 1995238 markings, 6153518 edges, 90436 markings/sec, 15 secs
lola: 2430139 markings, 7981578 edges, 86980 markings/sec, 20 secs
lola: 2869886 markings, 9720244 edges, 87949 markings/sec, 25 secs
lola: 3356981 markings, 11155887 edges, 97419 markings/sec, 30 secs
lola: 3802270 markings, 12848667 edges, 89058 markings/sec, 35 secs
lola: 4240708 markings, 14724015 edges, 87688 markings/sec, 40 secs
lola: 4683947 markings, 16915934 edges, 88648 markings/sec, 45 secs
lola: 5113660 markings, 19327031 edges, 85943 markings/sec, 50 secs
lola: 5599137 markings, 20905905 edges, 97095 markings/sec, 55 secs
lola: 6060207 markings, 22500787 edges, 92214 markings/sec, 60 secs
lola: 6553980 markings, 23962701 edges, 98755 markings/sec, 65 secs
lola: 7014585 markings, 25581027 edges, 92121 markings/sec, 70 secs
lola: 7460097 markings, 27352375 edges, 89102 markings/sec, 75 secs
lola: 7905831 markings, 29102251 edges, 89147 markings/sec, 80 secs
lola: 8373719 markings, 30774220 edges, 93578 markings/sec, 85 secs
lola: 8812782 markings, 32759552 edges, 87813 markings/sec, 90 secs
lola: 9242344 markings, 34797248 edges, 85912 markings/sec, 95 secs
lola: 9691160 markings, 36858388 edges, 89763 markings/sec, 100 secs
lola: 10179039 markings, 38364635 edges, 97576 markings/sec, 105 secs
lola: 10647995 markings, 40120676 edges, 93791 markings/sec, 110 secs
lola: 11085182 markings, 41610142 edges, 87437 markings/sec, 115 secs
lola: 11504983 markings, 43387387 edges, 83960 markings/sec, 120 secs
lola: 11917823 markings, 45403854 edges, 82568 markings/sec, 125 secs
lola: 12314284 markings, 47386640 edges, 79292 markings/sec, 130 secs
lola: 12703635 markings, 49417674 edges, 77870 markings/sec, 135 secs
lola: 13220673 markings, 51022934 edges, 103408 markings/sec, 140 secs
lola: 13718806 markings, 52808858 edges, 99627 markings/sec, 145 secs
lola: 14156594 markings, 54472121 edges, 87558 markings/sec, 150 secs
lola: 14574992 markings, 56476640 edges, 83680 markings/sec, 155 secs
lola: 15000188 markings, 58477356 edges, 85039 markings/sec, 160 secs
lola: 15491861 markings, 60172731 edges, 98335 markings/sec, 165 secs
lola: 15901701 markings, 62157419 edges, 81968 markings/sec, 170 secs
lola: 16366123 markings, 63964334 edges, 92884 markings/sec, 175 secs
lola: 16794045 markings, 65847323 edges, 85584 markings/sec, 180 secs
lola: 17212120 markings, 67600890 edges, 83615 markings/sec, 185 secs
lola: 17698391 markings, 69268318 edges, 97254 markings/sec, 190 secs
lola: 18166254 markings, 71071103 edges, 93573 markings/sec, 195 secs
lola: 18563060 markings, 72759538 edges, 79361 markings/sec, 200 secs
lola: 18909589 markings, 74354309 edges, 69306 markings/sec, 205 secs
lola: 19245258 markings, 76066745 edges, 67134 markings/sec, 210 secs
lola: 19589326 markings, 77945225 edges, 68814 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 567155 markings, 1468704 edges, 113431 markings/sec, 0 secs
lola: 1056433 markings, 3317697 edges, 97856 markings/sec, 5 secs
lola: 1560001 markings, 5045283 edges, 100714 markings/sec, 10 secs
lola: 2048405 markings, 6901258 edges, 97681 markings/sec, 15 secs
lola: 2539783 markings, 8690336 edges, 98276 markings/sec, 20 secs
lola: 2941299 markings, 10416645 edges, 80303 markings/sec, 25 secs
lola: 3334295 markings, 12195467 edges, 78599 markings/sec, 30 secs
lola: 3746841 markings, 13958123 edges, 82509 markings/sec, 35 secs
lola: 4159128 markings, 15642206 edges, 82457 markings/sec, 40 secs
lola: 4564928 markings, 17354167 edges, 81160 markings/sec, 45 secs
lola: 4974803 markings, 19055016 edges, 81975 markings/sec, 50 secs
lola: 5367221 markings, 20897016 edges, 78484 markings/sec, 55 secs
lola: 5788842 markings, 22670100 edges, 84324 markings/sec, 60 secs
lola: 6182487 markings, 24369621 edges, 78729 markings/sec, 65 secs
lola: 6579237 markings, 26068339 edges, 79350 markings/sec, 70 secs
lola: 6995294 markings, 27791536 edges, 83211 markings/sec, 75 secs
lola: 7435849 markings, 29459849 edges, 88111 markings/sec, 80 secs
lola: 7807875 markings, 31283509 edges, 74405 markings/sec, 85 secs
lola: 8172428 markings, 32917696 edges, 72911 markings/sec, 90 secs
lola: 8536217 markings, 34558894 edges, 72758 markings/sec, 95 secs
lola: 8969837 markings, 36202971 edges, 86724 markings/sec, 100 secs
lola: 9422101 markings, 37933615 edges, 90453 markings/sec, 105 secs
lola: 9877767 markings, 39608322 edges, 91133 markings/sec, 110 secs
lola: 10222604 markings, 41377211 edges, 68967 markings/sec, 115 secs
lola: 10578138 markings, 43454222 edges, 71107 markings/sec, 120 secs
lola: 10921786 markings, 45504548 edges, 68730 markings/sec, 125 secs
lola: 11276957 markings, 47593365 edges, 71034 markings/sec, 130 secs
lola: 11641054 markings, 49438808 edges, 72819 markings/sec, 135 secs
lola: 12062140 markings, 51481941 edges, 84217 markings/sec, 140 secs
lola: 12462601 markings, 53377943 edges, 80092 markings/sec, 145 secs
lola: 12833869 markings, 55310592 edges, 74254 markings/sec, 150 secs
lola: 13210131 markings, 57157901 edges, 75252 markings/sec, 155 secs
lola: 13568088 markings, 58899281 edges, 71591 markings/sec, 160 secs
lola: 13916891 markings, 60697855 edges, 69761 markings/sec, 165 secs
lola: 14270965 markings, 62656812 edges, 70815 markings/sec, 170 secs
lola: 14612227 markings, 64524373 edges, 68252 markings/sec, 175 secs
lola: 14989630 markings, 66220669 edges, 75481 markings/sec, 180 secs
lola: 15356093 markings, 68176189 edges, 73293 markings/sec, 185 secs
lola: 15748998 markings, 69859747 edges, 78581 markings/sec, 190 secs
lola: 16128812 markings, 71695979 edges, 75963 markings/sec, 195 secs
lola: 16492431 markings, 73712440 edges, 72724 markings/sec, 200 secs
lola: 16883884 markings, 75463030 edges, 78291 markings/sec, 205 secs
lola: 17255302 markings, 77558040 edges, 74284 markings/sec, 210 secs
lola: 17660685 markings, 79436395 edges, 81077 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 482202 markings, 1371149 edges, 96440 markings/sec, 0 secs
lola: 907741 markings, 3162851 edges, 85108 markings/sec, 5 secs
lola: 1301335 markings, 4847874 edges, 78719 markings/sec, 10 secs
lola: 1678425 markings, 6586724 edges, 75418 markings/sec, 15 secs
lola: 2077261 markings, 8427661 edges, 79767 markings/sec, 20 secs
lola: 2456882 markings, 10204011 edges, 75924 markings/sec, 25 secs
lola: 2821410 markings, 12078835 edges, 72906 markings/sec, 30 secs
lola: 3180596 markings, 14010514 edges, 71837 markings/sec, 35 secs
lola: 3532974 markings, 15910687 edges, 70476 markings/sec, 40 secs
lola: 3884304 markings, 17784368 edges, 70266 markings/sec, 45 secs
lola: 4313631 markings, 19461944 edges, 85865 markings/sec, 50 secs
lola: 4713395 markings, 21156736 edges, 79953 markings/sec, 55 secs
lola: 5095628 markings, 22911997 edges, 76447 markings/sec, 60 secs
lola: 5457993 markings, 24728317 edges, 72473 markings/sec, 65 secs
lola: 5835132 markings, 26616437 edges, 75428 markings/sec, 70 secs
lola: 6189317 markings, 28528857 edges, 70837 markings/sec, 75 secs
lola: 6569976 markings, 30237418 edges, 76132 markings/sec, 80 secs
lola: 6935036 markings, 31969811 edges, 73012 markings/sec, 85 secs
lola: 7288602 markings, 33886239 edges, 70713 markings/sec, 90 secs
lola: 7649335 markings, 35741396 edges, 72147 markings/sec, 95 secs
lola: 7992894 markings, 37564394 edges, 68712 markings/sec, 100 secs
lola: 8366612 markings, 39482315 edges, 74744 markings/sec, 105 secs
lola: 8737758 markings, 41583246 edges, 74229 markings/sec, 110 secs
lola: 9126762 markings, 43762440 edges, 77801 markings/sec, 115 secs
lola: 9466157 markings, 45985635 edges, 67879 markings/sec, 120 secs
lola: 9789625 markings, 48249931 edges, 64694 markings/sec, 125 secs
lola: 10167239 markings, 50369050 edges, 75523 markings/sec, 130 secs
lola: 10519468 markings, 52555242 edges, 70446 markings/sec, 135 secs
lola: 10862422 markings, 54774230 edges, 68591 markings/sec, 140 secs
lola: 11203507 markings, 56924861 edges, 68217 markings/sec, 145 secs
lola: 11531470 markings, 59126545 edges, 65593 markings/sec, 150 secs
lola: 11937517 markings, 60850920 edges, 81209 markings/sec, 155 secs
lola: 12374635 markings, 62334542 edges, 87424 markings/sec, 160 secs
lola: 12792987 markings, 63841590 edges, 83670 markings/sec, 165 secs
lola: 13190436 markings, 65699345 edges, 79490 markings/sec, 170 secs
lola: 13584036 markings, 67362912 edges, 78720 markings/sec, 175 secs
lola: 13958989 markings, 69041516 edges, 74991 markings/sec, 180 secs
lola: 14323783 markings, 70734785 edges, 72959 markings/sec, 185 secs
lola: 14700925 markings, 72359941 edges, 75428 markings/sec, 190 secs
lola: 15052539 markings, 74074506 edges, 70323 markings/sec, 195 secs
lola: 15414860 markings, 75795679 edges, 72464 markings/sec, 200 secs
lola: 15793700 markings, 77580809 edges, 75768 markings/sec, 205 secs
lola: 16178543 markings, 79478503 edges, 76969 markings/sec, 210 secs
lola: 16542875 markings, 81536737 edges, 72866 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 535229 markings, 1417304 edges, 107046 markings/sec, 0 secs
lola: 966143 markings, 2720628 edges, 86183 markings/sec, 5 secs
lola: 1462364 markings, 4260935 edges, 99244 markings/sec, 10 secs
lola: 1911854 markings, 5827087 edges, 89898 markings/sec, 15 secs
lola: 2339541 markings, 7707543 edges, 85537 markings/sec, 20 secs
lola: 2709325 markings, 9096262 edges, 73957 markings/sec, 25 secs
lola: 3176526 markings, 10620435 edges, 93440 markings/sec, 30 secs
lola: 3642325 markings, 12195515 edges, 93160 markings/sec, 35 secs
lola: 4083062 markings, 13967932 edges, 88147 markings/sec, 40 secs
lola: 4519494 markings, 16095056 edges, 87286 markings/sec, 45 secs
lola: 4954188 markings, 18404468 edges, 86939 markings/sec, 50 secs
lola: 5422292 markings, 20288375 edges, 93621 markings/sec, 55 secs
lola: 5872053 markings, 22000551 edges, 89952 markings/sec, 60 secs
lola: 6357442 markings, 23404894 edges, 97078 markings/sec, 65 secs
lola: 6834944 markings, 24921667 edges, 95500 markings/sec, 70 secs
lola: 7291374 markings, 26660741 edges, 91286 markings/sec, 75 secs
lola: 7746856 markings, 28455182 edges, 91096 markings/sec, 80 secs
lola: 8201616 markings, 30016051 edges, 90952 markings/sec, 85 secs
lola: 8633834 markings, 32015554 edges, 86444 markings/sec, 90 secs
lola: 9062209 markings, 34074226 edges, 85675 markings/sec, 95 secs
lola: 9492246 markings, 36122515 edges, 86007 markings/sec, 100 secs
lola: 9981048 markings, 37750435 edges, 97760 markings/sec, 105 secs
lola: 10462360 markings, 39380589 edges, 96262 markings/sec, 110 secs
lola: 10912026 markings, 41083880 edges, 89933 markings/sec, 115 secs
lola: 11319556 markings, 42601341 edges, 81506 markings/sec, 120 secs
lola: 11747348 markings, 44508900 edges, 85558 markings/sec, 125 secs
lola: 12143352 markings, 46451381 edges, 79201 markings/sec, 130 secs
lola: 12538913 markings, 48477723 edges, 79112 markings/sec, 135 secs
lola: 12993920 markings, 50422764 edges, 91001 markings/sec, 140 secs
lola: 13507509 markings, 52026786 edges, 102718 markings/sec, 145 secs
lola: 13973259 markings, 53731738 edges, 93150 markings/sec, 150 secs
lola: 14400016 markings, 55631155 edges, 85351 markings/sec, 155 secs
lola: 14805011 markings, 57660053 edges, 80999 markings/sec, 160 secs
lola: 15290523 markings, 59439602 edges, 97102 markings/sec, 165 secs
lola: 15729143 markings, 61260406 edges, 87724 markings/sec, 170 secs
lola: 16174063 markings, 63180669 edges, 88984 markings/sec, 175 secs
lola: 16585371 markings, 65108057 edges, 82262 markings/sec, 180 secs
lola: 16991494 markings, 66921108 edges, 81225 markings/sec, 185 secs
lola: 17486331 markings, 68481394 edges, 98967 markings/sec, 190 secs
lola: 17965483 markings, 70323584 edges, 95830 markings/sec, 195 secs
lola: 18389692 markings, 72008661 edges, 84842 markings/sec, 200 secs
lola: 18763350 markings, 73612765 edges, 74732 markings/sec, 205 secs
lola: 19089282 markings, 75305566 edges, 65186 markings/sec, 210 secs
lola: 19439922 markings, 77065172 edges, 70128 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 8 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 597117 markings, 1744430 edges, 119423 markings/sec, 0 secs
lola: 1126575 markings, 3753451 edges, 105892 markings/sec, 5 secs
lola: 1699926 markings, 5595778 edges, 114670 markings/sec, 10 secs
lola: 2266187 markings, 7503708 edges, 113252 markings/sec, 15 secs
lola: 2827345 markings, 9408548 edges, 112232 markings/sec, 20 secs
lola: 3318240 markings, 11306596 edges, 98179 markings/sec, 25 secs
lola: 3936832 markings, 13038498 edges, 123718 markings/sec, 30 secs
lola: 4427907 markings, 14927376 edges, 98215 markings/sec, 35 secs
lola: 4978047 markings, 16700893 edges, 110028 markings/sec, 40 secs
lola: 5535856 markings, 18448314 edges, 111562 markings/sec, 45 secs
lola: 6093699 markings, 20194252 edges, 111569 markings/sec, 50 secs
lola: 6636323 markings, 21885052 edges, 108525 markings/sec, 55 secs
lola: 7098801 markings, 23981446 edges, 92496 markings/sec, 60 secs
lola: 7587492 markings, 26091343 edges, 97738 markings/sec, 65 secs
lola: 8084851 markings, 28162610 edges, 99472 markings/sec, 70 secs
lola: 8552506 markings, 30202932 edges, 93531 markings/sec, 75 secs
lola: 9028056 markings, 32387667 edges, 95110 markings/sec, 80 secs
lola: 9528369 markings, 34619374 edges, 100063 markings/sec, 85 secs
lola: 10017025 markings, 36789788 edges, 97731 markings/sec, 90 secs
lola: 10507521 markings, 38920756 edges, 98099 markings/sec, 95 secs
lola: 11004768 markings, 40978465 edges, 99449 markings/sec, 100 secs
lola: 11489693 markings, 43077566 edges, 96985 markings/sec, 105 secs
lola: 11929505 markings, 45442808 edges, 87962 markings/sec, 110 secs
lola: 12400708 markings, 47692672 edges, 94241 markings/sec, 115 secs
lola: 12946473 markings, 49615771 edges, 109153 markings/sec, 120 secs
lola: 13505472 markings, 51518125 edges, 111800 markings/sec, 125 secs
lola: 14041397 markings, 53441539 edges, 107185 markings/sec, 130 secs
lola: 14611369 markings, 55281991 edges, 113994 markings/sec, 135 secs
lola: 15138309 markings, 57112810 edges, 105388 markings/sec, 140 secs
lola: 15685762 markings, 58869986 edges, 109491 markings/sec, 145 secs
lola: 16208072 markings, 60728732 edges, 104462 markings/sec, 150 secs
lola: 16683925 markings, 62826642 edges, 95171 markings/sec, 155 secs
lola: 17167207 markings, 64882165 edges, 96656 markings/sec, 160 secs
lola: 17667532 markings, 67068210 edges, 100065 markings/sec, 165 secs
lola: 18166911 markings, 69236185 edges, 99876 markings/sec, 170 secs
lola: 18653252 markings, 71324333 edges, 97268 markings/sec, 175 secs
lola: 19097589 markings, 73602093 edges, 88867 markings/sec, 180 secs
lola: 19619056 markings, 75618461 edges, 104293 markings/sec, 185 secs
lola: 20163600 markings, 77514046 edges, 108909 markings/sec, 190 secs
lola: 20723174 markings, 79333264 edges, 111915 markings/sec, 195 secs
lola: 21256413 markings, 81160799 edges, 106648 markings/sec, 200 secs
lola: 21743857 markings, 83227457 edges, 97489 markings/sec, 205 secs
lola: 22248003 markings, 85337587 edges, 100829 markings/sec, 210 secs
lola: 22733873 markings, 87436259 edges, 97174 markings/sec, 215 secs
lola: 23230493 markings, 89555524 edges, 99324 markings/sec, 220 secs
lola: 23763846 markings, 91490878 edges, 106671 markings/sec, 225 secs
lola: 24306526 markings, 93296048 edges, 108536 markings/sec, 230 secs
lola: 24792270 markings, 95368865 edges, 97149 markings/sec, 235 secs
lola: 25279545 markings, 97469550 edges, 97455 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 545850 markings, 1483927 edges, 109170 markings/sec, 0 secs
lola: 1136524 markings, 2928500 edges, 118135 markings/sec, 5 secs
lola: 1637280 markings, 4667768 edges, 100151 markings/sec, 10 secs
lola: 2121908 markings, 6392518 edges, 96926 markings/sec, 15 secs
lola: 2683200 markings, 7931452 edges, 112258 markings/sec, 20 secs
lola: 3154042 markings, 9806788 edges, 94168 markings/sec, 25 secs
lola: 3603628 markings, 11587836 edges, 89917 markings/sec, 30 secs
lola: 3964168 markings, 13428507 edges, 72108 markings/sec, 35 secs
lola: 4320245 markings, 15294157 edges, 71215 markings/sec, 40 secs
lola: 4692310 markings, 17110718 edges, 74413 markings/sec, 45 secs
lola: 5157386 markings, 18656961 edges, 93015 markings/sec, 50 secs
lola: 5691257 markings, 20216079 edges, 106774 markings/sec, 55 secs
lola: 6122206 markings, 21838965 edges, 86190 markings/sec, 60 secs
lola: 6595954 markings, 23411016 edges, 94750 markings/sec, 65 secs
lola: 7104505 markings, 25000419 edges, 101710 markings/sec, 70 secs
lola: 7672887 markings, 26585250 edges, 113676 markings/sec, 75 secs
lola: 8271296 markings, 28026968 edges, 119682 markings/sec, 80 secs
lola: 8780982 markings, 29906312 edges, 101937 markings/sec, 85 secs
lola: 9155537 markings, 31905866 edges, 74911 markings/sec, 90 secs
lola: 9658965 markings, 33889450 edges, 100686 markings/sec, 95 secs
lola: 10161890 markings, 35718417 edges, 100585 markings/sec, 100 secs
lola: 10642680 markings, 37461154 edges, 96158 markings/sec, 105 secs
lola: 11049594 markings, 39437470 edges, 81383 markings/sec, 110 secs
lola: 11539087 markings, 41472283 edges, 97899 markings/sec, 115 secs
lola: 11949342 markings, 43441415 edges, 82051 markings/sec, 120 secs
lola: 12389244 markings, 45408198 edges, 87980 markings/sec, 125 secs
lola: 12893380 markings, 47301405 edges, 100827 markings/sec, 130 secs
lola: 13389420 markings, 49161119 edges, 99208 markings/sec, 135 secs
lola: 13819104 markings, 51081853 edges, 85937 markings/sec, 140 secs
lola: 14202347 markings, 53555546 edges, 76649 markings/sec, 145 secs
lola: 14650339 markings, 55877745 edges, 89598 markings/sec, 150 secs
lola: 15088762 markings, 58092333 edges, 87685 markings/sec, 155 secs
lola: 15668076 markings, 59534954 edges, 115863 markings/sec, 160 secs
lola: 16197599 markings, 61277468 edges, 105905 markings/sec, 165 secs
lola: 16588108 markings, 63073884 edges, 78102 markings/sec, 170 secs
lola: 16961640 markings, 64861415 edges, 74706 markings/sec, 175 secs
lola: 17346883 markings, 66600270 edges, 77049 markings/sec, 180 secs
lola: 17779789 markings, 68185432 edges, 86581 markings/sec, 185 secs
lola: 18204400 markings, 69794234 edges, 84922 markings/sec, 190 secs
lola: 18842722 markings, 71237350 edges, 127664 markings/sec, 195 secs
lola: 19349551 markings, 73080795 edges, 101366 markings/sec, 200 secs
lola: 19743706 markings, 75050137 edges, 78831 markings/sec, 205 secs
lola: 20222314 markings, 76630904 edges, 95722 markings/sec, 210 secs
lola: 20724789 markings, 78591369 edges, 100495 markings/sec, 215 secs
lola: 21128474 markings, 80591698 edges, 80737 markings/sec, 220 secs
lola: 21532503 markings, 82513735 edges, 80806 markings/sec, 225 secs
lola: 22042651 markings, 84473529 edges, 102030 markings/sec, 230 secs
lola: 22420094 markings, 86707422 edges, 75489 markings/sec, 235 secs
lola: 22868018 markings, 88780157 edges, 89585 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 467293 markings, 1578083 edges, 93459 markings/sec, 0 secs
lola: 891263 markings, 3416837 edges, 84794 markings/sec, 5 secs
lola: 1291111 markings, 5450020 edges, 79970 markings/sec, 10 secs
lola: 1694144 markings, 7412638 edges, 80607 markings/sec, 15 secs
lola: 2105572 markings, 9273250 edges, 82286 markings/sec, 20 secs
lola: 2499136 markings, 11087986 edges, 78713 markings/sec, 25 secs
lola: 2908567 markings, 12916325 edges, 81886 markings/sec, 30 secs
lola: 3303928 markings, 14755007 edges, 79072 markings/sec, 35 secs
lola: 3695259 markings, 16633014 edges, 78266 markings/sec, 40 secs
lola: 4086134 markings, 18393242 edges, 78175 markings/sec, 45 secs
lola: 4475086 markings, 20259764 edges, 77790 markings/sec, 50 secs
lola: 4882388 markings, 22025184 edges, 81460 markings/sec, 55 secs
lola: 5289117 markings, 23980636 edges, 81346 markings/sec, 60 secs
lola: 5652476 markings, 25877281 edges, 72672 markings/sec, 65 secs
lola: 6045066 markings, 27575296 edges, 78518 markings/sec, 70 secs
lola: 6446668 markings, 29253652 edges, 80320 markings/sec, 75 secs
lola: 6850322 markings, 30947701 edges, 80731 markings/sec, 80 secs
lola: 7225143 markings, 32754180 edges, 74964 markings/sec, 85 secs
lola: 7593225 markings, 34578833 edges, 73616 markings/sec, 90 secs
lola: 7954158 markings, 36570428 edges, 72187 markings/sec, 95 secs
lola: 8321359 markings, 38410521 edges, 73440 markings/sec, 100 secs
lola: 8660113 markings, 40174956 edges, 67751 markings/sec, 105 secs
lola: 9023058 markings, 42060911 edges, 72589 markings/sec, 110 secs
lola: 9376179 markings, 43869051 edges, 70624 markings/sec, 115 secs
lola: 9733897 markings, 45762614 edges, 71544 markings/sec, 120 secs
lola: 10084604 markings, 47680090 edges, 70141 markings/sec, 125 secs
lola: 10449360 markings, 49507460 edges, 72951 markings/sec, 130 secs
lola: 10787705 markings, 51213911 edges, 67669 markings/sec, 135 secs
lola: 11133424 markings, 53046905 edges, 69144 markings/sec, 140 secs
lola: 11493880 markings, 54889217 edges, 72091 markings/sec, 145 secs
lola: 11901778 markings, 56634520 edges, 81580 markings/sec, 150 secs
lola: 12300416 markings, 58430148 edges, 79728 markings/sec, 155 secs
lola: 12681533 markings, 60153808 edges, 76223 markings/sec, 160 secs
lola: 13072251 markings, 61891527 edges, 78144 markings/sec, 165 secs
lola: 13458983 markings, 63621058 edges, 77346 markings/sec, 170 secs
lola: 13852608 markings, 65395659 edges, 78725 markings/sec, 175 secs
lola: 14259282 markings, 67048677 edges, 81335 markings/sec, 180 secs
lola: 14650770 markings, 68822553 edges, 78298 markings/sec, 185 secs
lola: 15034937 markings, 70550311 edges, 76833 markings/sec, 190 secs
lola: 15427082 markings, 72288929 edges, 78429 markings/sec, 195 secs
lola: 15837175 markings, 73900369 edges, 82019 markings/sec, 200 secs
lola: 16214506 markings, 75831485 edges, 75466 markings/sec, 205 secs
lola: 16573362 markings, 77895976 edges, 71771 markings/sec, 210 secs
lola: 16946818 markings, 79837892 edges, 74691 markings/sec, 215 secs
lola: 17322193 markings, 81997252 edges, 75075 markings/sec, 220 secs
lola: 17706230 markings, 83948932 edges, 76807 markings/sec, 225 secs
lola: 18087896 markings, 85804045 edges, 76333 markings/sec, 230 secs
lola: 18459691 markings, 87633921 edges, 74359 markings/sec, 235 secs
lola: 18830570 markings, 89365090 edges, 74176 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 503213 markings, 1503004 edges, 100643 markings/sec, 0 secs
lola: 985788 markings, 3191361 edges, 96515 markings/sec, 5 secs
lola: 1448566 markings, 4843163 edges, 92556 markings/sec, 10 secs
lola: 1885486 markings, 6580324 edges, 87384 markings/sec, 15 secs
lola: 2344433 markings, 8262127 edges, 91789 markings/sec, 20 secs
lola: 2814370 markings, 9778745 edges, 93987 markings/sec, 25 secs
lola: 3278969 markings, 11357909 edges, 92920 markings/sec, 30 secs
lola: 3705546 markings, 13034223 edges, 85315 markings/sec, 35 secs
lola: 4153968 markings, 14670846 edges, 89684 markings/sec, 40 secs
lola: 4570983 markings, 16219229 edges, 83403 markings/sec, 45 secs
lola: 4983615 markings, 17753656 edges, 82526 markings/sec, 50 secs
lola: 5416389 markings, 19319660 edges, 86555 markings/sec, 55 secs
lola: 5857481 markings, 20973161 edges, 88218 markings/sec, 60 secs
lola: 6275082 markings, 22891502 edges, 83520 markings/sec, 65 secs
lola: 6668233 markings, 24921080 edges, 78630 markings/sec, 70 secs
lola: 7064777 markings, 27028920 edges, 79309 markings/sec, 75 secs
lola: 7468773 markings, 29066877 edges, 80799 markings/sec, 80 secs
lola: 7888486 markings, 30844099 edges, 83943 markings/sec, 85 secs
lola: 8307348 markings, 32470382 edges, 83772 markings/sec, 90 secs
lola: 8709762 markings, 34056623 edges, 80483 markings/sec, 95 secs
lola: 9090550 markings, 36075524 edges, 76158 markings/sec, 100 secs
lola: 9507052 markings, 37676676 edges, 83300 markings/sec, 105 secs
lola: 9900655 markings, 39443819 edges, 78721 markings/sec, 110 secs
lola: 10292775 markings, 41216267 edges, 78424 markings/sec, 115 secs
lola: 10675731 markings, 42967485 edges, 76591 markings/sec, 120 secs
lola: 11051432 markings, 44774932 edges, 75140 markings/sec, 125 secs
lola: 11443654 markings, 46763499 edges, 78444 markings/sec, 130 secs
lola: 11845454 markings, 48575447 edges, 80360 markings/sec, 135 secs
lola: 12247597 markings, 50240345 edges, 80429 markings/sec, 140 secs
lola: 12652052 markings, 52000973 edges, 80891 markings/sec, 145 secs
lola: 13034140 markings, 54042771 edges, 76418 markings/sec, 150 secs
lola: 13413556 markings, 55949294 edges, 75883 markings/sec, 155 secs
lola: 13817930 markings, 57687247 edges, 80875 markings/sec, 160 secs
lola: 14211174 markings, 59677315 edges, 78649 markings/sec, 165 secs
lola: 14601380 markings, 61627136 edges, 78041 markings/sec, 170 secs
lola: 15017003 markings, 63397600 edges, 83125 markings/sec, 175 secs
lola: 15403794 markings, 65418370 edges, 77358 markings/sec, 180 secs
lola: 15777297 markings, 67251760 edges, 74701 markings/sec, 185 secs
lola: 16150876 markings, 69156880 edges, 74716 markings/sec, 190 secs
lola: 16546754 markings, 70850013 edges, 79176 markings/sec, 195 secs
lola: 16927920 markings, 72457545 edges, 76233 markings/sec, 200 secs
lola: 17318901 markings, 74075555 edges, 78196 markings/sec, 205 secs
lola: 17705016 markings, 75693635 edges, 77223 markings/sec, 210 secs
lola: 18055585 markings, 77686013 edges, 70114 markings/sec, 215 secs
lola: 18405503 markings, 79733060 edges, 69984 markings/sec, 220 secs
lola: 18769276 markings, 81734861 edges, 72755 markings/sec, 225 secs
lola: 19148605 markings, 83526833 edges, 75866 markings/sec, 230 secs
lola: 19536922 markings, 85172436 edges, 77663 markings/sec, 235 secs
lola: 19903680 markings, 87072587 edges, 73352 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 488291 markings, 1495315 edges, 97658 markings/sec, 0 secs
lola: 964307 markings, 3039744 edges, 95203 markings/sec, 5 secs
lola: 1527013 markings, 4536428 edges, 112541 markings/sec, 10 secs
lola: 2086842 markings, 5993830 edges, 111966 markings/sec, 15 secs
lola: 2624068 markings, 7483077 edges, 107445 markings/sec, 20 secs
lola: 3171186 markings, 9005928 edges, 109424 markings/sec, 25 secs
lola: 3645163 markings, 10896031 edges, 94795 markings/sec, 30 secs
lola: 4119372 markings, 12783078 edges, 94842 markings/sec, 35 secs
lola: 4636081 markings, 14357053 edges, 103342 markings/sec, 40 secs
lola: 5140355 markings, 15907816 edges, 100855 markings/sec, 45 secs
lola: 5643851 markings, 17431747 edges, 100699 markings/sec, 50 secs
lola: 6106234 markings, 18995792 edges, 92477 markings/sec, 55 secs
lola: 6536545 markings, 20982578 edges, 86062 markings/sec, 60 secs
lola: 6970480 markings, 22900001 edges, 86787 markings/sec, 65 secs
lola: 7476745 markings, 24518492 edges, 101253 markings/sec, 70 secs
lola: 7965654 markings, 25974454 edges, 97782 markings/sec, 75 secs
lola: 8395273 markings, 27907515 edges, 85924 markings/sec, 80 secs
lola: 8843824 markings, 29685110 edges, 89710 markings/sec, 85 secs
lola: 9334217 markings, 31265395 edges, 98079 markings/sec, 90 secs
lola: 9760159 markings, 33207816 edges, 85188 markings/sec, 95 secs
lola: 10250751 markings, 34931686 edges, 98118 markings/sec, 100 secs
lola: 10765412 markings, 36553019 edges, 102932 markings/sec, 105 secs
lola: 11218530 markings, 38508049 edges, 90624 markings/sec, 110 secs
lola: 11600644 markings, 40426269 edges, 76423 markings/sec, 115 secs
lola: 11980367 markings, 42283778 edges, 75945 markings/sec, 120 secs
lola: 12341371 markings, 44200277 edges, 72201 markings/sec, 125 secs
lola: 12720108 markings, 46050735 edges, 75747 markings/sec, 130 secs
lola: 13175599 markings, 47506581 edges, 91098 markings/sec, 135 secs
lola: 13611096 markings, 49022049 edges, 87099 markings/sec, 140 secs
lola: 14019218 markings, 50577846 edges, 81624 markings/sec, 145 secs
lola: 14570329 markings, 52203326 edges, 110222 markings/sec, 150 secs
lola: 15094910 markings, 53901297 edges, 104916 markings/sec, 155 secs
lola: 15622460 markings, 55554696 edges, 105510 markings/sec, 160 secs
lola: 16142670 markings, 57195682 edges, 104042 markings/sec, 165 secs
lola: 16684022 markings, 58861984 edges, 108270 markings/sec, 170 secs
lola: 17126404 markings, 60575935 edges, 88476 markings/sec, 175 secs
lola: 17610514 markings, 62318840 edges, 96822 markings/sec, 180 secs
lola: 18100638 markings, 63953581 edges, 98025 markings/sec, 185 secs
lola: 18575216 markings, 65620474 edges, 94916 markings/sec, 190 secs
lola: 19029094 markings, 67352092 edges, 90776 markings/sec, 195 secs
lola: 19496696 markings, 69093268 edges, 93520 markings/sec, 200 secs
lola: 19946080 markings, 70791276 edges, 89877 markings/sec, 205 secs
lola: 20405377 markings, 72496409 edges, 91859 markings/sec, 210 secs
lola: 20888644 markings, 74232850 edges, 96653 markings/sec, 215 secs
lola: 21367157 markings, 75907230 edges, 95703 markings/sec, 220 secs
lola: 21832801 markings, 77562148 edges, 93129 markings/sec, 225 secs
lola: 22297951 markings, 79349858 edges, 93030 markings/sec, 230 secs
lola: 22747613 markings, 81026105 edges, 89932 markings/sec, 235 secs
lola: 23186196 markings, 82842166 edges, 87717 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 14 will run for 374 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 481238 markings, 1367312 edges, 96248 markings/sec, 0 secs
lola: 907479 markings, 3161509 edges, 85248 markings/sec, 5 secs
lola: 1302001 markings, 4850002 edges, 78904 markings/sec, 10 secs
lola: 1678344 markings, 6586442 edges, 75269 markings/sec, 15 secs
lola: 2079106 markings, 8433628 edges, 80152 markings/sec, 20 secs
lola: 2459381 markings, 10215233 edges, 76055 markings/sec, 25 secs
lola: 2825170 markings, 12094481 edges, 73158 markings/sec, 30 secs
lola: 3186125 markings, 14039267 edges, 72191 markings/sec, 35 secs
lola: 3539118 markings, 15956467 edges, 70599 markings/sec, 40 secs
lola: 3894836 markings, 17822669 edges, 71144 markings/sec, 45 secs
lola: 4325383 markings, 19506842 edges, 86109 markings/sec, 50 secs
lola: 4726305 markings, 21199033 edges, 80184 markings/sec, 55 secs
lola: 5107409 markings, 22977521 edges, 76221 markings/sec, 60 secs
lola: 5470176 markings, 24808931 edges, 72553 markings/sec, 65 secs
lola: 5850311 markings, 26697561 edges, 76027 markings/sec, 70 secs
lola: 6205319 markings, 28618900 edges, 71002 markings/sec, 75 secs
lola: 6588342 markings, 30332202 edges, 76605 markings/sec, 80 secs
lola: 6955748 markings, 32076206 edges, 73481 markings/sec, 85 secs
lola: 7311280 markings, 33991620 edges, 71106 markings/sec, 90 secs
lola: 7670715 markings, 35875314 edges, 71887 markings/sec, 95 secs
lola: 8013447 markings, 37696471 edges, 68546 markings/sec, 100 secs
lola: 8390555 markings, 39622031 edges, 75422 markings/sec, 105 secs
lola: 8763403 markings, 41725239 edges, 74570 markings/sec, 110 secs
lola: 9150391 markings, 43910699 edges, 77398 markings/sec, 115 secs
lola: 9488534 markings, 46147984 edges, 67629 markings/sec, 120 secs
lola: 9813882 markings, 48390687 edges, 65070 markings/sec, 125 secs
lola: 10190876 markings, 50512129 edges, 75399 markings/sec, 130 secs
lola: 10542183 markings, 52711642 edges, 70261 markings/sec, 135 secs
lola: 10887109 markings, 54913131 edges, 68985 markings/sec, 140 secs
lola: 11225110 markings, 57080459 edges, 67600 markings/sec, 145 secs
lola: 11550005 markings, 59287251 edges, 64979 markings/sec, 150 secs
lola: 11967448 markings, 60940743 edges, 83489 markings/sec, 155 secs
lola: 12401557 markings, 62427262 edges, 86822 markings/sec, 160 secs
lola: 12819691 markings, 63958506 edges, 83627 markings/sec, 165 secs
lola: 13214631 markings, 65808218 edges, 78988 markings/sec, 170 secs
lola: 13606348 markings, 67479332 edges, 78343 markings/sec, 175 secs
lola: 13981800 markings, 69144991 edges, 75090 markings/sec, 180 secs
lola: 14350914 markings, 70815186 edges, 73823 markings/sec, 185 secs
lola: 14722276 markings, 72481482 edges, 74272 markings/sec, 190 secs
lola: 15074392 markings, 74183184 edges, 70423 markings/sec, 195 secs
lola: 15438976 markings, 75903140 edges, 72917 markings/sec, 200 secs
lola: 15817732 markings, 77685138 edges, 75751 markings/sec, 205 secs
lola: 16202778 markings, 79606186 edges, 77009 markings/sec, 210 secs
lola: 16568366 markings, 81667857 edges, 73118 markings/sec, 215 secs
lola: 16927766 markings, 83724438 edges, 71880 markings/sec, 220 secs
lola: 17276136 markings, 85825203 edges, 69674 markings/sec, 225 secs
lola: 17640112 markings, 87955869 edges, 72795 markings/sec, 230 secs
lola: 18033244 markings, 89861528 edges, 78626 markings/sec, 235 secs
lola: 18430667 markings, 91729931 edges, 79485 markings/sec, 240 secs
lola: 18792425 markings, 93590101 edges, 72352 markings/sec, 245 secs
lola: 19145343 markings, 95308152 edges, 70584 markings/sec, 250 secs
lola: 19526370 markings, 97129388 edges, 76205 markings/sec, 255 secs
lola: 19883280 markings, 99076539 edges, 71382 markings/sec, 260 secs
lola: 20224906 markings, 101126919 edges, 68325 markings/sec, 265 secs
lola: 20583521 markings, 103308975 edges, 71723 markings/sec, 270 secs
lola: 20923959 markings, 105602175 edges, 68088 markings/sec, 275 secs
lola: 21313257 markings, 107398621 edges, 77860 markings/sec, 280 secs
lola: 21682402 markings, 109375866 edges, 73829 markings/sec, 285 secs
lola: 22042110 markings, 111195186 edges, 71942 markings/sec, 290 secs
lola: 22399675 markings, 112961935 edges, 71513 markings/sec, 295 secs
lola: 22745060 markings, 114833505 edges, 69077 markings/sec, 300 secs
lola: 23076231 markings, 116897424 edges, 66234 markings/sec, 305 secs
lola: 23414455 markings, 119029484 edges, 67645 markings/sec, 310 secs
lola: 23737396 markings, 121305829 edges, 64588 markings/sec, 315 secs
lola: 24100313 markings, 123333090 edges, 72583 markings/sec, 320 secs
lola: 24452545 markings, 125283546 edges, 70446 markings/sec, 325 secs
lola: 24804676 markings, 127063293 edges, 70426 markings/sec, 330 secs
lola: 25127519 markings, 129161972 edges, 64569 markings/sec, 335 secs
lola: 25452864 markings, 131300678 edges, 65069 markings/sec, 340 secs
lola: 25798334 markings, 133420701 edges, 69094 markings/sec, 345 secs
lola: 26169803 markings, 135348929 edges, 74294 markings/sec, 350 secs
lola: 26523272 markings, 137175609 edges, 70694 markings/sec, 355 secs
lola: 26877896 markings, 138951041 edges, 70925 markings/sec, 360 secs
lola: 27197150 markings, 140995053 edges, 63851 markings/sec, 365 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 374 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown 1 unknown 1
lola: ========================================
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-15ringRRLarge-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496348723009

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

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="S_DNAwalker-PT-15ringRRLarge"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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

tar xzf /home/mcc/BenchKit/INPUTS/S_DNAwalker-PT-15ringRRLarge.tgz
mv S_DNAwalker-PT-15ringRRLarge execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_DNAwalker-PT-15ringRRLarge, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r108-blw3-149441612100128"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;