About the Execution of LoLA for S_PolyORBLF-PT-S04J06T10
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1459.440 | 3540325.00 | 3547890.00 | 16478.20 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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_PolyORBLF-PT-S04J06T10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681600497
=====================================================================
--------------------
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 PolyORBLF-COL-S04J06T10-UpperBounds-0
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-1
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-15
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-2
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-3
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-4
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-5
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-6
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-7
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-8
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496478717983
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-PT-S04J06T10: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S04J06T10: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-PT-S04J06T10 @ 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: 6320/65536 symbol table entries, 1503 collisions
lola: preprocessing...
lola: finding significant places
lola: 966 places, 5354 transitions, 904 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3657 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J06T10-UpperBounds.task
lola: MAX(cPollingAbort) : MAX(P_1113_10 + P_1113_8 + P_1113_7 + P_1113_6 + P_1113_5 + P_1113_4 + P_1113_3 + P_1113_2 + P_1113_1 + P_1113_9) : MAX(P_1727) : MAX(MarkerRead) : MAX(TryAllocateOneTaskB_1 + TryAllocateOneTaskB_2 + TryAllocateOneTaskB_3 + TryAllocateOneTaskB_4 + TryAllocateOneTaskB_5 + TryAllocateOneTaskB_6 + TryAllocateOneTaskB_7 + TryAllocateOneTaskB_8 + TryAllocateOneTaskB_9 + TryAllocateOneTaskB_10) : MAX(QueueJobE_10 + QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6 + QueueJobE_7 + QueueJobE_8 + QueueJobE_9) : MAX(MarkerRead) : MAX(FetchJobB_10 + FetchJobB_1 + FetchJobB_2 + FetchJobB_3 + FetchJobB_4 + FetchJobB_5 + FetchJobB_6 + FetchJobB_7 + FetchJobB_8 + FetchJobB_9) : MAX(cIdleTasks) : MAX(Abort_Check_Sources_B_1 + Abort_Check_Sources_B_2 + Abort_Check_Sources_B_3 + Abort_Check_Sources_B_4 + Abort_Check_Sources_B_5 + Abort_Check_Sources_B_6 + Abort_Check_Sources_B_7 + Abort_Check_Sources_B_8 + Abort_Check_Sources_B_9 + Abort_Check_Sources_B_10) : MAX(P_1712_0 + P_1712_1 + P_1712_2 + P_1712_3 + P_1712_4 + P_1712_5 + P_1712_6) : MAX(NotifyEventJobQueuedE_1 + NotifyEventJobQueuedE_2 + NotifyEventJobQueuedE_3 + NotifyEventJobQueuedE_4 + NotifyEventJobQueuedE_5 + NotifyEventJobQueuedE_6 + NotifyEventJobQueuedE_7 + NotifyEventJobQueuedE_8 + NotifyEventJobQueuedE_9 + NotifyEventJobQueuedE_10) : MAX(P_1095) : MAX(TryAllocateOneTaskE_1 + TryAllocateOneTaskE_2 + TryAllocateOneTaskE_3 + TryAllocateOneTaskE_4 + TryAllocateOneTaskE_5 + TryAllocateOneTaskE_6 + TryAllocateOneTaskE_7 + TryAllocateOneTaskE_8 + TryAllocateOneTaskE_9 + TryAllocateOneTaskE_10) : MAX(NotifyEventEndOfCheckSourcesE_10 + NotifyEventEndOfCheckSourcesE_1 + NotifyEventEndOfCheckSourcesE_2 + NotifyEventEndOfCheckSourcesE_3 + NotifyEventEndOfCheckSourcesE_4 + NotifyEventEndOfCheckSourcesE_5 + NotifyEventEndOfCheckSourcesE_6 + NotifyEventEndOfCheckSourcesE_7 + NotifyEventEndOfCheckSourcesE_8 + NotifyEventEndOfCheckSourcesE_9) : MAX(NotifyEventJobCompletedB_10 + NotifyEventJobCompletedB_1 + NotifyEventJobCompletedB_2 + NotifyEventJobCompletedB_3 + NotifyEventJobCompletedB_4 + NotifyEventJobCompletedB_5 + NotifyEventJobCompletedB_6 + NotifyEventJobCompletedB_7 + NotifyEventJobCompletedB_8 + NotifyEventJobCompletedB_9)
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(cPollingAbort)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14016 markings, 15548 edges, 2803 markings/sec, 0 secs
lola: 28001 markings, 31872 edges, 2797 markings/sec, 5 secs
lola: 41953 markings, 48221 edges, 2790 markings/sec, 10 secs
lola: 55871 markings, 65906 edges, 2784 markings/sec, 15 secs
lola: 69728 markings, 84491 edges, 2771 markings/sec, 20 secs
lola: 83695 markings, 106654 edges, 2793 markings/sec, 25 secs
lola: 97495 markings, 126541 edges, 2760 markings/sec, 30 secs
lola: 111509 markings, 148791 edges, 2803 markings/sec, 35 secs
lola: 125393 markings, 168934 edges, 2777 markings/sec, 40 secs
lola: 139249 markings, 187291 edges, 2771 markings/sec, 45 secs
lola: 153211 markings, 205137 edges, 2792 markings/sec, 50 secs
lola: 167124 markings, 221988 edges, 2783 markings/sec, 55 secs
lola: 181003 markings, 239344 edges, 2776 markings/sec, 60 secs
lola: 194795 markings, 258531 edges, 2758 markings/sec, 65 secs
lola: 208577 markings, 276632 edges, 2756 markings/sec, 70 secs
lola: 222574 markings, 296673 edges, 2799 markings/sec, 75 secs
lola: 236455 markings, 316098 edges, 2776 markings/sec, 80 secs
lola: 250387 markings, 333765 edges, 2786 markings/sec, 85 secs
lola: 264309 markings, 354131 edges, 2784 markings/sec, 90 secs
lola: 278336 markings, 371451 edges, 2805 markings/sec, 95 secs
lola: 292172 markings, 391228 edges, 2767 markings/sec, 100 secs
lola: 306020 markings, 409090 edges, 2770 markings/sec, 105 secs
lola: 319903 markings, 427835 edges, 2777 markings/sec, 110 secs
lola: 333749 markings, 444931 edges, 2769 markings/sec, 115 secs
lola: 347744 markings, 462179 edges, 2799 markings/sec, 120 secs
lola: 361691 markings, 479861 edges, 2789 markings/sec, 125 secs
lola: 375561 markings, 497785 edges, 2774 markings/sec, 130 secs
lola: 389470 markings, 517542 edges, 2782 markings/sec, 135 secs
lola: 403289 markings, 535170 edges, 2764 markings/sec, 140 secs
lola: 417035 markings, 554019 edges, 2749 markings/sec, 145 secs
lola: 430949 markings, 572393 edges, 2783 markings/sec, 150 secs
lola: 444922 markings, 591509 edges, 2795 markings/sec, 155 secs
lola: 458812 markings, 617144 edges, 2778 markings/sec, 160 secs
lola: 472816 markings, 634097 edges, 2801 markings/sec, 165 secs
lola: 486737 markings, 661045 edges, 2784 markings/sec, 170 secs
lola: 500685 markings, 678914 edges, 2790 markings/sec, 175 secs
lola: 514618 markings, 696865 edges, 2787 markings/sec, 180 secs
lola: 528488 markings, 715394 edges, 2774 markings/sec, 185 secs
lola: 542339 markings, 732691 edges, 2770 markings/sec, 190 secs
lola: 556181 markings, 751136 edges, 2768 markings/sec, 195 secs
lola: 570092 markings, 769540 edges, 2782 markings/sec, 200 secs
lola: 584047 markings, 787581 edges, 2791 markings/sec, 205 secs
lola: 598013 markings, 805159 edges, 2793 markings/sec, 210 secs
lola: 611999 markings, 832499 edges, 2797 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(P_1113_10 + P_1113_8 + P_1113_7 + P_1113_6 + P_1113_5 + P_1113_4 + P_1113_3 + P_1113_2 + P_1113_1 + P_1113_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14254 markings, 15084 edges, 2851 markings/sec, 0 secs
lola: 28490 markings, 30362 edges, 2847 markings/sec, 5 secs
lola: 42741 markings, 46007 edges, 2850 markings/sec, 10 secs
lola: 56928 markings, 61815 edges, 2837 markings/sec, 15 secs
lola: 71150 markings, 77783 edges, 2844 markings/sec, 20 secs
lola: 85349 markings, 93918 edges, 2840 markings/sec, 25 secs
lola: 99546 markings, 110011 edges, 2839 markings/sec, 30 secs
lola: 113720 markings, 126364 edges, 2835 markings/sec, 35 secs
lola: 127874 markings, 142697 edges, 2831 markings/sec, 40 secs
lola: 142038 markings, 159201 edges, 2833 markings/sec, 45 secs
lola: 156181 markings, 175692 edges, 2829 markings/sec, 50 secs
lola: 170348 markings, 192377 edges, 2833 markings/sec, 55 secs
lola: 184512 markings, 209190 edges, 2833 markings/sec, 60 secs
lola: 198685 markings, 225865 edges, 2835 markings/sec, 65 secs
lola: 212791 markings, 242607 edges, 2821 markings/sec, 70 secs
lola: 226947 markings, 259556 edges, 2831 markings/sec, 75 secs
lola: 241125 markings, 276472 edges, 2836 markings/sec, 80 secs
lola: 255233 markings, 293629 edges, 2822 markings/sec, 85 secs
lola: 269378 markings, 310876 edges, 2829 markings/sec, 90 secs
lola: 283505 markings, 328013 edges, 2825 markings/sec, 95 secs
lola: 297647 markings, 345461 edges, 2828 markings/sec, 100 secs
lola: 311816 markings, 362631 edges, 2834 markings/sec, 105 secs
lola: 325954 markings, 379918 edges, 2828 markings/sec, 110 secs
lola: 340055 markings, 397218 edges, 2820 markings/sec, 115 secs
lola: 354209 markings, 414971 edges, 2831 markings/sec, 120 secs
lola: 368336 markings, 432311 edges, 2825 markings/sec, 125 secs
lola: 382378 markings, 449796 edges, 2808 markings/sec, 130 secs
lola: 396529 markings, 467423 edges, 2830 markings/sec, 135 secs
lola: 410635 markings, 485204 edges, 2821 markings/sec, 140 secs
lola: 424752 markings, 502946 edges, 2823 markings/sec, 145 secs
lola: 438839 markings, 520365 edges, 2817 markings/sec, 150 secs
lola: 452994 markings, 538116 edges, 2831 markings/sec, 155 secs
lola: 467100 markings, 555852 edges, 2821 markings/sec, 160 secs
lola: 481191 markings, 573336 edges, 2818 markings/sec, 165 secs
lola: 495260 markings, 590968 edges, 2814 markings/sec, 170 secs
lola: 509369 markings, 608805 edges, 2822 markings/sec, 175 secs
lola: 523488 markings, 626956 edges, 2824 markings/sec, 180 secs
lola: 537590 markings, 644814 edges, 2820 markings/sec, 185 secs
lola: 551656 markings, 662366 edges, 2813 markings/sec, 190 secs
lola: 565763 markings, 680168 edges, 2821 markings/sec, 195 secs
lola: 579809 markings, 697667 edges, 2809 markings/sec, 200 secs
lola: 593857 markings, 716143 edges, 2810 markings/sec, 205 secs
lola: 607895 markings, 733976 edges, 2808 markings/sec, 210 secs
lola: 621967 markings, 752092 edges, 2814 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(P_1727)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 15184 markings, 16078 edges, 3037 markings/sec, 0 secs
lola: 30390 markings, 32703 edges, 3041 markings/sec, 5 secs
lola: 45619 markings, 49633 edges, 3046 markings/sec, 10 secs
lola: 60808 markings, 66657 edges, 3038 markings/sec, 15 secs
lola: 76005 markings, 83978 edges, 3039 markings/sec, 20 secs
lola: 91216 markings, 101382 edges, 3042 markings/sec, 25 secs
lola: 106430 markings, 118867 edges, 3043 markings/sec, 30 secs
lola: 121634 markings, 136405 edges, 3041 markings/sec, 35 secs
lola: 136804 markings, 154156 edges, 3034 markings/sec, 40 secs
lola: 151992 markings, 171992 edges, 3038 markings/sec, 45 secs
lola: 167185 markings, 189974 edges, 3039 markings/sec, 50 secs
lola: 182368 markings, 208143 edges, 3037 markings/sec, 55 secs
lola: 197585 markings, 226465 edges, 3043 markings/sec, 60 secs
lola: 212771 markings, 244311 edges, 3037 markings/sec, 65 secs
lola: 227944 markings, 262648 edges, 3035 markings/sec, 70 secs
lola: 243111 markings, 280829 edges, 3033 markings/sec, 75 secs
lola: 258228 markings, 298811 edges, 3023 markings/sec, 80 secs
lola: 273371 markings, 317484 edges, 3029 markings/sec, 85 secs
lola: 288533 markings, 335982 edges, 3032 markings/sec, 90 secs
lola: 303710 markings, 354874 edges, 3035 markings/sec, 95 secs
lola: 318832 markings, 373330 edges, 3024 markings/sec, 100 secs
lola: 333940 markings, 392026 edges, 3022 markings/sec, 105 secs
lola: 348991 markings, 410334 edges, 3010 markings/sec, 110 secs
lola: 364088 markings, 428957 edges, 3019 markings/sec, 115 secs
lola: 379194 markings, 447928 edges, 3021 markings/sec, 120 secs
lola: 394312 markings, 466685 edges, 3024 markings/sec, 125 secs
lola: 409421 markings, 485806 edges, 3022 markings/sec, 130 secs
lola: 424525 markings, 504905 edges, 3021 markings/sec, 135 secs
lola: 439606 markings, 523733 edges, 3016 markings/sec, 140 secs
lola: 454657 markings, 542944 edges, 3010 markings/sec, 145 secs
lola: 469748 markings, 561641 edges, 3018 markings/sec, 150 secs
lola: 484777 markings, 580539 edges, 3006 markings/sec, 155 secs
lola: 499886 markings, 600118 edges, 3022 markings/sec, 160 secs
lola: 514961 markings, 618891 edges, 3015 markings/sec, 165 secs
lola: 530037 markings, 637830 edges, 3015 markings/sec, 170 secs
lola: 545111 markings, 657245 edges, 3015 markings/sec, 175 secs
lola: 560170 markings, 676337 edges, 3012 markings/sec, 180 secs
lola: 575217 markings, 695887 edges, 3009 markings/sec, 185 secs
lola: 590249 markings, 714851 edges, 3006 markings/sec, 190 secs
lola: 605353 markings, 734041 edges, 3021 markings/sec, 195 secs
lola: 620374 markings, 753608 edges, 3004 markings/sec, 200 secs
lola: 635408 markings, 773379 edges, 3007 markings/sec, 205 secs
lola: 650529 markings, 792169 edges, 3024 markings/sec, 210 secs
lola: 665607 markings, 811245 edges, 3016 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(MarkerRead)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 13834 markings, 16807 edges, 2767 markings/sec, 0 secs
lola: 27790 markings, 33936 edges, 2791 markings/sec, 5 secs
lola: 41751 markings, 51436 edges, 2792 markings/sec, 10 secs
lola: 55696 markings, 69164 edges, 2789 markings/sec, 15 secs
lola: 69657 markings, 86710 edges, 2792 markings/sec, 20 secs
lola: 83623 markings, 104104 edges, 2793 markings/sec, 25 secs
lola: 97507 markings, 121563 edges, 2777 markings/sec, 30 secs
lola: 111395 markings, 138736 edges, 2778 markings/sec, 35 secs
lola: 125398 markings, 155789 edges, 2801 markings/sec, 40 secs
lola: 139368 markings, 172852 edges, 2794 markings/sec, 45 secs
lola: 153737 markings, 190784 edges, 2874 markings/sec, 50 secs
lola: 168295 markings, 210301 edges, 2912 markings/sec, 55 secs
lola: 182796 markings, 228922 edges, 2900 markings/sec, 60 secs
lola: 197371 markings, 247792 edges, 2915 markings/sec, 65 secs
lola: 211793 markings, 266498 edges, 2884 markings/sec, 70 secs
lola: 226207 markings, 285707 edges, 2883 markings/sec, 75 secs
lola: 240598 markings, 304196 edges, 2878 markings/sec, 80 secs
lola: 255031 markings, 322666 edges, 2887 markings/sec, 85 secs
lola: 269509 markings, 342168 edges, 2896 markings/sec, 90 secs
lola: 283933 markings, 361370 edges, 2885 markings/sec, 95 secs
lola: 298395 markings, 380278 edges, 2892 markings/sec, 100 secs
lola: 312845 markings, 398934 edges, 2890 markings/sec, 105 secs
lola: 327215 markings, 418197 edges, 2874 markings/sec, 110 secs
lola: 341759 markings, 437974 edges, 2909 markings/sec, 115 secs
lola: 356204 markings, 457099 edges, 2889 markings/sec, 120 secs
lola: 370606 markings, 475957 edges, 2880 markings/sec, 125 secs
lola: 384899 markings, 495594 edges, 2859 markings/sec, 130 secs
lola: 399326 markings, 514708 edges, 2885 markings/sec, 135 secs
lola: 413831 markings, 533550 edges, 2901 markings/sec, 140 secs
lola: 428204 markings, 553199 edges, 2875 markings/sec, 145 secs
lola: 442617 markings, 572136 edges, 2883 markings/sec, 150 secs
lola: 456990 markings, 591902 edges, 2875 markings/sec, 155 secs
lola: 471459 markings, 611482 edges, 2894 markings/sec, 160 secs
lola: 485999 markings, 630257 edges, 2908 markings/sec, 165 secs
lola: 500306 markings, 649513 edges, 2861 markings/sec, 170 secs
lola: 514689 markings, 668331 edges, 2877 markings/sec, 175 secs
lola: 529103 markings, 687497 edges, 2883 markings/sec, 180 secs
lola: 543462 markings, 706537 edges, 2872 markings/sec, 185 secs
lola: 557865 markings, 726174 edges, 2881 markings/sec, 190 secs
lola: 572229 markings, 745330 edges, 2873 markings/sec, 195 secs
lola: 586583 markings, 764477 edges, 2871 markings/sec, 200 secs
lola: 601022 markings, 784038 edges, 2888 markings/sec, 205 secs
lola: 615403 markings, 804153 edges, 2876 markings/sec, 210 secs
lola: 629789 markings, 823084 edges, 2877 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(TryAllocateOneTaskB_1 + TryAllocateOneTaskB_2 + TryAllocateOneTaskB_3 + TryAllocateOneTaskB_4 + TryAllocateOneTaskB_5 + TryAllocateOneTaskB_6 + TryAllocateOneTaskB_7 + TryAllocateOneTaskB_8 + TryAllocateOneTaskB_9 + TryAllocateOneTaskB_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14102 markings, 14522 edges, 2820 markings/sec, 0 secs
lola: 28166 markings, 29377 edges, 2813 markings/sec, 5 secs
lola: 42280 markings, 44872 edges, 2823 markings/sec, 10 secs
lola: 56390 markings, 60126 edges, 2822 markings/sec, 15 secs
lola: 70470 markings, 75479 edges, 2816 markings/sec, 20 secs
lola: 84535 markings, 90858 edges, 2813 markings/sec, 25 secs
lola: 98603 markings, 106223 edges, 2814 markings/sec, 30 secs
lola: 112662 markings, 121660 edges, 2812 markings/sec, 35 secs
lola: 126715 markings, 137311 edges, 2811 markings/sec, 40 secs
lola: 140946 markings, 153132 edges, 2846 markings/sec, 45 secs
lola: 155186 markings, 168829 edges, 2848 markings/sec, 50 secs
lola: 169413 markings, 184794 edges, 2845 markings/sec, 55 secs
lola: 183615 markings, 200592 edges, 2840 markings/sec, 60 secs
lola: 197822 markings, 216657 edges, 2841 markings/sec, 65 secs
lola: 212031 markings, 232739 edges, 2842 markings/sec, 70 secs
lola: 226180 markings, 249097 edges, 2830 markings/sec, 75 secs
lola: 240303 markings, 265596 edges, 2825 markings/sec, 80 secs
lola: 254494 markings, 282286 edges, 2838 markings/sec, 85 secs
lola: 268657 markings, 298672 edges, 2833 markings/sec, 90 secs
lola: 282834 markings, 314840 edges, 2835 markings/sec, 95 secs
lola: 297067 markings, 331170 edges, 2847 markings/sec, 100 secs
lola: 311189 markings, 347717 edges, 2824 markings/sec, 105 secs
lola: 325356 markings, 363928 edges, 2833 markings/sec, 110 secs
lola: 339528 markings, 380285 edges, 2834 markings/sec, 115 secs
lola: 353717 markings, 396416 edges, 2838 markings/sec, 120 secs
lola: 367899 markings, 413012 edges, 2836 markings/sec, 125 secs
lola: 382091 markings, 429654 edges, 2838 markings/sec, 130 secs
lola: 396198 markings, 446522 edges, 2821 markings/sec, 135 secs
lola: 410363 markings, 463147 edges, 2833 markings/sec, 140 secs
lola: 424564 markings, 479885 edges, 2840 markings/sec, 145 secs
lola: 438734 markings, 497362 edges, 2834 markings/sec, 150 secs
lola: 452843 markings, 513673 edges, 2822 markings/sec, 155 secs
lola: 466994 markings, 530359 edges, 2830 markings/sec, 160 secs
lola: 481134 markings, 547461 edges, 2828 markings/sec, 165 secs
lola: 495283 markings, 564832 edges, 2830 markings/sec, 170 secs
lola: 509478 markings, 582032 edges, 2839 markings/sec, 175 secs
lola: 523623 markings, 599367 edges, 2829 markings/sec, 180 secs
lola: 537770 markings, 616364 edges, 2829 markings/sec, 185 secs
lola: 551934 markings, 633184 edges, 2833 markings/sec, 190 secs
lola: 566100 markings, 651813 edges, 2833 markings/sec, 195 secs
lola: 580210 markings, 669281 edges, 2822 markings/sec, 200 secs
lola: 594329 markings, 686546 edges, 2824 markings/sec, 205 secs
lola: 608530 markings, 703598 edges, 2840 markings/sec, 210 secs
lola: 622683 markings, 720743 edges, 2831 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(QueueJobE_10 + QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6 + QueueJobE_7 + QueueJobE_8 + QueueJobE_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14309 markings, 15158 edges, 2862 markings/sec, 0 secs
lola: 28605 markings, 30694 edges, 2859 markings/sec, 5 secs
lola: 42416 markings, 46037 edges, 2762 markings/sec, 10 secs
lola: 55991 markings, 61254 edges, 2715 markings/sec, 15 secs
lola: 69064 markings, 75953 edges, 2615 markings/sec, 20 secs
lola: 82167 markings, 91020 edges, 2621 markings/sec, 25 secs
lola: 94848 markings, 105594 edges, 2536 markings/sec, 30 secs
lola: 109573 markings, 122488 edges, 2945 markings/sec, 35 secs
lola: 124274 markings, 139481 edges, 2940 markings/sec, 40 secs
lola: 139257 markings, 157006 edges, 2997 markings/sec, 45 secs
lola: 154147 markings, 174580 edges, 2978 markings/sec, 50 secs
lola: 169057 markings, 192189 edges, 2982 markings/sec, 55 secs
lola: 184037 markings, 210183 edges, 2996 markings/sec, 60 secs
lola: 199083 markings, 228200 edges, 3009 markings/sec, 65 secs
lola: 214111 markings, 245890 edges, 3006 markings/sec, 70 secs
lola: 229128 markings, 264071 edges, 3003 markings/sec, 75 secs
lola: 244126 markings, 282093 edges, 3000 markings/sec, 80 secs
lola: 259105 markings, 299869 edges, 2996 markings/sec, 85 secs
lola: 274080 markings, 318278 edges, 2995 markings/sec, 90 secs
lola: 289092 markings, 336710 edges, 3002 markings/sec, 95 secs
lola: 304083 markings, 355343 edges, 2998 markings/sec, 100 secs
lola: 319071 markings, 373641 edges, 2998 markings/sec, 105 secs
lola: 334005 markings, 392095 edges, 2987 markings/sec, 110 secs
lola: 348943 markings, 410266 edges, 2988 markings/sec, 115 secs
lola: 363900 markings, 428761 edges, 2991 markings/sec, 120 secs
lola: 378894 markings, 447487 edges, 2999 markings/sec, 125 secs
lola: 393886 markings, 466163 edges, 2998 markings/sec, 130 secs
lola: 408827 markings, 485122 edges, 2988 markings/sec, 135 secs
lola: 423819 markings, 504042 edges, 2998 markings/sec, 140 secs
lola: 438763 markings, 522645 edges, 2989 markings/sec, 145 secs
lola: 453689 markings, 541759 edges, 2985 markings/sec, 150 secs
lola: 468524 markings, 560158 edges, 2967 markings/sec, 155 secs
lola: 483353 markings, 578769 edges, 2966 markings/sec, 160 secs
lola: 498240 markings, 598084 edges, 2977 markings/sec, 165 secs
lola: 513082 markings, 616654 edges, 2968 markings/sec, 170 secs
lola: 527967 markings, 635331 edges, 2977 markings/sec, 175 secs
lola: 542800 markings, 654436 edges, 2967 markings/sec, 180 secs
lola: 557666 markings, 673234 edges, 2973 markings/sec, 185 secs
lola: 572500 markings, 692509 edges, 2967 markings/sec, 190 secs
lola: 587313 markings, 711229 edges, 2963 markings/sec, 195 secs
lola: 602161 markings, 730054 edges, 2970 markings/sec, 200 secs
lola: 616988 markings, 749367 edges, 2965 markings/sec, 205 secs
lola: 631829 markings, 768908 edges, 2968 markings/sec, 210 secs
lola: 646689 markings, 787410 edges, 2972 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(MarkerRead)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14065 markings, 17078 edges, 2813 markings/sec, 0 secs
lola: 28272 markings, 34484 edges, 2841 markings/sec, 5 secs
lola: 42465 markings, 52395 edges, 2839 markings/sec, 10 secs
lola: 56659 markings, 70283 edges, 2839 markings/sec, 15 secs
lola: 70845 markings, 88226 edges, 2837 markings/sec, 20 secs
lola: 85054 markings, 105831 edges, 2842 markings/sec, 25 secs
lola: 99176 markings, 123456 edges, 2824 markings/sec, 30 secs
lola: 113333 markings, 140725 edges, 2831 markings/sec, 35 secs
lola: 127618 markings, 158298 edges, 2857 markings/sec, 40 secs
lola: 141817 markings, 175922 edges, 2840 markings/sec, 45 secs
lola: 156002 markings, 193386 edges, 2837 markings/sec, 50 secs
lola: 170158 markings, 212672 edges, 2831 markings/sec, 55 secs
lola: 184308 markings, 230952 edges, 2830 markings/sec, 60 secs
lola: 198532 markings, 249320 edges, 2845 markings/sec, 65 secs
lola: 212624 markings, 267954 edges, 2818 markings/sec, 70 secs
lola: 226729 markings, 286398 edges, 2821 markings/sec, 75 secs
lola: 240805 markings, 304468 edges, 2815 markings/sec, 80 secs
lola: 254916 markings, 322496 edges, 2822 markings/sec, 85 secs
lola: 269058 markings, 341645 edges, 2828 markings/sec, 90 secs
lola: 283151 markings, 360338 edges, 2819 markings/sec, 95 secs
lola: 297300 markings, 378755 edges, 2830 markings/sec, 100 secs
lola: 311421 markings, 397103 edges, 2824 markings/sec, 105 secs
lola: 325464 markings, 415843 edges, 2809 markings/sec, 110 secs
lola: 339648 markings, 434726 edges, 2837 markings/sec, 115 secs
lola: 353790 markings, 453848 edges, 2828 markings/sec, 120 secs
lola: 367880 markings, 472155 edges, 2818 markings/sec, 125 secs
lola: 381871 markings, 491634 edges, 2798 markings/sec, 130 secs
lola: 395946 markings, 510218 edges, 2815 markings/sec, 135 secs
lola: 410135 markings, 528635 edges, 2838 markings/sec, 140 secs
lola: 424233 markings, 547580 edges, 2820 markings/sec, 145 secs
lola: 438321 markings, 566431 edges, 2818 markings/sec, 150 secs
lola: 452342 markings, 585479 edges, 2804 markings/sec, 155 secs
lola: 466501 markings, 604539 edges, 2832 markings/sec, 160 secs
lola: 480644 markings, 623455 edges, 2829 markings/sec, 165 secs
lola: 494742 markings, 641950 edges, 2820 markings/sec, 170 secs
lola: 508731 markings, 660728 edges, 2798 markings/sec, 175 secs
lola: 522825 markings, 679356 edges, 2819 markings/sec, 180 secs
lola: 536913 markings, 697687 edges, 2818 markings/sec, 185 secs
lola: 550965 markings, 716717 edges, 2810 markings/sec, 190 secs
lola: 565034 markings, 735581 edges, 2814 markings/sec, 195 secs
lola: 579037 markings, 754282 edges, 2801 markings/sec, 200 secs
lola: 593139 markings, 773163 edges, 2820 markings/sec, 205 secs
lola: 607175 markings, 792743 edges, 2807 markings/sec, 210 secs
lola: 621278 markings, 812153 edges, 2821 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(FetchJobB_10 + FetchJobB_1 + FetchJobB_2 + FetchJobB_3 + FetchJobB_4 + FetchJobB_5 + FetchJobB_6 + FetchJobB_7 + FetchJobB_8 + FetchJobB_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 13825 markings, 16956 edges, 2765 markings/sec, 0 secs
lola: 27642 markings, 34577 edges, 2763 markings/sec, 5 secs
lola: 41364 markings, 51759 edges, 2744 markings/sec, 10 secs
lola: 55144 markings, 69220 edges, 2756 markings/sec, 15 secs
lola: 68903 markings, 87761 edges, 2752 markings/sec, 20 secs
lola: 82618 markings, 106516 edges, 2743 markings/sec, 25 secs
lola: 96419 markings, 124711 edges, 2760 markings/sec, 30 secs
lola: 110129 markings, 144172 edges, 2742 markings/sec, 35 secs
lola: 123882 markings, 163599 edges, 2751 markings/sec, 40 secs
lola: 137560 markings, 182173 edges, 2736 markings/sec, 45 secs
lola: 151220 markings, 201195 edges, 2732 markings/sec, 50 secs
lola: 164855 markings, 220535 edges, 2727 markings/sec, 55 secs
lola: 178597 markings, 239683 edges, 2748 markings/sec, 60 secs
lola: 192310 markings, 258318 edges, 2743 markings/sec, 65 secs
lola: 206090 markings, 277543 edges, 2756 markings/sec, 70 secs
lola: 219774 markings, 296782 edges, 2737 markings/sec, 75 secs
lola: 233488 markings, 315839 edges, 2743 markings/sec, 80 secs
lola: 247141 markings, 335265 edges, 2731 markings/sec, 85 secs
lola: 260836 markings, 354733 edges, 2739 markings/sec, 90 secs
lola: 274506 markings, 374698 edges, 2734 markings/sec, 95 secs
lola: 288145 markings, 394148 edges, 2728 markings/sec, 100 secs
lola: 301767 markings, 413552 edges, 2724 markings/sec, 105 secs
lola: 315406 markings, 433311 edges, 2728 markings/sec, 110 secs
lola: 329137 markings, 453142 edges, 2746 markings/sec, 115 secs
lola: 342797 markings, 472735 edges, 2732 markings/sec, 120 secs
lola: 356281 markings, 493261 edges, 2697 markings/sec, 125 secs
lola: 369882 markings, 513303 edges, 2720 markings/sec, 130 secs
lola: 383367 markings, 532455 edges, 2697 markings/sec, 135 secs
lola: 397035 markings, 551860 edges, 2734 markings/sec, 140 secs
lola: 410725 markings, 572044 edges, 2738 markings/sec, 145 secs
lola: 424423 markings, 592015 edges, 2740 markings/sec, 150 secs
lola: 437979 markings, 611466 edges, 2711 markings/sec, 155 secs
lola: 451469 markings, 632041 edges, 2698 markings/sec, 160 secs
lola: 465062 markings, 651674 edges, 2719 markings/sec, 165 secs
lola: 478625 markings, 671322 edges, 2713 markings/sec, 170 secs
lola: 492162 markings, 690659 edges, 2707 markings/sec, 175 secs
lola: 505922 markings, 710695 edges, 2752 markings/sec, 180 secs
lola: 520281 markings, 731190 edges, 2872 markings/sec, 185 secs
lola: 534420 markings, 751369 edges, 2828 markings/sec, 190 secs
lola: 548464 markings, 771823 edges, 2809 markings/sec, 195 secs
lola: 562064 markings, 791853 edges, 2720 markings/sec, 200 secs
lola: 575637 markings, 811363 edges, 2715 markings/sec, 205 secs
lola: 588839 markings, 830880 edges, 2640 markings/sec, 210 secs
lola: 602624 markings, 850964 edges, 2757 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(cIdleTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 9451 markings, 10005 edges, 1890 markings/sec, 0 secs
lola: 18552 markings, 19692 edges, 1820 markings/sec, 5 secs
lola: 27756 markings, 29930 edges, 1841 markings/sec, 10 secs
lola: 36903 markings, 39703 edges, 1829 markings/sec, 15 secs
lola: 46013 markings, 49841 edges, 1822 markings/sec, 20 secs
lola: 55144 markings, 59813 edges, 1826 markings/sec, 25 secs
lola: 64313 markings, 70588 edges, 1834 markings/sec, 30 secs
lola: 73450 markings, 81156 edges, 1827 markings/sec, 35 secs
lola: 82540 markings, 91280 edges, 1818 markings/sec, 40 secs
lola: 91642 markings, 101381 edges, 1820 markings/sec, 45 secs
lola: 100680 markings, 111385 edges, 1808 markings/sec, 50 secs
lola: 109698 markings, 121064 edges, 1804 markings/sec, 55 secs
lola: 118840 markings, 131075 edges, 1828 markings/sec, 60 secs
lola: 127890 markings, 141687 edges, 1810 markings/sec, 65 secs
lola: 137004 markings, 152255 edges, 1823 markings/sec, 70 secs
lola: 146093 markings, 162377 edges, 1818 markings/sec, 75 secs
lola: 155188 markings, 172645 edges, 1819 markings/sec, 80 secs
lola: 164305 markings, 183148 edges, 1823 markings/sec, 85 secs
lola: 173312 markings, 193092 edges, 1801 markings/sec, 90 secs
lola: 182448 markings, 203605 edges, 1827 markings/sec, 95 secs
lola: 191515 markings, 214102 edges, 1813 markings/sec, 100 secs
lola: 200566 markings, 224497 edges, 1810 markings/sec, 105 secs
lola: 209518 markings, 235782 edges, 1790 markings/sec, 110 secs
lola: 218535 markings, 246570 edges, 1803 markings/sec, 115 secs
lola: 227629 markings, 256824 edges, 1819 markings/sec, 120 secs
lola: 236683 markings, 267183 edges, 1811 markings/sec, 125 secs
lola: 245771 markings, 277822 edges, 1818 markings/sec, 130 secs
lola: 256353 markings, 289387 edges, 2116 markings/sec, 135 secs
lola: 270427 markings, 305235 edges, 2815 markings/sec, 140 secs
lola: 284646 markings, 322283 edges, 2844 markings/sec, 145 secs
lola: 298817 markings, 337975 edges, 2834 markings/sec, 150 secs
lola: 312958 markings, 354454 edges, 2828 markings/sec, 155 secs
lola: 327065 markings, 370651 edges, 2821 markings/sec, 160 secs
lola: 341201 markings, 387703 edges, 2827 markings/sec, 165 secs
lola: 355311 markings, 404465 edges, 2822 markings/sec, 170 secs
lola: 369521 markings, 421587 edges, 2842 markings/sec, 175 secs
lola: 383674 markings, 438739 edges, 2831 markings/sec, 180 secs
lola: 397642 markings, 454151 edges, 2794 markings/sec, 185 secs
lola: 411812 markings, 471548 edges, 2834 markings/sec, 190 secs
lola: 425905 markings, 488286 edges, 2819 markings/sec, 195 secs
lola: 440040 markings, 505238 edges, 2827 markings/sec, 200 secs
lola: 454197 markings, 522376 edges, 2831 markings/sec, 205 secs
lola: 468328 markings, 539859 edges, 2826 markings/sec, 210 secs
lola: 482462 markings, 558029 edges, 2827 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(Abort_Check_Sources_B_1 + Abort_Check_Sources_B_2 + Abort_Check_Sources_B_3 + Abort_Check_Sources_B_4 + Abort_Check_Sources_B_5 + Abort_Check_Sources_B_6 + Abort_Check_Sources_B_7 + Abort_Check_Sources_B_8 + Abort_Check_Sources_B_9 + Abort_Check_Sources_B_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 13277 markings, 14664 edges, 2655 markings/sec, 0 secs
lola: 26418 markings, 31676 edges, 2628 markings/sec, 5 secs
lola: 39545 markings, 49481 edges, 2625 markings/sec, 10 secs
lola: 52873 markings, 65008 edges, 2666 markings/sec, 15 secs
lola: 66126 markings, 81245 edges, 2651 markings/sec, 20 secs
lola: 79324 markings, 104128 edges, 2640 markings/sec, 25 secs
lola: 92518 markings, 120727 edges, 2639 markings/sec, 30 secs
lola: 105662 markings, 140708 edges, 2629 markings/sec, 35 secs
lola: 118948 markings, 158786 edges, 2657 markings/sec, 40 secs
lola: 132181 markings, 179707 edges, 2647 markings/sec, 45 secs
lola: 145451 markings, 198319 edges, 2654 markings/sec, 50 secs
lola: 158668 markings, 214645 edges, 2643 markings/sec, 55 secs
lola: 171926 markings, 234796 edges, 2652 markings/sec, 60 secs
lola: 185029 markings, 251132 edges, 2621 markings/sec, 65 secs
lola: 198199 markings, 268094 edges, 2634 markings/sec, 70 secs
lola: 211416 markings, 285385 edges, 2643 markings/sec, 75 secs
lola: 224641 markings, 302206 edges, 2645 markings/sec, 80 secs
lola: 237877 markings, 318345 edges, 2647 markings/sec, 85 secs
lola: 251039 markings, 336109 edges, 2632 markings/sec, 90 secs
lola: 264316 markings, 352406 edges, 2655 markings/sec, 95 secs
lola: 277493 markings, 369917 edges, 2635 markings/sec, 100 secs
lola: 290763 markings, 386244 edges, 2654 markings/sec, 105 secs
lola: 303946 markings, 402422 edges, 2637 markings/sec, 110 secs
lola: 317132 markings, 419077 edges, 2637 markings/sec, 115 secs
lola: 330349 markings, 435876 edges, 2643 markings/sec, 120 secs
lola: 343527 markings, 452987 edges, 2636 markings/sec, 125 secs
lola: 356716 markings, 468993 edges, 2638 markings/sec, 130 secs
lola: 369948 markings, 485149 edges, 2646 markings/sec, 135 secs
lola: 383084 markings, 502234 edges, 2627 markings/sec, 140 secs
lola: 396221 markings, 520341 edges, 2627 markings/sec, 145 secs
lola: 409314 markings, 540660 edges, 2619 markings/sec, 150 secs
lola: 422537 markings, 558281 edges, 2645 markings/sec, 155 secs
lola: 435708 markings, 574655 edges, 2634 markings/sec, 160 secs
lola: 448936 markings, 593389 edges, 2646 markings/sec, 165 secs
lola: 462067 markings, 610694 edges, 2626 markings/sec, 170 secs
lola: 475231 markings, 627602 edges, 2633 markings/sec, 175 secs
lola: 488375 markings, 644462 edges, 2629 markings/sec, 180 secs
lola: 501534 markings, 661261 edges, 2632 markings/sec, 185 secs
lola: 514764 markings, 680087 edges, 2646 markings/sec, 190 secs
lola: 527823 markings, 697480 edges, 2612 markings/sec, 195 secs
lola: 541087 markings, 714794 edges, 2653 markings/sec, 200 secs
lola: 554280 markings, 732272 edges, 2639 markings/sec, 205 secs
lola: 567362 markings, 750721 edges, 2616 markings/sec, 210 secs
lola: 580484 markings, 769749 edges, 2624 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(P_1712_0 + P_1712_1 + P_1712_2 + P_1712_3 + P_1712_4 + P_1712_5 + P_1712_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14434 markings, 15284 edges, 2887 markings/sec, 0 secs
lola: 28854 markings, 31000 edges, 2884 markings/sec, 5 secs
lola: 43307 markings, 47023 edges, 2891 markings/sec, 10 secs
lola: 57729 markings, 63204 edges, 2884 markings/sec, 15 secs
lola: 72159 markings, 79624 edges, 2886 markings/sec, 20 secs
lola: 86546 markings, 96042 edges, 2877 markings/sec, 25 secs
lola: 100977 markings, 112570 edges, 2886 markings/sec, 30 secs
lola: 115413 markings, 129296 edges, 2887 markings/sec, 35 secs
lola: 129836 markings, 145934 edges, 2885 markings/sec, 40 secs
lola: 144348 markings, 163056 edges, 2902 markings/sec, 45 secs
lola: 158203 markings, 179292 edges, 2771 markings/sec, 50 secs
lola: 171928 markings, 195576 edges, 2745 markings/sec, 55 secs
lola: 186933 markings, 213721 edges, 3001 markings/sec, 60 secs
lola: 202062 markings, 231659 edges, 3026 markings/sec, 65 secs
lola: 217174 markings, 249624 edges, 3022 markings/sec, 70 secs
lola: 232188 markings, 267779 edges, 3003 markings/sec, 75 secs
lola: 247093 markings, 285515 edges, 2981 markings/sec, 80 secs
lola: 262063 markings, 303472 edges, 2994 markings/sec, 85 secs
lola: 277090 markings, 321969 edges, 3005 markings/sec, 90 secs
lola: 292161 markings, 340271 edges, 3014 markings/sec, 95 secs
lola: 307120 markings, 358928 edges, 2992 markings/sec, 100 secs
lola: 322106 markings, 377487 edges, 2997 markings/sec, 105 secs
lola: 337037 markings, 395873 edges, 2986 markings/sec, 110 secs
lola: 351984 markings, 414079 edges, 2989 markings/sec, 115 secs
lola: 366965 markings, 432543 edges, 2996 markings/sec, 120 secs
lola: 381933 markings, 451311 edges, 2994 markings/sec, 125 secs
lola: 396890 markings, 469966 edges, 2991 markings/sec, 130 secs
lola: 411848 markings, 488834 edges, 2992 markings/sec, 135 secs
lola: 426795 markings, 507706 edges, 2989 markings/sec, 140 secs
lola: 441734 markings, 526333 edges, 2988 markings/sec, 145 secs
lola: 456650 markings, 545426 edges, 2983 markings/sec, 150 secs
lola: 471609 markings, 564000 edges, 2992 markings/sec, 155 secs
lola: 486487 markings, 582638 edges, 2976 markings/sec, 160 secs
lola: 501449 markings, 602262 edges, 2992 markings/sec, 165 secs
lola: 516530 markings, 620751 edges, 3016 markings/sec, 170 secs
lola: 531647 markings, 639812 edges, 3023 markings/sec, 175 secs
lola: 546683 markings, 659407 edges, 3007 markings/sec, 180 secs
lola: 561750 markings, 678375 edges, 3013 markings/sec, 185 secs
lola: 576844 markings, 697894 edges, 3019 markings/sec, 190 secs
lola: 591931 markings, 716963 edges, 3017 markings/sec, 195 secs
lola: 607013 markings, 736292 edges, 3016 markings/sec, 200 secs
lola: 622023 markings, 755667 edges, 3002 markings/sec, 205 secs
lola: 637088 markings, 775481 edges, 3013 markings/sec, 210 secs
lola: 652191 markings, 794362 edges, 3021 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(NotifyEventJobQueuedE_1 + NotifyEventJobQueuedE_2 + NotifyEventJobQueuedE_3 + NotifyEventJobQueuedE_4 + NotifyEventJobQueuedE_5 + NotifyEventJobQueuedE_6 + NotifyEventJobQueuedE_7 + NotifyEventJobQueuedE_8 + NotifyEventJobQueuedE_9 + NotifyEventJobQueuedE_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 13928 markings, 14756 edges, 2786 markings/sec, 0 secs
lola: 28701 markings, 30637 edges, 2955 markings/sec, 5 secs
lola: 43464 markings, 46991 edges, 2953 markings/sec, 10 secs
lola: 58156 markings, 63407 edges, 2938 markings/sec, 15 secs
lola: 72920 markings, 80053 edges, 2953 markings/sec, 20 secs
lola: 87639 markings, 96916 edges, 2944 markings/sec, 25 secs
lola: 102394 markings, 113730 edges, 2951 markings/sec, 30 secs
lola: 117097 markings, 130824 edges, 2941 markings/sec, 35 secs
lola: 131817 markings, 147851 edges, 2944 markings/sec, 40 secs
lola: 146517 markings, 165204 edges, 2940 markings/sec, 45 secs
lola: 161241 markings, 182289 edges, 2945 markings/sec, 50 secs
lola: 175951 markings, 199868 edges, 2942 markings/sec, 55 secs
lola: 190695 markings, 217641 edges, 2949 markings/sec, 60 secs
lola: 205373 markings, 234931 edges, 2936 markings/sec, 65 secs
lola: 220027 markings, 252456 edges, 2931 markings/sec, 70 secs
lola: 234755 markings, 270385 edges, 2946 markings/sec, 75 secs
lola: 249426 markings, 288590 edges, 2934 markings/sec, 80 secs
lola: 264125 markings, 306599 edges, 2940 markings/sec, 85 secs
lola: 278907 markings, 324522 edges, 2956 markings/sec, 90 secs
lola: 293711 markings, 342675 edges, 2961 markings/sec, 95 secs
lola: 308506 markings, 361131 edges, 2959 markings/sec, 100 secs
lola: 323298 markings, 379408 edges, 2958 markings/sec, 105 secs
lola: 338067 markings, 397680 edges, 2954 markings/sec, 110 secs
lola: 352870 markings, 416390 edges, 2961 markings/sec, 115 secs
lola: 367681 markings, 434847 edges, 2962 markings/sec, 120 secs
lola: 382397 markings, 453309 edges, 2943 markings/sec, 125 secs
lola: 397177 markings, 471812 edges, 2956 markings/sec, 130 secs
lola: 411924 markings, 490598 edges, 2949 markings/sec, 135 secs
lola: 426679 markings, 509460 edges, 2951 markings/sec, 140 secs
lola: 441437 markings, 528120 edges, 2952 markings/sec, 145 secs
lola: 456269 markings, 546676 edges, 2966 markings/sec, 150 secs
lola: 471019 markings, 565257 edges, 2950 markings/sec, 155 secs
lola: 485738 markings, 583950 edges, 2944 markings/sec, 160 secs
lola: 500467 markings, 602557 edges, 2946 markings/sec, 165 secs
lola: 515223 markings, 621433 edges, 2951 markings/sec, 170 secs
lola: 530017 markings, 640696 edges, 2959 markings/sec, 175 secs
lola: 544771 markings, 659536 edges, 2951 markings/sec, 180 secs
lola: 559503 markings, 678197 edges, 2946 markings/sec, 185 secs
lola: 574270 markings, 696896 edges, 2953 markings/sec, 190 secs
lola: 588979 markings, 715535 edges, 2942 markings/sec, 195 secs
lola: 603674 markings, 734861 edges, 2939 markings/sec, 200 secs
lola: 618397 markings, 754069 edges, 2945 markings/sec, 205 secs
lola: 633149 markings, 773106 edges, 2950 markings/sec, 210 secs
lola: 647908 markings, 791509 edges, 2952 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(P_1095)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14818 markings, 16881 edges, 2964 markings/sec, 0 secs
lola: 29413 markings, 34417 edges, 2919 markings/sec, 5 secs
lola: 43977 markings, 54291 edges, 2913 markings/sec, 10 secs
lola: 58510 markings, 72773 edges, 2907 markings/sec, 15 secs
lola: 73081 markings, 90006 edges, 2914 markings/sec, 20 secs
lola: 86455 markings, 108849 edges, 2675 markings/sec, 25 secs
lola: 100979 markings, 126380 edges, 2905 markings/sec, 30 secs
lola: 115075 markings, 148136 edges, 2819 markings/sec, 35 secs
lola: 129463 markings, 165920 edges, 2878 markings/sec, 40 secs
lola: 143591 markings, 183875 edges, 2826 markings/sec, 45 secs
lola: 157523 markings, 201877 edges, 2786 markings/sec, 50 secs
lola: 172180 markings, 221613 edges, 2931 markings/sec, 55 secs
lola: 186692 markings, 239851 edges, 2902 markings/sec, 60 secs
lola: 201300 markings, 257806 edges, 2922 markings/sec, 65 secs
lola: 215695 markings, 276314 edges, 2879 markings/sec, 70 secs
lola: 230062 markings, 295031 edges, 2873 markings/sec, 75 secs
lola: 244621 markings, 315133 edges, 2912 markings/sec, 80 secs
lola: 259312 markings, 333602 edges, 2938 markings/sec, 85 secs
lola: 274040 markings, 352202 edges, 2946 markings/sec, 90 secs
lola: 288750 markings, 370898 edges, 2942 markings/sec, 95 secs
lola: 303394 markings, 388998 edges, 2929 markings/sec, 100 secs
lola: 318087 markings, 407943 edges, 2939 markings/sec, 105 secs
lola: 332853 markings, 426277 edges, 2953 markings/sec, 110 secs
lola: 347514 markings, 444762 edges, 2932 markings/sec, 115 secs
lola: 362191 markings, 463818 edges, 2935 markings/sec, 120 secs
lola: 376878 markings, 482426 edges, 2937 markings/sec, 125 secs
lola: 391439 markings, 501631 edges, 2912 markings/sec, 130 secs
lola: 406043 markings, 520031 edges, 2921 markings/sec, 135 secs
lola: 420681 markings, 538383 edges, 2928 markings/sec, 140 secs
lola: 435493 markings, 559238 edges, 2962 markings/sec, 145 secs
lola: 450304 markings, 577948 edges, 2962 markings/sec, 150 secs
lola: 465130 markings, 596417 edges, 2965 markings/sec, 155 secs
lola: 479877 markings, 614959 edges, 2949 markings/sec, 160 secs
lola: 494673 markings, 635449 edges, 2959 markings/sec, 165 secs
lola: 509354 markings, 654762 edges, 2936 markings/sec, 170 secs
lola: 523734 markings, 675591 edges, 2876 markings/sec, 175 secs
lola: 538442 markings, 695243 edges, 2942 markings/sec, 180 secs
lola: 552684 markings, 730938 edges, 2848 markings/sec, 185 secs
lola: 567355 markings, 750553 edges, 2934 markings/sec, 190 secs
lola: 582018 markings, 769297 edges, 2933 markings/sec, 195 secs
lola: 596444 markings, 796100 edges, 2885 markings/sec, 200 secs
lola: 611153 markings, 816705 edges, 2942 markings/sec, 205 secs
lola: 626010 markings, 836226 edges, 2971 markings/sec, 210 secs
lola: 640887 markings, 856153 edges, 2975 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(TryAllocateOneTaskE_1 + TryAllocateOneTaskE_2 + TryAllocateOneTaskE_3 + TryAllocateOneTaskE_4 + TryAllocateOneTaskE_5 + TryAllocateOneTaskE_6 + TryAllocateOneTaskE_7 + TryAllocateOneTaskE_8 + TryAllocateOneTaskE_9 + TryAllocateOneTaskE_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14669 markings, 15011 edges, 2934 markings/sec, 0 secs
lola: 29309 markings, 30259 edges, 2928 markings/sec, 5 secs
lola: 43910 markings, 45750 edges, 2920 markings/sec, 10 secs
lola: 58523 markings, 61189 edges, 2923 markings/sec, 15 secs
lola: 73133 markings, 76805 edges, 2922 markings/sec, 20 secs
lola: 87702 markings, 92572 edges, 2914 markings/sec, 25 secs
lola: 102263 markings, 108349 edges, 2912 markings/sec, 30 secs
lola: 116856 markings, 124274 edges, 2919 markings/sec, 35 secs
lola: 131423 markings, 139940 edges, 2913 markings/sec, 40 secs
lola: 145957 markings, 155765 edges, 2907 markings/sec, 45 secs
lola: 157413 markings, 168093 edges, 2291 markings/sec, 50 secs
lola: 172066 markings, 184008 edges, 2931 markings/sec, 55 secs
lola: 186657 markings, 200199 edges, 2918 markings/sec, 60 secs
lola: 201344 markings, 216636 edges, 2937 markings/sec, 65 secs
lola: 215991 markings, 232743 edges, 2929 markings/sec, 70 secs
lola: 230629 markings, 248826 edges, 2928 markings/sec, 75 secs
lola: 245251 markings, 265051 edges, 2924 markings/sec, 80 secs
lola: 259932 markings, 281430 edges, 2936 markings/sec, 85 secs
lola: 274540 markings, 297804 edges, 2922 markings/sec, 90 secs
lola: 289167 markings, 314427 edges, 2925 markings/sec, 95 secs
lola: 303089 markings, 330145 edges, 2784 markings/sec, 100 secs
lola: 317562 markings, 346569 edges, 2895 markings/sec, 105 secs
lola: 331978 markings, 362626 edges, 2883 markings/sec, 110 secs
lola: 346499 markings, 379204 edges, 2904 markings/sec, 115 secs
lola: 361002 markings, 395739 edges, 2901 markings/sec, 120 secs
lola: 375484 markings, 412427 edges, 2896 markings/sec, 125 secs
lola: 389917 markings, 428847 edges, 2887 markings/sec, 130 secs
lola: 404439 markings, 445423 edges, 2904 markings/sec, 135 secs
lola: 418910 markings, 461863 edges, 2894 markings/sec, 140 secs
lola: 433353 markings, 478714 edges, 2889 markings/sec, 145 secs
lola: 447793 markings, 495990 edges, 2888 markings/sec, 150 secs
lola: 462203 markings, 513312 edges, 2882 markings/sec, 155 secs
lola: 476638 markings, 529974 edges, 2887 markings/sec, 160 secs
lola: 491010 markings, 546611 edges, 2874 markings/sec, 165 secs
lola: 505449 markings, 563138 edges, 2888 markings/sec, 170 secs
lola: 519926 markings, 580375 edges, 2895 markings/sec, 175 secs
lola: 534430 markings, 597187 edges, 2901 markings/sec, 180 secs
lola: 548843 markings, 614449 edges, 2883 markings/sec, 185 secs
lola: 563357 markings, 631248 edges, 2903 markings/sec, 190 secs
lola: 577768 markings, 647923 edges, 2882 markings/sec, 195 secs
lola: 592157 markings, 664877 edges, 2878 markings/sec, 200 secs
lola: 606587 markings, 681823 edges, 2886 markings/sec, 205 secs
lola: 621020 markings, 698399 edges, 2887 markings/sec, 210 secs
lola: 635509 markings, 715903 edges, 2898 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(NotifyEventEndOfCheckSourcesE_10 + NotifyEventEndOfCheckSourcesE_1 + NotifyEventEndOfCheckSourcesE_2 + NotifyEventEndOfCheckSourcesE_3 + NotifyEventEndOfCheckSourcesE_4 + NotifyEventEndOfCheckSourcesE_5 + NotifyEventEndOfCheckSourcesE_6 + NotifyEventEndOfCheckSourcesE_7 + NotifyEventEndOfCheckSourcesE_8 + NotifyEventEndOfCheckSourcesE_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 15733 markings, 17640 edges, 3147 markings/sec, 0 secs
lola: 31506 markings, 37555 edges, 3155 markings/sec, 5 secs
lola: 47277 markings, 56339 edges, 3154 markings/sec, 10 secs
lola: 62970 markings, 76114 edges, 3139 markings/sec, 15 secs
lola: 78671 markings, 95372 edges, 3140 markings/sec, 20 secs
lola: 94331 markings, 114793 edges, 3132 markings/sec, 25 secs
lola: 109643 markings, 137740 edges, 3062 markings/sec, 30 secs
lola: 125308 markings, 157516 edges, 3133 markings/sec, 35 secs
lola: 140673 markings, 178963 edges, 3073 markings/sec, 40 secs
lola: 156225 markings, 200519 edges, 3110 markings/sec, 45 secs
lola: 171843 markings, 219319 edges, 3124 markings/sec, 50 secs
lola: 186398 markings, 248092 edges, 2911 markings/sec, 55 secs
lola: 201258 markings, 273628 edges, 2972 markings/sec, 60 secs
lola: 216469 markings, 295360 edges, 3042 markings/sec, 65 secs
lola: 231035 markings, 323781 edges, 2913 markings/sec, 70 secs
lola: 246457 markings, 344292 edges, 3084 markings/sec, 75 secs
lola: 262110 markings, 364145 edges, 3131 markings/sec, 80 secs
lola: 276802 markings, 390631 edges, 2938 markings/sec, 85 secs
lola: 292310 markings, 411712 edges, 3102 markings/sec, 90 secs
lola: 307745 markings, 432641 edges, 3087 markings/sec, 95 secs
lola: 322972 markings, 455078 edges, 3045 markings/sec, 100 secs
lola: 338326 markings, 476849 edges, 3071 markings/sec, 105 secs
lola: 353775 markings, 497918 edges, 3090 markings/sec, 110 secs
lola: 368557 markings, 524484 edges, 2956 markings/sec, 115 secs
lola: 383957 markings, 544560 edges, 3080 markings/sec, 120 secs
lola: 399442 markings, 564980 edges, 3097 markings/sec, 125 secs
lola: 415105 markings, 584117 edges, 3133 markings/sec, 130 secs
lola: 430753 markings, 603577 edges, 3130 markings/sec, 135 secs
lola: 446284 markings, 623288 edges, 3106 markings/sec, 140 secs
lola: 461832 markings, 643042 edges, 3110 markings/sec, 145 secs
lola: 477173 markings, 664501 edges, 3068 markings/sec, 150 secs
lola: 492520 markings, 686423 edges, 3069 markings/sec, 155 secs
lola: 508056 markings, 705882 edges, 3107 markings/sec, 160 secs
lola: 523491 markings, 726518 edges, 3087 markings/sec, 165 secs
lola: 538383 markings, 751372 edges, 2978 markings/sec, 170 secs
lola: 553922 markings, 771456 edges, 3108 markings/sec, 175 secs
lola: 569458 markings, 790799 edges, 3107 markings/sec, 180 secs
lola: 584981 markings, 811350 edges, 3105 markings/sec, 185 secs
lola: 600476 markings, 831676 edges, 3099 markings/sec, 190 secs
lola: 615419 markings, 856504 edges, 2989 markings/sec, 195 secs
lola: 630930 markings, 876309 edges, 3102 markings/sec, 200 secs
lola: 646531 markings, 896131 edges, 3120 markings/sec, 205 secs
lola: 661760 markings, 918650 edges, 3046 markings/sec, 210 secs
lola: 676866 markings, 941334 edges, 3021 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(NotifyEventJobCompletedB_10 + NotifyEventJobCompletedB_1 + NotifyEventJobCompletedB_2 + NotifyEventJobCompletedB_3 + NotifyEventJobCompletedB_4 + NotifyEventJobCompletedB_5 + NotifyEventJobCompletedB_6 + NotifyEventJobCompletedB_7 + NotifyEventJobCompletedB_8 + NotifyEventJobCompletedB_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 12896 markings, 13431 edges, 2579 markings/sec, 0 secs
lola: 27540 markings, 28887 edges, 2929 markings/sec, 5 secs
lola: 42167 markings, 44651 edges, 2925 markings/sec, 10 secs
lola: 56834 markings, 60180 edges, 2933 markings/sec, 15 secs
lola: 71461 markings, 75811 edges, 2925 markings/sec, 20 secs
lola: 86078 markings, 91511 edges, 2923 markings/sec, 25 secs
lola: 100722 markings, 107379 edges, 2929 markings/sec, 30 secs
lola: 115350 markings, 123334 edges, 2926 markings/sec, 35 secs
lola: 129909 markings, 139506 edges, 2912 markings/sec, 40 secs
lola: 144496 markings, 155413 edges, 2917 markings/sec, 45 secs
lola: 159130 markings, 171222 edges, 2927 markings/sec, 50 secs
lola: 173680 markings, 187368 edges, 2910 markings/sec, 55 secs
lola: 188349 markings, 203191 edges, 2934 markings/sec, 60 secs
lola: 202887 markings, 219115 edges, 2908 markings/sec, 65 secs
lola: 217518 markings, 235048 edges, 2926 markings/sec, 70 secs
lola: 232173 markings, 250948 edges, 2931 markings/sec, 75 secs
lola: 246742 markings, 267358 edges, 2914 markings/sec, 80 secs
lola: 261375 markings, 283202 edges, 2927 markings/sec, 85 secs
lola: 275902 markings, 299425 edges, 2905 markings/sec, 90 secs
lola: 290395 markings, 315427 edges, 2899 markings/sec, 95 secs
lola: 304993 markings, 331158 edges, 2920 markings/sec, 100 secs
lola: 319584 markings, 347058 edges, 2918 markings/sec, 105 secs
lola: 334181 markings, 363151 edges, 2919 markings/sec, 110 secs
lola: 348619 markings, 378955 edges, 2888 markings/sec, 115 secs
lola: 363043 markings, 394654 edges, 2885 markings/sec, 120 secs
lola: 377133 markings, 410384 edges, 2818 markings/sec, 125 secs
lola: 390626 markings, 425569 edges, 2699 markings/sec, 130 secs
lola: 404897 markings, 441786 edges, 2854 markings/sec, 135 secs
lola: 419334 markings, 458341 edges, 2887 markings/sec, 140 secs
lola: 433995 markings, 474396 edges, 2932 markings/sec, 145 secs
lola: 448562 markings, 490661 edges, 2913 markings/sec, 150 secs
lola: 463190 markings, 506637 edges, 2926 markings/sec, 155 secs
lola: 477789 markings, 522710 edges, 2920 markings/sec, 160 secs
lola: 492333 markings, 538670 edges, 2909 markings/sec, 165 secs
lola: 506853 markings, 554722 edges, 2904 markings/sec, 170 secs
lola: 521543 markings, 570974 edges, 2938 markings/sec, 175 secs
lola: 536165 markings, 587066 edges, 2924 markings/sec, 180 secs
lola: 550729 markings, 603115 edges, 2913 markings/sec, 185 secs
lola: 565400 markings, 619096 edges, 2934 markings/sec, 190 secs
lola: 579924 markings, 635593 edges, 2905 markings/sec, 195 secs
lola: 594577 markings, 651667 edges, 2931 markings/sec, 200 secs
lola: 609219 markings, 668328 edges, 2928 markings/sec, 205 secs
lola: 623846 markings, 685104 edges, 2925 markings/sec, 210 secs
lola: 638427 markings, 701839 edges, 2916 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 PolyORBLF-COL-S04J06T10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496482258308
--------------------
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_PolyORBLF-PT-S04J06T10"
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_PolyORBLF-PT-S04J06T10.tgz
mv S_PolyORBLF-PT-S04J06T10 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_PolyORBLF-PT-S04J06T10, 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 r128-smll-149441681600497"
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 ;