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 PolyORBNT-PT-S10J20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926200137
=====================================================================

--------------------
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 PolyORBNT-COL-S10J20-UpperBounds-0
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-1
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-10
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-11
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-12
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-13
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-14
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-15
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-2
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-3
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-4
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-5
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-6
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-7
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-8
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494726291779


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-PT-S10J20 @ 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: 12234/65536 symbol table entries, 4634 collisions
lola: preprocessing...
lola: finding significant places
lola: 474 places, 11760 transitions, 402 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1898 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J20-UpperBounds.task
lola: MAX(CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_16_6 + CreatedJobs_16_7 + CreatedJobs_16_8 + CreatedJobs_16_9 + CreatedJobs_20_10 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_0_6 + CreatedJobs_0_7 + CreatedJobs_0_8 + CreatedJobs_0_9 + CreatedJobs_17_1 + CreatedJobs_17_2 + CreatedJobs_17_3 + CreatedJobs_17_4 + CreatedJobs_17_5 + CreatedJobs_17_6 + CreatedJobs_17_7 + CreatedJobs_17_8 + CreatedJobs_17_9 + CreatedJobs_3_10 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_1_3 + CreatedJobs_1_4 + CreatedJobs_1_5 + CreatedJobs_1_6 + CreatedJobs_1_7 + CreatedJobs_1_8 + CreatedJobs_1_9 + CreatedJobs_13_10 + CreatedJobs_18_1 + CreatedJobs_18_2 + CreatedJobs_18_3 + CreatedJobs_18_4 + CreatedJobs_18_5 + CreatedJobs_18_6 + CreatedJobs_18_7 + CreatedJobs_18_8 + CreatedJobs_18_9 + CreatedJobs_2_1 + CreatedJobs_2_2 + CreatedJobs_2_3 + CreatedJobs_2_4 + CreatedJobs_2_5 + CreatedJobs_2_6 + CreatedJobs_2_7 + CreatedJobs_2_8 + CreatedJobs_2_9 + CreatedJobs_8_10 + CreatedJobs_18_10 + CreatedJobs_19_1 + CreatedJobs_19_2 + CreatedJobs_19_3 + CreatedJobs_19_4 + CreatedJobs_19_5 + CreatedJobs_19_6 + CreatedJobs_19_7 + CreatedJobs_19_8 + CreatedJobs_19_9 + CreatedJobs_3_1 + CreatedJobs_3_2 + CreatedJobs_3_3 + CreatedJobs_3_4 + CreatedJobs_3_5 + CreatedJobs_3_6 + CreatedJobs_3_7 + CreatedJobs_3_8 + CreatedJobs_3_9 + CreatedJobs_2_10 + CreatedJobs_4_1 + CreatedJobs_4_2 + CreatedJobs_4_3 + CreatedJobs_4_4 + CreatedJobs_4_5 + CreatedJobs_4_6 + CreatedJobs_4_7 + CreatedJobs_4_8 + CreatedJobs_4_9 + CreatedJobs_12_10 + CreatedJobs_5_1 + CreatedJobs_5_2 + CreatedJobs_5_3 + CreatedJobs_5_4 + CreatedJobs_5_5 + CreatedJobs_5_6 + CreatedJobs_5_7 + CreatedJobs_5_8 + CreatedJobs_5_9 + CreatedJobs_7_10 + CreatedJobs_17_10 + CreatedJobs_6_1 + CreatedJobs_6_2 + CreatedJobs_6_3 + CreatedJobs_6_4 + CreatedJobs_6_5 + CreatedJobs_6_6 + CreatedJobs_6_7 + CreatedJobs_6_8 + CreatedJobs_6_9 + CreatedJobs_1_10 + CreatedJobs_7_1 + CreatedJobs_7_2 + CreatedJobs_7_3 + CreatedJobs_7_4 + CreatedJobs_7_5 + CreatedJobs_7_6 + CreatedJobs_7_7 + CreatedJobs_7_8 + CreatedJobs_7_9 + CreatedJobs_20_1 + CreatedJobs_20_2 + CreatedJobs_20_3 + CreatedJobs_20_4 + CreatedJobs_20_5 + CreatedJobs_20_6 + CreatedJobs_20_7 + CreatedJobs_20_8 + CreatedJobs_20_9 + CreatedJobs_11_10 + CreatedJobs_8_1 + CreatedJobs_8_2 + CreatedJobs_8_3 + CreatedJobs_8_4 + CreatedJobs_8_5 + CreatedJobs_8_6 + CreatedJobs_8_7 + CreatedJobs_8_8 + CreatedJobs_8_9 + CreatedJobs_6_10 + CreatedJobs_9_1 + CreatedJobs_9_2 + CreatedJobs_9_3 + CreatedJobs_9_4 + CreatedJobs_9_5 + CreatedJobs_9_6 + CreatedJobs_9_7 + CreatedJobs_9_8 + CreatedJobs_9_9 + CreatedJobs_0_10 + CreatedJobs_10_1 + CreatedJobs_10_2 + CreatedJobs_10_3 + CreatedJobs_10_4 + CreatedJobs_10_5 + CreatedJobs_10_6 + CreatedJobs_10_7 + CreatedJobs_10_8 + CreatedJobs_10_9 + CreatedJobs_11_1 + CreatedJobs_11_2 + CreatedJobs_11_3 + CreatedJobs_11_4 + CreatedJobs_11_5 + CreatedJobs_11_6 + CreatedJobs_11_7 + CreatedJobs_11_8 + CreatedJobs_14_8 + CreatedJobs_14_7 + CreatedJobs_5_10 + CreatedJobs_14_6 + CreatedJobs_14_5 + CreatedJobs_14_4 + CreatedJobs_14_3 + CreatedJobs_14_2 + CreatedJobs_14_1 + CreatedJobs_15_10 + CreatedJobs_12_1 + CreatedJobs_12_2 + CreatedJobs_12_3 + CreatedJobs_12_4 + CreatedJobs_12_5 + CreatedJobs_12_6 + CreatedJobs_12_7 + CreatedJobs_12_8 + CreatedJobs_13_1 + CreatedJobs_13_2 + CreatedJobs_13_3 + CreatedJobs_13_4 + CreatedJobs_13_5 + CreatedJobs_13_6 + CreatedJobs_13_7 + CreatedJobs_13_8 + CreatedJobs_13_9 + CreatedJobs_12_9 + CreatedJobs_14_9 + CreatedJobs_4_10 + CreatedJobs_14_10 + CreatedJobs_11_9 + CreatedJobs_10_10 + CreatedJobs_16_10 + CreatedJobs_15_1 + CreatedJobs_15_2 + CreatedJobs_15_3 + CreatedJobs_15_4 + CreatedJobs_15_5 + CreatedJobs_15_6 + CreatedJobs_15_7 + CreatedJobs_15_8 + CreatedJobs_15_9 + CreatedJobs_9_10 + CreatedJobs_19_10) : MAX(FetchJobB_1) : MAX(NotifyEventEndOfCheckSourcesE_1) : MAX(place_458) : MAX(Check_Sources_E_1) : MAX(ModifiedSrc_8 + ModifiedSrc_7 + ModifiedSrc_6 + ModifiedSrc_5 + ModifiedSrc_10 + ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_9) : MAX(place_482_1_10 + place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5 + place_482_1_6 + place_482_1_7 + place_482_1_8 + place_482_1_9) : MAX(place_782_1) : MAX(NotifyEventEndOfCheckSourcesB_1) : MAX(place_782_1) : MAX(place_522_1) : MAX(Try_Check_Sources_B_1) : MAX(place_523_1) : MAX(ModifiedSrc_8 + ModifiedSrc_7 + ModifiedSrc_6 + ModifiedSrc_5 + ModifiedSrc_10 + ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_9) : MAX(Schedule_Task_B_1) : MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5 + TheSour_6 + TheSour_7 + TheSour_8 + TheSour_9 + TheSour_10)
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(CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_16_6 + CreatedJobs_16_7 + CreatedJobs_16_8 + CreatedJobs_16_9 + CreatedJobs_20_10 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_0_6 + CreatedJobs_0_7 + CreatedJobs_0_8 + CreatedJobs_0_9 + CreatedJobs_17_1 + CreatedJobs_17_2 + Creat... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 4103 markings, 5724 edges, 821 markings/sec, 0 secs
lola: 8233 markings, 12764 edges, 826 markings/sec, 5 secs
lola: 12318 markings, 18015 edges, 817 markings/sec, 10 secs
lola: 16398 markings, 24993 edges, 816 markings/sec, 15 secs
lola: 20523 markings, 30273 edges, 825 markings/sec, 20 secs
lola: 24598 markings, 37243 edges, 815 markings/sec, 25 secs
lola: 28633 markings, 44165 edges, 807 markings/sec, 30 secs
lola: 32696 markings, 49372 edges, 813 markings/sec, 35 secs
lola: 36755 markings, 56330 edges, 812 markings/sec, 40 secs
lola: 40857 markings, 63334 edges, 820 markings/sec, 45 secs
lola: 44931 markings, 68547 edges, 815 markings/sec, 50 secs
lola: 49006 markings, 75523 edges, 815 markings/sec, 55 secs
lola: 53113 markings, 82535 edges, 821 markings/sec, 60 secs
lola: 57203 markings, 87763 edges, 818 markings/sec, 65 secs
lola: 61276 markings, 94737 edges, 815 markings/sec, 70 secs
lola: 65335 markings, 101694 edges, 812 markings/sec, 75 secs
lola: 69425 markings, 108689 edges, 818 markings/sec, 80 secs
lola: 73495 markings, 113896 edges, 814 markings/sec, 85 secs
lola: 77564 markings, 120868 edges, 814 markings/sec, 90 secs
lola: 81644 markings, 127851 edges, 816 markings/sec, 95 secs
lola: 85705 markings, 134815 edges, 812 markings/sec, 100 secs
lola: 89738 markings, 141746 edges, 807 markings/sec, 105 secs
lola: 93766 markings, 148663 edges, 806 markings/sec, 110 secs
lola: 97848 markings, 155651 edges, 816 markings/sec, 115 secs
lola: 101936 markings, 162639 edges, 818 markings/sec, 120 secs
lola: 106015 markings, 169613 edges, 816 markings/sec, 125 secs
lola: 110084 markings, 176579 edges, 814 markings/sec, 130 secs
lola: 114175 markings, 183574 edges, 818 markings/sec, 135 secs
lola: 118265 markings, 192313 edges, 818 markings/sec, 140 secs
lola: 122358 markings, 199315 edges, 819 markings/sec, 145 secs
lola: 126441 markings, 208078 edges, 817 markings/sec, 150 secs
lola: 130497 markings, 216788 edges, 811 markings/sec, 155 secs
lola: 134590 markings, 225532 edges, 819 markings/sec, 160 secs
lola: 138646 markings, 236730 edges, 811 markings/sec, 165 secs
lola: 142726 markings, 250837 edges, 816 markings/sec, 170 secs
lola: 146849 markings, 256111 edges, 825 markings/sec, 175 secs
lola: 150982 markings, 263150 edges, 827 markings/sec, 180 secs
lola: 155114 markings, 270186 edges, 826 markings/sec, 185 secs
lola: 159252 markings, 275497 edges, 828 markings/sec, 190 secs
lola: 163383 markings, 282541 edges, 826 markings/sec, 195 secs
lola: 167511 markings, 289599 edges, 826 markings/sec, 200 secs
lola: 171528 markings, 294746 edges, 803 markings/sec, 205 secs
lola: 175584 markings, 301677 edges, 811 markings/sec, 210 secs
lola: 179730 markings, 308753 edges, 829 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(FetchJobB_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 16047 markings, 19809 edges, 3209 markings/sec, 0 secs
lola: 28039 markings, 38730 edges, 2398 markings/sec, 5 secs
lola: 44031 markings, 58856 edges, 3198 markings/sec, 10 secs
lola: 56102 markings, 77751 edges, 2414 markings/sec, 15 secs
lola: 71981 markings, 97880 edges, 3176 markings/sec, 20 secs
lola: 84150 markings, 116771 edges, 2434 markings/sec, 25 secs
lola: 99876 markings, 137017 edges, 3145 markings/sec, 30 secs
lola: 111485 markings, 155369 edges, 2322 markings/sec, 35 secs
lola: 127981 markings, 176439 edges, 3299 markings/sec, 40 secs
lola: 138999 markings, 193570 edges, 2204 markings/sec, 45 secs
lola: 154976 markings, 214875 edges, 3195 markings/sec, 50 secs
lola: 166749 markings, 232540 edges, 2355 markings/sec, 55 secs
lola: 180920 markings, 252517 edges, 2834 markings/sec, 60 secs
lola: 195423 markings, 272177 edges, 2901 markings/sec, 65 secs
lola: 207414 markings, 290771 edges, 2398 markings/sec, 70 secs
lola: 223083 markings, 311637 edges, 3134 markings/sec, 75 secs
lola: 235482 markings, 329921 edges, 2480 markings/sec, 80 secs
lola: 248395 markings, 349576 edges, 2583 markings/sec, 85 secs
lola: 263740 markings, 370094 edges, 3069 markings/sec, 90 secs
lola: 276834 markings, 388915 edges, 2619 markings/sec, 95 secs
lola: 289422 markings, 408091 edges, 2518 markings/sec, 100 secs
lola: 303900 markings, 428651 edges, 2896 markings/sec, 105 secs
lola: 319077 markings, 450070 edges, 3035 markings/sec, 110 secs
lola: 333357 markings, 470403 edges, 2856 markings/sec, 115 secs
lola: 346817 markings, 490674 edges, 2692 markings/sec, 120 secs
lola: 360845 markings, 511502 edges, 2806 markings/sec, 125 secs
lola: 374793 markings, 532260 edges, 2790 markings/sec, 130 secs
lola: 388900 markings, 553267 edges, 2821 markings/sec, 135 secs
lola: 403481 markings, 574644 edges, 2916 markings/sec, 140 secs
lola: 418054 markings, 596053 edges, 2915 markings/sec, 145 secs
lola: 432706 markings, 617927 edges, 2930 markings/sec, 150 secs
lola: 446117 markings, 638906 edges, 2682 markings/sec, 155 secs
lola: 459917 markings, 660228 edges, 2760 markings/sec, 160 secs
lola: 474867 markings, 682843 edges, 2990 markings/sec, 165 secs
lola: 488492 markings, 704447 edges, 2725 markings/sec, 170 secs
lola: 502432 markings, 726660 edges, 2788 markings/sec, 175 secs
lola: 516606 markings, 749620 edges, 2835 markings/sec, 180 secs
lola: 531106 markings, 773155 edges, 2900 markings/sec, 185 secs
lola: 544939 markings, 796919 edges, 2767 markings/sec, 190 secs
lola: 558588 markings, 821981 edges, 2730 markings/sec, 195 secs
lola: 572225 markings, 852669 edges, 2727 markings/sec, 200 secs
lola: 588636 markings, 875120 edges, 3282 markings/sec, 205 secs
lola: 608837 markings, 899842 edges, 4040 markings/sec, 210 secs
lola: 629644 markings, 925187 edges, 4161 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(NotifyEventEndOfCheckSourcesE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 13983 markings, 17188 edges, 2797 markings/sec, 0 secs
lola: 25856 markings, 34707 edges, 2375 markings/sec, 5 secs
lola: 38299 markings, 51750 edges, 2489 markings/sec, 10 secs
lola: 51627 markings, 70014 edges, 2666 markings/sec, 15 secs
lola: 62666 markings, 86375 edges, 2208 markings/sec, 20 secs
lola: 77355 markings, 105411 edges, 2938 markings/sec, 25 secs
lola: 87490 markings, 121318 edges, 2027 markings/sec, 30 secs
lola: 102027 markings, 139887 edges, 2907 markings/sec, 35 secs
lola: 112374 markings, 156396 edges, 2069 markings/sec, 40 secs
lola: 126845 markings, 174792 edges, 2894 markings/sec, 45 secs
lola: 137258 markings, 191484 edges, 2083 markings/sec, 50 secs
lola: 151645 markings, 209695 edges, 2877 markings/sec, 55 secs
lola: 162144 markings, 226583 edges, 2100 markings/sec, 60 secs
lola: 176529 markings, 245126 edges, 2877 markings/sec, 65 secs
lola: 187039 markings, 261477 edges, 2102 markings/sec, 70 secs
lola: 200949 markings, 280292 edges, 2782 markings/sec, 75 secs
lola: 212250 markings, 297005 edges, 2260 markings/sec, 80 secs
lola: 225213 markings, 315139 edges, 2593 markings/sec, 85 secs
lola: 237681 markings, 332676 edges, 2494 markings/sec, 90 secs
lola: 248629 markings, 349841 edges, 2190 markings/sec, 95 secs
lola: 262367 markings, 367761 edges, 2748 markings/sec, 100 secs
lola: 272734 markings, 383809 edges, 2073 markings/sec, 105 secs
lola: 285330 markings, 401404 edges, 2519 markings/sec, 110 secs
lola: 297534 markings, 418593 edges, 2441 markings/sec, 115 secs
lola: 308527 markings, 435563 edges, 2199 markings/sec, 120 secs
lola: 321425 markings, 454074 edges, 2580 markings/sec, 125 secs
lola: 335025 markings, 472752 edges, 2720 markings/sec, 130 secs
lola: 346720 markings, 490556 edges, 2339 markings/sec, 135 secs
lola: 358943 markings, 509148 edges, 2445 markings/sec, 140 secs
lola: 371553 markings, 527897 edges, 2522 markings/sec, 145 secs
lola: 384641 markings, 546633 edges, 2618 markings/sec, 150 secs
lola: 397285 markings, 565365 edges, 2529 markings/sec, 155 secs
lola: 409931 markings, 584122 edges, 2529 markings/sec, 160 secs
lola: 422571 markings, 602869 edges, 2528 markings/sec, 165 secs
lola: 434719 markings, 621520 edges, 2430 markings/sec, 170 secs
lola: 446839 markings, 640340 edges, 2424 markings/sec, 175 secs
lola: 459248 markings, 659205 edges, 2482 markings/sec, 180 secs
lola: 472208 markings, 678633 edges, 2592 markings/sec, 185 secs
lola: 484631 markings, 698028 edges, 2485 markings/sec, 190 secs
lola: 496870 markings, 717513 edges, 2448 markings/sec, 195 secs
lola: 508971 markings, 737330 edges, 2420 markings/sec, 200 secs
lola: 521382 markings, 757547 edges, 2482 markings/sec, 205 secs
lola: 533863 markings, 778068 edges, 2496 markings/sec, 210 secs
lola: 546097 markings, 799200 edges, 2447 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(place_458)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 16507 markings, 20389 edges, 3301 markings/sec, 0 secs
lola: 28593 markings, 39762 edges, 2417 markings/sec, 5 secs
lola: 45188 markings, 60330 edges, 3319 markings/sec, 10 secs
lola: 57197 markings, 79537 edges, 2402 markings/sec, 15 secs
lola: 73889 markings, 100306 edges, 3338 markings/sec, 20 secs
lola: 85778 markings, 119326 edges, 2378 markings/sec, 25 secs
lola: 102525 markings, 140619 edges, 3349 markings/sec, 30 secs
lola: 113943 markings, 158306 edges, 2284 markings/sec, 35 secs
lola: 130079 markings, 179965 edges, 3227 markings/sec, 40 secs
lola: 142541 markings, 198246 edges, 2492 markings/sec, 45 secs
lola: 157422 markings, 218885 edges, 2976 markings/sec, 50 secs
lola: 171569 markings, 238531 edges, 2829 markings/sec, 55 secs
lola: 184231 markings, 258035 edges, 2532 markings/sec, 60 secs
lola: 200363 markings, 279353 edges, 3226 markings/sec, 65 secs
lola: 212895 markings, 297800 edges, 2506 markings/sec, 70 secs
lola: 226837 markings, 317939 edges, 2788 markings/sec, 75 secs
lola: 242525 markings, 339428 edges, 3138 markings/sec, 80 secs
lola: 255101 markings, 358094 edges, 2515 markings/sec, 85 secs
lola: 268528 markings, 378362 edges, 2685 markings/sec, 90 secs
lola: 284077 markings, 399299 edges, 3110 markings/sec, 95 secs
lola: 297996 markings, 419192 edges, 2784 markings/sec, 100 secs
lola: 311071 markings, 438938 edges, 2615 markings/sec, 105 secs
lola: 324601 markings, 459008 edges, 2706 markings/sec, 110 secs
lola: 339024 markings, 479620 edges, 2885 markings/sec, 115 secs
lola: 353382 markings, 500459 edges, 2872 markings/sec, 120 secs
lola: 367712 markings, 521324 edges, 2866 markings/sec, 125 secs
lola: 382067 markings, 542220 edges, 2871 markings/sec, 130 secs
lola: 395738 markings, 562733 edges, 2734 markings/sec, 135 secs
lola: 409475 markings, 583333 edges, 2747 markings/sec, 140 secs
lola: 423193 markings, 603938 edges, 2744 markings/sec, 145 secs
lola: 436456 markings, 624771 edges, 2653 markings/sec, 150 secs
lola: 450680 markings, 645883 edges, 2845 markings/sec, 155 secs
lola: 465224 markings, 667849 edges, 2909 markings/sec, 160 secs
lola: 478283 markings, 688615 edges, 2612 markings/sec, 165 secs
lola: 492643 markings, 710818 edges, 2872 markings/sec, 170 secs
lola: 506784 markings, 732911 edges, 2828 markings/sec, 175 secs
lola: 519926 markings, 754567 edges, 2628 markings/sec, 180 secs
lola: 532719 markings, 776252 edges, 2559 markings/sec, 185 secs
lola: 546040 markings, 799111 edges, 2664 markings/sec, 190 secs
lola: 559976 markings, 824241 edges, 2787 markings/sec, 195 secs
lola: 573107 markings, 855864 edges, 2626 markings/sec, 200 secs
lola: 589561 markings, 876281 edges, 3291 markings/sec, 205 secs
lola: 609434 markings, 900600 edges, 3975 markings/sec, 210 secs
lola: 629813 markings, 925403 edges, 4076 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(Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 12147 markings, 51764 edges, 2429 markings/sec, 0 secs
lola: 24500 markings, 102150 edges, 2471 markings/sec, 5 secs
lola: 36972 markings, 153580 edges, 2494 markings/sec, 10 secs
lola: 50492 markings, 208908 edges, 2704 markings/sec, 15 secs
lola: 63441 markings, 262203 edges, 2590 markings/sec, 20 secs
lola: 75925 markings, 312411 edges, 2497 markings/sec, 25 secs
lola: 88121 markings, 362379 edges, 2439 markings/sec, 30 secs
lola: 101275 markings, 416423 edges, 2631 markings/sec, 35 secs
lola: 112428 markings, 459959 edges, 2231 markings/sec, 40 secs
lola: 124241 markings, 512982 edges, 2363 markings/sec, 45 secs
lola: 135626 markings, 559627 edges, 2277 markings/sec, 50 secs
lola: 146505 markings, 603876 edges, 2176 markings/sec, 55 secs
lola: 158023 markings, 651210 edges, 2304 markings/sec, 60 secs
lola: 169446 markings, 698251 edges, 2285 markings/sec, 65 secs
lola: 180814 markings, 745067 edges, 2274 markings/sec, 70 secs
lola: 192147 markings, 792012 edges, 2267 markings/sec, 75 secs
lola: 203726 markings, 840164 edges, 2316 markings/sec, 80 secs
lola: 215264 markings, 888112 edges, 2308 markings/sec, 85 secs
lola: 226421 markings, 935415 edges, 2231 markings/sec, 90 secs
lola: 238553 markings, 985616 edges, 2426 markings/sec, 95 secs
lola: 251223 markings, 1033144 edges, 2534 markings/sec, 100 secs
lola: 264354 markings, 1082214 edges, 2626 markings/sec, 105 secs
lola: 276970 markings, 1129184 edges, 2523 markings/sec, 110 secs
lola: 289059 markings, 1176813 edges, 2418 markings/sec, 115 secs
lola: 300845 markings, 1225027 edges, 2357 markings/sec, 120 secs
lola: 312631 markings, 1273246 edges, 2357 markings/sec, 125 secs
lola: 324410 markings, 1321439 edges, 2356 markings/sec, 130 secs
lola: 336191 markings, 1369645 edges, 2356 markings/sec, 135 secs
lola: 347977 markings, 1417879 edges, 2357 markings/sec, 140 secs
lola: 359763 markings, 1466119 edges, 2357 markings/sec, 145 secs
lola: 371610 markings, 1514511 edges, 2369 markings/sec, 150 secs
lola: 383368 markings, 1562667 edges, 2352 markings/sec, 155 secs
lola: 395166 markings, 1610879 edges, 2360 markings/sec, 160 secs
lola: 407341 markings, 1660422 edges, 2435 markings/sec, 165 secs
lola: 420273 markings, 1708594 edges, 2586 markings/sec, 170 secs
lola: 432891 markings, 1755904 edges, 2524 markings/sec, 175 secs
lola: 446011 markings, 1804908 edges, 2624 markings/sec, 180 secs
lola: 458461 markings, 1851331 edges, 2490 markings/sec, 185 secs
lola: 471732 markings, 1901157 edges, 2654 markings/sec, 190 secs
lola: 484334 markings, 1947984 edges, 2520 markings/sec, 195 secs
lola: 497534 markings, 1997645 edges, 2640 markings/sec, 200 secs
lola: 510292 markings, 2045049 edges, 2552 markings/sec, 205 secs
lola: 523173 markings, 2093345 edges, 2576 markings/sec, 210 secs
lola: 536149 markings, 2141743 edges, 2595 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(ModifiedSrc_8 + ModifiedSrc_7 + ModifiedSrc_6 + ModifiedSrc_5 + ModifiedSrc_10 + ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 13805 markings, 18323 edges, 2761 markings/sec, 0 secs
lola: 25899 markings, 35974 edges, 2419 markings/sec, 5 secs
lola: 38176 markings, 52934 edges, 2455 markings/sec, 10 secs
lola: 51700 markings, 71337 edges, 2705 markings/sec, 15 secs
lola: 62501 markings, 87485 edges, 2160 markings/sec, 20 secs
lola: 77423 markings, 106725 edges, 2984 markings/sec, 25 secs
lola: 87483 markings, 122688 edges, 2012 markings/sec, 30 secs
lola: 101976 markings, 141114 edges, 2899 markings/sec, 35 secs
lola: 112047 markings, 157391 edges, 2014 markings/sec, 40 secs
lola: 125824 markings, 174766 edges, 2755 markings/sec, 45 secs
lola: 136046 markings, 191473 edges, 2044 markings/sec, 50 secs
lola: 149596 markings, 208364 edges, 2710 markings/sec, 55 secs
lola: 160274 markings, 225037 edges, 2136 markings/sec, 60 secs
lola: 173462 markings, 242272 edges, 2638 markings/sec, 65 secs
lola: 184034 markings, 259195 edges, 2114 markings/sec, 70 secs
lola: 197992 markings, 276854 edges, 2792 markings/sec, 75 secs
lola: 208816 markings, 293812 edges, 2165 markings/sec, 80 secs
lola: 223043 markings, 312789 edges, 2845 markings/sec, 85 secs
lola: 234115 markings, 329575 edges, 2214 markings/sec, 90 secs
lola: 246799 markings, 347701 edges, 2537 markings/sec, 95 secs
lola: 260121 markings, 365798 edges, 2664 markings/sec, 100 secs
lola: 271264 markings, 383038 edges, 2229 markings/sec, 105 secs
lola: 284847 markings, 401784 edges, 2717 markings/sec, 110 secs
lola: 297208 markings, 419511 edges, 2472 markings/sec, 115 secs
lola: 308790 markings, 437210 edges, 2316 markings/sec, 120 secs
lola: 321752 markings, 455782 edges, 2592 markings/sec, 125 secs
lola: 335301 markings, 474415 edges, 2710 markings/sec, 130 secs
lola: 347027 markings, 492278 edges, 2345 markings/sec, 135 secs
lola: 359242 markings, 510859 edges, 2443 markings/sec, 140 secs
lola: 371892 markings, 529674 edges, 2530 markings/sec, 145 secs
lola: 384970 markings, 548363 edges, 2616 markings/sec, 150 secs
lola: 397654 markings, 567169 edges, 2537 markings/sec, 155 secs
lola: 410318 markings, 585943 edges, 2533 markings/sec, 160 secs
lola: 422964 markings, 604714 edges, 2529 markings/sec, 165 secs
lola: 435070 markings, 623282 edges, 2421 markings/sec, 170 secs
lola: 447141 markings, 641961 edges, 2414 markings/sec, 175 secs
lola: 459417 markings, 660750 edges, 2455 markings/sec, 180 secs
lola: 472235 markings, 679985 edges, 2564 markings/sec, 185 secs
lola: 484726 markings, 699358 edges, 2498 markings/sec, 190 secs
lola: 496694 markings, 718625 edges, 2394 markings/sec, 195 secs
lola: 508957 markings, 738103 edges, 2453 markings/sec, 200 secs
lola: 521278 markings, 758210 edges, 2464 markings/sec, 205 secs
lola: 533456 markings, 778607 edges, 2436 markings/sec, 210 secs
lola: 545779 markings, 799652 edges, 2465 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(place_482_1_10 + place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5 + place_482_1_6 + place_482_1_7 + place_482_1_8 + place_482_1_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 11950 markings, 14695 edges, 2390 markings/sec, 0 secs
lola: 23328 markings, 30528 edges, 2276 markings/sec, 5 secs
lola: 33257 markings, 45285 edges, 1986 markings/sec, 10 secs
lola: 45759 markings, 61071 edges, 2500 markings/sec, 15 secs
lola: 55472 markings, 76529 edges, 1943 markings/sec, 20 secs
lola: 66996 markings, 91677 edges, 2305 markings/sec, 25 secs
lola: 78793 markings, 107683 edges, 2359 markings/sec, 30 secs
lola: 88452 markings, 122490 edges, 1932 markings/sec, 35 secs
lola: 100868 markings, 138313 edges, 2483 markings/sec, 40 secs
lola: 110454 markings, 154182 edges, 1917 markings/sec, 45 secs
lola: 122514 markings, 169199 edges, 2412 markings/sec, 50 secs
lola: 133081 markings, 184926 edges, 2113 markings/sec, 55 secs
lola: 144197 markings, 200264 edges, 2223 markings/sec, 60 secs
lola: 155791 markings, 216222 edges, 2319 markings/sec, 65 secs
lola: 165859 markings, 231446 edges, 2014 markings/sec, 70 secs
lola: 177936 markings, 247571 edges, 2415 markings/sec, 75 secs
lola: 187858 markings, 262757 edges, 1984 markings/sec, 80 secs
lola: 200075 markings, 278914 edges, 2443 markings/sec, 85 secs
lola: 209847 markings, 293880 edges, 1954 markings/sec, 90 secs
lola: 222219 markings, 310263 edges, 2474 markings/sec, 95 secs
lola: 231886 markings, 325313 edges, 1933 markings/sec, 100 secs
lola: 243845 markings, 341574 edges, 2392 markings/sec, 105 secs
lola: 254255 markings, 357039 edges, 2082 markings/sec, 110 secs
lola: 265506 markings, 373022 edges, 2250 markings/sec, 115 secs
lola: 276633 markings, 388657 edges, 2225 markings/sec, 120 secs
lola: 287154 markings, 404650 edges, 2104 markings/sec, 125 secs
lola: 299046 markings, 420599 edges, 2378 markings/sec, 130 secs
lola: 309179 markings, 436574 edges, 2027 markings/sec, 135 secs
lola: 320585 markings, 452610 edges, 2281 markings/sec, 140 secs
lola: 331836 markings, 468408 edges, 2250 markings/sec, 145 secs
lola: 342118 markings, 484453 edges, 2056 markings/sec, 150 secs
lola: 353544 markings, 500755 edges, 2285 markings/sec, 155 secs
lola: 364979 markings, 516860 edges, 2287 markings/sec, 160 secs
lola: 375434 markings, 533051 edges, 2091 markings/sec, 165 secs
lola: 386172 markings, 549522 edges, 2148 markings/sec, 170 secs
lola: 397499 markings, 565756 edges, 2265 markings/sec, 175 secs
lola: 408936 markings, 582413 edges, 2287 markings/sec, 180 secs
lola: 419978 markings, 598595 edges, 2208 markings/sec, 185 secs
lola: 430740 markings, 615125 edges, 2152 markings/sec, 190 secs
lola: 441797 markings, 631912 edges, 2211 markings/sec, 195 secs
lola: 452870 markings, 648713 edges, 2215 markings/sec, 200 secs
lola: 463988 markings, 665733 edges, 2224 markings/sec, 205 secs
lola: 474982 markings, 683021 edges, 2199 markings/sec, 210 secs
lola: 485693 markings, 700050 edges, 2142 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(place_782_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 16970 markings, 20969 edges, 3394 markings/sec, 0 secs
lola: 29335 markings, 40589 edges, 2473 markings/sec, 5 secs
lola: 46585 markings, 62156 edges, 3450 markings/sec, 10 secs
lola: 58600 markings, 81153 edges, 2403 markings/sec, 15 secs
lola: 76268 markings, 103525 edges, 3534 markings/sec, 20 secs
lola: 87981 markings, 121907 edges, 2343 markings/sec, 25 secs
lola: 104542 markings, 144011 edges, 3312 markings/sec, 30 secs
lola: 117265 markings, 162704 edges, 2545 markings/sec, 35 secs
lola: 132391 markings, 183761 edges, 3025 markings/sec, 40 secs
lola: 147091 markings, 203859 edges, 2940 markings/sec, 45 secs
lola: 160181 markings, 223808 edges, 2618 markings/sec, 50 secs
lola: 176924 markings, 245934 edges, 3349 markings/sec, 55 secs
lola: 189336 markings, 264567 edges, 2482 markings/sec, 60 secs
lola: 203997 markings, 285425 edges, 2932 markings/sec, 65 secs
lola: 219861 markings, 306622 edges, 3173 markings/sec, 70 secs
lola: 232232 markings, 325901 edges, 2474 markings/sec, 75 secs
lola: 247025 markings, 346984 edges, 2959 markings/sec, 80 secs
lola: 263030 markings, 368915 edges, 3201 markings/sec, 85 secs
lola: 276486 markings, 388489 edges, 2691 markings/sec, 90 secs
lola: 289979 markings, 408762 edges, 2699 markings/sec, 95 secs
lola: 304607 markings, 429952 edges, 2926 markings/sec, 100 secs
lola: 319885 markings, 451423 edges, 3056 markings/sec, 105 secs
lola: 334959 markings, 472658 edges, 3015 markings/sec, 110 secs
lola: 348650 markings, 493037 edges, 2738 markings/sec, 115 secs
lola: 362800 markings, 513983 edges, 2830 markings/sec, 120 secs
lola: 376980 markings, 535004 edges, 2836 markings/sec, 125 secs
lola: 391204 markings, 556169 edges, 2845 markings/sec, 130 secs
lola: 405946 markings, 577819 edges, 2948 markings/sec, 135 secs
lola: 420689 markings, 599602 edges, 2949 markings/sec, 140 secs
lola: 434382 markings, 620921 edges, 2739 markings/sec, 145 secs
lola: 448052 markings, 642220 edges, 2734 markings/sec, 150 secs
lola: 463010 markings, 664371 edges, 2992 markings/sec, 155 secs
lola: 476711 markings, 686506 edges, 2740 markings/sec, 160 secs
lola: 491784 markings, 709308 edges, 3015 markings/sec, 165 secs
lola: 505964 markings, 731619 edges, 2836 markings/sec, 170 secs
lola: 520075 markings, 754841 edges, 2822 markings/sec, 175 secs
lola: 533932 markings, 778163 edges, 2771 markings/sec, 180 secs
lola: 548341 markings, 802911 edges, 2882 markings/sec, 185 secs
lola: 562201 markings, 828725 edges, 2772 markings/sec, 190 secs
lola: 575842 markings, 859020 edges, 2728 markings/sec, 195 secs
lola: 593534 markings, 881807 edges, 3538 markings/sec, 200 secs
lola: 614665 markings, 906779 edges, 4226 markings/sec, 205 secs
lola: 634284 markings, 932106 edges, 3924 markings/sec, 210 secs
lola: 648154 markings, 953235 edges, 2774 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(NotifyEventEndOfCheckSourcesB_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 13947 markings, 17144 edges, 2789 markings/sec, 0 secs
lola: 25798 markings, 34624 edges, 2370 markings/sec, 5 secs
lola: 38227 markings, 51654 edges, 2486 markings/sec, 10 secs
lola: 51561 markings, 69905 edges, 2667 markings/sec, 15 secs
lola: 62550 markings, 86235 edges, 2198 markings/sec, 20 secs
lola: 77307 markings, 105317 edges, 2951 markings/sec, 25 secs
lola: 87422 markings, 121225 edges, 2023 markings/sec, 30 secs
lola: 101922 markings, 139741 edges, 2900 markings/sec, 35 secs
lola: 112315 markings, 156311 edges, 2079 markings/sec, 40 secs
lola: 126731 markings, 174638 edges, 2883 markings/sec, 45 secs
lola: 137183 markings, 191382 edges, 2090 markings/sec, 50 secs
lola: 151526 markings, 209523 edges, 2869 markings/sec, 55 secs
lola: 162023 markings, 226443 edges, 2099 markings/sec, 60 secs
lola: 176363 markings, 244876 edges, 2868 markings/sec, 65 secs
lola: 186870 markings, 261253 edges, 2101 markings/sec, 70 secs
lola: 200778 markings, 280046 edges, 2782 markings/sec, 75 secs
lola: 211997 markings, 296716 edges, 2244 markings/sec, 80 secs
lola: 225036 markings, 314858 edges, 2608 markings/sec, 85 secs
lola: 237442 markings, 332365 edges, 2481 markings/sec, 90 secs
lola: 248883 markings, 350141 edges, 2288 markings/sec, 95 secs
lola: 262940 markings, 368753 edges, 2811 markings/sec, 100 secs
lola: 274196 markings, 385616 edges, 2251 markings/sec, 105 secs
lola: 286588 markings, 403594 edges, 2478 markings/sec, 110 secs
lola: 300099 markings, 422120 edges, 2702 markings/sec, 115 secs
lola: 311062 markings, 438929 edges, 2193 markings/sec, 120 secs
lola: 322564 markings, 456308 edges, 2300 markings/sec, 125 secs
lola: 335833 markings, 474216 edges, 2654 markings/sec, 130 secs
lola: 347044 markings, 490951 edges, 2242 markings/sec, 135 secs
lola: 358370 markings, 508357 edges, 2265 markings/sec, 140 secs
lola: 370376 markings, 526175 edges, 2401 markings/sec, 145 secs
lola: 383229 markings, 544192 edges, 2571 markings/sec, 150 secs
lola: 395433 markings, 562217 edges, 2441 markings/sec, 155 secs
lola: 407225 markings, 579551 edges, 2358 markings/sec, 160 secs
lola: 418860 markings, 597091 edges, 2327 markings/sec, 165 secs
lola: 430572 markings, 614901 edges, 2342 markings/sec, 170 secs
lola: 442571 markings, 632946 edges, 2400 markings/sec, 175 secs
lola: 454544 markings, 651005 edges, 2395 markings/sec, 180 secs
lola: 465966 markings, 669134 edges, 2284 markings/sec, 185 secs
lola: 477329 markings, 687315 edges, 2273 markings/sec, 190 secs
lola: 489500 markings, 705759 edges, 2434 markings/sec, 195 secs
lola: 501049 markings, 724427 edges, 2310 markings/sec, 200 secs
lola: 513281 markings, 743525 edges, 2446 markings/sec, 205 secs
lola: 524959 markings, 762629 edges, 2336 markings/sec, 210 secs
lola: 536493 markings, 782345 edges, 2307 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(place_782_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 16170 markings, 19951 edges, 3234 markings/sec, 0 secs
lola: 28120 markings, 38898 edges, 2390 markings/sec, 5 secs
lola: 44189 markings, 59056 edges, 3214 markings/sec, 10 secs
lola: 56188 markings, 77928 edges, 2400 markings/sec, 15 secs
lola: 72192 markings, 98137 edges, 3201 markings/sec, 20 secs
lola: 84309 markings, 117089 edges, 2423 markings/sec, 25 secs
lola: 100091 markings, 137295 edges, 3156 markings/sec, 30 secs
lola: 112294 markings, 156290 edges, 2441 markings/sec, 35 secs
lola: 129004 markings, 178225 edges, 3342 markings/sec, 40 secs
lola: 140195 markings, 195246 edges, 2238 markings/sec, 45 secs
lola: 155836 markings, 216286 edges, 3128 markings/sec, 50 secs
lola: 168348 markings, 234521 edges, 2502 markings/sec, 55 secs
lola: 181841 markings, 254126 edges, 2699 markings/sec, 60 secs
lola: 197074 markings, 274320 edges, 3047 markings/sec, 65 secs
lola: 208752 markings, 292376 edges, 2336 markings/sec, 70 secs
lola: 224053 markings, 313210 edges, 3060 markings/sec, 75 secs
lola: 237219 markings, 332099 edges, 2633 markings/sec, 80 secs
lola: 249837 markings, 351258 edges, 2524 markings/sec, 85 secs
lola: 264788 markings, 371811 edges, 2990 markings/sec, 90 secs
lola: 278703 markings, 391292 edges, 2783 markings/sec, 95 secs
lola: 290955 markings, 410084 edges, 2450 markings/sec, 100 secs
lola: 304813 markings, 430357 edges, 2772 markings/sec, 105 secs
lola: 319576 markings, 450878 edges, 2953 markings/sec, 110 secs
lola: 333455 markings, 470532 edges, 2776 markings/sec, 115 secs
lola: 346222 markings, 489917 edges, 2553 markings/sec, 120 secs
lola: 359459 markings, 509783 edges, 2647 markings/sec, 125 secs
lola: 372905 markings, 529607 edges, 2689 markings/sec, 130 secs
lola: 387226 markings, 550831 edges, 2864 markings/sec, 135 secs
lola: 401578 markings, 572243 edges, 2870 markings/sec, 140 secs
lola: 416313 markings, 593816 edges, 2947 markings/sec, 145 secs
lola: 431063 markings, 615546 edges, 2950 markings/sec, 150 secs
lola: 445274 markings, 637394 edges, 2842 markings/sec, 155 secs
lola: 458832 markings, 658665 edges, 2712 markings/sec, 160 secs
lola: 474116 markings, 681429 edges, 3057 markings/sec, 165 secs
lola: 487415 markings, 702872 edges, 2660 markings/sec, 170 secs
lola: 501658 markings, 725625 edges, 2849 markings/sec, 175 secs
lola: 515890 markings, 748395 edges, 2846 markings/sec, 180 secs
lola: 530596 markings, 772107 edges, 2941 markings/sec, 185 secs
lola: 544625 markings, 796322 edges, 2806 markings/sec, 190 secs
lola: 558255 markings, 821341 edges, 2726 markings/sec, 195 secs
lola: 571939 markings, 851499 edges, 2737 markings/sec, 200 secs
lola: 588290 markings, 874668 edges, 3270 markings/sec, 205 secs
lola: 607903 markings, 898779 edges, 3923 markings/sec, 210 secs
lola: 628857 markings, 924150 edges, 4191 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(place_522_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 12982 markings, 16429 edges, 2596 markings/sec, 0 secs
lola: 25133 markings, 33943 edges, 2430 markings/sec, 5 secs
lola: 36907 markings, 50516 edges, 2355 markings/sec, 10 secs
lola: 50628 markings, 68842 edges, 2744 markings/sec, 15 secs
lola: 61062 markings, 84575 edges, 2087 markings/sec, 20 secs
lola: 75617 markings, 103078 edges, 2911 markings/sec, 25 secs
lola: 85684 markings, 119711 edges, 2013 markings/sec, 30 secs
lola: 99666 markings, 137214 edges, 2796 markings/sec, 35 secs
lola: 110277 markings, 154472 edges, 2122 markings/sec, 40 secs
lola: 124115 markings, 171698 edges, 2768 markings/sec, 45 secs
lola: 134968 markings, 188786 edges, 2171 markings/sec, 50 secs
lola: 148565 markings, 206188 edges, 2719 markings/sec, 55 secs
lola: 159732 markings, 223322 edges, 2233 markings/sec, 60 secs
lola: 173071 markings, 240918 edges, 2668 markings/sec, 65 secs
lola: 183976 markings, 258232 edges, 2181 markings/sec, 70 secs
lola: 198025 markings, 276064 edges, 2810 markings/sec, 75 secs
lola: 208552 markings, 292607 edges, 2105 markings/sec, 80 secs
lola: 222607 markings, 311282 edges, 2811 markings/sec, 85 secs
lola: 233272 markings, 327665 edges, 2133 markings/sec, 90 secs
lola: 245982 markings, 345575 edges, 2542 markings/sec, 95 secs
lola: 258750 markings, 363165 edges, 2554 markings/sec, 100 secs
lola: 269880 markings, 380445 edges, 2226 markings/sec, 105 secs
lola: 283537 markings, 398864 edges, 2731 markings/sec, 110 secs
lola: 294976 markings, 415800 edges, 2288 markings/sec, 115 secs
lola: 306589 markings, 433529 edges, 2323 markings/sec, 120 secs
lola: 319801 markings, 451712 edges, 2642 markings/sec, 125 secs
lola: 332065 markings, 469181 edges, 2453 markings/sec, 130 secs
lola: 343372 markings, 486847 edges, 2261 markings/sec, 135 secs
lola: 355796 markings, 505396 edges, 2485 markings/sec, 140 secs
lola: 368825 markings, 523652 edges, 2606 markings/sec, 145 secs
lola: 381951 markings, 542499 edges, 2625 markings/sec, 150 secs
lola: 393920 markings, 560209 edges, 2394 markings/sec, 155 secs
lola: 406024 markings, 578385 edges, 2421 markings/sec, 160 secs
lola: 418161 markings, 596664 edges, 2427 markings/sec, 165 secs
lola: 430380 markings, 615125 edges, 2444 markings/sec, 170 secs
lola: 442878 markings, 633833 edges, 2500 markings/sec, 175 secs
lola: 455302 markings, 652850 edges, 2485 markings/sec, 180 secs
lola: 466834 markings, 671132 edges, 2306 markings/sec, 185 secs
lola: 478831 markings, 690032 edges, 2399 markings/sec, 190 secs
lola: 491692 markings, 709507 edges, 2572 markings/sec, 195 secs
lola: 503272 markings, 728504 edges, 2316 markings/sec, 200 secs
lola: 515365 markings, 748170 edges, 2419 markings/sec, 205 secs
lola: 527545 markings, 768046 edges, 2436 markings/sec, 210 secs
lola: 539955 markings, 788451 edges, 2482 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(Try_Check_Sources_B_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 16789 markings, 20746 edges, 3358 markings/sec, 0 secs
lola: 28913 markings, 40119 edges, 2425 markings/sec, 5 secs
lola: 45168 markings, 60310 edges, 3251 markings/sec, 10 secs
lola: 56352 markings, 78341 edges, 2237 markings/sec, 15 secs
lola: 72957 markings, 99114 edges, 3321 markings/sec, 20 secs
lola: 85156 markings, 118616 edges, 2440 markings/sec, 25 secs
lola: 101893 markings, 139712 edges, 3347 markings/sec, 30 secs
lola: 113513 markings, 157767 edges, 2324 markings/sec, 35 secs
lola: 129821 markings, 179564 edges, 3262 markings/sec, 40 secs
lola: 142191 markings, 197806 edges, 2474 markings/sec, 45 secs
lola: 157165 markings, 218495 edges, 2995 markings/sec, 50 secs
lola: 171632 markings, 238609 edges, 2893 markings/sec, 55 secs
lola: 184629 markings, 258497 edges, 2599 markings/sec, 60 secs
lola: 200890 markings, 280218 edges, 3252 markings/sec, 65 secs
lola: 214313 markings, 299567 edges, 2685 markings/sec, 70 secs
lola: 227840 markings, 319928 edges, 2705 markings/sec, 75 secs
lola: 243816 markings, 341540 edges, 3195 markings/sec, 80 secs
lola: 257833 markings, 361528 edges, 2803 markings/sec, 85 secs
lola: 270970 markings, 381340 edges, 2627 markings/sec, 90 secs
lola: 286079 markings, 402710 edges, 3022 markings/sec, 95 secs
lola: 301330 markings, 424310 edges, 3050 markings/sec, 100 secs
lola: 315578 markings, 444671 edges, 2850 markings/sec, 105 secs
lola: 329061 markings, 464910 edges, 2697 markings/sec, 110 secs
lola: 342806 markings, 485392 edges, 2749 markings/sec, 115 secs
lola: 357179 markings, 506592 edges, 2875 markings/sec, 120 secs
lola: 371522 markings, 527861 edges, 2869 markings/sec, 125 secs
lola: 385859 markings, 549163 edges, 2867 markings/sec, 130 secs
lola: 400198 markings, 570173 edges, 2868 markings/sec, 135 secs
lola: 414572 markings, 591633 edges, 2875 markings/sec, 140 secs
lola: 429376 markings, 613354 edges, 2961 markings/sec, 145 secs
lola: 444286 markings, 635737 edges, 2982 markings/sec, 150 secs
lola: 457697 markings, 656664 edges, 2682 markings/sec, 155 secs
lola: 472459 markings, 678982 edges, 2952 markings/sec, 160 secs
lola: 486102 markings, 701052 edges, 2729 markings/sec, 165 secs
lola: 500622 markings, 723579 edges, 2904 markings/sec, 170 secs
lola: 514721 markings, 746345 edges, 2820 markings/sec, 175 secs
lola: 528895 markings, 769703 edges, 2835 markings/sec, 180 secs
lola: 542990 markings, 793715 edges, 2819 markings/sec, 185 secs
lola: 557233 markings, 819114 edges, 2849 markings/sec, 190 secs
lola: 570919 markings, 848407 edges, 2737 markings/sec, 195 secs
lola: 586906 markings, 872928 edges, 3197 markings/sec, 200 secs
lola: 606963 markings, 897628 edges, 4011 markings/sec, 205 secs
lola: 627962 markings, 923003 edges, 4200 markings/sec, 210 secs
lola: 643092 markings, 945357 edges, 3026 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(place_523_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 15515 markings, 19115 edges, 3103 markings/sec, 0 secs
lola: 27373 markings, 37387 edges, 2372 markings/sec, 5 secs
lola: 41844 markings, 56123 edges, 2894 markings/sec, 10 secs
lola: 54182 markings, 74277 edges, 2468 markings/sec, 15 secs
lola: 67962 markings, 92857 edges, 2756 markings/sec, 20 secs
lola: 81547 markings, 112175 edges, 2717 markings/sec, 25 secs
lola: 94750 markings, 130545 edges, 2641 markings/sec, 30 secs
lola: 107815 markings, 149408 edges, 2613 markings/sec, 35 secs
lola: 121645 markings, 168102 edges, 2766 markings/sec, 40 secs
lola: 134023 markings, 186581 edges, 2476 markings/sec, 45 secs
lola: 148553 markings, 205693 edges, 2906 markings/sec, 50 secs
lola: 160209 markings, 223878 edges, 2331 markings/sec, 55 secs
lola: 174824 markings, 242722 edges, 2923 markings/sec, 60 secs
lola: 186083 markings, 260239 edges, 2252 markings/sec, 65 secs
lola: 201033 markings, 280463 edges, 2990 markings/sec, 70 secs
lola: 213207 markings, 298202 edges, 2435 markings/sec, 75 secs
lola: 226391 markings, 317175 edges, 2637 markings/sec, 80 secs
lola: 240782 markings, 336708 edges, 2878 markings/sec, 85 secs
lola: 252355 markings, 354694 edges, 2315 markings/sec, 90 secs
lola: 266140 markings, 374107 edges, 2757 markings/sec, 95 secs
lola: 280455 markings, 393584 edges, 2863 markings/sec, 100 secs
lola: 292121 markings, 411754 edges, 2333 markings/sec, 105 secs
lola: 305135 markings, 431096 edges, 2603 markings/sec, 110 secs
lola: 319565 markings, 450865 edges, 2886 markings/sec, 115 secs
lola: 332881 markings, 469762 edges, 2663 markings/sec, 120 secs
lola: 345167 markings, 488576 edges, 2457 markings/sec, 125 secs
lola: 358085 markings, 507836 edges, 2584 markings/sec, 130 secs
lola: 371408 markings, 527716 edges, 2665 markings/sec, 135 secs
lola: 385024 markings, 547363 edges, 2723 markings/sec, 140 secs
lola: 398184 markings, 567031 edges, 2632 markings/sec, 145 secs
lola: 411334 markings, 586688 edges, 2630 markings/sec, 150 secs
lola: 424493 markings, 606353 edges, 2632 markings/sec, 155 secs
lola: 437522 markings, 626129 edges, 2606 markings/sec, 160 secs
lola: 451016 markings, 646303 edges, 2699 markings/sec, 165 secs
lola: 464750 markings, 666906 edges, 2747 markings/sec, 170 secs
lola: 476918 markings, 686805 edges, 2434 markings/sec, 175 secs
lola: 490710 markings, 707425 edges, 2758 markings/sec, 180 secs
lola: 503232 markings, 727985 edges, 2504 markings/sec, 185 secs
lola: 516236 markings, 748957 edges, 2601 markings/sec, 190 secs
lola: 529541 markings, 770583 edges, 2661 markings/sec, 195 secs
lola: 542310 markings, 792535 edges, 2554 markings/sec, 200 secs
lola: 555372 markings, 815782 edges, 2612 markings/sec, 205 secs
lola: 568163 markings, 841483 edges, 2558 markings/sec, 210 secs
lola: 581711 markings, 866501 edges, 2710 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(ModifiedSrc_8 + ModifiedSrc_7 + ModifiedSrc_6 + ModifiedSrc_5 + ModifiedSrc_10 + ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 13617 markings, 18103 edges, 2723 markings/sec, 0 secs
lola: 25682 markings, 35610 edges, 2413 markings/sec, 5 secs
lola: 37701 markings, 52352 edges, 2404 markings/sec, 10 secs
lola: 51301 markings, 70686 edges, 2720 markings/sec, 15 secs
lola: 61867 markings, 86483 edges, 2113 markings/sec, 20 secs
lola: 76568 markings, 105240 edges, 2940 markings/sec, 25 secs
lola: 86573 markings, 121623 edges, 2001 markings/sec, 30 secs
lola: 100711 markings, 139423 edges, 2828 markings/sec, 35 secs
lola: 111285 markings, 156519 edges, 2115 markings/sec, 40 secs
lola: 125531 markings, 174369 edges, 2849 markings/sec, 45 secs
lola: 136296 markings, 191760 edges, 2153 markings/sec, 50 secs
lola: 150505 markings, 209527 edges, 2842 markings/sec, 55 secs
lola: 161322 markings, 227016 edges, 2163 markings/sec, 60 secs
lola: 175544 markings, 245007 edges, 2844 markings/sec, 65 secs
lola: 186279 markings, 261845 edges, 2147 markings/sec, 70 secs
lola: 200458 markings, 280722 edges, 2836 markings/sec, 75 secs
lola: 211234 markings, 297138 edges, 2155 markings/sec, 80 secs
lola: 224705 markings, 315484 edges, 2694 markings/sec, 85 secs
lola: 236613 markings, 332693 edges, 2382 markings/sec, 90 secs
lola: 248299 markings, 350684 edges, 2337 markings/sec, 95 secs
lola: 262431 markings, 368993 edges, 2826 markings/sec, 100 secs
lola: 273359 markings, 385938 edges, 2186 markings/sec, 105 secs
lola: 286197 markings, 404048 edges, 2568 markings/sec, 110 secs
lola: 299220 markings, 422138 edges, 2605 markings/sec, 115 secs
lola: 310589 markings, 439675 edges, 2274 markings/sec, 120 secs
lola: 322783 markings, 457735 edges, 2439 markings/sec, 125 secs
lola: 336410 markings, 476380 edges, 2725 markings/sec, 130 secs
lola: 348351 markings, 493985 edges, 2388 markings/sec, 135 secs
lola: 360398 markings, 512310 edges, 2409 markings/sec, 140 secs
lola: 372687 markings, 530639 edges, 2458 markings/sec, 145 secs
lola: 385471 markings, 549294 edges, 2557 markings/sec, 150 secs
lola: 398006 markings, 567797 edges, 2507 markings/sec, 155 secs
lola: 410541 markings, 586336 edges, 2507 markings/sec, 160 secs
lola: 423098 markings, 604919 edges, 2511 markings/sec, 165 secs
lola: 435126 markings, 623384 edges, 2406 markings/sec, 170 secs
lola: 447155 markings, 641989 edges, 2406 markings/sec, 175 secs
lola: 459407 markings, 660736 edges, 2450 markings/sec, 180 secs
lola: 472133 markings, 679852 edges, 2545 markings/sec, 185 secs
lola: 484626 markings, 699183 edges, 2499 markings/sec, 190 secs
lola: 496453 markings, 718299 edges, 2365 markings/sec, 195 secs
lola: 508769 markings, 737718 edges, 2463 markings/sec, 200 secs
lola: 521052 markings, 757763 edges, 2457 markings/sec, 205 secs
lola: 533080 markings, 778045 edges, 2406 markings/sec, 210 secs
lola: 545441 markings, 798969 edges, 2472 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(Schedule_Task_B_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 16899 markings, 20894 edges, 3380 markings/sec, 0 secs
lola: 29190 markings, 40432 edges, 2458 markings/sec, 5 secs
lola: 46291 markings, 61768 edges, 3420 markings/sec, 10 secs
lola: 58291 markings, 80783 edges, 2400 markings/sec, 15 secs
lola: 75705 markings, 102734 edges, 3483 markings/sec, 20 secs
lola: 87439 markings, 121249 edges, 2347 markings/sec, 25 secs
lola: 104093 markings, 143273 edges, 3331 markings/sec, 30 secs
lola: 116311 markings, 161532 edges, 2444 markings/sec, 35 secs
lola: 131709 markings, 182641 edges, 3080 markings/sec, 40 secs
lola: 145748 markings, 202187 edges, 2808 markings/sec, 45 secs
lola: 159362 markings, 222241 edges, 2723 markings/sec, 50 secs
lola: 175395 markings, 243493 edges, 3207 markings/sec, 55 secs
lola: 187451 markings, 262144 edges, 2411 markings/sec, 60 secs
lola: 202821 markings, 283411 edges, 3074 markings/sec, 65 secs
lola: 217535 markings, 303604 edges, 2943 markings/sec, 70 secs
lola: 230196 markings, 323053 edges, 2532 markings/sec, 75 secs
lola: 245503 markings, 344323 edges, 3061 markings/sec, 80 secs
lola: 260657 markings, 365194 edges, 3031 markings/sec, 85 secs
lola: 273468 markings, 384713 edges, 2562 markings/sec, 90 secs
lola: 287518 markings, 405400 edges, 2810 markings/sec, 95 secs
lola: 302701 markings, 426576 edges, 3037 markings/sec, 100 secs
lola: 317828 markings, 447911 edges, 3025 markings/sec, 105 secs
lola: 331198 markings, 467585 edges, 2674 markings/sec, 110 secs
lola: 344694 markings, 487990 edges, 2699 markings/sec, 115 secs
lola: 358686 markings, 508801 edges, 2798 markings/sec, 120 secs
lola: 372878 markings, 529561 edges, 2838 markings/sec, 125 secs
lola: 387099 markings, 550668 edges, 2844 markings/sec, 130 secs
lola: 401303 markings, 571764 edges, 2841 markings/sec, 135 secs
lola: 415866 markings, 593259 edges, 2913 markings/sec, 140 secs
lola: 430440 markings, 614727 edges, 2915 markings/sec, 145 secs
lola: 444835 markings, 636644 edges, 2879 markings/sec, 150 secs
lola: 458126 markings, 657692 edges, 2658 markings/sec, 155 secs
lola: 473145 markings, 679904 edges, 3004 markings/sec, 160 secs
lola: 486536 markings, 701595 edges, 2678 markings/sec, 165 secs
lola: 500466 markings, 723262 edges, 2786 markings/sec, 170 secs
lola: 514397 markings, 745674 edges, 2786 markings/sec, 175 secs
lola: 528217 markings, 768581 edges, 2764 markings/sec, 180 secs
lola: 542327 markings, 792552 edges, 2822 markings/sec, 185 secs
lola: 556490 markings, 818011 edges, 2833 markings/sec, 190 secs
lola: 570324 markings, 846758 edges, 2767 markings/sec, 195 secs
lola: 586127 markings, 871951 edges, 3161 markings/sec, 200 secs
lola: 605911 markings, 896383 edges, 3957 markings/sec, 205 secs
lola: 626281 markings, 920896 edges, 4074 markings/sec, 210 secs
lola: 641965 markings, 943663 edges, 3137 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(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5 + TheSour_6 + TheSour_7 + TheSour_8 + TheSour_9 + TheSour_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1608 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: 15531 markings, 19142 edges, 3106 markings/sec, 0 secs
lola: 27645 markings, 37908 edges, 2423 markings/sec, 5 secs
lola: 43094 markings, 57673 edges, 3090 markings/sec, 10 secs
lola: 55462 markings, 76519 edges, 2474 markings/sec, 15 secs
lola: 70601 markings, 96160 edges, 3028 markings/sec, 20 secs
lola: 83350 markings, 115289 edges, 2550 markings/sec, 25 secs
lola: 98144 markings, 134813 edges, 2959 markings/sec, 30 secs
lola: 109982 markings, 153655 edges, 2368 markings/sec, 35 secs
lola: 126093 markings, 173786 edges, 3222 markings/sec, 40 secs
lola: 137533 markings, 191801 edges, 2288 markings/sec, 45 secs
lola: 153898 markings, 213154 edges, 3273 markings/sec, 50 secs
lola: 164786 markings, 229946 edges, 2178 markings/sec, 55 secs
lola: 179702 markings, 250472 edges, 2983 markings/sec, 60 secs
lola: 193321 markings, 269510 edges, 2724 markings/sec, 65 secs
lola: 205782 markings, 288883 edges, 2492 markings/sec, 70 secs
lola: 221933 markings, 309799 edges, 3230 markings/sec, 75 secs
lola: 233545 markings, 327522 edges, 2322 markings/sec, 80 secs
lola: 247253 markings, 347434 edges, 2742 markings/sec, 85 secs
lola: 262749 markings, 368485 edges, 3099 markings/sec, 90 secs
lola: 275262 markings, 386939 edges, 2503 markings/sec, 95 secs
lola: 288697 markings, 407220 edges, 2687 markings/sec, 100 secs
lola: 303554 markings, 428041 edges, 2971 markings/sec, 105 secs
lola: 318684 markings, 449421 edges, 3026 markings/sec, 110 secs
lola: 332563 markings, 469356 edges, 2776 markings/sec, 115 secs
lola: 345993 markings, 489626 edges, 2686 markings/sec, 120 secs
lola: 359932 markings, 510372 edges, 2788 markings/sec, 125 secs
lola: 373931 markings, 531180 edges, 2800 markings/sec, 130 secs
lola: 388085 markings, 552022 edges, 2831 markings/sec, 135 secs
lola: 402322 markings, 573186 edges, 2847 markings/sec, 140 secs
lola: 416038 markings, 593474 edges, 2743 markings/sec, 145 secs
lola: 429869 markings, 613992 edges, 2766 markings/sec, 150 secs
lola: 444019 markings, 635286 edges, 2830 markings/sec, 155 secs
lola: 456839 markings, 655058 edges, 2564 markings/sec, 160 secs
lola: 469937 markings, 675685 edges, 2620 markings/sec, 165 secs
lola: 484105 markings, 697127 edges, 2834 markings/sec, 170 secs
lola: 497272 markings, 718066 edges, 2633 markings/sec, 175 secs
lola: 510857 markings, 740108 edges, 2717 markings/sec, 180 secs
lola: 524588 markings, 762105 edges, 2746 markings/sec, 185 secs
lola: 537526 markings, 784405 edges, 2588 markings/sec, 190 secs
lola: 551035 markings, 807691 edges, 2702 markings/sec, 195 secs
lola: 564205 markings, 832923 edges, 2634 markings/sec, 200 secs
lola: 577036 markings, 860474 edges, 2566 markings/sec, 205 secs
lola: 594089 markings, 882470 edges, 3411 markings/sec, 210 secs
lola: 613889 markings, 905898 edges, 3960 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 PolyORBNT-COL-S10J20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494729831745

--------------------
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="PolyORBNT-PT-S10J20"
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/PolyORBNT-PT-S10J20.tgz
mv PolyORBNT-PT-S10J20 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 PolyORBNT-PT-S10J20, 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 r058-smll-149440926200137"
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 ;