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 PolyORBLF-PT-S04J06T10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440870000497
=====================================================================

--------------------
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 1494714710564


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 14156 markings, 15704 edges, 2831 markings/sec, 0 secs
lola: 28274 markings, 32159 edges, 2824 markings/sec, 5 secs
lola: 42363 markings, 48663 edges, 2818 markings/sec, 10 secs
lola: 56420 markings, 66583 edges, 2811 markings/sec, 15 secs
lola: 70446 markings, 85332 edges, 2805 markings/sec, 20 secs
lola: 84581 markings, 109111 edges, 2827 markings/sec, 25 secs
lola: 98547 markings, 127822 edges, 2793 markings/sec, 30 secs
lola: 112754 markings, 152074 edges, 2841 markings/sec, 35 secs
lola: 126754 markings, 171072 edges, 2800 markings/sec, 40 secs
lola: 140784 markings, 189526 edges, 2806 markings/sec, 45 secs
lola: 154925 markings, 207224 edges, 2828 markings/sec, 50 secs
lola: 169010 markings, 224249 edges, 2817 markings/sec, 55 secs
lola: 183020 markings, 242263 edges, 2802 markings/sec, 60 secs
lola: 197005 markings, 261087 edges, 2797 markings/sec, 65 secs
lola: 210977 markings, 279674 edges, 2794 markings/sec, 70 secs
lola: 225115 markings, 299797 edges, 2828 markings/sec, 75 secs
lola: 239175 markings, 319454 edges, 2812 markings/sec, 80 secs
lola: 253281 markings, 338099 edges, 2821 markings/sec, 85 secs
lola: 267376 markings, 357718 edges, 2819 markings/sec, 90 secs
lola: 281516 markings, 377663 edges, 2828 markings/sec, 95 secs
lola: 295504 markings, 396390 edges, 2798 markings/sec, 100 secs
lola: 309590 markings, 413662 edges, 2817 markings/sec, 105 secs
lola: 323657 markings, 432407 edges, 2813 markings/sec, 110 secs
lola: 337715 markings, 449709 edges, 2812 markings/sec, 115 secs
lola: 351864 markings, 466949 edges, 2830 markings/sec, 120 secs
lola: 365925 markings, 485020 edges, 2812 markings/sec, 125 secs
lola: 380020 markings, 505623 edges, 2819 markings/sec, 130 secs
lola: 393976 markings, 523452 edges, 2791 markings/sec, 135 secs
lola: 407991 markings, 541647 edges, 2803 markings/sec, 140 secs
lola: 421949 markings, 560311 edges, 2792 markings/sec, 145 secs
lola: 436058 markings, 578751 edges, 2822 markings/sec, 150 secs
lola: 450196 markings, 604924 edges, 2828 markings/sec, 155 secs
lola: 464233 markings, 623908 edges, 2807 markings/sec, 160 secs
lola: 478394 markings, 642819 edges, 2832 markings/sec, 165 secs
lola: 492523 markings, 668054 edges, 2826 markings/sec, 170 secs
lola: 506618 markings, 686233 edges, 2819 markings/sec, 175 secs
lola: 520742 markings, 704476 edges, 2825 markings/sec, 180 secs
lola: 534736 markings, 723315 edges, 2799 markings/sec, 185 secs
lola: 548752 markings, 741155 edges, 2803 markings/sec, 190 secs
lola: 562844 markings, 759456 edges, 2818 markings/sec, 195 secs
lola: 576903 markings, 777998 edges, 2812 markings/sec, 200 secs
lola: 590964 markings, 796062 edges, 2812 markings/sec, 205 secs
lola: 605126 markings, 816286 edges, 2832 markings/sec, 210 secs
lola: 619277 markings, 843496 edges, 2830 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: 14661 markings, 15500 edges, 2932 markings/sec, 0 secs
lola: 29158 markings, 31081 edges, 2899 markings/sec, 5 secs
lola: 43651 markings, 47050 edges, 2899 markings/sec, 10 secs
lola: 58233 markings, 63293 edges, 2916 markings/sec, 15 secs
lola: 73190 markings, 80121 edges, 2991 markings/sec, 20 secs
lola: 88125 markings, 97095 edges, 2987 markings/sec, 25 secs
lola: 103083 markings, 114107 edges, 2992 markings/sec, 30 secs
lola: 117992 markings, 131339 edges, 2982 markings/sec, 35 secs
lola: 132918 markings, 148559 edges, 2985 markings/sec, 40 secs
lola: 147816 markings, 166061 edges, 2980 markings/sec, 45 secs
lola: 162757 markings, 183416 edges, 2988 markings/sec, 50 secs
lola: 177655 markings, 201085 edges, 2980 markings/sec, 55 secs
lola: 192615 markings, 218799 edges, 2992 markings/sec, 60 secs
lola: 207498 markings, 236269 edges, 2977 markings/sec, 65 secs
lola: 222379 markings, 253835 edges, 2976 markings/sec, 70 secs
lola: 237340 markings, 271889 edges, 2992 markings/sec, 75 secs
lola: 252184 markings, 289954 edges, 2969 markings/sec, 80 secs
lola: 267079 markings, 308114 edges, 2979 markings/sec, 85 secs
lola: 281940 markings, 326131 edges, 2972 markings/sec, 90 secs
lola: 296839 markings, 344373 edges, 2980 markings/sec, 95 secs
lola: 311742 markings, 362547 edges, 2981 markings/sec, 100 secs
lola: 326601 markings, 380832 edges, 2972 markings/sec, 105 secs
lola: 341451 markings, 398955 edges, 2970 markings/sec, 110 secs
lola: 356346 markings, 417634 edges, 2979 markings/sec, 115 secs
lola: 371217 markings, 435798 edges, 2974 markings/sec, 120 secs
lola: 386025 markings, 454322 edges, 2962 markings/sec, 125 secs
lola: 400849 markings, 472692 edges, 2965 markings/sec, 130 secs
lola: 415700 markings, 491474 edges, 2970 markings/sec, 135 secs
lola: 430536 markings, 510053 edges, 2967 markings/sec, 140 secs
lola: 445357 markings, 528409 edges, 2964 markings/sec, 145 secs
lola: 460255 markings, 547307 edges, 2980 markings/sec, 150 secs
lola: 475072 markings, 565715 edges, 2963 markings/sec, 155 secs
lola: 489864 markings, 584344 edges, 2958 markings/sec, 160 secs
lola: 504724 markings, 602801 edges, 2972 markings/sec, 165 secs
lola: 519619 markings, 621910 edges, 2979 markings/sec, 170 secs
lola: 534468 markings, 640877 edges, 2970 markings/sec, 175 secs
lola: 549280 markings, 659532 edges, 2962 markings/sec, 180 secs
lola: 564112 markings, 678109 edges, 2966 markings/sec, 185 secs
lola: 578909 markings, 696366 edges, 2959 markings/sec, 190 secs
lola: 593682 markings, 715908 edges, 2955 markings/sec, 195 secs
lola: 608469 markings, 734732 edges, 2957 markings/sec, 200 secs
lola: 623290 markings, 753872 edges, 2964 markings/sec, 205 secs
lola: 638130 markings, 772173 edges, 2968 markings/sec, 210 secs
lola: 652935 markings, 791328 edges, 2961 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: 15086 markings, 15978 edges, 3017 markings/sec, 0 secs
lola: 30190 markings, 32485 edges, 3021 markings/sec, 5 secs
lola: 45308 markings, 49236 edges, 3024 markings/sec, 10 secs
lola: 60384 markings, 66189 edges, 3015 markings/sec, 15 secs
lola: 75481 markings, 83416 edges, 3019 markings/sec, 20 secs
lola: 90589 markings, 100664 edges, 3022 markings/sec, 25 secs
lola: 105694 markings, 118070 edges, 3021 markings/sec, 30 secs
lola: 120784 markings, 135409 edges, 3018 markings/sec, 35 secs
lola: 135840 markings, 153026 edges, 3011 markings/sec, 40 secs
lola: 150920 markings, 170740 edges, 3016 markings/sec, 45 secs
lola: 165982 markings, 188606 edges, 3012 markings/sec, 50 secs
lola: 181022 markings, 206524 edges, 3008 markings/sec, 55 secs
lola: 196146 markings, 224641 edges, 3025 markings/sec, 60 secs
lola: 211238 markings, 242503 edges, 3018 markings/sec, 65 secs
lola: 226293 markings, 260579 edges, 3011 markings/sec, 70 secs
lola: 241325 markings, 278735 edges, 3006 markings/sec, 75 secs
lola: 256339 markings, 296638 edges, 3003 markings/sec, 80 secs
lola: 271387 markings, 315102 edges, 3010 markings/sec, 85 secs
lola: 286393 markings, 333441 edges, 3001 markings/sec, 90 secs
lola: 301454 markings, 351943 edges, 3012 markings/sec, 95 secs
lola: 316488 markings, 370413 edges, 3007 markings/sec, 100 secs
lola: 331481 markings, 389080 edges, 2999 markings/sec, 105 secs
lola: 346428 markings, 407199 edges, 2989 markings/sec, 110 secs
lola: 361401 markings, 425641 edges, 2995 markings/sec, 115 secs
lola: 376397 markings, 444486 edges, 2999 markings/sec, 120 secs
lola: 391390 markings, 463107 edges, 2999 markings/sec, 125 secs
lola: 406370 markings, 481946 edges, 2996 markings/sec, 130 secs
lola: 421393 markings, 500854 edges, 3005 markings/sec, 135 secs
lola: 436372 markings, 519527 edges, 2996 markings/sec, 140 secs
lola: 451336 markings, 538617 edges, 2993 markings/sec, 145 secs
lola: 466292 markings, 557235 edges, 2991 markings/sec, 150 secs
lola: 481230 markings, 576227 edges, 2988 markings/sec, 155 secs
lola: 496205 markings, 595646 edges, 2995 markings/sec, 160 secs
lola: 511160 markings, 614320 edges, 2991 markings/sec, 165 secs
lola: 526119 markings, 632826 edges, 2992 markings/sec, 170 secs
lola: 541076 markings, 652235 edges, 2991 markings/sec, 175 secs
lola: 556029 markings, 671169 edges, 2991 markings/sec, 180 secs
lola: 570959 markings, 690405 edges, 2986 markings/sec, 185 secs
lola: 585867 markings, 709368 edges, 2982 markings/sec, 190 secs
lola: 600825 markings, 728329 edges, 2992 markings/sec, 195 secs
lola: 615786 markings, 747850 edges, 2992 markings/sec, 200 secs
lola: 630690 markings, 767470 edges, 2981 markings/sec, 205 secs
lola: 645665 markings, 786228 edges, 2995 markings/sec, 210 secs
lola: 660664 markings, 805002 edges, 3000 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: 14642 markings, 17846 edges, 2928 markings/sec, 0 secs
lola: 29426 markings, 36072 edges, 2957 markings/sec, 5 secs
lola: 44220 markings, 54677 edges, 2959 markings/sec, 10 secs
lola: 59028 markings, 73443 edges, 2962 markings/sec, 15 secs
lola: 73857 markings, 91922 edges, 2966 markings/sec, 20 secs
lola: 88603 markings, 110265 edges, 2949 markings/sec, 25 secs
lola: 103364 markings, 128451 edges, 2952 markings/sec, 30 secs
lola: 118085 markings, 146425 edges, 2944 markings/sec, 35 secs
lola: 132916 markings, 164873 edges, 2966 markings/sec, 40 secs
lola: 147701 markings, 183354 edges, 2957 markings/sec, 45 secs
lola: 162465 markings, 202266 edges, 2953 markings/sec, 50 secs
lola: 177199 markings, 221566 edges, 2947 markings/sec, 55 secs
lola: 191982 markings, 240812 edges, 2957 markings/sec, 60 secs
lola: 206703 markings, 259666 edges, 2944 markings/sec, 65 secs
lola: 221350 markings, 279451 edges, 2929 markings/sec, 70 secs
lola: 236022 markings, 298230 edges, 2934 markings/sec, 75 secs
lola: 250697 markings, 316879 edges, 2935 markings/sec, 80 secs
lola: 265409 markings, 336567 edges, 2942 markings/sec, 85 secs
lola: 280081 markings, 356169 edges, 2934 markings/sec, 90 secs
lola: 294806 markings, 375424 edges, 2945 markings/sec, 95 secs
lola: 309450 markings, 394636 edges, 2929 markings/sec, 100 secs
lola: 324081 markings, 413887 edges, 2926 markings/sec, 105 secs
lola: 338825 markings, 433458 edges, 2949 markings/sec, 110 secs
lola: 353546 markings, 453593 edges, 2944 markings/sec, 115 secs
lola: 368214 markings, 472602 edges, 2934 markings/sec, 120 secs
lola: 382756 markings, 492659 edges, 2908 markings/sec, 125 secs
lola: 397402 markings, 511946 edges, 2929 markings/sec, 130 secs
lola: 412141 markings, 531261 edges, 2948 markings/sec, 135 secs
lola: 426760 markings, 551309 edges, 2924 markings/sec, 140 secs
lola: 441410 markings, 570538 edges, 2930 markings/sec, 145 secs
lola: 456026 markings, 590609 edges, 2923 markings/sec, 150 secs
lola: 470707 markings, 610575 edges, 2936 markings/sec, 155 secs
lola: 485477 markings, 629700 edges, 2954 markings/sec, 160 secs
lola: 500002 markings, 649101 edges, 2905 markings/sec, 165 secs
lola: 514616 markings, 668258 edges, 2923 markings/sec, 170 secs
lola: 529254 markings, 687668 edges, 2928 markings/sec, 175 secs
lola: 543849 markings, 707190 edges, 2919 markings/sec, 180 secs
lola: 558455 markings, 726894 edges, 2921 markings/sec, 185 secs
lola: 572952 markings, 746398 edges, 2899 markings/sec, 190 secs
lola: 587496 markings, 765799 edges, 2909 markings/sec, 195 secs
lola: 602084 markings, 785477 edges, 2918 markings/sec, 200 secs
lola: 616628 markings, 806050 edges, 2909 markings/sec, 205 secs
lola: 631152 markings, 824982 edges, 2905 markings/sec, 210 secs
lola: 645740 markings, 844385 edges, 2918 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: 14157 markings, 14578 edges, 2831 markings/sec, 0 secs
lola: 28283 markings, 29503 edges, 2825 markings/sec, 5 secs
lola: 42454 markings, 45056 edges, 2834 markings/sec, 10 secs
lola: 56628 markings, 60390 edges, 2835 markings/sec, 15 secs
lola: 70778 markings, 75815 edges, 2830 markings/sec, 20 secs
lola: 84896 markings, 91247 edges, 2824 markings/sec, 25 secs
lola: 99029 markings, 106690 edges, 2827 markings/sec, 30 secs
lola: 113154 markings, 122217 edges, 2825 markings/sec, 35 secs
lola: 127232 markings, 137858 edges, 2816 markings/sec, 40 secs
lola: 141345 markings, 153568 edges, 2823 markings/sec, 45 secs
lola: 155460 markings, 169152 edges, 2823 markings/sec, 50 secs
lola: 169568 markings, 184963 edges, 2822 markings/sec, 55 secs
lola: 183646 markings, 200624 edges, 2816 markings/sec, 60 secs
lola: 197741 markings, 216567 edges, 2819 markings/sec, 65 secs
lola: 211857 markings, 232518 edges, 2823 markings/sec, 70 secs
lola: 225894 markings, 248783 edges, 2807 markings/sec, 75 secs
lola: 239918 markings, 265171 edges, 2805 markings/sec, 80 secs
lola: 253990 markings, 281744 edges, 2814 markings/sec, 85 secs
lola: 268058 markings, 297977 edges, 2814 markings/sec, 90 secs
lola: 282113 markings, 314065 edges, 2811 markings/sec, 95 secs
lola: 296220 markings, 330252 edges, 2821 markings/sec, 100 secs
lola: 310246 markings, 346623 edges, 2805 markings/sec, 105 secs
lola: 324288 markings, 362732 edges, 2808 markings/sec, 110 secs
lola: 338348 markings, 378919 edges, 2812 markings/sec, 115 secs
lola: 352426 markings, 394931 edges, 2816 markings/sec, 120 secs
lola: 366497 markings, 411371 edges, 2814 markings/sec, 125 secs
lola: 380566 markings, 427900 edges, 2814 markings/sec, 130 secs
lola: 394580 markings, 444586 edges, 2803 markings/sec, 135 secs
lola: 408620 markings, 461191 edges, 2808 markings/sec, 140 secs
lola: 422703 markings, 477702 edges, 2817 markings/sec, 145 secs
lola: 436725 markings, 494937 edges, 2804 markings/sec, 150 secs
lola: 450742 markings, 511157 edges, 2803 markings/sec, 155 secs
lola: 464791 markings, 527712 edges, 2810 markings/sec, 160 secs
lola: 478795 markings, 544692 edges, 2801 markings/sec, 165 secs
lola: 492822 markings, 561874 edges, 2805 markings/sec, 170 secs
lola: 506876 markings, 578694 edges, 2811 markings/sec, 175 secs
lola: 520930 markings, 596205 edges, 2811 markings/sec, 180 secs
lola: 534972 markings, 613039 edges, 2808 markings/sec, 185 secs
lola: 548980 markings, 629739 edges, 2802 markings/sec, 190 secs
lola: 563049 markings, 647793 edges, 2814 markings/sec, 195 secs
lola: 577059 markings, 665299 edges, 2802 markings/sec, 200 secs
lola: 591040 markings, 682629 edges, 2796 markings/sec, 205 secs
lola: 605104 markings, 699617 edges, 2813 markings/sec, 210 secs
lola: 619162 markings, 716574 edges, 2812 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: 14356 markings, 15205 edges, 2871 markings/sec, 0 secs
lola: 28693 markings, 30806 edges, 2867 markings/sec, 5 secs
lola: 43052 markings, 46759 edges, 2872 markings/sec, 10 secs
lola: 57424 markings, 62858 edges, 2874 markings/sec, 15 secs
lola: 71789 markings, 79202 edges, 2873 markings/sec, 20 secs
lola: 86127 markings, 95580 edges, 2868 markings/sec, 25 secs
lola: 100515 markings, 112066 edges, 2878 markings/sec, 30 secs
lola: 114863 markings, 128649 edges, 2870 markings/sec, 35 secs
lola: 129198 markings, 145162 edges, 2867 markings/sec, 40 secs
lola: 143517 markings, 162042 edges, 2864 markings/sec, 45 secs
lola: 157876 markings, 178921 edges, 2872 markings/sec, 50 secs
lola: 172198 markings, 195885 edges, 2864 markings/sec, 55 secs
lola: 186491 markings, 213139 edges, 2859 markings/sec, 60 secs
lola: 200878 markings, 230268 edges, 2877 markings/sec, 65 secs
lola: 215221 markings, 247213 edges, 2869 markings/sec, 70 secs
lola: 229546 markings, 264592 edges, 2865 markings/sec, 75 secs
lola: 243871 markings, 281743 edges, 2865 markings/sec, 80 secs
lola: 258161 markings, 298744 edges, 2858 markings/sec, 85 secs
lola: 272491 markings, 316408 edges, 2866 markings/sec, 90 secs
lola: 286828 markings, 333964 edges, 2867 markings/sec, 95 secs
lola: 301139 markings, 351521 edges, 2862 markings/sec, 100 secs
lola: 315464 markings, 369195 edges, 2865 markings/sec, 105 secs
lola: 329740 markings, 386854 edges, 2855 markings/sec, 110 secs
lola: 343996 markings, 404268 edges, 2851 markings/sec, 115 secs
lola: 358277 markings, 421731 edges, 2856 markings/sec, 120 secs
lola: 372593 markings, 439676 edges, 2863 markings/sec, 125 secs
lola: 386918 markings, 457310 edges, 2865 markings/sec, 130 secs
lola: 401202 markings, 475320 edges, 2857 markings/sec, 135 secs
lola: 415498 markings, 493308 edges, 2859 markings/sec, 140 secs
lola: 429788 markings, 511362 edges, 2858 markings/sec, 145 secs
lola: 444050 markings, 529170 edges, 2852 markings/sec, 150 secs
lola: 458308 markings, 547418 edges, 2852 markings/sec, 155 secs
lola: 472565 markings, 565132 edges, 2851 markings/sec, 160 secs
lola: 486835 markings, 583026 edges, 2854 markings/sec, 165 secs
lola: 501122 markings, 601664 edges, 2857 markings/sec, 170 secs
lola: 515370 markings, 619370 edges, 2850 markings/sec, 175 secs
lola: 529673 markings, 637374 edges, 2861 markings/sec, 180 secs
lola: 543904 markings, 655745 edges, 2846 markings/sec, 185 secs
lola: 558176 markings, 673815 edges, 2854 markings/sec, 190 secs
lola: 572411 markings, 692414 edges, 2847 markings/sec, 195 secs
lola: 586648 markings, 710395 edges, 2847 markings/sec, 200 secs
lola: 600909 markings, 728416 edges, 2852 markings/sec, 205 secs
lola: 615141 markings, 747090 edges, 2846 markings/sec, 210 secs
lola: 629392 markings, 765696 edges, 2850 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: 14160 markings, 17193 edges, 2832 markings/sec, 0 secs
lola: 28445 markings, 34715 edges, 2857 markings/sec, 5 secs
lola: 43098 markings, 53306 edges, 2931 markings/sec, 10 secs
lola: 57857 markings, 71798 edges, 2952 markings/sec, 15 secs
lola: 72637 markings, 90498 edges, 2956 markings/sec, 20 secs
lola: 87387 markings, 108640 edges, 2950 markings/sec, 25 secs
lola: 102114 markings, 126975 edges, 2945 markings/sec, 30 secs
lola: 116528 markings, 144452 edges, 2883 markings/sec, 35 secs
lola: 131253 markings, 162776 edges, 2945 markings/sec, 40 secs
lola: 146076 markings, 181124 edges, 2965 markings/sec, 45 secs
lola: 160879 markings, 200096 edges, 2961 markings/sec, 50 secs
lola: 175695 markings, 219607 edges, 2963 markings/sec, 55 secs
lola: 190489 markings, 238731 edges, 2959 markings/sec, 60 secs
lola: 205308 markings, 258019 edges, 2964 markings/sec, 65 secs
lola: 220032 markings, 277672 edges, 2945 markings/sec, 70 secs
lola: 234724 markings, 296615 edges, 2938 markings/sec, 75 secs
lola: 249495 markings, 315475 edges, 2954 markings/sec, 80 secs
lola: 264287 markings, 334930 edges, 2958 markings/sec, 85 secs
lola: 279018 markings, 354636 edges, 2946 markings/sec, 90 secs
lola: 293797 markings, 374273 edges, 2956 markings/sec, 95 secs
lola: 308507 markings, 393352 edges, 2942 markings/sec, 100 secs
lola: 323229 markings, 412426 edges, 2944 markings/sec, 105 secs
lola: 338007 markings, 432345 edges, 2956 markings/sec, 110 secs
lola: 352804 markings, 452493 edges, 2959 markings/sec, 115 secs
lola: 367535 markings, 471692 edges, 2946 markings/sec, 120 secs
lola: 382150 markings, 491977 edges, 2923 markings/sec, 125 secs
lola: 396862 markings, 511320 edges, 2942 markings/sec, 130 secs
lola: 411676 markings, 530665 edges, 2963 markings/sec, 135 secs
lola: 426359 markings, 550827 edges, 2937 markings/sec, 140 secs
lola: 440819 markings, 569667 edges, 2892 markings/sec, 145 secs
lola: 455357 markings, 589700 edges, 2908 markings/sec, 150 secs
lola: 469672 markings, 609014 edges, 2863 markings/sec, 155 secs
lola: 484472 markings, 628417 edges, 2960 markings/sec, 160 secs
lola: 499064 markings, 647777 edges, 2918 markings/sec, 165 secs
lola: 513753 markings, 667183 edges, 2938 markings/sec, 170 secs
lola: 528472 markings, 686690 edges, 2944 markings/sec, 175 secs
lola: 543153 markings, 706154 edges, 2936 markings/sec, 180 secs
lola: 557844 markings, 726153 edges, 2938 markings/sec, 185 secs
lola: 572501 markings, 745740 edges, 2931 markings/sec, 190 secs
lola: 587176 markings, 765336 edges, 2935 markings/sec, 195 secs
lola: 601910 markings, 785265 edges, 2947 markings/sec, 200 secs
lola: 616621 markings, 806043 edges, 2942 markings/sec, 205 secs
lola: 631311 markings, 825143 edges, 2938 markings/sec, 210 secs
lola: 646034 markings, 844789 edges, 2945 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: 14381 markings, 17559 edges, 2876 markings/sec, 0 secs
lola: 28712 markings, 35892 edges, 2866 markings/sec, 5 secs
lola: 42991 markings, 53963 edges, 2856 markings/sec, 10 secs
lola: 57310 markings, 72293 edges, 2864 markings/sec, 15 secs
lola: 71583 markings, 91403 edges, 2855 markings/sec, 20 secs
lola: 85866 markings, 110760 edges, 2857 markings/sec, 25 secs
lola: 100202 markings, 130319 edges, 2867 markings/sec, 30 secs
lola: 114391 markings, 150272 edges, 2838 markings/sec, 35 secs
lola: 128614 markings, 169898 edges, 2845 markings/sec, 40 secs
lola: 142811 markings, 189573 edges, 2839 markings/sec, 45 secs
lola: 157004 markings, 209241 edges, 2839 markings/sec, 50 secs
lola: 171166 markings, 229283 edges, 2832 markings/sec, 55 secs
lola: 185465 markings, 249068 edges, 2860 markings/sec, 60 secs
lola: 199762 markings, 268259 edges, 2859 markings/sec, 65 secs
lola: 214006 markings, 288845 edges, 2849 markings/sec, 70 secs
lola: 228288 markings, 308080 edges, 2856 markings/sec, 75 secs
lola: 242464 markings, 328626 edges, 2835 markings/sec, 80 secs
lola: 256650 markings, 348667 edges, 2837 markings/sec, 85 secs
lola: 270864 markings, 369390 edges, 2843 markings/sec, 90 secs
lola: 285026 markings, 389705 edges, 2832 markings/sec, 95 secs
lola: 299162 markings, 409641 edges, 2827 markings/sec, 100 secs
lola: 313290 markings, 430466 edges, 2826 markings/sec, 105 secs
lola: 327545 markings, 450677 edges, 2851 markings/sec, 110 secs
lola: 341756 markings, 471344 edges, 2842 markings/sec, 115 secs
lola: 355796 markings, 492609 edges, 2808 markings/sec, 120 secs
lola: 369910 markings, 513377 edges, 2823 markings/sec, 125 secs
lola: 383927 markings, 533315 edges, 2803 markings/sec, 130 secs
lola: 398097 markings, 553564 edges, 2834 markings/sec, 135 secs
lola: 412417 markings, 574453 edges, 2864 markings/sec, 140 secs
lola: 426651 markings, 595470 edges, 2847 markings/sec, 145 secs
lola: 440805 markings, 615598 edges, 2831 markings/sec, 150 secs
lola: 454923 markings, 636778 edges, 2824 markings/sec, 155 secs
lola: 469098 markings, 657420 edges, 2835 markings/sec, 160 secs
lola: 483182 markings, 677686 edges, 2817 markings/sec, 165 secs
lola: 497355 markings, 698238 edges, 2835 markings/sec, 170 secs
lola: 511548 markings, 718638 edges, 2839 markings/sec, 175 secs
lola: 525768 markings, 739253 edges, 2844 markings/sec, 180 secs
lola: 539949 markings, 759284 edges, 2836 markings/sec, 185 secs
lola: 554061 markings, 780215 edges, 2822 markings/sec, 190 secs
lola: 568235 markings, 800901 edges, 2835 markings/sec, 195 secs
lola: 582347 markings, 821570 edges, 2822 markings/sec, 200 secs
lola: 596456 markings, 841889 edges, 2822 markings/sec, 205 secs
lola: 610470 markings, 862643 edges, 2803 markings/sec, 210 secs
lola: 624505 markings, 884089 edges, 2807 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: 14523 markings, 15356 edges, 2905 markings/sec, 0 secs
lola: 28972 markings, 31355 edges, 2890 markings/sec, 5 secs
lola: 43263 markings, 46599 edges, 2858 markings/sec, 10 secs
lola: 57682 markings, 62690 edges, 2884 markings/sec, 15 secs
lola: 72083 markings, 79564 edges, 2880 markings/sec, 20 secs
lola: 86298 markings, 95452 edges, 2843 markings/sec, 25 secs
lola: 100532 markings, 111228 edges, 2847 markings/sec, 30 secs
lola: 114676 markings, 126578 edges, 2829 markings/sec, 35 secs
lola: 128950 markings, 142897 edges, 2855 markings/sec, 40 secs
lola: 143235 markings, 159209 edges, 2857 markings/sec, 45 secs
lola: 157475 markings, 175195 edges, 2848 markings/sec, 50 secs
lola: 171722 markings, 191435 edges, 2849 markings/sec, 55 secs
lola: 185995 markings, 207320 edges, 2855 markings/sec, 60 secs
lola: 200192 markings, 224024 edges, 2839 markings/sec, 65 secs
lola: 214348 markings, 241539 edges, 2831 markings/sec, 70 secs
lola: 228634 markings, 258048 edges, 2857 markings/sec, 75 secs
lola: 242903 markings, 274373 edges, 2854 markings/sec, 80 secs
lola: 257085 markings, 290224 edges, 2836 markings/sec, 85 secs
lola: 271217 markings, 306291 edges, 2826 markings/sec, 90 secs
lola: 285488 markings, 323163 edges, 2854 markings/sec, 95 secs
lola: 299735 markings, 338918 edges, 2849 markings/sec, 100 secs
lola: 313927 markings, 355640 edges, 2838 markings/sec, 105 secs
lola: 328057 markings, 371746 edges, 2826 markings/sec, 110 secs
lola: 342281 markings, 389050 edges, 2845 markings/sec, 115 secs
lola: 355426 markings, 404625 edges, 2629 markings/sec, 120 secs
lola: 369058 markings, 420959 edges, 2726 markings/sec, 125 secs
lola: 382676 markings, 437533 edges, 2724 markings/sec, 130 secs
lola: 396091 markings, 452472 edges, 2683 markings/sec, 135 secs
lola: 409631 markings, 468640 edges, 2708 markings/sec, 140 secs
lola: 423205 markings, 485037 edges, 2715 markings/sec, 145 secs
lola: 436701 markings, 501135 edges, 2699 markings/sec, 150 secs
lola: 450287 markings, 518139 edges, 2717 markings/sec, 155 secs
lola: 463826 markings, 533912 edges, 2708 markings/sec, 160 secs
lola: 477492 markings, 551224 edges, 2733 markings/sec, 165 secs
lola: 490923 markings, 568781 edges, 2686 markings/sec, 170 secs
lola: 504477 markings, 585589 edges, 2711 markings/sec, 175 secs
lola: 518033 markings, 601859 edges, 2711 markings/sec, 180 secs
lola: 531506 markings, 618131 edges, 2695 markings/sec, 185 secs
lola: 545116 markings, 634474 edges, 2722 markings/sec, 190 secs
lola: 558547 markings, 650035 edges, 2686 markings/sec, 195 secs
lola: 572168 markings, 666549 edges, 2724 markings/sec, 200 secs
lola: 585642 markings, 683115 edges, 2695 markings/sec, 205 secs
lola: 599156 markings, 699572 edges, 2703 markings/sec, 210 secs
lola: 612770 markings, 714762 edges, 2723 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: 12953 markings, 14305 edges, 2591 markings/sec, 0 secs
lola: 25735 markings, 30887 edges, 2556 markings/sec, 5 secs
lola: 38554 markings, 47678 edges, 2564 markings/sec, 10 secs
lola: 51860 markings, 63742 edges, 2661 markings/sec, 15 secs
lola: 65184 markings, 80110 edges, 2665 markings/sec, 20 secs
lola: 78599 markings, 103281 edges, 2683 markings/sec, 25 secs
lola: 91896 markings, 119607 edges, 2659 markings/sec, 30 secs
lola: 105170 markings, 139909 edges, 2655 markings/sec, 35 secs
lola: 118534 markings, 157712 edges, 2673 markings/sec, 40 secs
lola: 131875 markings, 179334 edges, 2668 markings/sec, 45 secs
lola: 145235 markings, 198092 edges, 2672 markings/sec, 50 secs
lola: 158566 markings, 214530 edges, 2666 markings/sec, 55 secs
lola: 171929 markings, 234799 edges, 2673 markings/sec, 60 secs
lola: 185126 markings, 251249 edges, 2639 markings/sec, 65 secs
lola: 198369 markings, 268452 edges, 2649 markings/sec, 70 secs
lola: 211708 markings, 285721 edges, 2668 markings/sec, 75 secs
lola: 225023 markings, 302644 edges, 2663 markings/sec, 80 secs
lola: 238371 markings, 318912 edges, 2670 markings/sec, 85 secs
lola: 251618 markings, 336846 edges, 2649 markings/sec, 90 secs
lola: 265019 markings, 353201 edges, 2680 markings/sec, 95 secs
lola: 278309 markings, 370835 edges, 2658 markings/sec, 100 secs
lola: 291704 markings, 387434 edges, 2679 markings/sec, 105 secs
lola: 304995 markings, 403627 edges, 2658 markings/sec, 110 secs
lola: 318253 markings, 420898 edges, 2652 markings/sec, 115 secs
lola: 331561 markings, 438016 edges, 2662 markings/sec, 120 secs
lola: 344900 markings, 454693 edges, 2668 markings/sec, 125 secs
lola: 358159 markings, 470777 edges, 2652 markings/sec, 130 secs
lola: 371476 markings, 486973 edges, 2663 markings/sec, 135 secs
lola: 384764 markings, 504261 edges, 2658 markings/sec, 140 secs
lola: 397982 markings, 522463 edges, 2644 markings/sec, 145 secs
lola: 411210 markings, 542924 edges, 2646 markings/sec, 150 secs
lola: 424482 markings, 560683 edges, 2654 markings/sec, 155 secs
lola: 437755 markings, 577441 edges, 2655 markings/sec, 160 secs
lola: 451105 markings, 596150 edges, 2670 markings/sec, 165 secs
lola: 464341 markings, 613463 edges, 2647 markings/sec, 170 secs
lola: 477621 markings, 630500 edges, 2656 markings/sec, 175 secs
lola: 490844 markings, 647579 edges, 2645 markings/sec, 180 secs
lola: 504065 markings, 665782 edges, 2644 markings/sec, 185 secs
lola: 517397 markings, 682932 edges, 2666 markings/sec, 190 secs
lola: 530592 markings, 701638 edges, 2639 markings/sec, 195 secs
lola: 544004 markings, 718798 edges, 2682 markings/sec, 200 secs
lola: 557214 markings, 736327 edges, 2642 markings/sec, 205 secs
lola: 570386 markings, 756164 edges, 2634 markings/sec, 210 secs
lola: 583743 markings, 774064 edges, 2671 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: 14948 markings, 15838 edges, 2990 markings/sec, 0 secs
lola: 29923 markings, 32181 edges, 2995 markings/sec, 5 secs
lola: 44935 markings, 48806 edges, 3002 markings/sec, 10 secs
lola: 59892 markings, 65632 edges, 2991 markings/sec, 15 secs
lola: 74884 markings, 82727 edges, 2998 markings/sec, 20 secs
lola: 89853 markings, 99866 edges, 2994 markings/sec, 25 secs
lola: 104814 markings, 117073 edges, 2992 markings/sec, 30 secs
lola: 119744 markings, 134232 edges, 2986 markings/sec, 35 secs
lola: 134701 markings, 151708 edges, 2991 markings/sec, 40 secs
lola: 149643 markings, 169230 edges, 2988 markings/sec, 45 secs
lola: 164575 markings, 186923 edges, 2986 markings/sec, 50 secs
lola: 179501 markings, 204703 edges, 2985 markings/sec, 55 secs
lola: 194449 markings, 222599 edges, 2990 markings/sec, 60 secs
lola: 209398 markings, 240344 edges, 2990 markings/sec, 65 secs
lola: 224348 markings, 258244 edges, 2990 markings/sec, 70 secs
lola: 239249 markings, 276279 edges, 2980 markings/sec, 75 secs
lola: 254163 markings, 294020 edges, 2983 markings/sec, 80 secs
lola: 269113 markings, 312258 edges, 2990 markings/sec, 85 secs
lola: 284089 markings, 330632 edges, 2995 markings/sec, 90 secs
lola: 299012 markings, 348885 edges, 2985 markings/sec, 95 secs
lola: 313939 markings, 367411 edges, 2985 markings/sec, 100 secs
lola: 328812 markings, 385670 edges, 2975 markings/sec, 105 secs
lola: 343662 markings, 403845 edges, 2970 markings/sec, 110 secs
lola: 358539 markings, 422020 edges, 2975 markings/sec, 115 secs
lola: 373445 markings, 440750 edges, 2981 markings/sec, 120 secs
lola: 388411 markings, 459223 edges, 2993 markings/sec, 125 secs
lola: 403342 markings, 478126 edges, 2986 markings/sec, 130 secs
lola: 418329 markings, 496730 edges, 2997 markings/sec, 135 secs
lola: 433194 markings, 515602 edges, 2973 markings/sec, 140 secs
lola: 448079 markings, 534415 edges, 2977 markings/sec, 145 secs
lola: 462914 markings, 553097 edges, 2967 markings/sec, 150 secs
lola: 477790 markings, 571760 edges, 2975 markings/sec, 155 secs
lola: 492654 markings, 590912 edges, 2973 markings/sec, 160 secs
lola: 507513 markings, 609830 edges, 2972 markings/sec, 165 secs
lola: 522408 markings, 628178 edges, 2979 markings/sec, 170 secs
lola: 537293 markings, 647267 edges, 2977 markings/sec, 175 secs
lola: 552159 markings, 666468 edges, 2973 markings/sec, 180 secs
lola: 567127 markings, 685422 edges, 2994 markings/sec, 185 secs
lola: 582063 markings, 704544 edges, 2987 markings/sec, 190 secs
lola: 597012 markings, 723492 edges, 2990 markings/sec, 195 secs
lola: 611896 markings, 742830 edges, 2977 markings/sec, 200 secs
lola: 626785 markings, 762241 edges, 2978 markings/sec, 205 secs
lola: 641749 markings, 781183 edges, 2993 markings/sec, 210 secs
lola: 656698 markings, 800089 edges, 2990 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: 14892 markings, 15774 edges, 2978 markings/sec, 0 secs
lola: 29798 markings, 31830 edges, 2981 markings/sec, 5 secs
lola: 44699 markings, 48378 edges, 2980 markings/sec, 10 secs
lola: 59551 markings, 64990 edges, 2970 markings/sec, 15 secs
lola: 74443 markings, 81796 edges, 2978 markings/sec, 20 secs
lola: 89300 markings, 98818 edges, 2971 markings/sec, 25 secs
lola: 104189 markings, 115888 edges, 2978 markings/sec, 30 secs
lola: 119031 markings, 133049 edges, 2968 markings/sec, 35 secs
lola: 133887 markings, 150268 edges, 2971 markings/sec, 40 secs
lola: 148714 markings, 167838 edges, 2965 markings/sec, 45 secs
lola: 163588 markings, 185134 edges, 2975 markings/sec, 50 secs
lola: 178432 markings, 202826 edges, 2969 markings/sec, 55 secs
lola: 193308 markings, 220659 edges, 2975 markings/sec, 60 secs
lola: 208138 markings, 238217 edges, 2966 markings/sec, 65 secs
lola: 222942 markings, 255922 edges, 2961 markings/sec, 70 secs
lola: 237861 markings, 274057 edges, 2984 markings/sec, 75 secs
lola: 252438 markings, 292125 edges, 2915 markings/sec, 80 secs
lola: 267052 markings, 310051 edges, 2923 markings/sec, 85 secs
lola: 281661 markings, 327934 edges, 2922 markings/sec, 90 secs
lola: 296265 markings, 346079 edges, 2921 markings/sec, 95 secs
lola: 310840 markings, 364056 edges, 2915 markings/sec, 100 secs
lola: 325433 markings, 382151 edges, 2919 markings/sec, 105 secs
lola: 340095 markings, 400161 edges, 2932 markings/sec, 110 secs
lola: 354445 markings, 418257 edges, 2870 markings/sec, 115 secs
lola: 369253 markings, 436791 edges, 2962 markings/sec, 120 secs
lola: 384002 markings, 455299 edges, 2950 markings/sec, 125 secs
lola: 398820 markings, 473765 edges, 2964 markings/sec, 130 secs
lola: 413618 markings, 493027 edges, 2960 markings/sec, 135 secs
lola: 428426 markings, 511728 edges, 2962 markings/sec, 140 secs
lola: 443214 markings, 530304 edges, 2958 markings/sec, 145 secs
lola: 458065 markings, 548936 edges, 2970 markings/sec, 150 secs
lola: 472856 markings, 567671 edges, 2958 markings/sec, 155 secs
lola: 487632 markings, 586281 edges, 2955 markings/sec, 160 secs
lola: 502392 markings, 604922 edges, 2952 markings/sec, 165 secs
lola: 517216 markings, 623883 edges, 2965 markings/sec, 170 secs
lola: 532030 markings, 643264 edges, 2963 markings/sec, 175 secs
lola: 546835 markings, 662157 edges, 2961 markings/sec, 180 secs
lola: 561582 markings, 680832 edges, 2949 markings/sec, 185 secs
lola: 576408 markings, 699451 edges, 2965 markings/sec, 190 secs
lola: 591157 markings, 718397 edges, 2950 markings/sec, 195 secs
lola: 605888 markings, 737846 edges, 2946 markings/sec, 200 secs
lola: 620638 markings, 757256 edges, 2950 markings/sec, 205 secs
lola: 635441 markings, 775857 edges, 2961 markings/sec, 210 secs
lola: 650240 markings, 794406 edges, 2960 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: 14956 markings, 17122 edges, 2991 markings/sec, 0 secs
lola: 29807 markings, 34848 edges, 2970 markings/sec, 5 secs
lola: 44612 markings, 55910 edges, 2961 markings/sec, 10 secs
lola: 59396 markings, 73772 edges, 2957 markings/sec, 15 secs
lola: 74232 markings, 91381 edges, 2967 markings/sec, 20 secs
lola: 88967 markings, 112258 edges, 2947 markings/sec, 25 secs
lola: 103810 markings, 129905 edges, 2969 markings/sec, 30 secs
lola: 118192 markings, 151857 edges, 2876 markings/sec, 35 secs
lola: 132821 markings, 170211 edges, 2926 markings/sec, 40 secs
lola: 147113 markings, 188677 edges, 2858 markings/sec, 45 secs
lola: 161384 markings, 207197 edges, 2854 markings/sec, 50 secs
lola: 176184 markings, 226539 edges, 2960 markings/sec, 55 secs
lola: 190879 markings, 245175 edges, 2939 markings/sec, 60 secs
lola: 205460 markings, 263128 edges, 2916 markings/sec, 65 secs
lola: 220100 markings, 282086 edges, 2928 markings/sec, 70 secs
lola: 234593 markings, 300690 edges, 2899 markings/sec, 75 secs
lola: 249402 markings, 321304 edges, 2962 markings/sec, 80 secs
lola: 264132 markings, 339870 edges, 2946 markings/sec, 85 secs
lola: 278975 markings, 358528 edges, 2969 markings/sec, 90 secs
lola: 293808 markings, 377106 edges, 2967 markings/sec, 95 secs
lola: 308522 markings, 395743 edges, 2943 markings/sec, 100 secs
lola: 323446 markings, 414661 edges, 2985 markings/sec, 105 secs
lola: 338289 markings, 433235 edges, 2969 markings/sec, 110 secs
lola: 353093 markings, 452323 edges, 2961 markings/sec, 115 secs
lola: 367950 markings, 471108 edges, 2971 markings/sec, 120 secs
lola: 382600 markings, 490472 edges, 2930 markings/sec, 125 secs
lola: 397351 markings, 509254 edges, 2950 markings/sec, 130 secs
lola: 412147 markings, 527654 edges, 2959 markings/sec, 135 secs
lola: 427088 markings, 546775 edges, 2988 markings/sec, 140 secs
lola: 441997 markings, 567331 edges, 2982 markings/sec, 145 secs
lola: 456881 markings, 586216 edges, 2977 markings/sec, 150 secs
lola: 471859 markings, 604959 edges, 2996 markings/sec, 155 secs
lola: 486619 markings, 623574 edges, 2952 markings/sec, 160 secs
lola: 501452 markings, 644213 edges, 2967 markings/sec, 165 secs
lola: 516123 markings, 663900 edges, 2934 markings/sec, 170 secs
lola: 530627 markings, 684815 edges, 2901 markings/sec, 175 secs
lola: 545183 markings, 710401 edges, 2911 markings/sec, 180 secs
lola: 559899 markings, 740873 edges, 2943 markings/sec, 185 secs
lola: 574722 markings, 760119 edges, 2965 markings/sec, 190 secs
lola: 589559 markings, 779877 edges, 2967 markings/sec, 195 secs
lola: 604402 markings, 808177 edges, 2969 markings/sec, 200 secs
lola: 619332 markings, 827167 edges, 2986 markings/sec, 205 secs
lola: 634510 markings, 847364 edges, 3036 markings/sec, 210 secs
lola: 649432 markings, 867008 edges, 2984 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: 14027 markings, 14360 edges, 2805 markings/sec, 0 secs
lola: 28532 markings, 29444 edges, 2901 markings/sec, 5 secs
lola: 42926 markings, 44719 edges, 2879 markings/sec, 10 secs
lola: 57314 markings, 59899 edges, 2878 markings/sec, 15 secs
lola: 71735 markings, 75329 edges, 2884 markings/sec, 20 secs
lola: 86113 markings, 90845 edges, 2876 markings/sec, 25 secs
lola: 100494 markings, 106479 edges, 2876 markings/sec, 30 secs
lola: 114907 markings, 122080 edges, 2883 markings/sec, 35 secs
lola: 129314 markings, 137664 edges, 2881 markings/sec, 40 secs
lola: 143673 markings, 153305 edges, 2872 markings/sec, 45 secs
lola: 158022 markings, 168729 edges, 2870 markings/sec, 50 secs
lola: 172411 markings, 184370 edges, 2878 markings/sec, 55 secs
lola: 186735 markings, 200281 edges, 2865 markings/sec, 60 secs
lola: 201170 markings, 216448 edges, 2887 markings/sec, 65 secs
lola: 215546 markings, 232273 edges, 2875 markings/sec, 70 secs
lola: 229926 markings, 248067 edges, 2876 markings/sec, 75 secs
lola: 243278 markings, 262900 edges, 2670 markings/sec, 80 secs
lola: 256108 markings, 277117 edges, 2566 markings/sec, 85 secs
lola: 270504 markings, 293253 edges, 2879 markings/sec, 90 secs
lola: 284910 markings, 309467 edges, 2881 markings/sec, 95 secs
lola: 299200 markings, 325766 edges, 2858 markings/sec, 100 secs
lola: 313500 markings, 341957 edges, 2860 markings/sec, 105 secs
lola: 327740 markings, 357884 edges, 2848 markings/sec, 110 secs
lola: 342030 markings, 374084 edges, 2858 markings/sec, 115 secs
lola: 356109 markings, 390187 edges, 2816 markings/sec, 120 secs
lola: 370282 markings, 406501 edges, 2835 markings/sec, 125 secs
lola: 384669 markings, 422927 edges, 2877 markings/sec, 130 secs
lola: 399080 markings, 439354 edges, 2882 markings/sec, 135 secs
lola: 413103 markings, 455185 edges, 2805 markings/sec, 140 secs
lola: 427370 markings, 471780 edges, 2853 markings/sec, 145 secs
lola: 440803 markings, 487486 edges, 2687 markings/sec, 150 secs
lola: 454734 markings, 504447 edges, 2786 markings/sec, 155 secs
lola: 468443 markings, 520422 edges, 2742 markings/sec, 160 secs
lola: 481991 markings, 536094 edges, 2710 markings/sec, 165 secs
lola: 496284 markings, 552737 edges, 2859 markings/sec, 170 secs
lola: 510682 markings, 569201 edges, 2880 markings/sec, 175 secs
lola: 524998 markings, 586122 edges, 2863 markings/sec, 180 secs
lola: 538541 markings, 602065 edges, 2709 markings/sec, 185 secs
lola: 552339 markings, 618538 edges, 2760 markings/sec, 190 secs
lola: 566236 markings, 634499 edges, 2779 markings/sec, 195 secs
lola: 580559 markings, 651252 edges, 2865 markings/sec, 200 secs
lola: 594180 markings, 667282 edges, 2724 markings/sec, 205 secs
lola: 608520 markings, 684114 edges, 2868 markings/sec, 210 secs
lola: 621989 markings, 699465 edges, 2694 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: 12895 markings, 14381 edges, 2579 markings/sec, 0 secs
lola: 27129 markings, 31777 edges, 2847 markings/sec, 5 secs
lola: 42561 markings, 50937 edges, 3086 markings/sec, 10 secs
lola: 57932 markings, 70278 edges, 3074 markings/sec, 15 secs
lola: 73423 markings, 89251 edges, 3098 markings/sec, 20 secs
lola: 88952 markings, 107765 edges, 3106 markings/sec, 25 secs
lola: 104098 markings, 129621 edges, 3029 markings/sec, 30 secs
lola: 119637 markings, 151165 edges, 3108 markings/sec, 35 secs
lola: 135248 markings, 169968 edges, 3122 markings/sec, 40 secs
lola: 150376 markings, 193362 edges, 3026 markings/sec, 45 secs
lola: 165941 markings, 212108 edges, 3113 markings/sec, 50 secs
lola: 180724 markings, 237520 edges, 2957 markings/sec, 55 secs
lola: 195140 markings, 266124 edges, 2883 markings/sec, 60 secs
lola: 210424 markings, 287468 edges, 3057 markings/sec, 65 secs
lola: 225223 markings, 311691 edges, 2960 markings/sec, 70 secs
lola: 240272 markings, 335181 edges, 3010 markings/sec, 75 secs
lola: 255647 markings, 356347 edges, 3075 markings/sec, 80 secs
lola: 270694 markings, 378504 edges, 3009 markings/sec, 85 secs
lola: 285459 markings, 402937 edges, 2953 markings/sec, 90 secs
lola: 300723 markings, 423230 edges, 3053 markings/sec, 95 secs
lola: 316128 markings, 443217 edges, 3081 markings/sec, 100 secs
lola: 330833 markings, 467764 edges, 2941 markings/sec, 105 secs
lola: 346206 markings, 487698 edges, 3075 markings/sec, 110 secs
lola: 361105 markings, 511219 edges, 2980 markings/sec, 115 secs
lola: 376082 markings, 534908 edges, 2995 markings/sec, 120 secs
lola: 391547 markings, 554113 edges, 3093 markings/sec, 125 secs
lola: 406908 markings, 574611 edges, 3072 markings/sec, 130 secs
lola: 422413 markings, 594017 edges, 3101 markings/sec, 135 secs
lola: 437915 markings, 613141 edges, 3100 markings/sec, 140 secs
lola: 453382 markings, 631875 edges, 3093 markings/sec, 145 secs
lola: 468797 markings, 652227 edges, 3083 markings/sec, 150 secs
lola: 483748 markings, 674609 edges, 2990 markings/sec, 155 secs
lola: 499188 markings, 694627 edges, 3088 markings/sec, 160 secs
lola: 514569 markings, 714341 edges, 3076 markings/sec, 165 secs
lola: 529866 markings, 734853 edges, 3059 markings/sec, 170 secs
lola: 544622 markings, 759795 edges, 2951 markings/sec, 175 secs
lola: 560026 markings, 779240 edges, 3081 markings/sec, 180 secs
lola: 575432 markings, 798518 edges, 3081 markings/sec, 185 secs
lola: 590790 markings, 819386 edges, 3072 markings/sec, 190 secs
lola: 605887 markings, 841710 edges, 3019 markings/sec, 195 secs
lola: 620918 markings, 864163 edges, 3006 markings/sec, 200 secs
lola: 636382 markings, 883096 edges, 3093 markings/sec, 205 secs
lola: 651804 markings, 902706 edges, 3084 markings/sec, 210 secs
lola: 666614 markings, 927279 edges, 2962 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: 14027 markings, 14620 edges, 2805 markings/sec, 0 secs
lola: 27970 markings, 29332 edges, 2789 markings/sec, 5 secs
lola: 41905 markings, 44374 edges, 2787 markings/sec, 10 secs
lola: 55855 markings, 59148 edges, 2790 markings/sec, 15 secs
lola: 69806 markings, 74080 edges, 2790 markings/sec, 20 secs
lola: 83741 markings, 88889 edges, 2787 markings/sec, 25 secs
lola: 97879 markings, 104234 edges, 2828 markings/sec, 30 secs
lola: 112346 markings, 120124 edges, 2893 markings/sec, 35 secs
lola: 126417 markings, 135620 edges, 2814 markings/sec, 40 secs
lola: 140814 markings, 151341 edges, 2879 markings/sec, 45 secs
lola: 155296 markings, 167166 edges, 2896 markings/sec, 50 secs
lola: 169942 markings, 183206 edges, 2929 markings/sec, 55 secs
lola: 184485 markings, 199088 edges, 2909 markings/sec, 60 secs
lola: 198462 markings, 214296 edges, 2795 markings/sec, 65 secs
lola: 213042 markings, 230168 edges, 2916 markings/sec, 70 secs
lola: 227725 markings, 246118 edges, 2937 markings/sec, 75 secs
lola: 242327 markings, 262461 edges, 2920 markings/sec, 80 secs
lola: 257013 markings, 278543 edges, 2937 markings/sec, 85 secs
lola: 271624 markings, 294542 edges, 2922 markings/sec, 90 secs
lola: 285981 markings, 310591 edges, 2871 markings/sec, 95 secs
lola: 300431 markings, 326253 edges, 2890 markings/sec, 100 secs
lola: 315072 markings, 342046 edges, 2928 markings/sec, 105 secs
lola: 329690 markings, 358186 edges, 2924 markings/sec, 110 secs
lola: 344333 markings, 374246 edges, 2929 markings/sec, 115 secs
lola: 358882 markings, 390214 edges, 2910 markings/sec, 120 secs
lola: 373503 markings, 406387 edges, 2924 markings/sec, 125 secs
lola: 388138 markings, 422818 edges, 2927 markings/sec, 130 secs
lola: 402635 markings, 439102 edges, 2899 markings/sec, 135 secs
lola: 417131 markings, 455848 edges, 2899 markings/sec, 140 secs
lola: 431791 markings, 471904 edges, 2932 markings/sec, 145 secs
lola: 446383 markings, 488265 edges, 2918 markings/sec, 150 secs
lola: 461024 markings, 504338 edges, 2928 markings/sec, 155 secs
lola: 475691 markings, 520421 edges, 2933 markings/sec, 160 secs
lola: 490296 markings, 536455 edges, 2921 markings/sec, 165 secs
lola: 504821 markings, 552489 edges, 2905 markings/sec, 170 secs
lola: 519521 markings, 568722 edges, 2940 markings/sec, 175 secs
lola: 534171 markings, 584858 edges, 2930 markings/sec, 180 secs
lola: 548736 markings, 600882 edges, 2913 markings/sec, 185 secs
lola: 563433 markings, 616956 edges, 2939 markings/sec, 190 secs
lola: 577973 markings, 633507 edges, 2908 markings/sec, 195 secs
lola: 592642 markings, 649584 edges, 2934 markings/sec, 200 secs
lola: 607306 markings, 666126 edges, 2933 markings/sec, 205 secs
lola: 621934 markings, 683003 edges, 2926 markings/sec, 210 secs
lola: 636532 markings, 699778 edges, 2920 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 1494718250714

--------------------
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="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/PolyORBLF-PT-S04J06T10.tgz
mv 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 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 r048-smll-149440870000497"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;