About the Execution of LoLA for PolyORBNT-PT-S05J30
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
3099.490 | 3539528.00 | 3546676.00 | 9977.30 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is PolyORBNT-PT-S05J30, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926100101
=====================================================================
--------------------
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 1494706729738
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 100588 markings, 134889 edges, 20118 markings/sec, 0 secs
lola: 194478 markings, 268930 edges, 18778 markings/sec, 5 secs
lola: 292443 markings, 403838 edges, 19593 markings/sec, 10 secs
lola: 385573 markings, 539406 edges, 18626 markings/sec, 15 secs
lola: 486066 markings, 677034 edges, 20099 markings/sec, 20 secs
lola: 581941 markings, 812911 edges, 19175 markings/sec, 25 secs
lola: 675605 markings, 948160 edges, 18733 markings/sec, 30 secs
lola: 770594 markings, 1084140 edges, 18998 markings/sec, 35 secs
lola: 865812 markings, 1220947 edges, 19044 markings/sec, 40 secs
lola: 962950 markings, 1360115 edges, 19428 markings/sec, 45 secs
lola: 1059936 markings, 1498273 edges, 19397 markings/sec, 50 secs
lola: 1154629 markings, 1636628 edges, 18939 markings/sec, 55 secs
lola: 1248839 markings, 1775210 edges, 18842 markings/sec, 60 secs
lola: 1343886 markings, 1916542 edges, 19009 markings/sec, 65 secs
lola: 1440688 markings, 2060829 edges, 19360 markings/sec, 70 secs
lola: 1538176 markings, 2206392 edges, 19498 markings/sec, 75 secs
lola: 1633325 markings, 2351834 edges, 19030 markings/sec, 80 secs
lola: 1726573 markings, 2499106 edges, 18650 markings/sec, 85 secs
lola: 1819827 markings, 2649466 edges, 18651 markings/sec, 90 secs
lola: 1909474 markings, 2799742 edges, 17929 markings/sec, 95 secs
lola: 1995702 markings, 2966428 edges, 17246 markings/sec, 100 secs
lola: 2098945 markings, 3115191 edges, 20649 markings/sec, 105 secs
lola: 2194982 markings, 3248445 edges, 19207 markings/sec, 110 secs
lola: 2302220 markings, 3379959 edges, 21448 markings/sec, 115 secs
lola: 2396758 markings, 3512533 edges, 18908 markings/sec, 120 secs
lola: 2508628 markings, 3649621 edges, 22374 markings/sec, 125 secs
lola: 2604608 markings, 3785486 edges, 19196 markings/sec, 130 secs
lola: 2710709 markings, 3921911 edges, 21220 markings/sec, 135 secs
lola: 2815325 markings, 4057816 edges, 20923 markings/sec, 140 secs
lola: 2914026 markings, 4194425 edges, 19740 markings/sec, 145 secs
lola: 3025557 markings, 4331646 edges, 22306 markings/sec, 150 secs
lola: 3123712 markings, 4468815 edges, 19631 markings/sec, 155 secs
lola: 3225199 markings, 4604534 edges, 20297 markings/sec, 160 secs
lola: 3333264 markings, 4739787 edges, 21613 markings/sec, 165 secs
lola: 3430020 markings, 4875755 edges, 19351 markings/sec, 170 secs
lola: 3532748 markings, 5008821 edges, 20546 markings/sec, 175 secs
lola: 3638080 markings, 5144747 edges, 21066 markings/sec, 180 secs
lola: 3736731 markings, 5282235 edges, 19730 markings/sec, 185 secs
lola: 3839198 markings, 5419576 edges, 20493 markings/sec, 190 secs
lola: 3948035 markings, 5555526 edges, 21767 markings/sec, 195 secs
lola: 4045153 markings, 5690000 edges, 19424 markings/sec, 200 secs
lola: 4144042 markings, 5824883 edges, 19778 markings/sec, 205 secs
lola: 4247726 markings, 5960650 edges, 20737 markings/sec, 210 secs
lola: 4350232 markings, 6092951 edges, 20501 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: 111903 markings, 264678 edges, 22381 markings/sec, 0 secs
lola: 227668 markings, 526404 edges, 23153 markings/sec, 5 secs
lola: 346790 markings, 780395 edges, 23824 markings/sec, 10 secs
lola: 479714 markings, 1025663 edges, 26585 markings/sec, 15 secs
lola: 592505 markings, 1245337 edges, 22558 markings/sec, 20 secs
lola: 710365 markings, 1495877 edges, 23572 markings/sec, 25 secs
lola: 838936 markings, 1741589 edges, 25714 markings/sec, 30 secs
lola: 954904 markings, 1956844 edges, 23194 markings/sec, 35 secs
lola: 1071984 markings, 2205495 edges, 23416 markings/sec, 40 secs
lola: 1196786 markings, 2452007 edges, 24960 markings/sec, 45 secs
lola: 1319630 markings, 2674072 edges, 24569 markings/sec, 50 secs
lola: 1446819 markings, 2908321 edges, 25438 markings/sec, 55 secs
lola: 1575348 markings, 3141013 edges, 25706 markings/sec, 60 secs
lola: 1696387 markings, 3363987 edges, 24208 markings/sec, 65 secs
lola: 1828338 markings, 3602691 edges, 26390 markings/sec, 70 secs
lola: 1943298 markings, 3814801 edges, 22992 markings/sec, 75 secs
lola: 2074234 markings, 4050753 edges, 26187 markings/sec, 80 secs
lola: 2189736 markings, 4264782 edges, 23100 markings/sec, 85 secs
lola: 2321258 markings, 4501804 edges, 26304 markings/sec, 90 secs
lola: 2437786 markings, 4717691 edges, 23306 markings/sec, 95 secs
lola: 2569275 markings, 4954897 edges, 26298 markings/sec, 100 secs
lola: 2684592 markings, 5168361 edges, 23063 markings/sec, 105 secs
lola: 2811761 markings, 5397798 edges, 25434 markings/sec, 110 secs
lola: 2923924 markings, 5605529 edges, 22433 markings/sec, 115 secs
lola: 3050242 markings, 5834738 edges, 25264 markings/sec, 120 secs
lola: 3162554 markings, 6041551 edges, 22462 markings/sec, 125 secs
lola: 3282382 markings, 6258660 edges, 23966 markings/sec, 130 secs
lola: 3398746 markings, 6473209 edges, 23273 markings/sec, 135 secs
lola: 3513606 markings, 6681475 edges, 22972 markings/sec, 140 secs
lola: 3636551 markings, 6907732 edges, 24589 markings/sec, 145 secs
lola: 3750699 markings, 7116977 edges, 22830 markings/sec, 150 secs
lola: 3875789 markings, 7345140 edges, 25018 markings/sec, 155 secs
lola: 3988235 markings, 7552594 edges, 22489 markings/sec, 160 secs
lola: 4113479 markings, 7780086 edges, 25049 markings/sec, 165 secs
lola: 4224971 markings, 7986815 edges, 22298 markings/sec, 170 secs
lola: 4339436 markings, 8195975 edges, 22893 markings/sec, 175 secs
lola: 4462172 markings, 8420463 edges, 24547 markings/sec, 180 secs
lola: 4574661 markings, 8627776 edges, 22498 markings/sec, 185 secs
lola: 4698756 markings, 8853747 edges, 24819 markings/sec, 190 secs
lola: 4810785 markings, 9061244 edges, 22406 markings/sec, 195 secs
lola: 4925041 markings, 9270937 edges, 22851 markings/sec, 200 secs
lola: 5048371 markings, 9496147 edges, 24666 markings/sec, 205 secs
lola: 5159750 markings, 9702836 edges, 22276 markings/sec, 210 secs
lola: 5273336 markings, 9911072 edges, 22717 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: 118982 markings, 216414 edges, 23796 markings/sec, 0 secs
lola: 243118 markings, 424983 edges, 24827 markings/sec, 5 secs
lola: 352952 markings, 613518 edges, 21967 markings/sec, 10 secs
lola: 471010 markings, 825427 edges, 23612 markings/sec, 15 secs
lola: 598126 markings, 1029476 edges, 25423 markings/sec, 20 secs
lola: 703900 markings, 1218634 edges, 21155 markings/sec, 25 secs
lola: 823898 markings, 1427206 edges, 24000 markings/sec, 30 secs
lola: 935153 markings, 1609316 edges, 22251 markings/sec, 35 secs
lola: 1059125 markings, 1807408 edges, 24794 markings/sec, 40 secs
lola: 1168581 markings, 1988690 edges, 21891 markings/sec, 45 secs
lola: 1291039 markings, 2184939 edges, 24492 markings/sec, 50 secs
lola: 1401120 markings, 2365443 edges, 22016 markings/sec, 55 secs
lola: 1510728 markings, 2545152 edges, 21922 markings/sec, 60 secs
lola: 1633863 markings, 2742037 edges, 24627 markings/sec, 65 secs
lola: 1743190 markings, 2923572 edges, 21865 markings/sec, 70 secs
lola: 1854629 markings, 3105812 edges, 22288 markings/sec, 75 secs
lola: 1976760 markings, 3301104 edges, 24426 markings/sec, 80 secs
lola: 2085749 markings, 3482261 edges, 21798 markings/sec, 85 secs
lola: 2196915 markings, 3664118 edges, 22233 markings/sec, 90 secs
lola: 2318263 markings, 3858501 edges, 24270 markings/sec, 95 secs
lola: 2426027 markings, 4037054 edges, 21553 markings/sec, 100 secs
lola: 2535080 markings, 4216241 edges, 21811 markings/sec, 105 secs
lola: 2651994 markings, 4406017 edges, 23383 markings/sec, 110 secs
lola: 2768526 markings, 4595509 edges, 23306 markings/sec, 115 secs
lola: 2878060 markings, 4777156 edges, 21907 markings/sec, 120 secs
lola: 2987948 markings, 4957700 edges, 21978 markings/sec, 125 secs
lola: 3099714 markings, 5141865 edges, 22353 markings/sec, 130 secs
lola: 3219943 markings, 5335287 edges, 24046 markings/sec, 135 secs
lola: 3328830 markings, 5514908 edges, 21777 markings/sec, 140 secs
lola: 3437864 markings, 5695714 edges, 21807 markings/sec, 145 secs
lola: 3547704 markings, 5877803 edges, 21968 markings/sec, 150 secs
lola: 3657600 markings, 6057938 edges, 21979 markings/sec, 155 secs
lola: 3767469 markings, 6239235 edges, 21974 markings/sec, 160 secs
lola: 3878699 markings, 6423102 edges, 22246 markings/sec, 165 secs
lola: 3991710 markings, 6607680 edges, 22602 markings/sec, 170 secs
lola: 4104557 markings, 6793287 edges, 22569 markings/sec, 175 secs
lola: 4214634 markings, 6975843 edges, 22015 markings/sec, 180 secs
lola: 4324346 markings, 7157956 edges, 21942 markings/sec, 185 secs
lola: 4433675 markings, 7339656 edges, 21866 markings/sec, 190 secs
lola: 4543730 markings, 7523087 edges, 22011 markings/sec, 195 secs
lola: 4654143 markings, 7706483 edges, 22083 markings/sec, 200 secs
lola: 4765798 markings, 7891984 edges, 22331 markings/sec, 205 secs
lola: 4875310 markings, 8073015 edges, 21902 markings/sec, 210 secs
lola: 4986717 markings, 8259232 edges, 22281 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: 37096 markings, 91267 edges, 7419 markings/sec, 0 secs
lola: 76590 markings, 184379 edges, 7899 markings/sec, 5 secs
lola: 115121 markings, 275547 edges, 7706 markings/sec, 10 secs
lola: 153713 markings, 367740 edges, 7718 markings/sec, 15 secs
lola: 194117 markings, 464923 edges, 8081 markings/sec, 20 secs
lola: 236959 markings, 560323 edges, 8568 markings/sec, 25 secs
lola: 279770 markings, 656010 edges, 8562 markings/sec, 30 secs
lola: 322322 markings, 752726 edges, 8510 markings/sec, 35 secs
lola: 367084 markings, 852005 edges, 8952 markings/sec, 40 secs
lola: 421051 markings, 946268 edges, 10793 markings/sec, 45 secs
lola: 474927 markings, 1043414 edges, 10775 markings/sec, 50 secs
lola: 516070 markings, 1147399 edges, 8229 markings/sec, 55 secs
lola: 558533 markings, 1239540 edges, 8493 markings/sec, 60 secs
lola: 601172 markings, 1331658 edges, 8528 markings/sec, 65 secs
lola: 643830 markings, 1424939 edges, 8532 markings/sec, 70 secs
lola: 686238 markings, 1523247 edges, 8482 markings/sec, 75 secs
lola: 739049 markings, 1617480 edges, 10562 markings/sec, 80 secs
lola: 793029 markings, 1713145 edges, 10796 markings/sec, 85 secs
lola: 838542 markings, 1816174 edges, 9103 markings/sec, 90 secs
lola: 882552 markings, 1914777 edges, 8802 markings/sec, 95 secs
lola: 926897 markings, 2010556 edges, 8869 markings/sec, 100 secs
lola: 971206 markings, 2107148 edges, 8862 markings/sec, 105 secs
lola: 1015193 markings, 2208868 edges, 8797 markings/sec, 110 secs
lola: 1069825 markings, 2307857 edges, 10926 markings/sec, 115 secs
lola: 1126207 markings, 2407817 edges, 11276 markings/sec, 120 secs
lola: 1173185 markings, 2516702 edges, 9396 markings/sec, 125 secs
lola: 1227730 markings, 2621796 edges, 10909 markings/sec, 130 secs
lola: 1283393 markings, 2727130 edges, 11133 markings/sec, 135 secs
lola: 1339598 markings, 2826742 edges, 11241 markings/sec, 140 secs
lola: 1386817 markings, 2936825 edges, 9444 markings/sec, 145 secs
lola: 1441061 markings, 3039598 edges, 10849 markings/sec, 150 secs
lola: 1496249 markings, 3143972 edges, 11038 markings/sec, 155 secs
lola: 1552035 markings, 3242725 edges, 11157 markings/sec, 160 secs
lola: 1599051 markings, 3351801 edges, 9403 markings/sec, 165 secs
lola: 1653139 markings, 3454837 edges, 10818 markings/sec, 170 secs
lola: 1708102 markings, 3558952 edges, 10993 markings/sec, 175 secs
lola: 1763691 markings, 3657396 edges, 11118 markings/sec, 180 secs
lola: 1810825 markings, 3765003 edges, 9427 markings/sec, 185 secs
lola: 1864824 markings, 3870133 edges, 10800 markings/sec, 190 secs
lola: 1919980 markings, 3973636 edges, 11031 markings/sec, 195 secs
lola: 1975544 markings, 4073183 edges, 11113 markings/sec, 200 secs
lola: 2021591 markings, 4180114 edges, 9209 markings/sec, 205 secs
lola: 2075510 markings, 4288832 edges, 10784 markings/sec, 210 secs
lola: 2131088 markings, 4385959 edges, 11116 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: 89930 markings, 187334 edges, 17986 markings/sec, 0 secs
lola: 203752 markings, 396632 edges, 22764 markings/sec, 5 secs
lola: 325724 markings, 598993 edges, 24394 markings/sec, 10 secs
lola: 436362 markings, 785797 edges, 22128 markings/sec, 15 secs
lola: 549705 markings, 989152 edges, 22669 markings/sec, 20 secs
lola: 677289 markings, 1187070 edges, 25517 markings/sec, 25 secs
lola: 783743 markings, 1377516 edges, 21291 markings/sec, 30 secs
lola: 907222 markings, 1582598 edges, 24696 markings/sec, 35 secs
lola: 1023332 markings, 1767314 edges, 23222 markings/sec, 40 secs
lola: 1147415 markings, 1960266 edges, 24817 markings/sec, 45 secs
lola: 1273532 markings, 2155674 edges, 25223 markings/sec, 50 secs
lola: 1388713 markings, 2339936 edges, 23036 markings/sec, 55 secs
lola: 1505522 markings, 2523679 edges, 23362 markings/sec, 60 secs
lola: 1635725 markings, 2723040 edges, 26041 markings/sec, 65 secs
lola: 1751982 markings, 2907772 edges, 23251 markings/sec, 70 secs
lola: 1867879 markings, 3092748 edges, 23179 markings/sec, 75 secs
lola: 1986132 markings, 3278670 edges, 23651 markings/sec, 80 secs
lola: 2114787 markings, 3476199 edges, 25731 markings/sec, 85 secs
lola: 2226860 markings, 3654063 edges, 22415 markings/sec, 90 secs
lola: 2339932 markings, 3834709 edges, 22614 markings/sec, 95 secs
lola: 2455922 markings, 4017440 edges, 23198 markings/sec, 100 secs
lola: 2573127 markings, 4203425 edges, 23441 markings/sec, 105 secs
lola: 2700030 markings, 4400029 edges, 25381 markings/sec, 110 secs
lola: 2818063 markings, 4585363 edges, 23607 markings/sec, 115 secs
lola: 2929420 markings, 4762825 edges, 22271 markings/sec, 120 secs
lola: 3040527 markings, 4939981 edges, 22221 markings/sec, 125 secs
lola: 3150719 markings, 5115889 edges, 22038 markings/sec, 130 secs
lola: 3263200 markings, 5293605 edges, 22496 markings/sec, 135 secs
lola: 3381367 markings, 5481207 edges, 23633 markings/sec, 140 secs
lola: 3496453 markings, 5663902 edges, 23017 markings/sec, 145 secs
lola: 3613444 markings, 5849824 edges, 23398 markings/sec, 150 secs
lola: 3731406 markings, 6038516 edges, 23592 markings/sec, 155 secs
lola: 3849082 markings, 6225145 edges, 23535 markings/sec, 160 secs
lola: 3967749 markings, 6413275 edges, 23733 markings/sec, 165 secs
lola: 4088187 markings, 6604251 edges, 24088 markings/sec, 170 secs
lola: 4204763 markings, 6791683 edges, 23315 markings/sec, 175 secs
lola: 4317690 markings, 6974794 edges, 22585 markings/sec, 180 secs
lola: 4436096 markings, 7163923 edges, 23681 markings/sec, 185 secs
lola: 4555614 markings, 7355338 edges, 23904 markings/sec, 190 secs
lola: 4668675 markings, 7540314 edges, 22612 markings/sec, 195 secs
lola: 4792167 markings, 7737300 edges, 24698 markings/sec, 200 secs
lola: 4912040 markings, 7932249 edges, 23975 markings/sec, 205 secs
lola: 5026245 markings, 8119120 edges, 22841 markings/sec, 210 secs
lola: 5140846 markings, 8305011 edges, 22920 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: 110439 markings, 261259 edges, 22088 markings/sec, 0 secs
lola: 222720 markings, 515932 edges, 22456 markings/sec, 5 secs
lola: 340544 markings, 766860 edges, 23565 markings/sec, 10 secs
lola: 473024 markings, 1013533 edges, 26496 markings/sec, 15 secs
lola: 587368 markings, 1234412 edges, 22869 markings/sec, 20 secs
lola: 706201 markings, 1486964 edges, 23767 markings/sec, 25 secs
lola: 835133 markings, 1734757 edges, 25786 markings/sec, 30 secs
lola: 952521 markings, 1951878 edges, 23478 markings/sec, 35 secs
lola: 1066528 markings, 2193878 edges, 22801 markings/sec, 40 secs
lola: 1185189 markings, 2431129 edges, 23732 markings/sec, 45 secs
lola: 1310436 markings, 2658185 edges, 25049 markings/sec, 50 secs
lola: 1427053 markings, 2872835 edges, 23323 markings/sec, 55 secs
lola: 1562049 markings, 3116545 edges, 26999 markings/sec, 60 secs
lola: 1678938 markings, 3332708 edges, 23378 markings/sec, 65 secs
lola: 1812233 markings, 3572774 edges, 26659 markings/sec, 70 secs
lola: 1928218 markings, 3787855 edges, 23197 markings/sec, 75 secs
lola: 2060964 markings, 4026586 edges, 26549 markings/sec, 80 secs
lola: 2174588 markings, 4235966 edges, 22725 markings/sec, 85 secs
lola: 2307393 markings, 4476537 edges, 26561 markings/sec, 90 secs
lola: 2426154 markings, 4696803 edges, 23752 markings/sec, 95 secs
lola: 2560547 markings, 4938864 edges, 26879 markings/sec, 100 secs
lola: 2678178 markings, 5156896 edges, 23526 markings/sec, 105 secs
lola: 2810874 markings, 5396181 edges, 26539 markings/sec, 110 secs
lola: 2928600 markings, 5613914 edges, 23545 markings/sec, 115 secs
lola: 3055791 markings, 5844274 edges, 25438 markings/sec, 120 secs
lola: 3178281 markings, 6069804 edges, 24498 markings/sec, 125 secs
lola: 3296708 markings, 6285989 edges, 23685 markings/sec, 130 secs
lola: 3425714 markings, 6521706 edges, 25801 markings/sec, 135 secs
lola: 3543512 markings, 6737449 edges, 23560 markings/sec, 140 secs
lola: 3675665 markings, 6978340 edges, 26431 markings/sec, 145 secs
lola: 3794061 markings, 7198064 edges, 23679 markings/sec, 150 secs
lola: 3923738 markings, 7433115 edges, 25935 markings/sec, 155 secs
lola: 4044148 markings, 7654652 edges, 24082 markings/sec, 160 secs
lola: 4163488 markings, 7873108 edges, 23868 markings/sec, 165 secs
lola: 4293945 markings, 8111178 edges, 26091 markings/sec, 170 secs
lola: 4411383 markings, 8329101 edges, 23488 markings/sec, 175 secs
lola: 4531464 markings, 8548329 edges, 24016 markings/sec, 180 secs
lola: 4659636 markings, 8782623 edges, 25634 markings/sec, 185 secs
lola: 4776799 markings, 9000127 edges, 23433 markings/sec, 190 secs
lola: 4899004 markings, 9222062 edges, 24441 markings/sec, 195 secs
lola: 5024727 markings, 9453208 edges, 25145 markings/sec, 200 secs
lola: 5141660 markings, 9670295 edges, 23387 markings/sec, 205 secs
lola: 5260582 markings, 9887651 edges, 23784 markings/sec, 210 secs
lola: 5388977 markings, 10122572 edges, 25679 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: 66854 markings, 93184 edges, 13371 markings/sec, 0 secs
lola: 132616 markings, 185165 edges, 13152 markings/sec, 5 secs
lola: 198197 markings, 275881 edges, 13116 markings/sec, 10 secs
lola: 263915 markings, 368116 edges, 13144 markings/sec, 15 secs
lola: 329613 markings, 459418 edges, 13140 markings/sec, 20 secs
lola: 395179 markings, 551384 edges, 13113 markings/sec, 25 secs
lola: 463373 markings, 645967 edges, 13639 markings/sec, 30 secs
lola: 532001 markings, 741105 edges, 13726 markings/sec, 35 secs
lola: 597715 markings, 835373 edges, 13143 markings/sec, 40 secs
lola: 659991 markings, 926262 edges, 12455 markings/sec, 45 secs
lola: 723587 markings, 1016645 edges, 12719 markings/sec, 50 secs
lola: 791449 markings, 1110920 edges, 13572 markings/sec, 55 secs
lola: 855301 markings, 1203347 edges, 12770 markings/sec, 60 secs
lola: 918071 markings, 1295489 edges, 12554 markings/sec, 65 secs
lola: 986961 markings, 1392019 edges, 13778 markings/sec, 70 secs
lola: 1047580 markings, 1482320 edges, 12124 markings/sec, 75 secs
lola: 1114278 markings, 1577142 edges, 13340 markings/sec, 80 secs
lola: 1177408 markings, 1669812 edges, 12626 markings/sec, 85 secs
lola: 1240002 markings, 1763351 edges, 12519 markings/sec, 90 secs
lola: 1304941 markings, 1859014 edges, 12988 markings/sec, 95 secs
lola: 1370043 markings, 1955086 edges, 13020 markings/sec, 100 secs
lola: 1434489 markings, 2052305 edges, 12889 markings/sec, 105 secs
lola: 1500360 markings, 2149809 edges, 13174 markings/sec, 110 secs
lola: 1565315 markings, 2248040 edges, 12991 markings/sec, 115 secs
lola: 1629793 markings, 2346471 edges, 12896 markings/sec, 120 secs
lola: 1693898 markings, 2446169 edges, 12821 markings/sec, 125 secs
lola: 1756583 markings, 2547077 edges, 12537 markings/sec, 130 secs
lola: 1819941 markings, 2649608 edges, 12672 markings/sec, 135 secs
lola: 1882823 markings, 2754191 edges, 12576 markings/sec, 140 secs
lola: 1945144 markings, 2864088 edges, 12464 markings/sec, 145 secs
lola: 2005000 markings, 2992351 edges, 11971 markings/sec, 150 secs
lola: 2082954 markings, 3096193 edges, 15591 markings/sec, 155 secs
lola: 2161564 markings, 3197449 edges, 15722 markings/sec, 160 secs
lola: 2228852 markings, 3290872 edges, 13458 markings/sec, 165 secs
lola: 2312540 markings, 3392591 edges, 16738 markings/sec, 170 secs
lola: 2377698 markings, 3488602 edges, 13032 markings/sec, 175 secs
lola: 2456167 markings, 3585680 edges, 15694 markings/sec, 180 secs
lola: 2532149 markings, 3684983 edges, 15196 markings/sec, 185 secs
lola: 2599789 markings, 3778719 edges, 13528 markings/sec, 190 secs
lola: 2684046 markings, 3881487 edges, 16851 markings/sec, 195 secs
lola: 2747116 markings, 3974007 edges, 12614 markings/sec, 200 secs
lola: 2829223 markings, 4074481 edges, 16421 markings/sec, 205 secs
lola: 2897312 markings, 4172254 edges, 13618 markings/sec, 210 secs
lola: 2974229 markings, 4268811 edges, 15383 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: 86613 markings, 180363 edges, 17323 markings/sec, 0 secs
lola: 196079 markings, 382852 edges, 21893 markings/sec, 5 secs
lola: 315628 markings, 583817 edges, 23910 markings/sec, 10 secs
lola: 423435 markings, 762846 edges, 21561 markings/sec, 15 secs
lola: 535932 markings, 963419 edges, 22499 markings/sec, 20 secs
lola: 661724 markings, 1160693 edges, 25158 markings/sec, 25 secs
lola: 762491 markings, 1339681 edges, 20153 markings/sec, 30 secs
lola: 878333 markings, 1539286 edges, 23168 markings/sec, 35 secs
lola: 989308 markings, 1714634 edges, 22195 markings/sec, 40 secs
lola: 1115177 markings, 1906855 edges, 25174 markings/sec, 45 secs
lola: 1224076 markings, 2081354 edges, 21780 markings/sec, 50 secs
lola: 1334474 markings, 2255552 edges, 22080 markings/sec, 55 secs
lola: 1457419 markings, 2443313 edges, 24589 markings/sec, 60 secs
lola: 1565968 markings, 2617383 edges, 21710 markings/sec, 65 secs
lola: 1677276 markings, 2792959 edges, 22262 markings/sec, 70 secs
lola: 1801670 markings, 2983728 edges, 24879 markings/sec, 75 secs
lola: 1910923 markings, 3157550 edges, 21851 markings/sec, 80 secs
lola: 2020917 markings, 3332449 edges, 21999 markings/sec, 85 secs
lola: 2133401 markings, 3509766 edges, 22497 markings/sec, 90 secs
lola: 2255001 markings, 3696926 edges, 24320 markings/sec, 95 secs
lola: 2363051 markings, 3869377 edges, 21610 markings/sec, 100 secs
lola: 2471935 markings, 4043036 edges, 21777 markings/sec, 105 secs
lola: 2584809 markings, 4221269 edges, 22575 markings/sec, 110 secs
lola: 2703382 markings, 4405842 edges, 23715 markings/sec, 115 secs
lola: 2818760 markings, 4586413 edges, 23076 markings/sec, 120 secs
lola: 2928749 markings, 4761831 edges, 21998 markings/sec, 125 secs
lola: 3038797 markings, 4937370 edges, 22010 markings/sec, 130 secs
lola: 3148706 markings, 5112860 edges, 21982 markings/sec, 135 secs
lola: 3259081 markings, 5287037 edges, 22075 markings/sec, 140 secs
lola: 3370164 markings, 5463591 edges, 22217 markings/sec, 145 secs
lola: 3480806 markings, 5639573 edges, 22128 markings/sec, 150 secs
lola: 3590485 markings, 5814203 edges, 21936 markings/sec, 155 secs
lola: 3701625 markings, 5991057 edges, 22228 markings/sec, 160 secs
lola: 3812003 markings, 6166769 edges, 22076 markings/sec, 165 secs
lola: 3922040 markings, 6341978 edges, 22007 markings/sec, 170 secs
lola: 4034621 markings, 6521474 edges, 22516 markings/sec, 175 secs
lola: 4146748 markings, 6701170 edges, 22425 markings/sec, 180 secs
lola: 4256113 markings, 6875030 edges, 21873 markings/sec, 185 secs
lola: 4370477 markings, 7056718 edges, 22873 markings/sec, 190 secs
lola: 4478647 markings, 7232144 edges, 21634 markings/sec, 195 secs
lola: 4593483 markings, 7418425 edges, 22967 markings/sec, 200 secs
lola: 4712188 markings, 7606839 edges, 23741 markings/sec, 205 secs
lola: 4826967 markings, 7795653 edges, 22956 markings/sec, 210 secs
lola: 4945681 markings, 7988155 edges, 23743 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: 83700 markings, 174273 edges, 16740 markings/sec, 0 secs
lola: 198457 markings, 387126 edges, 22951 markings/sec, 5 secs
lola: 325867 markings, 599206 edges, 25482 markings/sec, 10 secs
lola: 439014 markings, 790527 edges, 22629 markings/sec, 15 secs
lola: 558207 markings, 1003749 edges, 23839 markings/sec, 20 secs
lola: 683099 markings, 1197189 edges, 24978 markings/sec, 25 secs
lola: 797521 markings, 1402117 edges, 22884 markings/sec, 30 secs
lola: 925935 markings, 1610843 edges, 25683 markings/sec, 35 secs
lola: 1042116 markings, 1796829 edges, 23236 markings/sec, 40 secs
lola: 1161872 markings, 1985052 edges, 23951 markings/sec, 45 secs
lola: 1293418 markings, 2186027 edges, 26309 markings/sec, 50 secs
lola: 1408852 markings, 2370064 edges, 23087 markings/sec, 55 secs
lola: 1525830 markings, 2554800 edges, 23396 markings/sec, 60 secs
lola: 1652132 markings, 2750906 edges, 25260 markings/sec, 65 secs
lola: 1776159 markings, 2944294 edges, 24805 markings/sec, 70 secs
lola: 1893086 markings, 3130799 edges, 23385 markings/sec, 75 secs
lola: 2011289 markings, 3317265 edges, 23641 markings/sec, 80 secs
lola: 2132101 markings, 3507013 edges, 24162 markings/sec, 85 secs
lola: 2260435 markings, 3705385 edges, 25667 markings/sec, 90 secs
lola: 2376281 markings, 3889326 edges, 23169 markings/sec, 95 secs
lola: 2493170 markings, 4075670 edges, 23378 markings/sec, 100 secs
lola: 2611908 markings, 4264282 edges, 23748 markings/sec, 105 secs
lola: 2731473 markings, 4452439 edges, 23913 markings/sec, 110 secs
lola: 2850719 markings, 4641248 edges, 23849 markings/sec, 115 secs
lola: 2973702 markings, 4833654 edges, 24597 markings/sec, 120 secs
lola: 3096275 markings, 5026671 edges, 24515 markings/sec, 125 secs
lola: 3215635 markings, 5214424 edges, 23872 markings/sec, 130 secs
lola: 3333262 markings, 5401319 edges, 23525 markings/sec, 135 secs
lola: 3450917 markings, 5588123 edges, 23531 markings/sec, 140 secs
lola: 3567975 markings, 5773994 edges, 23412 markings/sec, 145 secs
lola: 3686069 markings, 5962450 edges, 23619 markings/sec, 150 secs
lola: 3800017 markings, 6145262 edges, 22790 markings/sec, 155 secs
lola: 3913390 markings, 6327234 edges, 22675 markings/sec, 160 secs
lola: 4031407 markings, 6516383 edges, 23603 markings/sec, 165 secs
lola: 4150506 markings, 6706816 edges, 23820 markings/sec, 170 secs
lola: 4270328 markings, 6896645 edges, 23964 markings/sec, 175 secs
lola: 4386388 markings, 7083519 edges, 23212 markings/sec, 180 secs
lola: 4499987 markings, 7267534 edges, 22720 markings/sec, 185 secs
lola: 4621754 markings, 7461452 edges, 24353 markings/sec, 190 secs
lola: 4735426 markings, 7647402 edges, 22734 markings/sec, 195 secs
lola: 4862499 markings, 7850465 edges, 25415 markings/sec, 200 secs
lola: 4980119 markings, 8043087 edges, 23524 markings/sec, 205 secs
lola: 5094175 markings, 8229896 edges, 22811 markings/sec, 210 secs
lola: 5210380 markings, 8419816 edges, 23241 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: 40731 markings, 99826 edges, 8146 markings/sec, 0 secs
lola: 81219 markings, 195306 edges, 8098 markings/sec, 5 secs
lola: 121475 markings, 290617 edges, 8051 markings/sec, 10 secs
lola: 161762 markings, 387421 edges, 8057 markings/sec, 15 secs
lola: 204990 markings, 489098 edges, 8646 markings/sec, 20 secs
lola: 249118 markings, 587360 edges, 8826 markings/sec, 25 secs
lola: 293826 markings, 687796 edges, 8942 markings/sec, 30 secs
lola: 338045 markings, 789706 edges, 8844 markings/sec, 35 secs
lola: 389727 markings, 891370 edges, 10336 markings/sec, 40 secs
lola: 446054 markings, 990644 edges, 11265 markings/sec, 45 secs
lola: 496670 markings, 1096651 edges, 10123 markings/sec, 50 secs
lola: 539443 markings, 1198336 edges, 8555 markings/sec, 55 secs
lola: 583866 markings, 1294182 edges, 8885 markings/sec, 60 secs
lola: 628431 markings, 1391069 edges, 8913 markings/sec, 65 secs
lola: 672606 markings, 1489650 edges, 8835 markings/sec, 70 secs
lola: 724124 markings, 1591328 edges, 10304 markings/sec, 75 secs
lola: 780291 markings, 1690299 edges, 11233 markings/sec, 80 secs
lola: 831212 markings, 1796141 edges, 10184 markings/sec, 85 secs
lola: 874091 markings, 1896501 edges, 8576 markings/sec, 90 secs
lola: 918201 markings, 1991732 edges, 8822 markings/sec, 95 secs
lola: 962575 markings, 2088303 edges, 8875 markings/sec, 100 secs
lola: 1006454 markings, 2186449 edges, 8776 markings/sec, 105 secs
lola: 1058392 markings, 2287866 edges, 10388 markings/sec, 110 secs
lola: 1114721 markings, 2387122 edges, 11266 markings/sec, 115 secs
lola: 1164975 markings, 2493262 edges, 10051 markings/sec, 120 secs
lola: 1216219 markings, 2599200 edges, 10249 markings/sec, 125 secs
lola: 1271256 markings, 2705900 edges, 11007 markings/sec, 130 secs
lola: 1327229 markings, 2804482 edges, 11195 markings/sec, 135 secs
lola: 1377843 markings, 2910318 edges, 10123 markings/sec, 140 secs
lola: 1428715 markings, 3015370 edges, 10174 markings/sec, 145 secs
lola: 1483342 markings, 3121303 edges, 10925 markings/sec, 150 secs
lola: 1538808 markings, 3218911 edges, 11093 markings/sec, 155 secs
lola: 1589405 markings, 3323858 edges, 10119 markings/sec, 160 secs
lola: 1639597 markings, 3428440 edges, 10038 markings/sec, 165 secs
lola: 1693938 markings, 3534215 edges, 10868 markings/sec, 170 secs
lola: 1749046 markings, 3631015 edges, 11022 markings/sec, 175 secs
lola: 1800212 markings, 3735394 edges, 10233 markings/sec, 180 secs
lola: 1849128 markings, 3839197 edges, 9783 markings/sec, 185 secs
lola: 1903604 markings, 3944973 edges, 10895 markings/sec, 190 secs
lola: 1958852 markings, 4042664 edges, 11050 markings/sec, 195 secs
lola: 2007067 markings, 4148840 edges, 9643 markings/sec, 200 secs
lola: 2059960 markings, 4253630 edges, 10579 markings/sec, 205 secs
lola: 2114597 markings, 4356905 edges, 10927 markings/sec, 210 secs
lola: 2169679 markings, 4455205 edges, 11016 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: 41175 markings, 101133 edges, 8235 markings/sec, 0 secs
lola: 81990 markings, 197722 edges, 8163 markings/sec, 5 secs
lola: 122880 markings, 294974 edges, 8178 markings/sec, 10 secs
lola: 163903 markings, 395303 edges, 8205 markings/sec, 15 secs
lola: 205530 markings, 487822 edges, 8325 markings/sec, 20 secs
lola: 247282 markings, 574241 edges, 8350 markings/sec, 25 secs
lola: 288962 markings, 660531 edges, 8336 markings/sec, 30 secs
lola: 330584 markings, 746695 edges, 8324 markings/sec, 35 secs
lola: 372136 markings, 833231 edges, 8310 markings/sec, 40 secs
lola: 413812 markings, 920008 edges, 8335 markings/sec, 45 secs
lola: 455718 markings, 1008178 edges, 8381 markings/sec, 50 secs
lola: 497486 markings, 1096545 edges, 8354 markings/sec, 55 secs
lola: 538813 markings, 1192003 edges, 8265 markings/sec, 60 secs
lola: 580299 markings, 1291439 edges, 8297 markings/sec, 65 secs
lola: 621737 markings, 1376993 edges, 8288 markings/sec, 70 secs
lola: 663067 markings, 1461171 edges, 8266 markings/sec, 75 secs
lola: 704328 markings, 1545208 edges, 8252 markings/sec, 80 secs
lola: 745253 markings, 1629089 edges, 8185 markings/sec, 85 secs
lola: 786689 markings, 1713922 edges, 8287 markings/sec, 90 secs
lola: 828190 markings, 1799396 edges, 8300 markings/sec, 95 secs
lola: 869961 markings, 1886412 edges, 8354 markings/sec, 100 secs
lola: 911402 markings, 1974610 edges, 8288 markings/sec, 105 secs
lola: 952319 markings, 2077347 edges, 8183 markings/sec, 110 secs
lola: 993643 markings, 2162852 edges, 8265 markings/sec, 115 secs
lola: 1034656 markings, 2246421 edges, 8203 markings/sec, 120 secs
lola: 1075658 markings, 2329886 edges, 8200 markings/sec, 125 secs
lola: 1116603 markings, 2413818 edges, 8189 markings/sec, 130 secs
lola: 1157688 markings, 2497859 edges, 8217 markings/sec, 135 secs
lola: 1198871 markings, 2582331 edges, 8237 markings/sec, 140 secs
lola: 1240561 markings, 2668645 edges, 8338 markings/sec, 145 secs
lola: 1282002 markings, 2755927 edges, 8288 markings/sec, 150 secs
lola: 1322730 markings, 2854881 edges, 8146 markings/sec, 155 secs
lola: 1363652 markings, 2937306 edges, 8184 markings/sec, 160 secs
lola: 1404503 markings, 3015652 edges, 8170 markings/sec, 165 secs
lola: 1445244 markings, 3093713 edges, 8148 markings/sec, 170 secs
lola: 1486163 markings, 3172586 edges, 8184 markings/sec, 175 secs
lola: 1527476 markings, 3253692 edges, 8263 markings/sec, 180 secs
lola: 1568338 markings, 3339140 edges, 8172 markings/sec, 185 secs
lola: 1608859 markings, 3433101 edges, 8104 markings/sec, 190 secs
lola: 1649549 markings, 3510597 edges, 8138 markings/sec, 195 secs
lola: 1690227 markings, 3588579 edges, 8136 markings/sec, 200 secs
lola: 1730998 markings, 3667222 edges, 8154 markings/sec, 205 secs
lola: 1772018 markings, 3747300 edges, 8204 markings/sec, 210 secs
lola: 1813118 markings, 3829321 edges, 8220 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: 129314 markings, 245919 edges, 25863 markings/sec, 0 secs
lola: 259919 markings, 488996 edges, 26121 markings/sec, 5 secs
lola: 385385 markings, 715950 edges, 25093 markings/sec, 10 secs
lola: 498874 markings, 948994 edges, 22698 markings/sec, 15 secs
lola: 622657 markings, 1196113 edges, 24757 markings/sec, 20 secs
lola: 757058 markings, 1438746 edges, 26880 markings/sec, 25 secs
lola: 865829 markings, 1656975 edges, 21754 markings/sec, 30 secs
lola: 986188 markings, 1902476 edges, 24072 markings/sec, 35 secs
lola: 1115291 markings, 2134619 edges, 25821 markings/sec, 40 secs
lola: 1231156 markings, 2347578 edges, 23173 markings/sec, 45 secs
lola: 1365152 markings, 2590436 edges, 26799 markings/sec, 50 secs
lola: 1482837 markings, 2806442 edges, 23537 markings/sec, 55 secs
lola: 1614461 markings, 3045486 edges, 26325 markings/sec, 60 secs
lola: 1730979 markings, 3258913 edges, 23304 markings/sec, 65 secs
lola: 1861585 markings, 3496612 edges, 26121 markings/sec, 70 secs
lola: 1978274 markings, 3710008 edges, 23338 markings/sec, 75 secs
lola: 2109400 markings, 3949007 edges, 26225 markings/sec, 80 secs
lola: 2227159 markings, 4164668 edges, 23552 markings/sec, 85 secs
lola: 2358209 markings, 4403325 edges, 26210 markings/sec, 90 secs
lola: 2475743 markings, 4618781 edges, 23507 markings/sec, 95 secs
lola: 2606553 markings, 4856857 edges, 26162 markings/sec, 100 secs
lola: 2724174 markings, 5072712 edges, 23524 markings/sec, 105 secs
lola: 2855462 markings, 5311485 edges, 26258 markings/sec, 110 secs
lola: 2972140 markings, 5527408 edges, 23336 markings/sec, 115 secs
lola: 3102416 markings, 5763036 edges, 26055 markings/sec, 120 secs
lola: 3218264 markings, 5977657 edges, 23170 markings/sec, 125 secs
lola: 3345088 markings, 6207553 edges, 25365 markings/sec, 130 secs
lola: 3464358 markings, 6426990 edges, 23854 markings/sec, 135 secs
lola: 3584034 markings, 6645884 edges, 23935 markings/sec, 140 secs
lola: 3714090 markings, 6883222 edges, 26011 markings/sec, 145 secs
lola: 3831419 markings, 7099660 edges, 23466 markings/sec, 150 secs
lola: 3961918 markings, 7336746 edges, 26100 markings/sec, 155 secs
lola: 4078234 markings, 7551828 edges, 23263 markings/sec, 160 secs
lola: 4197140 markings, 7769529 edges, 23781 markings/sec, 165 secs
lola: 4325859 markings, 8004464 edges, 25744 markings/sec, 170 secs
lola: 4441887 markings, 8219888 edges, 23206 markings/sec, 175 secs
lola: 4562152 markings, 8438113 edges, 24053 markings/sec, 180 secs
lola: 4687829 markings, 8669223 edges, 25135 markings/sec, 185 secs
lola: 4804479 markings, 8885817 edges, 23330 markings/sec, 190 secs
lola: 4923146 markings, 9102736 edges, 23733 markings/sec, 195 secs
lola: 5049151 markings, 9333128 edges, 25201 markings/sec, 200 secs
lola: 5165551 markings, 9549106 edges, 23280 markings/sec, 205 secs
lola: 5285488 markings, 9769202 edges, 23987 markings/sec, 210 secs
lola: 5413108 markings, 10003470 edges, 25524 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: 123004 markings, 223357 edges, 24601 markings/sec, 0 secs
lola: 251224 markings, 437473 edges, 25644 markings/sec, 5 secs
lola: 363730 markings, 632440 edges, 22501 markings/sec, 10 secs
lola: 486352 markings, 852652 edges, 24524 markings/sec, 15 secs
lola: 612061 markings, 1053335 edges, 25142 markings/sec, 20 secs
lola: 725656 markings, 1257241 edges, 22719 markings/sec, 25 secs
lola: 851780 markings, 1470698 edges, 25225 markings/sec, 30 secs
lola: 965881 markings, 1658297 edges, 22820 markings/sec, 35 secs
lola: 1095873 markings, 1866127 edges, 25998 markings/sec, 40 secs
lola: 1209163 markings, 2053122 edges, 22658 markings/sec, 45 secs
lola: 1323488 markings, 2240259 edges, 22865 markings/sec, 50 secs
lola: 1449758 markings, 2441872 edges, 25254 markings/sec, 55 secs
lola: 1562716 markings, 2629464 edges, 22592 markings/sec, 60 secs
lola: 1678312 markings, 2818211 edges, 23119 markings/sec, 65 secs
lola: 1805122 markings, 3020956 edges, 25362 markings/sec, 70 secs
lola: 1918516 markings, 3208993 edges, 22679 markings/sec, 75 secs
lola: 2033532 markings, 3396998 edges, 23003 markings/sec, 80 secs
lola: 2155978 markings, 3593149 edges, 24489 markings/sec, 85 secs
lola: 2268628 markings, 3779346 edges, 22530 markings/sec, 90 secs
lola: 2381530 markings, 3965045 edges, 22580 markings/sec, 95 secs
lola: 2500253 markings, 4157180 edges, 23745 markings/sec, 100 secs
lola: 2620936 markings, 4353473 edges, 24137 markings/sec, 105 secs
lola: 2734779 markings, 4541849 edges, 22769 markings/sec, 110 secs
lola: 2849393 markings, 4730814 edges, 22923 markings/sec, 115 secs
lola: 2964767 markings, 4919943 edges, 23075 markings/sec, 120 secs
lola: 3087579 markings, 5118799 edges, 24562 markings/sec, 125 secs
lola: 3203149 markings, 5307695 edges, 23114 markings/sec, 130 secs
lola: 3316410 markings, 5494974 edges, 22652 markings/sec, 135 secs
lola: 3430488 markings, 5683840 edges, 22816 markings/sec, 140 secs
lola: 3545733 markings, 5874423 edges, 23049 markings/sec, 145 secs
lola: 3661092 markings, 6063406 edges, 23072 markings/sec, 150 secs
lola: 3773321 markings, 6248391 edges, 22446 markings/sec, 155 secs
lola: 3886877 markings, 6435930 edges, 22711 markings/sec, 160 secs
lola: 3999748 markings, 6622387 edges, 22574 markings/sec, 165 secs
lola: 4112400 markings, 6807668 edges, 22530 markings/sec, 170 secs
lola: 4226543 markings, 6997196 edges, 22829 markings/sec, 175 secs
lola: 4342125 markings, 7188268 edges, 23116 markings/sec, 180 secs
lola: 4458319 markings, 7380760 edges, 23239 markings/sec, 185 secs
lola: 4575918 markings, 7575795 edges, 23520 markings/sec, 190 secs
lola: 4693427 markings, 7769538 edges, 23502 markings/sec, 195 secs
lola: 4810127 markings, 7964373 edges, 23340 markings/sec, 200 secs
lola: 4923902 markings, 8155637 edges, 22755 markings/sec, 205 secs
lola: 5045011 markings, 8356329 edges, 24222 markings/sec, 210 secs
lola: 5163290 markings, 8556229 edges, 23656 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: 40545 markings, 99384 edges, 8109 markings/sec, 0 secs
lola: 80859 markings, 194443 edges, 8063 markings/sec, 5 secs
lola: 120958 markings, 289408 edges, 8020 markings/sec, 10 secs
lola: 161092 markings, 385751 edges, 8027 markings/sec, 15 secs
lola: 204025 markings, 486869 edges, 8587 markings/sec, 20 secs
lola: 248450 markings, 585907 edges, 8885 markings/sec, 25 secs
lola: 292963 markings, 685819 edges, 8903 markings/sec, 30 secs
lola: 335628 markings, 783853 edges, 8533 markings/sec, 35 secs
lola: 387324 markings, 887213 edges, 10339 markings/sec, 40 secs
lola: 444504 markings, 987742 edges, 11436 markings/sec, 45 secs
lola: 495698 markings, 1094046 edges, 10239 markings/sec, 50 secs
lola: 538067 markings, 1195501 edges, 8474 markings/sec, 55 secs
lola: 582525 markings, 1291301 edges, 8892 markings/sec, 60 secs
lola: 626040 markings, 1385859 edges, 8703 markings/sec, 65 secs
lola: 670660 markings, 1485136 edges, 8924 markings/sec, 70 secs
lola: 722222 markings, 1588110 edges, 10312 markings/sec, 75 secs
lola: 779302 markings, 1688538 edges, 11416 markings/sec, 80 secs
lola: 831135 markings, 1795915 edges, 10367 markings/sec, 85 secs
lola: 874616 markings, 1897686 edges, 8696 markings/sec, 90 secs
lola: 919139 markings, 1993684 edges, 8905 markings/sec, 95 secs
lola: 963873 markings, 2091004 edges, 8947 markings/sec, 100 secs
lola: 1008173 markings, 2190529 edges, 8860 markings/sec, 105 secs
lola: 1061117 markings, 2292553 edges, 10589 markings/sec, 110 secs
lola: 1118019 markings, 2393019 edges, 11380 markings/sec, 115 secs
lola: 1167792 markings, 2500926 edges, 9955 markings/sec, 120 secs
lola: 1220656 markings, 2607765 edges, 10573 markings/sec, 125 secs
lola: 1276452 markings, 2715045 edges, 11159 markings/sec, 130 secs
lola: 1333152 markings, 2815012 edges, 11340 markings/sec, 135 secs
lola: 1382532 markings, 2923212 edges, 9876 markings/sec, 140 secs
lola: 1434755 markings, 3027110 edges, 10445 markings/sec, 145 secs
lola: 1488543 markings, 3130448 edges, 10758 markings/sec, 150 secs
lola: 1544247 markings, 3228645 edges, 11141 markings/sec, 155 secs
lola: 1593243 markings, 3334219 edges, 9799 markings/sec, 160 secs
lola: 1644932 markings, 3438775 edges, 10338 markings/sec, 165 secs
lola: 1699667 markings, 3544090 edges, 10947 markings/sec, 170 secs
lola: 1755003 markings, 3641766 edges, 11067 markings/sec, 175 secs
lola: 1804343 markings, 3746467 edges, 9868 markings/sec, 180 secs
lola: 1855736 markings, 3852019 edges, 10279 markings/sec, 185 secs
lola: 1910528 markings, 3957099 edges, 10958 markings/sec, 190 secs
lola: 1966112 markings, 4055731 edges, 11117 markings/sec, 195 secs
lola: 2012455 markings, 4163236 edges, 9269 markings/sec, 200 secs
lola: 2066497 markings, 4267050 edges, 10808 markings/sec, 205 secs
lola: 2119680 markings, 4365949 edges, 10637 markings/sec, 210 secs
lola: 2175762 markings, 4466487 edges, 11216 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 221 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: 131010 markings, 249103 edges, 26202 markings/sec, 0 secs
lola: 263067 markings, 494704 edges, 26411 markings/sec, 5 secs
lola: 388479 markings, 721360 edges, 25082 markings/sec, 10 secs
lola: 504920 markings, 961419 edges, 23288 markings/sec, 15 secs
lola: 630508 markings, 1210200 edges, 25118 markings/sec, 20 secs
lola: 764819 markings, 1453673 edges, 26862 markings/sec, 25 secs
lola: 872723 markings, 1671079 edges, 21581 markings/sec, 30 secs
lola: 994979 markings, 1918168 edges, 24451 markings/sec, 35 secs
lola: 1129909 markings, 2161224 edges, 26986 markings/sec, 40 secs
lola: 1247001 markings, 2378151 edges, 23418 markings/sec, 45 secs
lola: 1382379 markings, 2621649 edges, 27076 markings/sec, 50 secs
lola: 1500278 markings, 2838932 edges, 23580 markings/sec, 55 secs
lola: 1633710 markings, 3080241 edges, 26686 markings/sec, 60 secs
lola: 1750839 markings, 3295561 edges, 23426 markings/sec, 65 secs
lola: 1882971 markings, 3535172 edges, 26426 markings/sec, 70 secs
lola: 2000245 markings, 3750356 edges, 23455 markings/sec, 75 secs
lola: 2132945 markings, 3991489 edges, 26540 markings/sec, 80 secs
lola: 2251392 markings, 4209313 edges, 23689 markings/sec, 85 secs
lola: 2384070 markings, 4450057 edges, 26536 markings/sec, 90 secs
lola: 2501962 markings, 4667342 edges, 23578 markings/sec, 95 secs
lola: 2634549 markings, 4907496 edges, 26517 markings/sec, 100 secs
lola: 2752555 markings, 5126325 edges, 23601 markings/sec, 105 secs
lola: 2885636 markings, 5366764 edges, 26616 markings/sec, 110 secs
lola: 3003196 markings, 5583899 edges, 23512 markings/sec, 115 secs
lola: 3126061 markings, 5806390 edges, 24573 markings/sec, 120 secs
lola: 3250499 markings, 6035538 edges, 24888 markings/sec, 125 secs
lola: 3368131 markings, 6250418 edges, 23526 markings/sec, 130 secs
lola: 3499954 markings, 6491064 edges, 26365 markings/sec, 135 secs
lola: 3619024 markings, 6710418 edges, 23814 markings/sec, 140 secs
lola: 3751018 markings, 6950390 edges, 26399 markings/sec, 145 secs
lola: 3868603 markings, 7167956 edges, 23517 markings/sec, 150 secs
lola: 3988307 markings, 7386477 edges, 23941 markings/sec, 155 secs
lola: 4118331 markings, 7624069 edges, 26005 markings/sec, 160 secs
lola: 4235916 markings, 7842211 edges, 23517 markings/sec, 165 secs
lola: 4362978 markings, 8072783 edges, 25412 markings/sec, 170 secs
lola: 4484208 markings, 8295965 edges, 24246 markings/sec, 175 secs
lola: 4602157 markings, 8512859 edges, 23590 markings/sec, 180 secs
lola: 4731152 markings, 8749118 edges, 25799 markings/sec, 185 secs
lola: 4849337 markings, 8966565 edges, 23637 markings/sec, 190 secs
lola: 4966894 markings, 9183532 edges, 23511 markings/sec, 195 secs
lola: 5090850 markings, 9409783 edges, 24791 markings/sec, 200 secs
lola: 5213269 markings, 9635182 edges, 24484 markings/sec, 205 secs
lola: 5331252 markings, 9854055 edges, 23597 markings/sec, 210 secs
lola: 5450191 markings, 10072457 edges, 23788 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: 122063 markings, 221740 edges, 24413 markings/sec, 0 secs
lola: 249031 markings, 434092 edges, 25394 markings/sec, 5 secs
lola: 360393 markings, 626600 edges, 22272 markings/sec, 10 secs
lola: 481785 markings, 844609 edges, 24278 markings/sec, 15 secs
lola: 608654 markings, 1047631 edges, 25374 markings/sec, 20 secs
lola: 718999 markings, 1245414 edges, 22069 markings/sec, 25 secs
lola: 843435 markings, 1457658 edges, 24887 markings/sec, 30 secs
lola: 953951 markings, 1639173 edges, 22103 markings/sec, 35 secs
lola: 1073670 markings, 1830269 edges, 23944 markings/sec, 40 secs
lola: 1188041 markings, 2020151 edges, 22874 markings/sec, 45 secs
lola: 1305299 markings, 2210310 edges, 23452 markings/sec, 50 secs
lola: 1431033 markings, 2412308 edges, 25147 markings/sec, 55 secs
lola: 1544394 markings, 2600869 edges, 22672 markings/sec, 60 secs
lola: 1665130 markings, 2795051 edges, 24147 markings/sec, 65 secs
lola: 1789356 markings, 2995997 edges, 24845 markings/sec, 70 secs
lola: 1903794 markings, 3186037 edges, 22888 markings/sec, 75 secs
lola: 2020794 markings, 3376736 edges, 23400 markings/sec, 80 secs
lola: 2148305 markings, 3580882 edges, 25502 markings/sec, 85 secs
lola: 2262693 markings, 3770127 edges, 22878 markings/sec, 90 secs
lola: 2377364 markings, 3958306 edges, 22934 markings/sec, 95 secs
lola: 2498569 markings, 4154324 edges, 24241 markings/sec, 100 secs
lola: 2619148 markings, 4350713 edges, 24116 markings/sec, 105 secs
lola: 2734548 markings, 4541582 edges, 23080 markings/sec, 110 secs
lola: 2850160 markings, 4732262 edges, 23122 markings/sec, 115 secs
lola: 2967141 markings, 4923827 edges, 23396 markings/sec, 120 secs
lola: 3089054 markings, 5121460 edges, 24383 markings/sec, 125 secs
lola: 3208081 markings, 5315695 edges, 23805 markings/sec, 130 secs
lola: 3323689 markings, 5506573 edges, 23122 markings/sec, 135 secs
lola: 3439558 markings, 5698210 edges, 23174 markings/sec, 140 secs
lola: 3555872 markings, 5890454 edges, 23263 markings/sec, 145 secs
lola: 3671739 markings, 6082024 edges, 23173 markings/sec, 150 secs
lola: 3787956 markings, 6272438 edges, 23243 markings/sec, 155 secs
lola: 3905067 markings, 6465716 edges, 23422 markings/sec, 160 secs
lola: 4021508 markings, 6657867 edges, 23288 markings/sec, 165 secs
lola: 4137592 markings, 6849622 edges, 23217 markings/sec, 170 secs
lola: 4255750 markings, 7045940 edges, 23632 markings/sec, 175 secs
lola: 4374049 markings, 7240923 edges, 23660 markings/sec, 180 secs
lola: 4492031 markings, 7435454 edges, 23596 markings/sec, 185 secs
lola: 4609964 markings, 7630208 edges, 23587 markings/sec, 190 secs
lola: 4723212 markings, 7819706 edges, 22650 markings/sec, 195 secs
lola: 4838384 markings, 8013202 edges, 23034 markings/sec, 200 secs
lola: 4957855 markings, 8210895 edges, 23894 markings/sec, 205 secs
lola: 5074510 markings, 8408036 edges, 23331 markings/sec, 210 secs
lola: 5198165 markings, 8613452 edges, 24731 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-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 1494710269266
--------------------
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-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/PolyORBNT-PT-S05J30.tgz
mv 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 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 r058-smll-149440926100101"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;