Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PolyORBNT-PT-S05J30, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231600101
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496318341823


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


checking for too many tokens
===========================================================================================
S_PolyORBNT-PT-S05J30: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-PT-S05J30 @ 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: 1889/65536 symbol table entries, 156 collisions
lola: preprocessing...
lola: finding significant places
lola: 489 places, 1400 transitions, 407 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 918 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J30-UpperBounds.task
lola: MAX(place_462) : MAX(place_458) : MAX(place_787_1) : MAX(mi1) : MAX(AvailableJobId_10 + AvailableJobId_11 + AvailableJobId_12 + AvailableJobId_13 + AvailableJobId_14 + AvailableJobId_15 + AvailableJobId_22 + AvailableJobId_23 + AvailableJobId_24 + AvailableJobId_25 + AvailableJobId_26 + AvailableJobId_27 + AvailableJobId_28 + AvailableJobId_9 + AvailableJobId_8 + AvailableJobId_7 + AvailableJobId_6 + AvailableJobId_5 + AvailableJobId_4 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0 + AvailableJobId_30 + AvailableJobId_29 + AvailableJobId_21 + AvailableJobId_20 + AvailableJobId_19 + AvailableJobId_18 + AvailableJobId_17 + AvailableJobId_16) : MAX(place_458) : MAX(ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_5) : MAX(mo3) : MAX(mo3) : MAX(f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_0 + f3_1 + f3_2 + f3_3 + f3_4 + f3_5 + f3_6 + f3_7 + f3_8 + f3_9) : MAX(JobCnt) : MAX(cSources) : MAX(Check_Sources_B_1) : MAX(f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_0 + f3_1 + f3_2 + f3_3 + f3_4 + f3_5 + f3_6 + f3_7 + f3_8 + f3_9) : MAX(place_520_1) : MAX(Try_Check_Sources_B_1)
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(place_462)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 101792 markings, 136435 edges, 20358 markings/sec, 0 secs
lola: 196479 markings, 272495 edges, 18937 markings/sec, 5 secs
lola: 296666 markings, 409231 edges, 20037 markings/sec, 10 secs
lola: 390567 markings, 545221 edges, 18780 markings/sec, 15 secs
lola: 490666 markings, 684590 edges, 20020 markings/sec, 20 secs
lola: 589528 markings, 822638 edges, 19772 markings/sec, 25 secs
lola: 684298 markings, 958918 edges, 18954 markings/sec, 30 secs
lola: 779685 markings, 1096158 edges, 19077 markings/sec, 35 secs
lola: 875983 markings, 1234252 edges, 19260 markings/sec, 40 secs
lola: 974704 markings, 1374761 edges, 19744 markings/sec, 45 secs
lola: 1071542 markings, 1514962 edges, 19368 markings/sec, 50 secs
lola: 1164953 markings, 1653458 edges, 18682 markings/sec, 55 secs
lola: 1262947 markings, 1794924 edges, 19599 markings/sec, 60 secs
lola: 1359443 markings, 1937207 edges, 19299 markings/sec, 65 secs
lola: 1456722 markings, 2083399 edges, 19456 markings/sec, 70 secs
lola: 1552723 markings, 2229405 edges, 19200 markings/sec, 75 secs
lola: 1649031 markings, 2376857 edges, 19262 markings/sec, 80 secs
lola: 1743840 markings, 2526620 edges, 18962 markings/sec, 85 secs
lola: 1838580 markings, 2679297 edges, 18948 markings/sec, 90 secs
lola: 1930694 markings, 2837679 edges, 18423 markings/sec, 95 secs
lola: 2021289 markings, 3020081 edges, 18119 markings/sec, 100 secs
lola: 2136209 markings, 3160477 edges, 22984 markings/sec, 105 secs
lola: 2235058 markings, 3299055 edges, 19770 markings/sec, 110 secs
lola: 2344737 markings, 3438072 edges, 21936 markings/sec, 115 secs
lola: 2446743 markings, 3574536 edges, 20401 markings/sec, 120 secs
lola: 2548957 markings, 3710804 edges, 20443 markings/sec, 125 secs
lola: 2656939 markings, 3847516 edges, 21596 markings/sec, 130 secs
lola: 2755499 markings, 3984360 edges, 19712 markings/sec, 135 secs
lola: 2866005 markings, 4123729 edges, 22101 markings/sec, 140 secs
lola: 2966237 markings, 4259421 edges, 20046 markings/sec, 145 secs
lola: 3067817 markings, 4396855 edges, 20316 markings/sec, 150 secs
lola: 3178298 markings, 4534451 edges, 22096 markings/sec, 155 secs
lola: 3276655 markings, 4672034 edges, 19671 markings/sec, 160 secs
lola: 3379106 markings, 4806747 edges, 20490 markings/sec, 165 secs
lola: 3485321 markings, 4941624 edges, 21243 markings/sec, 170 secs
lola: 3582060 markings, 5076721 edges, 19348 markings/sec, 175 secs
lola: 3684075 markings, 5210796 edges, 20403 markings/sec, 180 secs
lola: 3786179 markings, 5341354 edges, 20421 markings/sec, 185 secs
lola: 3879330 markings, 5472342 edges, 18630 markings/sec, 190 secs
lola: 3982279 markings, 5608086 edges, 20590 markings/sec, 195 secs
lola: 4089872 markings, 5745732 edges, 21519 markings/sec, 200 secs
lola: 4187758 markings, 5879294 edges, 19577 markings/sec, 205 secs
lola: 4286250 markings, 6014185 edges, 19698 markings/sec, 210 secs
lola: 4386862 markings, 6147062 edges, 20122 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(place_458)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 113339 markings, 268037 edges, 22668 markings/sec, 0 secs
lola: 230541 markings, 532575 edges, 23440 markings/sec, 5 secs
lola: 350806 markings, 789285 edges, 24053 markings/sec, 10 secs
lola: 486068 markings, 1037117 edges, 27052 markings/sec, 15 secs
lola: 599603 markings, 1260347 edges, 22707 markings/sec, 20 secs
lola: 719347 markings, 1515087 edges, 23949 markings/sec, 25 secs
lola: 851643 markings, 1764453 edges, 26459 markings/sec, 30 secs
lola: 967808 markings, 1984257 edges, 23233 markings/sec, 35 secs
lola: 1086717 markings, 2236944 edges, 23782 markings/sec, 40 secs
lola: 1215712 markings, 2485993 edges, 25799 markings/sec, 45 secs
lola: 1335548 markings, 2704373 edges, 23967 markings/sec, 50 secs
lola: 1469795 markings, 2949557 edges, 26849 markings/sec, 55 secs
lola: 1590601 markings, 3169665 edges, 24161 markings/sec, 60 secs
lola: 1722887 markings, 3411437 edges, 26457 markings/sec, 65 secs
lola: 1845111 markings, 3632688 edges, 24445 markings/sec, 70 secs
lola: 1974133 markings, 3870140 edges, 25804 markings/sec, 75 secs
lola: 2100301 markings, 4098383 edges, 25234 markings/sec, 80 secs
lola: 2225301 markings, 4328554 edges, 25000 markings/sec, 85 secs
lola: 2348833 markings, 4552171 edges, 24706 markings/sec, 90 secs
lola: 2478011 markings, 4789853 edges, 25836 markings/sec, 95 secs
lola: 2598319 markings, 5009147 edges, 24062 markings/sec, 100 secs
lola: 2730325 markings, 5250463 edges, 26401 markings/sec, 105 secs
lola: 2850419 markings, 5469663 edges, 24019 markings/sec, 110 secs
lola: 2982944 markings, 5711586 edges, 26505 markings/sec, 115 secs
lola: 3102456 markings, 5930750 edges, 23902 markings/sec, 120 secs
lola: 3233856 markings, 6169940 edges, 26280 markings/sec, 125 secs
lola: 3351963 markings, 6387824 edges, 23621 markings/sec, 130 secs
lola: 3483086 markings, 6625501 edges, 26225 markings/sec, 135 secs
lola: 3601491 markings, 6844733 edges, 23681 markings/sec, 140 secs
lola: 3724564 markings, 7068185 edges, 24615 markings/sec, 145 secs
lola: 3854862 markings, 7307329 edges, 26060 markings/sec, 150 secs
lola: 3974781 markings, 7527557 edges, 23984 markings/sec, 155 secs
lola: 4106720 markings, 7767736 edges, 26388 markings/sec, 160 secs
lola: 4225074 markings, 7986971 edges, 23671 markings/sec, 165 secs
lola: 4346255 markings, 8208449 edges, 24236 markings/sec, 170 secs
lola: 4476319 markings, 8446019 edges, 26013 markings/sec, 175 secs
lola: 4594524 markings, 8665495 edges, 23641 markings/sec, 180 secs
lola: 4718752 markings, 8890659 edges, 24846 markings/sec, 185 secs
lola: 4844436 markings, 9121945 edges, 25137 markings/sec, 190 secs
lola: 4962965 markings, 9341956 edges, 23706 markings/sec, 195 secs
lola: 5083196 markings, 9561641 edges, 24046 markings/sec, 200 secs
lola: 5211228 markings, 9795723 edges, 25606 markings/sec, 205 secs
lola: 5329288 markings, 10014646 edges, 23612 markings/sec, 210 secs
lola: 5449617 markings, 10235717 edges, 24066 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(place_787_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 124495 markings, 226311 edges, 24899 markings/sec, 0 secs
lola: 254832 markings, 443476 edges, 26067 markings/sec, 5 secs
lola: 369310 markings, 642696 edges, 22896 markings/sec, 10 secs
lola: 494013 markings, 864978 edges, 24941 markings/sec, 15 secs
lola: 617742 markings, 1063515 edges, 24746 markings/sec, 20 secs
lola: 736673 markings, 1277275 edges, 23786 markings/sec, 25 secs
lola: 865944 markings, 1493310 edges, 25854 markings/sec, 30 secs
lola: 981428 markings, 1684387 edges, 23097 markings/sec, 35 secs
lola: 1108547 markings, 1888599 edges, 25424 markings/sec, 40 secs
lola: 1230529 markings, 2086995 edges, 24396 markings/sec, 45 secs
lola: 1346564 markings, 2277779 edges, 23207 markings/sec, 50 secs
lola: 1476475 markings, 2486327 edges, 25982 markings/sec, 55 secs
lola: 1592120 markings, 2675900 edges, 23129 markings/sec, 60 secs
lola: 1709176 markings, 2868295 edges, 23411 markings/sec, 65 secs
lola: 1834786 markings, 3070904 edges, 25122 markings/sec, 70 secs
lola: 1956332 markings, 3268723 edges, 24309 markings/sec, 75 secs
lola: 2072674 markings, 3461756 edges, 23268 markings/sec, 80 secs
lola: 2191035 markings, 3654707 edges, 23672 markings/sec, 85 secs
lola: 2318574 markings, 3859010 edges, 25508 markings/sec, 90 secs
lola: 2433386 markings, 4048622 edges, 22962 markings/sec, 95 secs
lola: 2549028 markings, 4239575 edges, 23128 markings/sec, 100 secs
lola: 2668809 markings, 4435534 edges, 23956 markings/sec, 105 secs
lola: 2796244 markings, 4641452 edges, 25487 markings/sec, 110 secs
lola: 2914166 markings, 4834139 edges, 23584 markings/sec, 115 secs
lola: 3030049 markings, 5025855 edges, 23177 markings/sec, 120 secs
lola: 3146307 markings, 5218246 edges, 23252 markings/sec, 125 secs
lola: 3263396 markings, 5409749 edges, 23418 markings/sec, 130 secs
lola: 3380299 markings, 5602246 edges, 23381 markings/sec, 135 secs
lola: 3500594 markings, 5798324 edges, 24059 markings/sec, 140 secs
lola: 3621821 markings, 5996979 edges, 24245 markings/sec, 145 secs
lola: 3738188 markings, 6187523 edges, 23273 markings/sec, 150 secs
lola: 3854537 markings, 6379673 edges, 23270 markings/sec, 155 secs
lola: 3971164 markings, 6572153 edges, 23325 markings/sec, 160 secs
lola: 4087083 markings, 6763529 edges, 23184 markings/sec, 165 secs
lola: 4204895 markings, 6958434 edges, 23562 markings/sec, 170 secs
lola: 4320393 markings, 7150759 edges, 23100 markings/sec, 175 secs
lola: 4433539 markings, 7339394 edges, 22629 markings/sec, 180 secs
lola: 4549651 markings, 7532764 edges, 23222 markings/sec, 185 secs
lola: 4666509 markings, 7727208 edges, 23372 markings/sec, 190 secs
lola: 4785066 markings, 7922595 edges, 23711 markings/sec, 195 secs
lola: 4900503 markings, 8115773 edges, 23087 markings/sec, 200 secs
lola: 5016463 markings, 8311312 edges, 23192 markings/sec, 205 secs
lola: 5138170 markings, 8512008 edges, 24341 markings/sec, 210 secs
lola: 5249399 markings, 8701073 edges, 22246 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(mi1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 39466 markings, 96834 edges, 7893 markings/sec, 0 secs
lola: 78713 markings, 189417 edges, 7849 markings/sec, 5 secs
lola: 117792 markings, 281893 edges, 7816 markings/sec, 10 secs
lola: 156865 markings, 375367 edges, 7815 markings/sec, 15 secs
lola: 198212 markings, 474019 edges, 8269 markings/sec, 20 secs
lola: 241626 markings, 570729 edges, 8683 markings/sec, 25 secs
lola: 285019 markings, 667856 edges, 8679 markings/sec, 30 secs
lola: 328122 markings, 766244 edges, 8621 markings/sec, 35 secs
lola: 375425 markings, 866495 edges, 9461 markings/sec, 40 secs
lola: 430247 markings, 962477 edges, 10964 markings/sec, 45 secs
lola: 484508 markings, 1064852 edges, 10852 markings/sec, 50 secs
lola: 524545 markings, 1166370 edges, 8007 markings/sec, 55 secs
lola: 567799 markings, 1259552 edges, 8651 markings/sec, 60 secs
lola: 611075 markings, 1353173 edges, 8655 markings/sec, 65 secs
lola: 654208 markings, 1447911 edges, 8627 markings/sec, 70 secs
lola: 698736 markings, 1547331 edges, 8906 markings/sec, 75 secs
lola: 753564 markings, 1642951 edges, 10966 markings/sec, 80 secs
lola: 808180 markings, 1741085 edges, 10923 markings/sec, 85 secs
lola: 850781 markings, 1846428 edges, 8520 markings/sec, 90 secs
lola: 893641 markings, 1938596 edges, 8572 markings/sec, 95 secs
lola: 936504 markings, 2031402 edges, 8573 markings/sec, 100 secs
lola: 979388 markings, 2125202 edges, 8577 markings/sec, 105 secs
lola: 1022538 markings, 2223993 edges, 8630 markings/sec, 110 secs
lola: 1076463 markings, 2319499 edges, 10785 markings/sec, 115 secs
lola: 1131075 markings, 2416674 edges, 10922 markings/sec, 120 secs
lola: 1176021 markings, 2523718 edges, 8989 markings/sec, 125 secs
lola: 1228838 markings, 2624017 edges, 10563 markings/sec, 130 secs
lola: 1282607 markings, 2725658 edges, 10754 markings/sec, 135 secs
lola: 1336868 markings, 2821797 edges, 10852 markings/sec, 140 secs
lola: 1383531 markings, 2926056 edges, 9333 markings/sec, 145 secs
lola: 1434848 markings, 3027331 edges, 10263 markings/sec, 150 secs
lola: 1487940 markings, 3129311 edges, 10618 markings/sec, 155 secs
lola: 1541775 markings, 3224257 edges, 10767 markings/sec, 160 secs
lola: 1590385 markings, 3326481 edges, 9722 markings/sec, 165 secs
lola: 1639273 markings, 3427797 edges, 9778 markings/sec, 170 secs
lola: 1692058 markings, 3530819 edges, 10557 markings/sec, 175 secs
lola: 1745445 markings, 3624766 edges, 10677 markings/sec, 180 secs
lola: 1796547 markings, 3725778 edges, 10220 markings/sec, 185 secs
lola: 1843163 markings, 3827716 edges, 9323 markings/sec, 190 secs
lola: 1895792 markings, 3931412 edges, 10526 markings/sec, 195 secs
lola: 1949366 markings, 4025685 edges, 10715 markings/sec, 200 secs
lola: 1999185 markings, 4127214 edges, 9964 markings/sec, 205 secs
lola: 2047601 markings, 4229269 edges, 9683 markings/sec, 210 secs
lola: 2100336 markings, 4331991 edges, 10547 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(AvailableJobId_10 + AvailableJobId_11 + AvailableJobId_12 + AvailableJobId_13 + AvailableJobId_14 + AvailableJobId_15 + AvailableJobId_22 + AvailableJobId_23 + AvailableJobId_24 + AvailableJobId_25 + AvailableJobId_26 + AvailableJobId_27 + AvailableJobId_28 + AvailableJobId_9 + AvailableJobId_8 + AvailableJobId_7 + AvailableJobId_6 + AvailableJobId_5 + AvailableJobId_4 + AvailableJobId_3 + Ava... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 87050 markings, 181283 edges, 17410 markings/sec, 0 secs
lola: 195432 markings, 381694 edges, 21676 markings/sec, 5 secs
lola: 314464 markings, 582080 edges, 23806 markings/sec, 10 secs
lola: 423898 markings, 763684 edges, 21887 markings/sec, 15 secs
lola: 535028 markings, 961766 edges, 22226 markings/sec, 20 secs
lola: 661858 markings, 1160889 edges, 25366 markings/sec, 25 secs
lola: 762678 markings, 1340014 edges, 20164 markings/sec, 30 secs
lola: 877723 markings, 1538355 edges, 23009 markings/sec, 35 secs
lola: 990939 markings, 1717126 edges, 22643 markings/sec, 40 secs
lola: 1118903 markings, 1912600 edges, 25593 markings/sec, 45 secs
lola: 1230443 markings, 2090880 edges, 22308 markings/sec, 50 secs
lola: 1343053 markings, 2268623 edges, 22522 markings/sec, 55 secs
lola: 1468729 markings, 2460690 edges, 25135 markings/sec, 60 secs
lola: 1579783 markings, 2638063 edges, 22211 markings/sec, 65 secs
lola: 1692683 markings, 2816719 edges, 22580 markings/sec, 70 secs
lola: 1813434 markings, 3004211 edges, 24150 markings/sec, 75 secs
lola: 1914201 markings, 3162454 edges, 20153 markings/sec, 80 secs
lola: 1966170 markings, 3242392 edges, 10394 markings/sec, 85 secs
lola: 2002612 markings, 3303862 edges, 7288 markings/sec, 90 secs
lola: 2051908 markings, 3380368 edges, 9859 markings/sec, 95 secs
lola: 2102726 markings, 3457268 edges, 10164 markings/sec, 100 secs
lola: 2179385 markings, 3582788 edges, 15332 markings/sec, 105 secs
lola: 2297263 markings, 3767922 edges, 23576 markings/sec, 110 secs
lola: 2422767 markings, 3962485 edges, 25101 markings/sec, 115 secs
lola: 2544252 markings, 4153010 edges, 24297 markings/sec, 120 secs
lola: 2662644 markings, 4340966 edges, 23678 markings/sec, 125 secs
lola: 2780446 markings, 4528359 edges, 23560 markings/sec, 130 secs
lola: 2898056 markings, 4715628 edges, 23522 markings/sec, 135 secs
lola: 3016024 markings, 4903236 edges, 23594 markings/sec, 140 secs
lola: 3134456 markings, 5089620 edges, 23686 markings/sec, 145 secs
lola: 3252203 markings, 5276294 edges, 23549 markings/sec, 150 secs
lola: 3370247 markings, 5463707 edges, 23609 markings/sec, 155 secs
lola: 3487582 markings, 5650016 edges, 23467 markings/sec, 160 secs
lola: 3604098 markings, 5835140 edges, 23303 markings/sec, 165 secs
lola: 3722100 markings, 6022899 edges, 23600 markings/sec, 170 secs
lola: 3839442 markings, 6210643 edges, 23468 markings/sec, 175 secs
lola: 3958041 markings, 6398596 edges, 23720 markings/sec, 180 secs
lola: 4078198 markings, 6588935 edges, 24031 markings/sec, 185 secs
lola: 4198112 markings, 6779757 edges, 23983 markings/sec, 190 secs
lola: 4308845 markings, 6960988 edges, 22147 markings/sec, 195 secs
lola: 4426764 markings, 7149819 edges, 23584 markings/sec, 200 secs
lola: 4546937 markings, 7340481 edges, 24035 markings/sec, 205 secs
lola: 4659856 markings, 7525290 edges, 22584 markings/sec, 210 secs
lola: 4782913 markings, 7721651 edges, 24611 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(place_458)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 108414 markings, 256514 edges, 21683 markings/sec, 0 secs
lola: 223757 markings, 518160 edges, 23069 markings/sec, 5 secs
lola: 342950 markings, 772058 edges, 23839 markings/sec, 10 secs
lola: 475173 markings, 1017472 edges, 26445 markings/sec, 15 secs
lola: 588702 markings, 1237250 edges, 22706 markings/sec, 20 secs
lola: 707230 markings, 1489141 edges, 23706 markings/sec, 25 secs
lola: 835825 markings, 1735996 edges, 25719 markings/sec, 30 secs
lola: 952587 markings, 1951997 edges, 23352 markings/sec, 35 secs
lola: 1070258 markings, 2201769 edges, 23534 markings/sec, 40 secs
lola: 1195483 markings, 2449665 edges, 25045 markings/sec, 45 secs
lola: 1319322 markings, 2673506 edges, 24768 markings/sec, 50 secs
lola: 1446432 markings, 2907636 edges, 25422 markings/sec, 55 secs
lola: 1575241 markings, 3140799 edges, 25762 markings/sec, 60 secs
lola: 1696334 markings, 3363892 edges, 24219 markings/sec, 65 secs
lola: 1828360 markings, 3602730 edges, 26405 markings/sec, 70 secs
lola: 1943491 markings, 3815132 edges, 23026 markings/sec, 75 secs
lola: 2074449 markings, 4051127 edges, 26192 markings/sec, 80 secs
lola: 2190311 markings, 4265805 edges, 23172 markings/sec, 85 secs
lola: 2322106 markings, 4503367 edges, 26359 markings/sec, 90 secs
lola: 2438926 markings, 4719735 edges, 23364 markings/sec, 95 secs
lola: 2570478 markings, 4957135 edges, 26310 markings/sec, 100 secs
lola: 2687175 markings, 5173030 edges, 23339 markings/sec, 105 secs
lola: 2818736 markings, 5410846 edges, 26312 markings/sec, 110 secs
lola: 2935311 markings, 5625964 edges, 23315 markings/sec, 115 secs
lola: 3058742 markings, 5849469 edges, 24686 markings/sec, 120 secs
lola: 3182384 markings, 6077179 edges, 24728 markings/sec, 125 secs
lola: 3294399 markings, 6281770 edges, 22403 markings/sec, 130 secs
lola: 3422213 markings, 6515421 edges, 25563 markings/sec, 135 secs
lola: 3539099 markings, 6729343 edges, 23377 markings/sec, 140 secs
lola: 3670161 markings, 6968366 edges, 26212 markings/sec, 145 secs
lola: 3787793 markings, 7186352 edges, 23526 markings/sec, 150 secs
lola: 3919320 markings, 7425015 edges, 26305 markings/sec, 155 secs
lola: 4035590 markings, 7639258 edges, 23254 markings/sec, 160 secs
lola: 4153981 markings, 7855715 edges, 23678 markings/sec, 165 secs
lola: 4282661 markings, 8090750 edges, 25736 markings/sec, 170 secs
lola: 4399388 markings, 8307561 edges, 23345 markings/sec, 175 secs
lola: 4523504 markings, 8532523 edges, 24823 markings/sec, 180 secs
lola: 4644914 markings, 8756063 edges, 24282 markings/sec, 185 secs
lola: 4761724 markings, 8970956 edges, 23362 markings/sec, 190 secs
lola: 4889817 markings, 9205513 edges, 25619 markings/sec, 195 secs
lola: 5006827 markings, 9420862 edges, 23402 markings/sec, 200 secs
lola: 5123489 markings, 9636053 edges, 23332 markings/sec, 205 secs
lola: 5247810 markings, 9863224 edges, 24864 markings/sec, 210 secs
lola: 5367693 markings, 10083900 edges, 23977 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(ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 119749 markings, 162346 edges, 23950 markings/sec, 0 secs
lola: 231990 markings, 318792 edges, 22448 markings/sec, 5 secs
lola: 341513 markings, 474801 edges, 21905 markings/sec, 10 secs
lola: 452732 markings, 632809 edges, 22244 markings/sec, 15 secs
lola: 572530 markings, 801176 edges, 23960 markings/sec, 20 secs
lola: 691116 markings, 967480 edges, 23717 markings/sec, 25 secs
lola: 807066 markings, 1134667 edges, 23190 markings/sec, 30 secs
lola: 923634 markings, 1302350 edges, 23314 markings/sec, 35 secs
lola: 1040183 markings, 1473074 edges, 23310 markings/sec, 40 secs
lola: 1157127 markings, 1640890 edges, 23389 markings/sec, 45 secs
lola: 1272087 markings, 1811322 edges, 22992 markings/sec, 50 secs
lola: 1392398 markings, 1986116 edges, 24062 markings/sec, 55 secs
lola: 1510877 markings, 2164238 edges, 23696 markings/sec, 60 secs
lola: 1625353 markings, 2340614 edges, 22895 markings/sec, 65 secs
lola: 1740266 markings, 2521268 edges, 22983 markings/sec, 70 secs
lola: 1855230 markings, 2706290 edges, 22993 markings/sec, 75 secs
lola: 1965488 markings, 2902396 edges, 22052 markings/sec, 80 secs
lola: 2093464 markings, 3108707 edges, 25595 markings/sec, 85 secs
lola: 2223769 markings, 3284439 edges, 26061 markings/sec, 90 secs
lola: 2361606 markings, 3463630 edges, 27567 markings/sec, 95 secs
lola: 2501330 markings, 3640214 edges, 27945 markings/sec, 100 secs
lola: 2628353 markings, 3813399 edges, 25405 markings/sec, 105 secs
lola: 2758129 markings, 3987633 edges, 25955 markings/sec, 110 secs
lola: 2893621 markings, 4165996 edges, 27098 markings/sec, 115 secs
lola: 3033856 markings, 4344495 edges, 28047 markings/sec, 120 secs
lola: 3165704 markings, 4518927 edges, 26370 markings/sec, 125 secs
lola: 3294345 markings, 4692965 edges, 25728 markings/sec, 130 secs
lola: 3422749 markings, 4865412 edges, 25681 markings/sec, 135 secs
lola: 3551678 markings, 5037622 edges, 25786 markings/sec, 140 secs
lola: 3686485 markings, 5214633 edges, 26961 markings/sec, 145 secs
lola: 3821365 markings, 5391127 edges, 26976 markings/sec, 150 secs
lola: 3955682 markings, 5567309 edges, 26863 markings/sec, 155 secs
lola: 4085845 markings, 5739826 edges, 26033 markings/sec, 160 secs
lola: 4214423 markings, 5911740 edges, 25716 markings/sec, 165 secs
lola: 4342485 markings, 6083366 edges, 25612 markings/sec, 170 secs
lola: 4469855 markings, 6254548 edges, 25474 markings/sec, 175 secs
lola: 4597315 markings, 6425148 edges, 25492 markings/sec, 180 secs
lola: 4723797 markings, 6594560 edges, 25296 markings/sec, 185 secs
lola: 4851064 markings, 6765532 edges, 25453 markings/sec, 190 secs
lola: 4976975 markings, 6936773 edges, 25182 markings/sec, 195 secs
lola: 5100558 markings, 7104778 edges, 24717 markings/sec, 200 secs
lola: 5224036 markings, 7275901 edges, 24696 markings/sec, 205 secs
lola: 5350655 markings, 7446655 edges, 25324 markings/sec, 210 secs
lola: 5480264 markings, 7619409 edges, 25922 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(mo3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 90463 markings, 188475 edges, 18093 markings/sec, 0 secs
lola: 206269 markings, 401126 edges, 23161 markings/sec, 5 secs
lola: 333022 markings, 609998 edges, 25351 markings/sec, 10 secs
lola: 443720 markings, 798891 edges, 22140 markings/sec, 15 secs
lola: 561902 markings, 1010075 edges, 23636 markings/sec, 20 secs
lola: 684335 markings, 1199428 edges, 24487 markings/sec, 25 secs
lola: 798589 markings, 1404043 edges, 22851 markings/sec, 30 secs
lola: 926093 markings, 1611093 edges, 25501 markings/sec, 35 secs
lola: 1041230 markings, 1795515 edges, 23027 markings/sec, 40 secs
lola: 1159976 markings, 1982186 edges, 23749 markings/sec, 45 secs
lola: 1290255 markings, 2181151 edges, 26056 markings/sec, 50 secs
lola: 1404715 markings, 2363868 edges, 22892 markings/sec, 55 secs
lola: 1520258 markings, 2546215 edges, 23109 markings/sec, 60 secs
lola: 1648061 markings, 2743910 edges, 25561 markings/sec, 65 secs
lola: 1767237 markings, 2930751 edges, 23835 markings/sec, 70 secs
lola: 1882585 markings, 3115086 edges, 23070 markings/sec, 75 secs
lola: 1999788 markings, 3299507 edges, 23441 markings/sec, 80 secs
lola: 2124772 markings, 3493652 edges, 24997 markings/sec, 85 secs
lola: 2245323 markings, 3682064 edges, 24110 markings/sec, 90 secs
lola: 2359810 markings, 3864509 edges, 22897 markings/sec, 95 secs
lola: 2474645 markings, 4047934 edges, 22967 markings/sec, 100 secs
lola: 2593588 markings, 4234770 edges, 23789 markings/sec, 105 secs
lola: 2711724 markings, 4421774 edges, 23627 markings/sec, 110 secs
lola: 2838383 markings, 4618324 edges, 25332 markings/sec, 115 secs
lola: 2956178 markings, 4803774 edges, 23559 markings/sec, 120 secs
lola: 3072430 markings, 4988293 edges, 23250 markings/sec, 125 secs
lola: 3188092 markings, 5172117 edges, 23132 markings/sec, 130 secs
lola: 3303574 markings, 5355870 edges, 23096 markings/sec, 135 secs
lola: 3419638 markings, 5540308 edges, 23213 markings/sec, 140 secs
lola: 3535071 markings, 5723770 edges, 23087 markings/sec, 145 secs
lola: 3650925 markings, 5907911 edges, 23171 markings/sec, 150 secs
lola: 3767442 markings, 6092892 edges, 23303 markings/sec, 155 secs
lola: 3883287 markings, 6276933 edges, 23169 markings/sec, 160 secs
lola: 4000741 markings, 6464221 edges, 23491 markings/sec, 165 secs
lola: 4111119 markings, 6643292 edges, 22076 markings/sec, 170 secs
lola: 4225985 markings, 6827643 edges, 22973 markings/sec, 175 secs
lola: 4342915 markings, 7014676 edges, 23386 markings/sec, 180 secs
lola: 4460095 markings, 7200592 edges, 23436 markings/sec, 185 secs
lola: 4570982 markings, 7382317 edges, 22177 markings/sec, 190 secs
lola: 4689147 markings, 7571250 edges, 23633 markings/sec, 195 secs
lola: 4804990 markings, 7760311 edges, 23169 markings/sec, 200 secs
lola: 4924981 markings, 7952107 edges, 23998 markings/sec, 205 secs
lola: 5031036 markings, 8127685 edges, 21211 markings/sec, 210 secs
lola: 5139506 markings, 8302429 edges, 21694 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(mo3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 90755 markings, 189081 edges, 18151 markings/sec, 0 secs
lola: 206971 markings, 402404 edges, 23243 markings/sec, 5 secs
lola: 334349 markings, 612005 edges, 25476 markings/sec, 10 secs
lola: 445368 markings, 801787 edges, 22204 markings/sec, 15 secs
lola: 563884 markings, 1013042 edges, 23703 markings/sec, 20 secs
lola: 685611 markings, 1201779 edges, 24345 markings/sec, 25 secs
lola: 800503 markings, 1407443 edges, 22978 markings/sec, 30 secs
lola: 928328 markings, 1614485 edges, 25565 markings/sec, 35 secs
lola: 1043265 markings, 1798574 edges, 22987 markings/sec, 40 secs
lola: 1161871 markings, 1985050 edges, 23721 markings/sec, 45 secs
lola: 1292169 markings, 2184105 edges, 26060 markings/sec, 50 secs
lola: 1406379 markings, 2366384 edges, 22842 markings/sec, 55 secs
lola: 1522121 markings, 2549069 edges, 23148 markings/sec, 60 secs
lola: 1649328 markings, 2746041 edges, 25441 markings/sec, 65 secs
lola: 1769633 markings, 2934386 edges, 24061 markings/sec, 70 secs
lola: 1885353 markings, 3119209 edges, 23144 markings/sec, 75 secs
lola: 2002748 markings, 3304063 edges, 23479 markings/sec, 80 secs
lola: 2126614 markings, 3496922 edges, 24773 markings/sec, 85 secs
lola: 2249175 markings, 3687949 edges, 24512 markings/sec, 90 secs
lola: 2363759 markings, 3870464 edges, 22917 markings/sec, 95 secs
lola: 2479310 markings, 4054882 edges, 23110 markings/sec, 100 secs
lola: 2597878 markings, 4241433 edges, 23714 markings/sec, 105 secs
lola: 2716198 markings, 4429006 edges, 23664 markings/sec, 110 secs
lola: 2841212 markings, 4623149 edges, 25003 markings/sec, 115 secs
lola: 2961857 markings, 4812770 edges, 24129 markings/sec, 120 secs
lola: 3073956 markings, 4990604 edges, 22420 markings/sec, 125 secs
lola: 3181617 markings, 5162316 edges, 21532 markings/sec, 130 secs
lola: 3289249 markings, 5334277 edges, 21526 markings/sec, 135 secs
lola: 3397807 markings, 5507439 edges, 21712 markings/sec, 140 secs
lola: 3505551 markings, 5679409 edges, 21549 markings/sec, 145 secs
lola: 3613689 markings, 5850195 edges, 21628 markings/sec, 150 secs
lola: 3722912 markings, 6024198 edges, 21845 markings/sec, 155 secs
lola: 3831450 markings, 6197101 edges, 21708 markings/sec, 160 secs
lola: 3939774 markings, 6369940 edges, 21665 markings/sec, 165 secs
lola: 4050439 markings, 6546946 edges, 22133 markings/sec, 170 secs
lola: 4161003 markings, 6722640 edges, 22113 markings/sec, 175 secs
lola: 4271372 markings, 6898235 edges, 22074 markings/sec, 180 secs
lola: 4381745 markings, 7074948 edges, 22075 markings/sec, 185 secs
lola: 4483181 markings, 7241180 edges, 20287 markings/sec, 190 secs
lola: 4594434 markings, 7419876 edges, 22251 markings/sec, 195 secs
lola: 4706663 markings, 7598140 edges, 22446 markings/sec, 200 secs
lola: 4815074 markings, 7776262 edges, 21682 markings/sec, 205 secs
lola: 4933070 markings, 7964783 edges, 23599 markings/sec, 210 secs
lola: 5038308 markings, 8138668 edges, 21048 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(f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_0 + f3_1 + f3_2 + f3_3 + f3_4 + f3_5 + f3_6 + f3_7 + f3_8 + f3_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 40748 markings, 99880 edges, 8150 markings/sec, 0 secs
lola: 81264 markings, 195390 edges, 8103 markings/sec, 5 secs
lola: 121611 markings, 290963 edges, 8069 markings/sec, 10 secs
lola: 161987 markings, 387955 edges, 8075 markings/sec, 15 secs
lola: 205300 markings, 489745 edges, 8663 markings/sec, 20 secs
lola: 249976 markings, 589244 edges, 8935 markings/sec, 25 secs
lola: 294767 markings, 689866 edges, 8958 markings/sec, 30 secs
lola: 339116 markings, 792319 edges, 8870 markings/sec, 35 secs
lola: 391244 markings, 894085 edges, 10426 markings/sec, 40 secs
lola: 447623 markings, 993334 edges, 11276 markings/sec, 45 secs
lola: 497887 markings, 1099907 edges, 10053 markings/sec, 50 secs
lola: 541375 markings, 1202503 edges, 8698 markings/sec, 55 secs
lola: 586384 markings, 1299683 edges, 9002 markings/sec, 60 secs
lola: 631581 markings, 1397969 edges, 9039 markings/sec, 65 secs
lola: 676408 markings, 1498561 edges, 8965 markings/sec, 70 secs
lola: 729756 markings, 1601253 edges, 10670 markings/sec, 75 secs
lola: 784684 markings, 1698066 edges, 10986 markings/sec, 80 secs
lola: 835036 markings, 1806431 edges, 10070 markings/sec, 85 secs
lola: 879091 markings, 1907239 edges, 8811 markings/sec, 90 secs
lola: 923800 markings, 2003736 edges, 8942 markings/sec, 95 secs
lola: 968695 markings, 2101752 edges, 8979 markings/sec, 100 secs
lola: 1013121 markings, 2204429 edges, 8885 markings/sec, 105 secs
lola: 1067760 markings, 2304249 edges, 10928 markings/sec, 110 secs
lola: 1124928 markings, 2405471 edges, 11434 markings/sec, 115 secs
lola: 1172794 markings, 2515351 edges, 9573 markings/sec, 120 secs
lola: 1227672 markings, 2621707 edges, 10976 markings/sec, 125 secs
lola: 1283881 markings, 2728008 edges, 11242 markings/sec, 130 secs
lola: 1340694 markings, 2828761 edges, 11363 markings/sec, 135 secs
lola: 1388573 markings, 2939869 edges, 9576 markings/sec, 140 secs
lola: 1443232 markings, 3043956 edges, 10932 markings/sec, 145 secs
lola: 1498992 markings, 3148708 edges, 11152 markings/sec, 150 secs
lola: 1555357 markings, 3248829 edges, 11273 markings/sec, 155 secs
lola: 1602730 markings, 3359186 edges, 9475 markings/sec, 160 secs
lola: 1657278 markings, 3463207 edges, 10910 markings/sec, 165 secs
lola: 1712863 markings, 3567260 edges, 11117 markings/sec, 170 secs
lola: 1768956 markings, 3666906 edges, 11219 markings/sec, 175 secs
lola: 1816205 markings, 3777200 edges, 9450 markings/sec, 180 secs
lola: 1870807 markings, 3882752 edges, 10920 markings/sec, 185 secs
lola: 1926651 markings, 3985442 edges, 11169 markings/sec, 190 secs
lola: 1982833 markings, 4086980 edges, 11236 markings/sec, 195 secs
lola: 2030442 markings, 4196661 edges, 9522 markings/sec, 200 secs
lola: 2085135 markings, 4305499 edges, 10939 markings/sec, 205 secs
lola: 2141266 markings, 4403976 edges, 11226 markings/sec, 210 secs
lola: 2194601 markings, 4509580 edges, 10667 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(JobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 41142 markings, 101043 edges, 8228 markings/sec, 0 secs
lola: 82566 markings, 199136 edges, 8285 markings/sec, 5 secs
lola: 124040 markings, 297789 edges, 8295 markings/sec, 10 secs
lola: 165639 markings, 399421 edges, 8320 markings/sec, 15 secs
lola: 208029 markings, 492859 edges, 8478 markings/sec, 20 secs
lola: 249963 markings, 579687 edges, 8387 markings/sec, 25 secs
lola: 291868 markings, 666427 edges, 8381 markings/sec, 30 secs
lola: 333713 markings, 753040 edges, 8369 markings/sec, 35 secs
lola: 375517 markings, 840084 edges, 8361 markings/sec, 40 secs
lola: 417405 markings, 927718 edges, 8378 markings/sec, 45 secs
lola: 459562 markings, 1015937 edges, 8431 markings/sec, 50 secs
lola: 501554 markings, 1105282 edges, 8398 markings/sec, 55 secs
lola: 543087 markings, 1202885 edges, 8307 markings/sec, 60 secs
lola: 584971 markings, 1301694 edges, 8377 markings/sec, 65 secs
lola: 626511 markings, 1386988 edges, 8308 markings/sec, 70 secs
lola: 668058 markings, 1471612 edges, 8309 markings/sec, 75 secs
lola: 709576 markings, 1556148 edges, 8304 markings/sec, 80 secs
lola: 751036 markings, 1641063 edges, 8292 markings/sec, 85 secs
lola: 792744 markings, 1726466 edges, 8342 markings/sec, 90 secs
lola: 834606 markings, 1812650 edges, 8372 markings/sec, 95 secs
lola: 876572 markings, 1900014 edges, 8393 markings/sec, 100 secs
lola: 918196 markings, 1990023 edges, 8325 markings/sec, 105 secs
lola: 959567 markings, 2093018 edges, 8274 markings/sec, 110 secs
lola: 1001057 markings, 2178109 edges, 8298 markings/sec, 115 secs
lola: 1042306 markings, 2262115 edges, 8250 markings/sec, 120 secs
lola: 1083534 markings, 2346089 edges, 8246 markings/sec, 125 secs
lola: 1124719 markings, 2430273 edges, 8237 markings/sec, 130 secs
lola: 1166218 markings, 2515430 edges, 8300 markings/sec, 135 secs
lola: 1207630 markings, 2600650 edges, 8282 markings/sec, 140 secs
lola: 1249041 markings, 2686523 edges, 8282 markings/sec, 145 secs
lola: 1289996 markings, 2773304 edges, 8191 markings/sec, 150 secs
lola: 1330027 markings, 2873324 edges, 8006 markings/sec, 155 secs
lola: 1370561 markings, 2950560 edges, 8107 markings/sec, 160 secs
lola: 1410982 markings, 3028086 edges, 8084 markings/sec, 165 secs
lola: 1451391 markings, 3105545 edges, 8082 markings/sec, 170 secs
lola: 1491999 markings, 3184228 edges, 8122 markings/sec, 175 secs
lola: 1532960 markings, 3264795 edges, 8192 markings/sec, 180 secs
lola: 1573223 markings, 3353153 edges, 8053 markings/sec, 185 secs
lola: 1613395 markings, 3442000 edges, 8034 markings/sec, 190 secs
lola: 1654188 markings, 3519669 edges, 8159 markings/sec, 195 secs
lola: 1694934 markings, 3597768 edges, 8149 markings/sec, 200 secs
lola: 1735789 markings, 3676561 edges, 8171 markings/sec, 205 secs
lola: 1777029 markings, 3757032 edges, 8248 markings/sec, 210 secs
lola: 1818171 markings, 3839716 edges, 8228 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(cSources)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 129502 markings, 246278 edges, 25900 markings/sec, 0 secs
lola: 259914 markings, 488991 edges, 26082 markings/sec, 5 secs
lola: 385715 markings, 716537 edges, 25160 markings/sec, 10 secs
lola: 498720 markings, 948665 edges, 22601 markings/sec, 15 secs
lola: 621473 markings, 1193906 edges, 24551 markings/sec, 20 secs
lola: 754077 markings, 1433198 edges, 26521 markings/sec, 25 secs
lola: 861402 markings, 1647875 edges, 21465 markings/sec, 30 secs
lola: 980445 markings, 1892200 edges, 23809 markings/sec, 35 secs
lola: 1113449 markings, 2131257 edges, 26601 markings/sec, 40 secs
lola: 1228954 markings, 2343463 edges, 23101 markings/sec, 45 secs
lola: 1361445 markings, 2583685 edges, 26498 markings/sec, 50 secs
lola: 1477647 markings, 2796877 edges, 23240 markings/sec, 55 secs
lola: 1607686 markings, 3033249 edges, 26008 markings/sec, 60 secs
lola: 1722951 markings, 3244187 edges, 23053 markings/sec, 65 secs
lola: 1851351 markings, 3478140 edges, 25680 markings/sec, 70 secs
lola: 1966831 markings, 3689081 edges, 23096 markings/sec, 75 secs
lola: 2096107 markings, 3925047 edges, 25855 markings/sec, 80 secs
lola: 2213060 markings, 4138832 edges, 23391 markings/sec, 85 secs
lola: 2343215 markings, 4376314 edges, 26031 markings/sec, 90 secs
lola: 2462467 markings, 4594433 edges, 23850 markings/sec, 95 secs
lola: 2594330 markings, 4834812 edges, 26373 markings/sec, 100 secs
lola: 2713534 markings, 5053132 edges, 23841 markings/sec, 105 secs
lola: 2845979 markings, 5294343 edges, 26489 markings/sec, 110 secs
lola: 2964825 markings, 5513333 edges, 23769 markings/sec, 115 secs
lola: 3096391 markings, 5751999 edges, 26313 markings/sec, 120 secs
lola: 3213923 markings, 5969858 edges, 23506 markings/sec, 125 secs
lola: 3343597 markings, 6205039 edges, 25935 markings/sec, 130 secs
lola: 3463323 markings, 6425104 edges, 23945 markings/sec, 135 secs
lola: 3584721 markings, 6647127 edges, 24280 markings/sec, 140 secs
lola: 3716052 markings, 6886745 edges, 26266 markings/sec, 145 secs
lola: 3834885 markings, 7106264 edges, 23767 markings/sec, 150 secs
lola: 3967231 markings, 7346709 edges, 26469 markings/sec, 155 secs
lola: 4084261 markings, 7562678 edges, 23406 markings/sec, 160 secs
lola: 4203973 markings, 7782092 edges, 23942 markings/sec, 165 secs
lola: 4333341 markings, 8018066 edges, 25874 markings/sec, 170 secs
lola: 4450337 markings, 8235053 edges, 23399 markings/sec, 175 secs
lola: 4569427 markings, 8452628 edges, 23818 markings/sec, 180 secs
lola: 4697766 markings, 8687204 edges, 25668 markings/sec, 185 secs
lola: 4814723 markings, 8904267 edges, 23391 markings/sec, 190 secs
lola: 4933530 markings, 9121737 edges, 23761 markings/sec, 195 secs
lola: 5060181 markings, 9353156 edges, 25330 markings/sec, 200 secs
lola: 5177424 markings, 9570473 edges, 23449 markings/sec, 205 secs
lola: 5296289 markings, 9789206 edges, 23773 markings/sec, 210 secs
lola: 5418953 markings, 10013829 edges, 24533 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(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 1628 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: 116350 markings, 211397 edges, 23270 markings/sec, 0 secs
lola: 236579 markings, 414390 edges, 24046 markings/sec, 5 secs
lola: 343202 markings, 595849 edges, 21325 markings/sec, 10 secs
lola: 458484 markings, 802172 edges, 23056 markings/sec, 15 secs
lola: 580566 markings, 1000836 edges, 24416 markings/sec, 20 secs
lola: 684141 markings, 1183067 edges, 20715 markings/sec, 25 secs
lola: 799359 markings, 1388529 edges, 23044 markings/sec, 30 secs
lola: 917455 markings, 1577160 edges, 23619 markings/sec, 35 secs
lola: 1028397 markings, 1758725 edges, 22188 markings/sec, 40 secs
lola: 1136610 markings, 1936268 edges, 21643 markings/sec, 45 secs
lola: 1256575 markings, 2127882 edges, 23993 markings/sec, 50 secs
lola: 1361220 markings, 2302677 edges, 20929 markings/sec, 55 secs
lola: 1479481 markings, 2491133 edges, 23652 markings/sec, 60 secs
lola: 1587123 markings, 2667769 edges, 21528 markings/sec, 65 secs
lola: 1694634 markings, 2844386 edges, 21502 markings/sec, 70 secs
lola: 1814862 markings, 3036607 edges, 24046 markings/sec, 75 secs
lola: 1920779 markings, 3212529 edges, 21183 markings/sec, 80 secs
lola: 2028407 markings, 3388797 edges, 21526 markings/sec, 85 secs
lola: 2147991 markings, 3580267 edges, 23917 markings/sec, 90 secs
lola: 2253660 markings, 3755836 edges, 21134 markings/sec, 95 secs
lola: 2360260 markings, 3930579 edges, 21320 markings/sec, 100 secs
lola: 2477619 markings, 4118533 edges, 23472 markings/sec, 105 secs
lola: 2586903 markings, 4299598 edges, 21857 markings/sec, 110 secs
lola: 2702683 markings, 4491489 edges, 23156 markings/sec, 115 secs
lola: 2819816 markings, 4682428 edges, 23427 markings/sec, 120 secs
lola: 2945813 markings, 4885911 edges, 25199 markings/sec, 125 secs
lola: 3061203 markings, 5074887 edges, 23078 markings/sec, 130 secs
lola: 3175507 markings, 5263861 edges, 22861 markings/sec, 135 secs
lola: 3289254 markings, 5452271 edges, 22749 markings/sec, 140 secs
lola: 3403821 markings, 5640029 edges, 22913 markings/sec, 145 secs
lola: 3519294 markings, 5830266 edges, 23095 markings/sec, 150 secs
lola: 3634089 markings, 6019660 edges, 22959 markings/sec, 155 secs
lola: 3749921 markings, 6207492 edges, 23166 markings/sec, 160 secs
lola: 3866129 markings, 6398721 edges, 23242 markings/sec, 165 secs
lola: 3978785 markings, 6584317 edges, 22531 markings/sec, 170 secs
lola: 4091646 markings, 6770619 edges, 22572 markings/sec, 175 secs
lola: 4204426 markings, 6957348 edges, 22556 markings/sec, 180 secs
lola: 4319628 markings, 7149126 edges, 23040 markings/sec, 185 secs
lola: 4432614 markings, 7337191 edges, 22597 markings/sec, 190 secs
lola: 4545164 markings, 7525126 edges, 22510 markings/sec, 195 secs
lola: 4657872 markings, 7713301 edges, 22542 markings/sec, 200 secs
lola: 4772536 markings, 7902350 edges, 22933 markings/sec, 205 secs
lola: 4888892 markings, 8094688 edges, 23271 markings/sec, 210 secs
lola: 4997483 markings, 8278750 edges, 21718 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(f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_0 + f3_1 + f3_2 + f3_3 + f3_4 + f3_5 + f3_6 + f3_7 + f3_8 + f3_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 40792 markings, 99966 edges, 8158 markings/sec, 0 secs
lola: 81105 markings, 195016 edges, 8063 markings/sec, 5 secs
lola: 121217 markings, 290014 edges, 8022 markings/sec, 10 secs
lola: 161331 markings, 386309 edges, 8023 markings/sec, 15 secs
lola: 204329 markings, 487544 edges, 8600 markings/sec, 20 secs
lola: 248745 markings, 586543 edges, 8883 markings/sec, 25 secs
lola: 293302 markings, 686556 edges, 8911 markings/sec, 30 secs
lola: 337356 markings, 788056 edges, 8811 markings/sec, 35 secs
lola: 388662 markings, 889450 edges, 10261 markings/sec, 40 secs
lola: 444441 markings, 987637 edges, 11156 markings/sec, 45 secs
lola: 495146 markings, 1092586 edges, 10141 markings/sec, 50 secs
lola: 537426 markings, 1194104 edges, 8456 markings/sec, 55 secs
lola: 581700 markings, 1289590 edges, 8855 markings/sec, 60 secs
lola: 626195 markings, 1386194 edges, 8899 markings/sec, 65 secs
lola: 670208 markings, 1484045 edges, 8803 markings/sec, 70 secs
lola: 720783 markings, 1585549 edges, 10115 markings/sec, 75 secs
lola: 776592 markings, 1683742 edges, 11162 markings/sec, 80 secs
lola: 828347 markings, 1788547 edges, 10351 markings/sec, 85 secs
lola: 870620 markings, 1889075 edges, 8455 markings/sec, 90 secs
lola: 914598 markings, 1983878 edges, 8796 markings/sec, 95 secs
lola: 958785 markings, 2079889 edges, 8837 markings/sec, 100 secs
lola: 1002883 markings, 2178055 edges, 8820 markings/sec, 105 secs
lola: 1053384 markings, 2279105 edges, 10100 markings/sec, 110 secs
lola: 1109072 markings, 2377025 edges, 11138 markings/sec, 115 secs
lola: 1160584 markings, 2481648 edges, 10302 markings/sec, 120 secs
lola: 1209490 markings, 2586382 edges, 9781 markings/sec, 125 secs
lola: 1263959 markings, 2693139 edges, 10894 markings/sec, 130 secs
lola: 1319493 markings, 2790663 edges, 11107 markings/sec, 135 secs
lola: 1372027 markings, 2894921 edges, 10507 markings/sec, 140 secs
lola: 1420043 markings, 2998829 edges, 9603 markings/sec, 145 secs
lola: 1473962 markings, 3105081 edges, 10784 markings/sec, 150 secs
lola: 1528958 markings, 3201464 edges, 10999 markings/sec, 155 secs
lola: 1582150 markings, 3304758 edges, 10638 markings/sec, 160 secs
lola: 1628755 markings, 3407906 edges, 9321 markings/sec, 165 secs
lola: 1682315 markings, 3513983 edges, 10712 markings/sec, 170 secs
lola: 1737031 markings, 3609790 edges, 10943 markings/sec, 175 secs
lola: 1791367 markings, 3712296 edges, 10867 markings/sec, 180 secs
lola: 1836849 markings, 3815876 edges, 9096 markings/sec, 185 secs
lola: 1890536 markings, 3922236 edges, 10737 markings/sec, 190 secs
lola: 1945107 markings, 4018116 edges, 10914 markings/sec, 195 secs
lola: 1996789 markings, 4120871 edges, 10336 markings/sec, 200 secs
lola: 2045651 markings, 4225603 edges, 9772 markings/sec, 205 secs
lola: 2099764 markings, 4331058 edges, 10823 markings/sec, 210 secs
lola: 2154741 markings, 4428105 edges, 10995 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(place_520_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1628 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: 129109 markings, 245561 edges, 25822 markings/sec, 0 secs
lola: 257853 markings, 485336 edges, 25749 markings/sec, 5 secs
lola: 384562 markings, 714566 edges, 25342 markings/sec, 10 secs
lola: 496684 markings, 944475 edges, 22424 markings/sec, 15 secs
lola: 619391 markings, 1190261 edges, 24541 markings/sec, 20 secs
lola: 751912 markings, 1429193 edges, 26504 markings/sec, 25 secs
lola: 858680 markings, 1642272 edges, 21354 markings/sec, 30 secs
lola: 976784 markings, 1884917 edges, 23621 markings/sec, 35 secs
lola: 1109029 markings, 2123271 edges, 26449 markings/sec, 40 secs
lola: 1224077 markings, 2334425 edges, 23010 markings/sec, 45 secs
lola: 1356081 markings, 2574033 edges, 26401 markings/sec, 50 secs
lola: 1472112 markings, 2786686 edges, 23206 markings/sec, 55 secs
lola: 1604741 markings, 3027935 edges, 26526 markings/sec, 60 secs
lola: 1720966 markings, 3240559 edges, 23245 markings/sec, 65 secs
lola: 1851981 markings, 3479325 edges, 26203 markings/sec, 70 secs
lola: 1967564 markings, 3690396 edges, 23117 markings/sec, 75 secs
lola: 2097075 markings, 3926822 edges, 25902 markings/sec, 80 secs
lola: 2213903 markings, 4140369 edges, 23366 markings/sec, 85 secs
lola: 2343465 markings, 4376783 edges, 25912 markings/sec, 90 secs
lola: 2460255 markings, 4590383 edges, 23358 markings/sec, 95 secs
lola: 2589590 markings, 4826274 edges, 25867 markings/sec, 100 secs
lola: 2705915 markings, 5039153 edges, 23265 markings/sec, 105 secs
lola: 2835672 markings, 5275698 edges, 25951 markings/sec, 110 secs
lola: 2952109 markings, 5489652 edges, 23287 markings/sec, 115 secs
lola: 3080550 markings, 5723222 edges, 25688 markings/sec, 120 secs
lola: 3195495 markings, 5935597 edges, 22989 markings/sec, 125 secs
lola: 3323498 markings, 6167384 edges, 25601 markings/sec, 130 secs
lola: 3438778 markings, 6381052 edges, 23056 markings/sec, 135 secs
lola: 3561839 markings, 6603973 edges, 24612 markings/sec, 140 secs
lola: 3685939 markings, 6832470 edges, 24820 markings/sec, 145 secs
lola: 3803213 markings, 7047380 edges, 23455 markings/sec, 150 secs
lola: 3931496 markings, 7281254 edges, 25657 markings/sec, 155 secs
lola: 4046886 markings, 7495537 edges, 23078 markings/sec, 160 secs
lola: 4171177 markings, 7720824 edges, 24858 markings/sec, 165 secs
lola: 4291837 markings, 7942957 edges, 24132 markings/sec, 170 secs
lola: 4407869 markings, 8156268 edges, 23206 markings/sec, 175 secs
lola: 4535324 markings, 8388577 edges, 25491 markings/sec, 180 secs
lola: 4650051 markings, 8601107 edges, 22945 markings/sec, 185 secs
lola: 4767125 markings, 8815890 edges, 23415 markings/sec, 190 secs
lola: 4893576 markings, 9046837 edges, 25290 markings/sec, 195 secs
lola: 5007901 markings, 9258614 edges, 22865 markings/sec, 200 secs
lola: 5123806 markings, 9471520 edges, 23181 markings/sec, 205 secs
lola: 5250247 markings, 9703574 edges, 25288 markings/sec, 210 secs
lola: 5366806 markings, 9918172 edges, 23312 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(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 1628 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: 121840 markings, 221339 edges, 24368 markings/sec, 0 secs
lola: 248347 markings, 433035 edges, 25301 markings/sec, 5 secs
lola: 359514 markings, 625025 edges, 22233 markings/sec, 10 secs
lola: 480557 markings, 842626 edges, 24209 markings/sec, 15 secs
lola: 607844 markings, 1046199 edges, 25457 markings/sec, 20 secs
lola: 716968 markings, 1241813 edges, 21825 markings/sec, 25 secs
lola: 840874 markings, 1453626 edges, 24781 markings/sec, 30 secs
lola: 953951 markings, 1639173 edges, 22615 markings/sec, 35 secs
lola: 1081898 markings, 1843436 edges, 25589 markings/sec, 40 secs
lola: 1193933 markings, 2029380 edges, 22407 markings/sec, 45 secs
lola: 1307599 markings, 2215022 edges, 22733 markings/sec, 50 secs
lola: 1431357 markings, 2412815 edges, 24752 markings/sec, 55 secs
lola: 1542438 markings, 2596888 edges, 22216 markings/sec, 60 secs
lola: 1662352 markings, 2790060 edges, 23983 markings/sec, 65 secs
lola: 1781905 markings, 2984229 edges, 23911 markings/sec, 70 secs
lola: 1893845 markings, 3169815 edges, 22388 markings/sec, 75 secs
lola: 2012922 markings, 3361440 edges, 23815 markings/sec, 80 secs
lola: 2132885 markings, 3556320 edges, 23993 markings/sec, 85 secs
lola: 2244856 markings, 3742156 edges, 22394 markings/sec, 90 secs
lola: 2357760 markings, 3926660 edges, 22581 markings/sec, 95 secs
lola: 2481646 markings, 4125149 edges, 24777 markings/sec, 100 secs
lola: 2594899 markings, 4312292 edges, 22651 markings/sec, 105 secs
lola: 2708953 markings, 4501400 edges, 22811 markings/sec, 110 secs
lola: 2824013 markings, 4689256 edges, 23012 markings/sec, 115 secs
lola: 2947411 markings, 4888753 edges, 24680 markings/sec, 120 secs
lola: 3061951 markings, 5076179 edges, 22908 markings/sec, 125 secs
lola: 3174928 markings, 5263044 edges, 22595 markings/sec, 130 secs
lola: 3287487 markings, 5449566 edges, 22512 markings/sec, 135 secs
lola: 3400870 markings, 5635283 edges, 22677 markings/sec, 140 secs
lola: 3515189 markings, 5823740 edges, 22864 markings/sec, 145 secs
lola: 3630388 markings, 6012112 edges, 23040 markings/sec, 150 secs
lola: 3749432 markings, 6206750 edges, 23809 markings/sec, 155 secs
lola: 3863342 markings, 6393944 edges, 22782 markings/sec, 160 secs
lola: 3976395 markings, 6580475 edges, 22611 markings/sec, 165 secs
lola: 4089046 markings, 6766497 edges, 22530 markings/sec, 170 secs
lola: 4205474 markings, 6959209 edges, 23286 markings/sec, 175 secs
lola: 4320478 markings, 7150746 edges, 23001 markings/sec, 180 secs
lola: 4433186 markings, 7338438 edges, 22542 markings/sec, 185 secs
lola: 4548418 markings, 7530555 edges, 23046 markings/sec, 190 secs
lola: 4664338 markings, 7723590 edges, 23184 markings/sec, 195 secs
lola: 4782358 markings, 7918060 edges, 23604 markings/sec, 200 secs
lola: 4898827 markings, 8112492 edges, 23294 markings/sec, 205 secs
lola: 5012857 markings, 8304413 edges, 22806 markings/sec, 210 secs
lola: 5137136 markings, 8510071 edges, 24856 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PolyORBNT-COL-S05J30-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496321882058

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PolyORBNT-PT-S05J30"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_PolyORBNT-PT-S05J30.tgz
mv S_PolyORBNT-PT-S05J30 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_PolyORBNT-PT-S05J30, 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 r138-smll-149479231600101"
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 ;