About the Execution of LoLA for Dekker-PT-100
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
315.110 | 3539870.00 | 3553563.00 | 575.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-3253
Executing tool lola
Input is Dekker-PT-100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309000209
=====================================================================
--------------------
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 Dekker-PT-100-UpperBounds-0
FORMULA_NAME Dekker-PT-100-UpperBounds-1
FORMULA_NAME Dekker-PT-100-UpperBounds-10
FORMULA_NAME Dekker-PT-100-UpperBounds-11
FORMULA_NAME Dekker-PT-100-UpperBounds-12
FORMULA_NAME Dekker-PT-100-UpperBounds-13
FORMULA_NAME Dekker-PT-100-UpperBounds-14
FORMULA_NAME Dekker-PT-100-UpperBounds-15
FORMULA_NAME Dekker-PT-100-UpperBounds-2
FORMULA_NAME Dekker-PT-100-UpperBounds-3
FORMULA_NAME Dekker-PT-100-UpperBounds-4
FORMULA_NAME Dekker-PT-100-UpperBounds-5
FORMULA_NAME Dekker-PT-100-UpperBounds-6
FORMULA_NAME Dekker-PT-100-UpperBounds-7
FORMULA_NAME Dekker-PT-100-UpperBounds-8
FORMULA_NAME Dekker-PT-100-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494624399448
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Dekker-PT-100 @ 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: 10700/65536 symbol table entries, 4008 collisions
lola: preprocessing...
lola: finding significant places
lola: 500 places, 10200 transitions, 200 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 20300 transition conflict sets
lola: TASK
lola: reading formula from Dekker-PT-100-UpperBounds.task
lola: MAX(p3_7) : MAX(p3_28) : MAX(p1_23) : MAX(flag_1_42) : MAX(p0_90) : MAX(p0_91) : MAX(flag_1_61) : MAX(p0_59) : MAX(flag_0_41) : MAX(p3_10) : MAX(flag_1_27) : MAX(p1_66) : MAX(flag_0_28) : MAX(p3_70) : MAX(p1_44) : MAX(flag_1_16)
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(p3_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1903 markings, 12254 edges, 381 markings/sec, 0 secs
lola: 3792 markings, 26506 edges, 378 markings/sec, 5 secs
lola: 5636 markings, 45283 edges, 369 markings/sec, 10 secs
lola: 7508 markings, 69674 edges, 374 markings/sec, 15 secs
lola: 9391 markings, 95122 edges, 377 markings/sec, 20 secs
lola: 11245 markings, 124762 edges, 371 markings/sec, 25 secs
lola: 13126 markings, 153430 edges, 376 markings/sec, 30 secs
lola: 15005 markings, 181665 edges, 376 markings/sec, 35 secs
lola: 16895 markings, 208107 edges, 378 markings/sec, 40 secs
lola: 18775 markings, 237555 edges, 376 markings/sec, 45 secs
lola: 20656 markings, 261417 edges, 376 markings/sec, 50 secs
lola: 22529 markings, 292137 edges, 375 markings/sec, 55 secs
lola: 24365 markings, 326082 edges, 367 markings/sec, 60 secs
lola: 26212 markings, 353411 edges, 369 markings/sec, 65 secs
lola: 28074 markings, 371945 edges, 372 markings/sec, 70 secs
lola: 29911 markings, 400790 edges, 367 markings/sec, 75 secs
lola: 31763 markings, 419802 edges, 370 markings/sec, 80 secs
lola: 33602 markings, 444398 edges, 368 markings/sec, 85 secs
lola: 35463 markings, 462175 edges, 372 markings/sec, 90 secs
lola: 37315 markings, 483050 edges, 370 markings/sec, 95 secs
lola: 39172 markings, 500460 edges, 371 markings/sec, 100 secs
lola: 41011 markings, 524214 edges, 368 markings/sec, 105 secs
lola: 42858 markings, 546174 edges, 369 markings/sec, 110 secs
lola: 44733 markings, 574802 edges, 375 markings/sec, 115 secs
lola: 46600 markings, 605321 edges, 373 markings/sec, 120 secs
lola: 48469 markings, 636158 edges, 374 markings/sec, 125 secs
lola: 50340 markings, 658769 edges, 374 markings/sec, 130 secs
lola: 52208 markings, 677684 edges, 374 markings/sec, 135 secs
lola: 54069 markings, 703044 edges, 372 markings/sec, 140 secs
lola: 55931 markings, 733002 edges, 372 markings/sec, 145 secs
lola: 57779 markings, 763223 edges, 370 markings/sec, 150 secs
lola: 59642 markings, 784824 edges, 373 markings/sec, 155 secs
lola: 61512 markings, 809619 edges, 374 markings/sec, 160 secs
lola: 63375 markings, 838212 edges, 373 markings/sec, 165 secs
lola: 65228 markings, 869454 edges, 371 markings/sec, 170 secs
lola: 67083 markings, 900956 edges, 371 markings/sec, 175 secs
lola: 68929 markings, 932595 edges, 369 markings/sec, 180 secs
lola: 70818 markings, 959795 edges, 378 markings/sec, 185 secs
lola: 72701 markings, 990085 edges, 377 markings/sec, 190 secs
lola: 74582 markings, 1021303 edges, 376 markings/sec, 195 secs
lola: 76463 markings, 1051612 edges, 376 markings/sec, 200 secs
lola: 78325 markings, 1083906 edges, 372 markings/sec, 205 secs
lola: 80197 markings, 1114968 edges, 374 markings/sec, 210 secs
lola: 82069 markings, 1148487 edges, 374 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(p3_28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1909 markings, 12191 edges, 382 markings/sec, 0 secs
lola: 3810 markings, 24925 edges, 380 markings/sec, 5 secs
lola: 5706 markings, 46394 edges, 379 markings/sec, 10 secs
lola: 7576 markings, 70891 edges, 374 markings/sec, 15 secs
lola: 9449 markings, 97887 edges, 375 markings/sec, 20 secs
lola: 11340 markings, 122873 edges, 378 markings/sec, 25 secs
lola: 13227 markings, 152806 edges, 377 markings/sec, 30 secs
lola: 15103 markings, 182958 edges, 375 markings/sec, 35 secs
lola: 16979 markings, 212400 edges, 375 markings/sec, 40 secs
lola: 18854 markings, 241291 edges, 375 markings/sec, 45 secs
lola: 20723 markings, 272427 edges, 374 markings/sec, 50 secs
lola: 22630 markings, 286781 edges, 381 markings/sec, 55 secs
lola: 24524 markings, 303055 edges, 379 markings/sec, 60 secs
lola: 26405 markings, 321588 edges, 376 markings/sec, 65 secs
lola: 28283 markings, 341037 edges, 376 markings/sec, 70 secs
lola: 30144 markings, 371586 edges, 372 markings/sec, 75 secs
lola: 32009 markings, 404152 edges, 373 markings/sec, 80 secs
lola: 33870 markings, 436090 edges, 372 markings/sec, 85 secs
lola: 35735 markings, 459899 edges, 373 markings/sec, 90 secs
lola: 37631 markings, 486830 edges, 379 markings/sec, 95 secs
lola: 39515 markings, 518078 edges, 377 markings/sec, 100 secs
lola: 41398 markings, 549318 edges, 377 markings/sec, 105 secs
lola: 43284 markings, 573154 edges, 377 markings/sec, 110 secs
lola: 45149 markings, 601621 edges, 373 markings/sec, 115 secs
lola: 47023 markings, 621360 edges, 375 markings/sec, 120 secs
lola: 48888 markings, 644210 edges, 373 markings/sec, 125 secs
lola: 50749 markings, 666891 edges, 372 markings/sec, 130 secs
lola: 52614 markings, 688737 edges, 373 markings/sec, 135 secs
lola: 54488 markings, 715486 edges, 375 markings/sec, 140 secs
lola: 56360 markings, 744229 edges, 374 markings/sec, 145 secs
lola: 58226 markings, 764883 edges, 373 markings/sec, 150 secs
lola: 60089 markings, 789486 edges, 373 markings/sec, 155 secs
lola: 61949 markings, 819244 edges, 372 markings/sec, 160 secs
lola: 63821 markings, 845931 edges, 374 markings/sec, 165 secs
lola: 65686 markings, 876364 edges, 373 markings/sec, 170 secs
lola: 67551 markings, 907062 edges, 373 markings/sec, 175 secs
lola: 69419 markings, 936721 edges, 374 markings/sec, 180 secs
lola: 71276 markings, 967269 edges, 371 markings/sec, 185 secs
lola: 73122 markings, 1001462 edges, 369 markings/sec, 190 secs
lola: 74955 markings, 1031529 edges, 367 markings/sec, 195 secs
lola: 76785 markings, 1059838 edges, 366 markings/sec, 200 secs
lola: 78638 markings, 1090984 edges, 371 markings/sec, 205 secs
lola: 80482 markings, 1125953 edges, 369 markings/sec, 210 secs
lola: 82332 markings, 1158527 edges, 370 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(p1_23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1913 markings, 8374 edges, 383 markings/sec, 0 secs
lola: 3771 markings, 18240 edges, 372 markings/sec, 5 secs
lola: 5655 markings, 28447 edges, 377 markings/sec, 10 secs
lola: 7542 markings, 39246 edges, 377 markings/sec, 15 secs
lola: 9409 markings, 50814 edges, 373 markings/sec, 20 secs
lola: 11311 markings, 62630 edges, 380 markings/sec, 25 secs
lola: 13201 markings, 74925 edges, 378 markings/sec, 30 secs
lola: 15090 markings, 87847 edges, 378 markings/sec, 35 secs
lola: 16982 markings, 100927 edges, 378 markings/sec, 40 secs
lola: 18881 markings, 112763 edges, 380 markings/sec, 45 secs
lola: 20751 markings, 126431 edges, 374 markings/sec, 50 secs
lola: 22632 markings, 140036 edges, 376 markings/sec, 55 secs
lola: 24521 markings, 154042 edges, 378 markings/sec, 60 secs
lola: 26416 markings, 169861 edges, 379 markings/sec, 65 secs
lola: 28317 markings, 183926 edges, 380 markings/sec, 70 secs
lola: 30216 markings, 196935 edges, 380 markings/sec, 75 secs
lola: 32095 markings, 211778 edges, 376 markings/sec, 80 secs
lola: 33948 markings, 225653 edges, 371 markings/sec, 85 secs
lola: 35822 markings, 240519 edges, 375 markings/sec, 90 secs
lola: 37698 markings, 255015 edges, 375 markings/sec, 95 secs
lola: 39584 markings, 266968 edges, 377 markings/sec, 100 secs
lola: 41454 markings, 280845 edges, 374 markings/sec, 105 secs
lola: 43324 markings, 294636 edges, 374 markings/sec, 110 secs
lola: 45208 markings, 310174 edges, 377 markings/sec, 115 secs
lola: 47093 markings, 328088 edges, 377 markings/sec, 120 secs
lola: 48985 markings, 344395 edges, 378 markings/sec, 125 secs
lola: 50868 markings, 362390 edges, 377 markings/sec, 130 secs
lola: 52773 markings, 376408 edges, 381 markings/sec, 135 secs
lola: 54665 markings, 391938 edges, 378 markings/sec, 140 secs
lola: 56554 markings, 408123 edges, 378 markings/sec, 145 secs
lola: 58439 markings, 425851 edges, 377 markings/sec, 150 secs
lola: 60326 markings, 441513 edges, 377 markings/sec, 155 secs
lola: 62216 markings, 457081 edges, 378 markings/sec, 160 secs
lola: 64099 markings, 473867 edges, 377 markings/sec, 165 secs
lola: 65980 markings, 491059 edges, 376 markings/sec, 170 secs
lola: 67850 markings, 510110 edges, 374 markings/sec, 175 secs
lola: 69735 markings, 526984 edges, 377 markings/sec, 180 secs
lola: 71644 markings, 538892 edges, 382 markings/sec, 185 secs
lola: 73543 markings, 552825 edges, 380 markings/sec, 190 secs
lola: 75437 markings, 567230 edges, 379 markings/sec, 195 secs
lola: 77335 markings, 581460 edges, 380 markings/sec, 200 secs
lola: 79220 markings, 596600 edges, 377 markings/sec, 205 secs
lola: 81103 markings, 612359 edges, 377 markings/sec, 210 secs
lola: 82986 markings, 628936 edges, 377 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(flag_1_42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1907 markings, 9461 edges, 381 markings/sec, 0 secs
lola: 3803 markings, 22613 edges, 379 markings/sec, 5 secs
lola: 5689 markings, 36657 edges, 377 markings/sec, 10 secs
lola: 7569 markings, 50066 edges, 376 markings/sec, 15 secs
lola: 9459 markings, 64022 edges, 378 markings/sec, 20 secs
lola: 11348 markings, 79094 edges, 378 markings/sec, 25 secs
lola: 13234 markings, 95161 edges, 377 markings/sec, 30 secs
lola: 15125 markings, 109567 edges, 378 markings/sec, 35 secs
lola: 17015 markings, 124731 edges, 378 markings/sec, 40 secs
lola: 18908 markings, 139452 edges, 379 markings/sec, 45 secs
lola: 20790 markings, 155376 edges, 376 markings/sec, 50 secs
lola: 22684 markings, 170944 edges, 379 markings/sec, 55 secs
lola: 24573 markings, 187511 edges, 378 markings/sec, 60 secs
lola: 26454 markings, 204601 edges, 376 markings/sec, 65 secs
lola: 28334 markings, 218006 edges, 376 markings/sec, 70 secs
lola: 30221 markings, 234282 edges, 377 markings/sec, 75 secs
lola: 32099 markings, 250460 edges, 376 markings/sec, 80 secs
lola: 33964 markings, 267399 edges, 373 markings/sec, 85 secs
lola: 35832 markings, 283558 edges, 374 markings/sec, 90 secs
lola: 37700 markings, 300350 edges, 374 markings/sec, 95 secs
lola: 39535 markings, 317363 edges, 367 markings/sec, 100 secs
lola: 41393 markings, 335445 edges, 372 markings/sec, 105 secs
lola: 43274 markings, 352687 edges, 376 markings/sec, 110 secs
lola: 45155 markings, 369212 edges, 376 markings/sec, 115 secs
lola: 47040 markings, 385701 edges, 377 markings/sec, 120 secs
lola: 48927 markings, 401889 edges, 377 markings/sec, 125 secs
lola: 50810 markings, 418603 edges, 377 markings/sec, 130 secs
lola: 52687 markings, 436232 edges, 375 markings/sec, 135 secs
lola: 54570 markings, 451641 edges, 377 markings/sec, 140 secs
lola: 56451 markings, 468666 edges, 376 markings/sec, 145 secs
lola: 58346 markings, 481363 edges, 379 markings/sec, 150 secs
lola: 60225 markings, 498137 edges, 376 markings/sec, 155 secs
lola: 62101 markings, 515095 edges, 375 markings/sec, 160 secs
lola: 63978 markings, 532084 edges, 375 markings/sec, 165 secs
lola: 65865 markings, 546914 edges, 377 markings/sec, 170 secs
lola: 67743 markings, 564449 edges, 376 markings/sec, 175 secs
lola: 69617 markings, 582442 edges, 375 markings/sec, 180 secs
lola: 71498 markings, 598475 edges, 376 markings/sec, 185 secs
lola: 73375 markings, 616296 edges, 375 markings/sec, 190 secs
lola: 75254 markings, 632857 edges, 376 markings/sec, 195 secs
lola: 77137 markings, 649249 edges, 377 markings/sec, 200 secs
lola: 79023 markings, 664489 edges, 377 markings/sec, 205 secs
lola: 80911 markings, 679477 edges, 378 markings/sec, 210 secs
lola: 82803 markings, 693152 edges, 378 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(p0_90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1912 markings, 8464 edges, 382 markings/sec, 0 secs
lola: 3834 markings, 18237 edges, 384 markings/sec, 5 secs
lola: 5757 markings, 28737 edges, 385 markings/sec, 10 secs
lola: 7675 markings, 41230 edges, 384 markings/sec, 15 secs
lola: 9592 markings, 53969 edges, 383 markings/sec, 20 secs
lola: 11510 markings, 66964 edges, 384 markings/sec, 25 secs
lola: 13420 markings, 80968 edges, 382 markings/sec, 30 secs
lola: 15345 markings, 94463 edges, 385 markings/sec, 35 secs
lola: 17262 markings, 109222 edges, 383 markings/sec, 40 secs
lola: 19181 markings, 123845 edges, 384 markings/sec, 45 secs
lola: 21091 markings, 138468 edges, 382 markings/sec, 50 secs
lola: 23007 markings, 152616 edges, 383 markings/sec, 55 secs
lola: 24916 markings, 167055 edges, 382 markings/sec, 60 secs
lola: 26834 markings, 179167 edges, 384 markings/sec, 65 secs
lola: 28746 markings, 190024 edges, 382 markings/sec, 70 secs
lola: 30653 markings, 202472 edges, 381 markings/sec, 75 secs
lola: 32554 markings, 218347 edges, 380 markings/sec, 80 secs
lola: 34466 markings, 233368 edges, 382 markings/sec, 85 secs
lola: 36365 markings, 249657 edges, 380 markings/sec, 90 secs
lola: 38276 markings, 263463 edges, 382 markings/sec, 95 secs
lola: 40178 markings, 280016 edges, 380 markings/sec, 100 secs
lola: 42087 markings, 294266 edges, 382 markings/sec, 105 secs
lola: 43996 markings, 308272 edges, 382 markings/sec, 110 secs
lola: 45911 markings, 321522 edges, 383 markings/sec, 115 secs
lola: 47832 markings, 335900 edges, 384 markings/sec, 120 secs
lola: 49748 markings, 351565 edges, 383 markings/sec, 125 secs
lola: 51663 markings, 367025 edges, 383 markings/sec, 130 secs
lola: 53568 markings, 383243 edges, 381 markings/sec, 135 secs
lola: 55468 markings, 399456 edges, 380 markings/sec, 140 secs
lola: 57377 markings, 413431 edges, 382 markings/sec, 145 secs
lola: 59281 markings, 428359 edges, 381 markings/sec, 150 secs
lola: 61180 markings, 445102 edges, 380 markings/sec, 155 secs
lola: 63089 markings, 459056 edges, 382 markings/sec, 160 secs
lola: 64997 markings, 474071 edges, 382 markings/sec, 165 secs
lola: 66902 markings, 490431 edges, 381 markings/sec, 170 secs
lola: 68797 markings, 508385 edges, 379 markings/sec, 175 secs
lola: 70700 markings, 522100 edges, 381 markings/sec, 180 secs
lola: 72601 markings, 537830 edges, 380 markings/sec, 185 secs
lola: 74501 markings, 554706 edges, 380 markings/sec, 190 secs
lola: 76414 markings, 571112 edges, 383 markings/sec, 195 secs
lola: 78320 markings, 588178 edges, 381 markings/sec, 200 secs
lola: 80220 markings, 605654 edges, 380 markings/sec, 205 secs
lola: 82124 markings, 620914 edges, 381 markings/sec, 210 secs
lola: 84022 markings, 637078 edges, 380 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(p0_91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1904 markings, 10873 edges, 381 markings/sec, 0 secs
lola: 3807 markings, 23648 edges, 381 markings/sec, 5 secs
lola: 5708 markings, 37121 edges, 380 markings/sec, 10 secs
lola: 7615 markings, 49117 edges, 381 markings/sec, 15 secs
lola: 9515 markings, 63139 edges, 380 markings/sec, 20 secs
lola: 11418 markings, 77889 edges, 381 markings/sec, 25 secs
lola: 13322 markings, 92597 edges, 381 markings/sec, 30 secs
lola: 15235 markings, 105492 edges, 383 markings/sec, 35 secs
lola: 17145 markings, 119365 edges, 382 markings/sec, 40 secs
lola: 19051 markings, 134461 edges, 381 markings/sec, 45 secs
lola: 20954 markings, 150561 edges, 381 markings/sec, 50 secs
lola: 22857 markings, 166445 edges, 381 markings/sec, 55 secs
lola: 24759 markings, 182436 edges, 380 markings/sec, 60 secs
lola: 26659 markings, 199026 edges, 380 markings/sec, 65 secs
lola: 28562 markings, 215141 edges, 381 markings/sec, 70 secs
lola: 30457 markings, 233178 edges, 379 markings/sec, 75 secs
lola: 32355 markings, 250464 edges, 380 markings/sec, 80 secs
lola: 34264 markings, 264196 edges, 382 markings/sec, 85 secs
lola: 36169 markings, 278991 edges, 381 markings/sec, 90 secs
lola: 38067 markings, 296107 edges, 380 markings/sec, 95 secs
lola: 39965 markings, 313574 edges, 380 markings/sec, 100 secs
lola: 41869 markings, 328724 edges, 381 markings/sec, 105 secs
lola: 43771 markings, 344396 edges, 380 markings/sec, 110 secs
lola: 45670 markings, 360583 edges, 380 markings/sec, 115 secs
lola: 47572 markings, 376550 edges, 380 markings/sec, 120 secs
lola: 49473 markings, 391523 edges, 380 markings/sec, 125 secs
lola: 51371 markings, 408560 edges, 380 markings/sec, 130 secs
lola: 53264 markings, 425432 edges, 379 markings/sec, 135 secs
lola: 55154 markings, 443965 edges, 378 markings/sec, 140 secs
lola: 57055 markings, 459805 edges, 380 markings/sec, 145 secs
lola: 58949 markings, 477723 edges, 379 markings/sec, 150 secs
lola: 60854 markings, 492406 edges, 381 markings/sec, 155 secs
lola: 62758 markings, 508332 edges, 381 markings/sec, 160 secs
lola: 64655 markings, 525070 edges, 379 markings/sec, 165 secs
lola: 66551 markings, 542357 edges, 379 markings/sec, 170 secs
lola: 68447 markings, 559561 edges, 379 markings/sec, 175 secs
lola: 70335 markings, 576615 edges, 378 markings/sec, 180 secs
lola: 72220 markings, 594564 edges, 377 markings/sec, 185 secs
lola: 74063 markings, 611267 edges, 369 markings/sec, 190 secs
lola: 75948 markings, 626933 edges, 377 markings/sec, 195 secs
lola: 77827 markings, 644867 edges, 376 markings/sec, 200 secs
lola: 79707 markings, 662308 edges, 376 markings/sec, 205 secs
lola: 81584 markings, 680683 edges, 375 markings/sec, 210 secs
lola: 83476 markings, 698190 edges, 378 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(flag_1_61)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1915 markings, 9046 edges, 383 markings/sec, 0 secs
lola: 3827 markings, 20477 edges, 382 markings/sec, 5 secs
lola: 5736 markings, 31696 edges, 382 markings/sec, 10 secs
lola: 7639 markings, 44781 edges, 381 markings/sec, 15 secs
lola: 9543 markings, 58595 edges, 381 markings/sec, 20 secs
lola: 11454 markings, 73931 edges, 382 markings/sec, 25 secs
lola: 13365 markings, 90034 edges, 382 markings/sec, 30 secs
lola: 15267 markings, 105583 edges, 380 markings/sec, 35 secs
lola: 17172 markings, 122129 edges, 381 markings/sec, 40 secs
lola: 19081 markings, 139189 edges, 382 markings/sec, 45 secs
lola: 20993 markings, 155816 edges, 382 markings/sec, 50 secs
lola: 22897 markings, 174400 edges, 381 markings/sec, 55 secs
lola: 24797 markings, 193910 edges, 380 markings/sec, 60 secs
lola: 26699 markings, 211239 edges, 380 markings/sec, 65 secs
lola: 28533 markings, 228168 edges, 367 markings/sec, 70 secs
lola: 30425 markings, 245703 edges, 378 markings/sec, 75 secs
lola: 32327 markings, 256864 edges, 380 markings/sec, 80 secs
lola: 34220 markings, 272084 edges, 379 markings/sec, 85 secs
lola: 36105 markings, 289713 edges, 377 markings/sec, 90 secs
lola: 37988 markings, 308463 edges, 377 markings/sec, 95 secs
lola: 39877 markings, 327538 edges, 378 markings/sec, 100 secs
lola: 41784 markings, 338824 edges, 381 markings/sec, 105 secs
lola: 43674 markings, 353894 edges, 378 markings/sec, 110 secs
lola: 45527 markings, 370310 edges, 371 markings/sec, 115 secs
lola: 47413 markings, 388386 edges, 377 markings/sec, 120 secs
lola: 49288 markings, 405724 edges, 375 markings/sec, 125 secs
lola: 51165 markings, 421060 edges, 375 markings/sec, 130 secs
lola: 53052 markings, 438414 edges, 377 markings/sec, 135 secs
lola: 54930 markings, 457390 edges, 376 markings/sec, 140 secs
lola: 56813 markings, 473827 edges, 377 markings/sec, 145 secs
lola: 58693 markings, 491265 edges, 376 markings/sec, 150 secs
lola: 60577 markings, 509647 edges, 377 markings/sec, 155 secs
lola: 62460 markings, 527511 edges, 377 markings/sec, 160 secs
lola: 64359 markings, 538827 edges, 380 markings/sec, 165 secs
lola: 66236 markings, 555237 edges, 375 markings/sec, 170 secs
lola: 68120 markings, 573324 edges, 377 markings/sec, 175 secs
lola: 69991 markings, 593879 edges, 374 markings/sec, 180 secs
lola: 71882 markings, 608155 edges, 378 markings/sec, 185 secs
lola: 73762 markings, 623666 edges, 376 markings/sec, 190 secs
lola: 75627 markings, 643327 edges, 373 markings/sec, 195 secs
lola: 77517 markings, 658730 edges, 378 markings/sec, 200 secs
lola: 79389 markings, 679877 edges, 374 markings/sec, 205 secs
lola: 81280 markings, 694546 edges, 378 markings/sec, 210 secs
lola: 83183 markings, 706609 edges, 381 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(p0_59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1914 markings, 9499 edges, 383 markings/sec, 0 secs
lola: 3851 markings, 19887 edges, 387 markings/sec, 5 secs
lola: 5778 markings, 32408 edges, 385 markings/sec, 10 secs
lola: 7701 markings, 45579 edges, 385 markings/sec, 15 secs
lola: 9625 markings, 59144 edges, 385 markings/sec, 20 secs
lola: 11548 markings, 74419 edges, 385 markings/sec, 25 secs
lola: 13459 markings, 90883 edges, 382 markings/sec, 30 secs
lola: 15383 markings, 105296 edges, 385 markings/sec, 35 secs
lola: 17290 markings, 122812 edges, 381 markings/sec, 40 secs
lola: 19194 markings, 140717 edges, 381 markings/sec, 45 secs
lola: 21116 markings, 156426 edges, 384 markings/sec, 50 secs
lola: 23027 markings, 175178 edges, 382 markings/sec, 55 secs
lola: 24939 markings, 193615 edges, 382 markings/sec, 60 secs
lola: 26855 markings, 209195 edges, 383 markings/sec, 65 secs
lola: 28759 markings, 226962 edges, 381 markings/sec, 70 secs
lola: 30666 markings, 244749 edges, 381 markings/sec, 75 secs
lola: 32580 markings, 259869 edges, 383 markings/sec, 80 secs
lola: 34487 markings, 276385 edges, 381 markings/sec, 85 secs
lola: 36390 markings, 294210 edges, 381 markings/sec, 90 secs
lola: 38288 markings, 312823 edges, 380 markings/sec, 95 secs
lola: 40209 markings, 324172 edges, 384 markings/sec, 100 secs
lola: 42124 markings, 337404 edges, 383 markings/sec, 105 secs
lola: 44036 markings, 350926 edges, 382 markings/sec, 110 secs
lola: 45940 markings, 367399 edges, 381 markings/sec, 115 secs
lola: 47856 markings, 379603 edges, 383 markings/sec, 120 secs
lola: 49764 markings, 395362 edges, 382 markings/sec, 125 secs
lola: 51669 markings, 412100 edges, 381 markings/sec, 130 secs
lola: 53583 markings, 427275 edges, 383 markings/sec, 135 secs
lola: 55479 markings, 447235 edges, 379 markings/sec, 140 secs
lola: 57382 markings, 461928 edges, 381 markings/sec, 145 secs
lola: 59279 markings, 480763 edges, 379 markings/sec, 150 secs
lola: 61172 markings, 500485 edges, 379 markings/sec, 155 secs
lola: 63066 markings, 520168 edges, 379 markings/sec, 160 secs
lola: 64979 markings, 533131 edges, 383 markings/sec, 165 secs
lola: 66877 markings, 549941 edges, 380 markings/sec, 170 secs
lola: 68774 markings, 568012 edges, 379 markings/sec, 175 secs
lola: 70669 markings, 586071 edges, 379 markings/sec, 180 secs
lola: 72560 markings, 606469 edges, 378 markings/sec, 185 secs
lola: 74450 markings, 626873 edges, 378 markings/sec, 190 secs
lola: 76346 markings, 645434 edges, 379 markings/sec, 195 secs
lola: 78243 markings, 663402 edges, 379 markings/sec, 200 secs
lola: 80165 markings, 677426 edges, 384 markings/sec, 205 secs
lola: 82074 markings, 694936 edges, 382 markings/sec, 210 secs
lola: 83979 markings, 714000 edges, 381 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(flag_0_41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1915 markings, 9046 edges, 383 markings/sec, 0 secs
lola: 3828 markings, 20478 edges, 383 markings/sec, 5 secs
lola: 5742 markings, 31733 edges, 383 markings/sec, 10 secs
lola: 7646 markings, 44834 edges, 381 markings/sec, 15 secs
lola: 9555 markings, 58667 edges, 382 markings/sec, 20 secs
lola: 11475 markings, 74044 edges, 384 markings/sec, 25 secs
lola: 13399 markings, 90298 edges, 385 markings/sec, 30 secs
lola: 15313 markings, 106000 edges, 383 markings/sec, 35 secs
lola: 17232 markings, 122718 edges, 384 markings/sec, 40 secs
lola: 19153 markings, 139691 edges, 384 markings/sec, 45 secs
lola: 21077 markings, 156552 edges, 385 markings/sec, 50 secs
lola: 22995 markings, 175221 edges, 384 markings/sec, 55 secs
lola: 24908 markings, 195082 edges, 383 markings/sec, 60 secs
lola: 26824 markings, 211970 edges, 383 markings/sec, 65 secs
lola: 28733 markings, 229750 edges, 382 markings/sec, 70 secs
lola: 30640 markings, 247256 edges, 381 markings/sec, 75 secs
lola: 32538 markings, 266987 edges, 380 markings/sec, 80 secs
lola: 34452 markings, 283251 edges, 383 markings/sec, 85 secs
lola: 36363 markings, 299645 edges, 382 markings/sec, 90 secs
lola: 38266 markings, 317419 edges, 381 markings/sec, 95 secs
lola: 40164 markings, 336286 edges, 380 markings/sec, 100 secs
lola: 42066 markings, 354364 edges, 380 markings/sec, 105 secs
lola: 43981 markings, 370496 edges, 383 markings/sec, 110 secs
lola: 45901 markings, 382643 edges, 384 markings/sec, 115 secs
lola: 47820 markings, 394831 edges, 384 markings/sec, 120 secs
lola: 49734 markings, 407958 edges, 383 markings/sec, 125 secs
lola: 51632 markings, 421541 edges, 380 markings/sec, 130 secs
lola: 53529 markings, 435447 edges, 379 markings/sec, 135 secs
lola: 55418 markings, 453896 edges, 378 markings/sec, 140 secs
lola: 57304 markings, 473134 edges, 377 markings/sec, 145 secs
lola: 59205 markings, 487324 edges, 380 markings/sec, 150 secs
lola: 61101 markings, 502506 edges, 379 markings/sec, 155 secs
lola: 62984 markings, 521347 edges, 377 markings/sec, 160 secs
lola: 64863 markings, 540754 edges, 376 markings/sec, 165 secs
lola: 66768 markings, 556023 edges, 381 markings/sec, 170 secs
lola: 68678 markings, 572565 edges, 382 markings/sec, 175 secs
lola: 70580 markings, 590822 edges, 380 markings/sec, 180 secs
lola: 72480 markings, 609513 edges, 380 markings/sec, 185 secs
lola: 74380 markings, 627928 edges, 380 markings/sec, 190 secs
lola: 76277 markings, 647193 edges, 379 markings/sec, 195 secs
lola: 78168 markings, 667834 edges, 378 markings/sec, 200 secs
lola: 80057 markings, 686908 edges, 378 markings/sec, 205 secs
lola: 81933 markings, 708043 edges, 375 markings/sec, 210 secs
lola: 83820 markings, 724554 edges, 377 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1919 markings, 9856 edges, 384 markings/sec, 0 secs
lola: 3790 markings, 21536 edges, 374 markings/sec, 5 secs
lola: 5694 markings, 33787 edges, 381 markings/sec, 10 secs
lola: 7598 markings, 53007 edges, 381 markings/sec, 15 secs
lola: 9502 markings, 76018 edges, 381 markings/sec, 20 secs
lola: 11407 markings, 100218 edges, 381 markings/sec, 25 secs
lola: 13300 markings, 123900 edges, 379 markings/sec, 30 secs
lola: 15199 markings, 146236 edges, 380 markings/sec, 35 secs
lola: 17095 markings, 175063 edges, 379 markings/sec, 40 secs
lola: 18981 markings, 204198 edges, 377 markings/sec, 45 secs
lola: 20859 markings, 234057 edges, 376 markings/sec, 50 secs
lola: 22743 markings, 261543 edges, 377 markings/sec, 55 secs
lola: 24643 markings, 281756 edges, 380 markings/sec, 60 secs
lola: 26553 markings, 296085 edges, 382 markings/sec, 65 secs
lola: 28451 markings, 315055 edges, 380 markings/sec, 70 secs
lola: 30359 markings, 331821 edges, 382 markings/sec, 75 secs
lola: 32239 markings, 360760 edges, 376 markings/sec, 80 secs
lola: 34110 markings, 394211 edges, 374 markings/sec, 85 secs
lola: 35998 markings, 418022 edges, 378 markings/sec, 90 secs
lola: 37901 markings, 441308 edges, 381 markings/sec, 95 secs
lola: 39799 markings, 468914 edges, 380 markings/sec, 100 secs
lola: 41695 markings, 496339 edges, 379 markings/sec, 105 secs
lola: 43589 markings, 513759 edges, 379 markings/sec, 110 secs
lola: 45473 markings, 530567 edges, 377 markings/sec, 115 secs
lola: 47354 markings, 550270 edges, 376 markings/sec, 120 secs
lola: 49223 markings, 574495 edges, 374 markings/sec, 125 secs
lola: 51103 markings, 595982 edges, 376 markings/sec, 130 secs
lola: 52978 markings, 620103 edges, 375 markings/sec, 135 secs
lola: 54858 markings, 638532 edges, 376 markings/sec, 140 secs
lola: 56736 markings, 656689 edges, 376 markings/sec, 145 secs
lola: 58622 markings, 679569 edges, 377 markings/sec, 150 secs
lola: 60510 markings, 704722 edges, 378 markings/sec, 155 secs
lola: 62398 markings, 734177 edges, 378 markings/sec, 160 secs
lola: 64291 markings, 762114 edges, 379 markings/sec, 165 secs
lola: 66161 markings, 788482 edges, 374 markings/sec, 170 secs
lola: 68037 markings, 818076 edges, 375 markings/sec, 175 secs
lola: 69913 markings, 842894 edges, 375 markings/sec, 180 secs
lola: 71782 markings, 876434 edges, 374 markings/sec, 185 secs
lola: 73647 markings, 906260 edges, 373 markings/sec, 190 secs
lola: 75515 markings, 933226 edges, 374 markings/sec, 195 secs
lola: 77383 markings, 960873 edges, 374 markings/sec, 200 secs
lola: 79243 markings, 991657 edges, 372 markings/sec, 205 secs
lola: 81104 markings, 1019648 edges, 372 markings/sec, 210 secs
lola: 82973 markings, 1048207 edges, 374 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(flag_1_27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1921 markings, 9593 edges, 384 markings/sec, 0 secs
lola: 3830 markings, 22708 edges, 382 markings/sec, 5 secs
lola: 5735 markings, 37064 edges, 381 markings/sec, 10 secs
lola: 7642 markings, 50772 edges, 381 markings/sec, 15 secs
lola: 9548 markings, 64772 edges, 381 markings/sec, 20 secs
lola: 11450 markings, 79960 edges, 380 markings/sec, 25 secs
lola: 13346 markings, 96105 edges, 379 markings/sec, 30 secs
lola: 15249 markings, 110559 edges, 381 markings/sec, 35 secs
lola: 17149 markings, 125953 edges, 380 markings/sec, 40 secs
lola: 19053 markings, 140363 edges, 381 markings/sec, 45 secs
lola: 20946 markings, 156680 edges, 379 markings/sec, 50 secs
lola: 22843 markings, 172358 edges, 379 markings/sec, 55 secs
lola: 24737 markings, 189156 edges, 379 markings/sec, 60 secs
lola: 26629 markings, 206210 edges, 378 markings/sec, 65 secs
lola: 28535 markings, 219594 edges, 381 markings/sec, 70 secs
lola: 30425 markings, 236122 edges, 378 markings/sec, 75 secs
lola: 32318 markings, 252273 edges, 379 markings/sec, 80 secs
lola: 34208 markings, 269698 edges, 378 markings/sec, 85 secs
lola: 36104 markings, 285985 edges, 379 markings/sec, 90 secs
lola: 37998 markings, 303187 edges, 379 markings/sec, 95 secs
lola: 39889 markings, 320668 edges, 378 markings/sec, 100 secs
lola: 41774 markings, 339646 edges, 377 markings/sec, 105 secs
lola: 43671 markings, 356377 edges, 379 markings/sec, 110 secs
lola: 45570 markings, 372591 edges, 380 markings/sec, 115 secs
lola: 47466 markings, 389249 edges, 379 markings/sec, 120 secs
lola: 49359 markings, 405803 edges, 379 markings/sec, 125 secs
lola: 51253 markings, 422104 edges, 379 markings/sec, 130 secs
lola: 53140 markings, 440744 edges, 377 markings/sec, 135 secs
lola: 55041 markings, 455728 edges, 380 markings/sec, 140 secs
lola: 56941 markings, 471546 edges, 380 markings/sec, 145 secs
lola: 58845 markings, 485603 edges, 381 markings/sec, 150 secs
lola: 60739 markings, 502732 edges, 379 markings/sec, 155 secs
lola: 62631 markings, 519529 edges, 378 markings/sec, 160 secs
lola: 64521 markings, 536438 edges, 378 markings/sec, 165 secs
lola: 66410 markings, 552076 edges, 378 markings/sec, 170 secs
lola: 68290 markings, 569566 edges, 376 markings/sec, 175 secs
lola: 70171 markings, 587227 edges, 376 markings/sec, 180 secs
lola: 72068 markings, 603610 edges, 379 markings/sec, 185 secs
lola: 73960 markings, 621314 edges, 378 markings/sec, 190 secs
lola: 75857 markings, 637917 edges, 379 markings/sec, 195 secs
lola: 77752 markings, 655079 edges, 379 markings/sec, 200 secs
lola: 79655 markings, 669948 edges, 381 markings/sec, 205 secs
lola: 81566 markings, 683030 edges, 382 markings/sec, 210 secs
lola: 83473 markings, 697850 edges, 381 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1_66)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1910 markings, 9491 edges, 382 markings/sec, 0 secs
lola: 3815 markings, 22654 edges, 381 markings/sec, 5 secs
lola: 5715 markings, 36858 edges, 380 markings/sec, 10 secs
lola: 7602 markings, 50383 edges, 377 markings/sec, 15 secs
lola: 9503 markings, 64428 edges, 380 markings/sec, 20 secs
lola: 11402 markings, 79552 edges, 380 markings/sec, 25 secs
lola: 13295 markings, 95661 edges, 379 markings/sec, 30 secs
lola: 15193 markings, 110144 edges, 380 markings/sec, 35 secs
lola: 17089 markings, 125349 edges, 379 markings/sec, 40 secs
lola: 18987 markings, 139922 edges, 380 markings/sec, 45 secs
lola: 20879 markings, 156109 edges, 378 markings/sec, 50 secs
lola: 22774 markings, 171824 edges, 379 markings/sec, 55 secs
lola: 24665 markings, 188443 edges, 378 markings/sec, 60 secs
lola: 26553 markings, 205473 edges, 378 markings/sec, 65 secs
lola: 28456 markings, 218987 edges, 381 markings/sec, 70 secs
lola: 30347 markings, 235499 edges, 378 markings/sec, 75 secs
lola: 32237 markings, 251603 edges, 378 markings/sec, 80 secs
lola: 34124 markings, 268902 edges, 377 markings/sec, 85 secs
lola: 36015 markings, 285341 edges, 378 markings/sec, 90 secs
lola: 37907 markings, 302307 edges, 378 markings/sec, 95 secs
lola: 39793 markings, 319702 edges, 377 markings/sec, 100 secs
lola: 41674 markings, 338406 edges, 376 markings/sec, 105 secs
lola: 43554 markings, 355296 edges, 376 markings/sec, 110 secs
lola: 45436 markings, 371295 edges, 376 markings/sec, 115 secs
lola: 47316 markings, 387832 edges, 376 markings/sec, 120 secs
lola: 49194 markings, 404455 edges, 376 markings/sec, 125 secs
lola: 51073 markings, 420558 edges, 376 markings/sec, 130 secs
lola: 52946 markings, 438826 edges, 375 markings/sec, 135 secs
lola: 54829 markings, 454179 edges, 377 markings/sec, 140 secs
lola: 56714 markings, 470519 edges, 377 markings/sec, 145 secs
lola: 58607 markings, 483522 edges, 379 markings/sec, 150 secs
lola: 60486 markings, 500448 edges, 376 markings/sec, 155 secs
lola: 62362 markings, 517333 edges, 375 markings/sec, 160 secs
lola: 64234 markings, 534260 edges, 374 markings/sec, 165 secs
lola: 66121 markings, 549220 edges, 377 markings/sec, 170 secs
lola: 67993 markings, 566825 edges, 374 markings/sec, 175 secs
lola: 69864 markings, 584701 edges, 374 markings/sec, 180 secs
lola: 71742 markings, 600704 edges, 376 markings/sec, 185 secs
lola: 73613 markings, 618485 edges, 374 markings/sec, 190 secs
lola: 75489 markings, 634658 edges, 375 markings/sec, 195 secs
lola: 77365 markings, 651144 edges, 375 markings/sec, 200 secs
lola: 79258 markings, 666271 edges, 379 markings/sec, 205 secs
lola: 81155 markings, 680780 edges, 379 markings/sec, 210 secs
lola: 83055 markings, 695671 edges, 380 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(flag_0_28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1941 markings, 9188 edges, 388 markings/sec, 0 secs
lola: 3873 markings, 20736 edges, 386 markings/sec, 5 secs
lola: 5799 markings, 32111 edges, 385 markings/sec, 10 secs
lola: 7708 markings, 45245 edges, 382 markings/sec, 15 secs
lola: 9621 markings, 59113 edges, 383 markings/sec, 20 secs
lola: 11540 markings, 74506 edges, 384 markings/sec, 25 secs
lola: 13461 markings, 90890 edges, 384 markings/sec, 30 secs
lola: 15371 markings, 106288 edges, 382 markings/sec, 35 secs
lola: 17282 markings, 123267 edges, 382 markings/sec, 40 secs
lola: 19199 markings, 140110 edges, 383 markings/sec, 45 secs
lola: 21116 markings, 156930 edges, 383 markings/sec, 50 secs
lola: 23024 markings, 175475 edges, 382 markings/sec, 55 secs
lola: 24928 markings, 195262 edges, 381 markings/sec, 60 secs
lola: 26836 markings, 212111 edges, 382 markings/sec, 65 secs
lola: 28739 markings, 229784 edges, 381 markings/sec, 70 secs
lola: 30645 markings, 247301 edges, 381 markings/sec, 75 secs
lola: 32549 markings, 267114 edges, 381 markings/sec, 80 secs
lola: 34464 markings, 283341 edges, 383 markings/sec, 85 secs
lola: 36381 markings, 299812 edges, 383 markings/sec, 90 secs
lola: 38291 markings, 317701 edges, 382 markings/sec, 95 secs
lola: 40195 markings, 336578 edges, 381 markings/sec, 100 secs
lola: 42102 markings, 354776 edges, 381 markings/sec, 105 secs
lola: 44022 markings, 370705 edges, 384 markings/sec, 110 secs
lola: 45950 markings, 382903 edges, 386 markings/sec, 115 secs
lola: 47878 markings, 395108 edges, 386 markings/sec, 120 secs
lola: 49800 markings, 408354 edges, 384 markings/sec, 125 secs
lola: 51716 markings, 422194 edges, 383 markings/sec, 130 secs
lola: 53633 markings, 436220 edges, 383 markings/sec, 135 secs
lola: 55541 markings, 454826 edges, 382 markings/sec, 140 secs
lola: 57440 markings, 474680 edges, 380 markings/sec, 145 secs
lola: 59361 markings, 488448 edges, 384 markings/sec, 150 secs
lola: 61272 markings, 504238 edges, 382 markings/sec, 155 secs
lola: 63176 markings, 523302 edges, 381 markings/sec, 160 secs
lola: 65076 markings, 542607 edges, 380 markings/sec, 165 secs
lola: 67004 markings, 557852 edges, 386 markings/sec, 170 secs
lola: 68933 markings, 574860 edges, 386 markings/sec, 175 secs
lola: 70855 markings, 593567 edges, 384 markings/sec, 180 secs
lola: 72774 markings, 612858 edges, 384 markings/sec, 185 secs
lola: 74697 markings, 630743 edges, 385 markings/sec, 190 secs
lola: 76613 markings, 650590 edges, 383 markings/sec, 195 secs
lola: 78522 markings, 671596 edges, 382 markings/sec, 200 secs
lola: 80417 markings, 690560 edges, 379 markings/sec, 205 secs
lola: 82301 markings, 711392 edges, 377 markings/sec, 210 secs
lola: 84194 markings, 728625 edges, 379 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3_70)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1891 markings, 12084 edges, 378 markings/sec, 0 secs
lola: 3782 markings, 24773 edges, 378 markings/sec, 5 secs
lola: 5676 markings, 45846 edges, 379 markings/sec, 10 secs
lola: 7562 markings, 70498 edges, 377 markings/sec, 15 secs
lola: 9461 markings, 96286 edges, 380 markings/sec, 20 secs
lola: 11338 markings, 126654 edges, 375 markings/sec, 25 secs
lola: 13212 markings, 153093 edges, 375 markings/sec, 30 secs
lola: 15066 markings, 179711 edges, 371 markings/sec, 35 secs
lola: 16938 markings, 206822 edges, 374 markings/sec, 40 secs
lola: 18803 markings, 236813 edges, 373 markings/sec, 45 secs
lola: 20682 markings, 260162 edges, 376 markings/sec, 50 secs
lola: 22561 markings, 285168 edges, 376 markings/sec, 55 secs
lola: 24428 markings, 311461 edges, 373 markings/sec, 60 secs
lola: 26291 markings, 341204 edges, 373 markings/sec, 65 secs
lola: 28161 markings, 367325 edges, 374 markings/sec, 70 secs
lola: 30040 markings, 394673 edges, 376 markings/sec, 75 secs
lola: 31917 markings, 424379 edges, 375 markings/sec, 80 secs
lola: 33793 markings, 454421 edges, 375 markings/sec, 85 secs
lola: 35668 markings, 475606 edges, 375 markings/sec, 90 secs
lola: 37537 markings, 498900 edges, 374 markings/sec, 95 secs
lola: 39418 markings, 520304 edges, 376 markings/sec, 100 secs
lola: 41289 markings, 540690 edges, 374 markings/sec, 105 secs
lola: 43160 markings, 561652 edges, 374 markings/sec, 110 secs
lola: 45030 markings, 584091 edges, 374 markings/sec, 115 secs
lola: 46910 markings, 613832 edges, 376 markings/sec, 120 secs
lola: 48779 markings, 643146 edges, 374 markings/sec, 125 secs
lola: 50652 markings, 675642 edges, 375 markings/sec, 130 secs
lola: 52526 markings, 701992 edges, 375 markings/sec, 135 secs
lola: 54413 markings, 721997 edges, 377 markings/sec, 140 secs
lola: 56293 markings, 743881 edges, 376 markings/sec, 145 secs
lola: 58170 markings, 767781 edges, 375 markings/sec, 150 secs
lola: 60048 markings, 795995 edges, 376 markings/sec, 155 secs
lola: 61923 markings, 819844 edges, 375 markings/sec, 160 secs
lola: 63813 markings, 848447 edges, 378 markings/sec, 165 secs
lola: 65707 markings, 876958 edges, 379 markings/sec, 170 secs
lola: 67597 markings, 906862 edges, 378 markings/sec, 175 secs
lola: 69481 markings, 938360 edges, 377 markings/sec, 180 secs
lola: 71370 markings, 967486 edges, 378 markings/sec, 185 secs
lola: 73241 markings, 999085 edges, 374 markings/sec, 190 secs
lola: 75113 markings, 1032086 edges, 374 markings/sec, 195 secs
lola: 76983 markings, 1061674 edges, 374 markings/sec, 200 secs
lola: 78858 markings, 1095767 edges, 375 markings/sec, 205 secs
lola: 80732 markings, 1130406 edges, 375 markings/sec, 210 secs
lola: 82597 markings, 1165181 edges, 373 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1_44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1904 markings, 9445 edges, 381 markings/sec, 0 secs
lola: 3792 markings, 22576 edges, 378 markings/sec, 5 secs
lola: 5678 markings, 36521 edges, 377 markings/sec, 10 secs
lola: 7563 markings, 50026 edges, 377 markings/sec, 15 secs
lola: 9449 markings, 63959 edges, 377 markings/sec, 20 secs
lola: 11331 markings, 78988 edges, 376 markings/sec, 25 secs
lola: 13209 markings, 94974 edges, 376 markings/sec, 30 secs
lola: 15092 markings, 109325 edges, 377 markings/sec, 35 secs
lola: 16971 markings, 124446 edges, 376 markings/sec, 40 secs
lola: 18852 markings, 139108 edges, 376 markings/sec, 45 secs
lola: 20727 markings, 154887 edges, 375 markings/sec, 50 secs
lola: 22606 markings, 170295 edges, 376 markings/sec, 55 secs
lola: 24484 markings, 186618 edges, 376 markings/sec, 60 secs
lola: 26349 markings, 203569 edges, 373 markings/sec, 65 secs
lola: 28217 markings, 217292 edges, 374 markings/sec, 70 secs
lola: 30077 markings, 233015 edges, 372 markings/sec, 75 secs
lola: 31936 markings, 249126 edges, 372 markings/sec, 80 secs
lola: 33794 markings, 266023 edges, 372 markings/sec, 85 secs
lola: 35655 markings, 282218 edges, 372 markings/sec, 90 secs
lola: 37517 markings, 298767 edges, 372 markings/sec, 95 secs
lola: 39381 markings, 315855 edges, 373 markings/sec, 100 secs
lola: 41238 markings, 333637 edges, 371 markings/sec, 105 secs
lola: 43096 markings, 350858 edges, 372 markings/sec, 110 secs
lola: 44952 markings, 368247 edges, 371 markings/sec, 115 secs
lola: 46811 markings, 384364 edges, 372 markings/sec, 120 secs
lola: 48671 markings, 399949 edges, 372 markings/sec, 125 secs
lola: 50525 markings, 415982 edges, 371 markings/sec, 130 secs
lola: 52376 markings, 433084 edges, 370 markings/sec, 135 secs
lola: 54230 markings, 448850 edges, 371 markings/sec, 140 secs
lola: 56089 markings, 464856 edges, 372 markings/sec, 145 secs
lola: 57954 markings, 478770 edges, 373 markings/sec, 150 secs
lola: 59808 markings, 494465 edges, 371 markings/sec, 155 secs
lola: 61660 markings, 511077 edges, 370 markings/sec, 160 secs
lola: 63510 markings, 527883 edges, 370 markings/sec, 165 secs
lola: 65370 markings, 543577 edges, 372 markings/sec, 170 secs
lola: 67242 markings, 559645 edges, 374 markings/sec, 175 secs
lola: 69108 markings, 577727 edges, 373 markings/sec, 180 secs
lola: 70977 markings, 595184 edges, 374 markings/sec, 185 secs
lola: 72851 markings, 611498 edges, 375 markings/sec, 190 secs
lola: 74722 markings, 627905 edges, 374 markings/sec, 195 secs
lola: 76596 markings, 645234 edges, 375 markings/sec, 200 secs
lola: 78475 markings, 660283 edges, 376 markings/sec, 205 secs
lola: 80358 markings, 674483 edges, 377 markings/sec, 210 secs
lola: 82239 markings, 688520 edges, 376 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(flag_1_16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 24 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: 1915 markings, 8627 edges, 383 markings/sec, 0 secs
lola: 3824 markings, 18757 edges, 382 markings/sec, 5 secs
lola: 5736 markings, 30968 edges, 382 markings/sec, 10 secs
lola: 7656 markings, 43716 edges, 384 markings/sec, 15 secs
lola: 9571 markings, 56875 edges, 383 markings/sec, 20 secs
lola: 11480 markings, 72136 edges, 382 markings/sec, 25 secs
lola: 13383 markings, 89145 edges, 381 markings/sec, 30 secs
lola: 15296 markings, 101454 edges, 383 markings/sec, 35 secs
lola: 17198 markings, 117000 edges, 380 markings/sec, 40 secs
lola: 19104 markings, 130761 edges, 381 markings/sec, 45 secs
lola: 21003 markings, 142389 edges, 380 markings/sec, 50 secs
lola: 22916 markings, 155507 edges, 383 markings/sec, 55 secs
lola: 24833 markings, 166945 edges, 383 markings/sec, 60 secs
lola: 26738 markings, 181579 edges, 381 markings/sec, 65 secs
lola: 28639 markings, 198681 edges, 380 markings/sec, 70 secs
lola: 30551 markings, 213371 edges, 382 markings/sec, 75 secs
lola: 32470 markings, 227812 edges, 384 markings/sec, 80 secs
lola: 34383 markings, 243590 edges, 383 markings/sec, 85 secs
lola: 36286 markings, 259804 edges, 381 markings/sec, 90 secs
lola: 38187 markings, 276079 edges, 380 markings/sec, 95 secs
lola: 40090 markings, 293664 edges, 381 markings/sec, 100 secs
lola: 41997 markings, 306567 edges, 381 markings/sec, 105 secs
lola: 43902 markings, 321222 edges, 381 markings/sec, 110 secs
lola: 45797 markings, 340059 edges, 379 markings/sec, 115 secs
lola: 47693 markings, 356989 edges, 379 markings/sec, 120 secs
lola: 49592 markings, 374510 edges, 380 markings/sec, 125 secs
lola: 51486 markings, 391006 edges, 379 markings/sec, 130 secs
lola: 53384 markings, 408927 edges, 380 markings/sec, 135 secs
lola: 55274 markings, 427737 edges, 378 markings/sec, 140 secs
lola: 57174 markings, 445964 edges, 380 markings/sec, 145 secs
lola: 59096 markings, 459858 edges, 384 markings/sec, 150 secs
lola: 61008 markings, 474987 edges, 382 markings/sec, 155 secs
lola: 62911 markings, 491712 edges, 381 markings/sec, 160 secs
lola: 64811 markings, 508800 edges, 380 markings/sec, 165 secs
lola: 66703 markings, 527773 edges, 378 markings/sec, 170 secs
lola: 68592 markings, 544706 edges, 378 markings/sec, 175 secs
lola: 70481 markings, 561963 edges, 378 markings/sec, 180 secs
lola: 72366 markings, 581631 edges, 377 markings/sec, 185 secs
lola: 74251 markings, 601731 edges, 377 markings/sec, 190 secs
lola: 76133 markings, 620618 edges, 376 markings/sec, 195 secs
lola: 78026 markings, 636754 edges, 379 markings/sec, 200 secs
lola: 79914 markings, 655311 edges, 378 markings/sec, 205 secs
lola: 81817 markings, 671684 edges, 381 markings/sec, 210 secs
lola: 83707 markings, 691179 edges, 378 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Dekker-PT-100-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494627939318
--------------------
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="Dekker-PT-100"
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/Dekker-PT-100.tgz
mv Dekker-PT-100 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is Dekker-PT-100, 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 r018-ebro-149436309000209"
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 '
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 ;