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

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

=== Now, execution of the tool begins

BK_START 1494747222991


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-PT-S10J80 @ 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: 15114/65536 symbol table entries, 4786 collisions
lola: preprocessing...
lola: finding significant places
lola: 1614 places, 13500 transitions, 1422 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4298 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J80-UpperBounds.task
lola: MAX(NotifyEventEndOfCheckSourcesB_1) : MAX(mi2) : MAX(cJobCnt) : MAX(place_782_1) : MAX(place_787_1) : MAX(ModifiedSrc_10 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6 + ModifiedSrc_7 + ModifiedSrc_8 + ModifiedSrc_9) : MAX(AvailableJobId_10 + AvailableJobId_11 + AvailableJobId_12 + AvailableJobId_13 + AvailableJobId_14 + AvailableJobId_15 + AvailableJobId_16 + AvailableJobId_19 + AvailableJobId_21 + AvailableJobId_22 + AvailableJobId_23 + AvailableJobId_24 + AvailableJobId_25 + AvailableJobId_26 + AvailableJobId_27 + AvailableJobId_28 + AvailableJobId_33 + AvailableJobId_34 + AvailableJobId_35 + AvailableJobId_36 + AvailableJobId_37 + AvailableJobId_38 + AvailableJobId_39 + AvailableJobId_40 + AvailableJobId_41 + AvailableJobId_45 + AvailableJobId_46 + AvailableJobId_48 + AvailableJobId_49 + AvailableJobId_50 + AvailableJobId_51 + AvailableJobId_52 + AvailableJobId_53 + AvailableJobId_57 + AvailableJobId_58 + AvailableJobId_60 + AvailableJobId_61 + AvailableJobId_62 + AvailableJobId_63 + AvailableJobId_64 + AvailableJobId_65 + AvailableJobId_69 + AvailableJobId_70 + AvailableJobId_71 + AvailableJobId_72 + AvailableJobId_73 + AvailableJobId_74 + AvailableJobId_75 + AvailableJobId_76 + AvailableJobId_77 + AvailableJobId_4 + AvailableJobId_9 + AvailableJobId_8 + AvailableJobId_7 + AvailableJobId_6 + AvailableJobId_5 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0 + AvailableJobId_80 + AvailableJobId_79 + AvailableJobId_78 + AvailableJobId_68 + AvailableJobId_67 + AvailableJobId_66 + AvailableJobId_59 + AvailableJobId_56 + AvailableJobId_55 + AvailableJobId_54 + AvailableJobId_47 + AvailableJobId_44 + AvailableJobId_43 + AvailableJobId_42 + AvailableJobId_32 + AvailableJobId_31 + AvailableJobId_30 + AvailableJobId_29 + AvailableJobId_20 + AvailableJobId_18 + AvailableJobId_17) : MAX(cJobCnt) : MAX(place_520_1) : MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30 + f1_31 + f1_32 + f1_33 + f1_34 + f1_35 + f1_36 + f1_37 + f1_38 + f1_39 + f1_40 + f1_41 + f1_42 + f1_43 + f1_44 + f1_45 + f1_46 + f1_47 + f1_48 + f1_49 + f1_50 + f1_51 + f1_52 + f1_53 + f1_54 + f1_55 + f1_56 + f1_57 + f1_58 + f1_59 + f1_60 + f1_61 + f1_62 + f1_63 + f1_64 + f1_65 + f1_66 + f1_67 + f1_68 + f1_69 + f1_70 + f1_71 + f1_72 + f1_73 + f1_74 + f1_75 + f1_76 + f1_77 + f1_78 + f1_79 + f1_80) : MAX(QueueJobE_1) : MAX(cSources) : MAX(Try_Check_Sources_E_1) : MAX(place_482_1_10 + place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5 + place_482_1_6 + place_482_1_7 + place_482_1_8 + place_482_1_9) : MAX(mo3) : MAX(place_787_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(NotifyEventEndOfCheckSourcesB_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 4814 markings, 5348 edges, 963 markings/sec, 0 secs
lola: 9551 markings, 10663 edges, 947 markings/sec, 5 secs
lola: 14205 markings, 15925 edges, 931 markings/sec, 10 secs
lola: 18874 markings, 21234 edges, 934 markings/sec, 15 secs
lola: 23474 markings, 26512 edges, 920 markings/sec, 20 secs
lola: 28038 markings, 31794 edges, 913 markings/sec, 25 secs
lola: 32862 markings, 37243 edges, 965 markings/sec, 30 secs
lola: 37397 markings, 42560 edges, 907 markings/sec, 35 secs
lola: 42101 markings, 47989 edges, 941 markings/sec, 40 secs
lola: 46772 markings, 53436 edges, 934 markings/sec, 45 secs
lola: 51390 markings, 58901 edges, 924 markings/sec, 50 secs
lola: 56177 markings, 64470 edges, 957 markings/sec, 55 secs
lola: 60776 markings, 70008 edges, 920 markings/sec, 60 secs
lola: 65458 markings, 75629 edges, 936 markings/sec, 65 secs
lola: 70070 markings, 81284 edges, 922 markings/sec, 70 secs
lola: 74705 markings, 87027 edges, 927 markings/sec, 75 secs
lola: 79401 markings, 92939 edges, 939 markings/sec, 80 secs
lola: 84062 markings, 98928 edges, 932 markings/sec, 85 secs
lola: 88696 markings, 105198 edges, 927 markings/sec, 90 secs
lola: 93352 markings, 111818 edges, 931 markings/sec, 95 secs
lola: 97942 markings, 119538 edges, 918 markings/sec, 100 secs
lola: 103367 markings, 128720 edges, 1085 markings/sec, 105 secs
lola: 109198 markings, 135924 edges, 1166 markings/sec, 110 secs
lola: 115175 markings, 143095 edges, 1195 markings/sec, 115 secs
lola: 121093 markings, 150221 edges, 1184 markings/sec, 120 secs
lola: 126857 markings, 157242 edges, 1153 markings/sec, 125 secs
lola: 132649 markings, 164304 edges, 1158 markings/sec, 130 secs
lola: 138444 markings, 171375 edges, 1159 markings/sec, 135 secs
lola: 144274 markings, 178534 edges, 1166 markings/sec, 140 secs
lola: 150097 markings, 185682 edges, 1165 markings/sec, 145 secs
lola: 155873 markings, 192762 edges, 1155 markings/sec, 150 secs
lola: 161609 markings, 199798 edges, 1147 markings/sec, 155 secs
lola: 167388 markings, 206865 edges, 1156 markings/sec, 160 secs
lola: 172736 markings, 213457 edges, 1070 markings/sec, 165 secs
lola: 178480 markings, 220497 edges, 1149 markings/sec, 170 secs
lola: 184239 markings, 227522 edges, 1152 markings/sec, 175 secs
lola: 190008 markings, 234557 edges, 1154 markings/sec, 180 secs
lola: 195864 markings, 241759 edges, 1171 markings/sec, 185 secs
lola: 201569 markings, 248784 edges, 1141 markings/sec, 190 secs
lola: 207303 markings, 255977 edges, 1147 markings/sec, 195 secs
lola: 213149 markings, 263107 edges, 1169 markings/sec, 200 secs
lola: 219065 markings, 270422 edges, 1183 markings/sec, 205 secs
lola: 224731 markings, 277584 edges, 1133 markings/sec, 210 secs
lola: 230615 markings, 284778 edges, 1177 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(mi2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 2902 markings, 5481 edges, 580 markings/sec, 0 secs
lola: 5673 markings, 10908 edges, 554 markings/sec, 5 secs
lola: 8320 markings, 16603 edges, 529 markings/sec, 10 secs
lola: 10719 markings, 21292 edges, 480 markings/sec, 15 secs
lola: 13575 markings, 26752 edges, 571 markings/sec, 20 secs
lola: 16182 markings, 32386 edges, 521 markings/sec, 25 secs
lola: 18488 markings, 37039 edges, 461 markings/sec, 30 secs
lola: 21359 markings, 42840 edges, 574 markings/sec, 35 secs
lola: 24081 markings, 48227 edges, 544 markings/sec, 40 secs
lola: 26661 markings, 53801 edges, 516 markings/sec, 45 secs
lola: 29066 markings, 58513 edges, 481 markings/sec, 50 secs
lola: 31920 markings, 64311 edges, 571 markings/sec, 55 secs
lola: 34561 markings, 69651 edges, 528 markings/sec, 60 secs
lola: 37123 markings, 74786 edges, 512 markings/sec, 65 secs
lola: 39614 markings, 80016 edges, 498 markings/sec, 70 secs
lola: 42457 markings, 85493 edges, 569 markings/sec, 75 secs
lola: 45061 markings, 91127 edges, 521 markings/sec, 80 secs
lola: 47649 markings, 96292 edges, 518 markings/sec, 85 secs
lola: 50122 markings, 101513 edges, 495 markings/sec, 90 secs
lola: 52936 markings, 107287 edges, 563 markings/sec, 95 secs
lola: 55573 markings, 112633 edges, 527 markings/sec, 100 secs
lola: 58184 markings, 118275 edges, 522 markings/sec, 105 secs
lola: 60569 markings, 122978 edges, 477 markings/sec, 110 secs
lola: 63370 markings, 128745 edges, 560 markings/sec, 115 secs
lola: 66090 markings, 134147 edges, 544 markings/sec, 120 secs
lola: 68700 markings, 139791 edges, 522 markings/sec, 125 secs
lola: 71096 markings, 144818 edges, 479 markings/sec, 130 secs
lola: 73748 markings, 150179 edges, 530 markings/sec, 135 secs
lola: 76525 markings, 155938 edges, 555 markings/sec, 140 secs
lola: 79207 markings, 161318 edges, 536 markings/sec, 145 secs
lola: 81818 markings, 166968 edges, 522 markings/sec, 150 secs
lola: 84437 markings, 172629 edges, 524 markings/sec, 155 secs
lola: 86834 markings, 177341 edges, 479 markings/sec, 160 secs
lola: 89592 markings, 183091 edges, 552 markings/sec, 165 secs
lola: 92339 markings, 188519 edges, 549 markings/sec, 170 secs
lola: 94952 markings, 194179 edges, 523 markings/sec, 175 secs
lola: 97570 markings, 199841 edges, 524 markings/sec, 180 secs
lola: 100184 markings, 205507 edges, 523 markings/sec, 185 secs
lola: 102562 markings, 210209 edges, 476 markings/sec, 190 secs
lola: 105290 markings, 215949 edges, 546 markings/sec, 195 secs
lola: 108011 markings, 221684 edges, 544 markings/sec, 200 secs
lola: 110707 markings, 227081 edges, 539 markings/sec, 205 secs
lola: 113320 markings, 232748 edges, 523 markings/sec, 210 secs
lola: 115938 markings, 238415 edges, 524 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(cJobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 5048 markings, 6031 edges, 1010 markings/sec, 0 secs
lola: 9895 markings, 11500 edges, 969 markings/sec, 5 secs
lola: 14694 markings, 16953 edges, 960 markings/sec, 10 secs
lola: 19470 markings, 22431 edges, 955 markings/sec, 15 secs
lola: 24466 markings, 28053 edges, 999 markings/sec, 20 secs
lola: 29154 markings, 33439 edges, 938 markings/sec, 25 secs
lola: 34014 markings, 39009 edges, 972 markings/sec, 30 secs
lola: 38854 markings, 44632 edges, 968 markings/sec, 35 secs
lola: 43615 markings, 50175 edges, 952 markings/sec, 40 secs
lola: 47933 markings, 55206 edges, 864 markings/sec, 45 secs
lola: 52195 markings, 60164 edges, 852 markings/sec, 50 secs
lola: 56263 markings, 65014 edges, 814 markings/sec, 55 secs
lola: 60655 markings, 70265 edges, 878 markings/sec, 60 secs
lola: 65295 markings, 75861 edges, 928 markings/sec, 65 secs
lola: 70070 markings, 81638 edges, 955 markings/sec, 70 secs
lola: 74729 markings, 87393 edges, 932 markings/sec, 75 secs
lola: 79323 markings, 93239 edges, 919 markings/sec, 80 secs
lola: 83969 markings, 99232 edges, 929 markings/sec, 85 secs
lola: 88615 markings, 105452 edges, 929 markings/sec, 90 secs
lola: 93321 markings, 112149 edges, 941 markings/sec, 95 secs
lola: 97922 markings, 119663 edges, 920 markings/sec, 100 secs
lola: 103318 markings, 129129 edges, 1079 markings/sec, 105 secs
lola: 109369 markings, 136518 edges, 1210 markings/sec, 110 secs
lola: 115495 markings, 143899 edges, 1225 markings/sec, 115 secs
lola: 121597 markings, 151269 edges, 1220 markings/sec, 120 secs
lola: 127670 markings, 158629 edges, 1215 markings/sec, 125 secs
lola: 133683 markings, 165960 edges, 1203 markings/sec, 130 secs
lola: 139688 markings, 173285 edges, 1201 markings/sec, 135 secs
lola: 145711 markings, 180638 edges, 1205 markings/sec, 140 secs
lola: 151733 markings, 187996 edges, 1204 markings/sec, 145 secs
lola: 157785 markings, 195394 edges, 1210 markings/sec, 150 secs
lola: 163807 markings, 202789 edges, 1204 markings/sec, 155 secs
lola: 169967 markings, 210426 edges, 1232 markings/sec, 160 secs
lola: 176090 markings, 217933 edges, 1225 markings/sec, 165 secs
lola: 182423 markings, 225618 edges, 1267 markings/sec, 170 secs
lola: 188843 markings, 233528 edges, 1284 markings/sec, 175 secs
lola: 194570 markings, 240655 edges, 1145 markings/sec, 180 secs
lola: 200332 markings, 247743 edges, 1152 markings/sec, 185 secs
lola: 205914 markings, 254573 edges, 1116 markings/sec, 190 secs
lola: 211309 markings, 261234 edges, 1079 markings/sec, 195 secs
lola: 217175 markings, 268524 edges, 1173 markings/sec, 200 secs
lola: 223047 markings, 275801 edges, 1174 markings/sec, 205 secs
lola: 229250 markings, 283520 edges, 1241 markings/sec, 210 secs
lola: 234960 markings, 290599 edges, 1142 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_782_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 4817 markings, 5354 edges, 963 markings/sec, 0 secs
lola: 9535 markings, 10643 edges, 944 markings/sec, 5 secs
lola: 14166 markings, 15886 edges, 926 markings/sec, 10 secs
lola: 18869 markings, 21230 edges, 941 markings/sec, 15 secs
lola: 23633 markings, 26737 edges, 953 markings/sec, 20 secs
lola: 28725 markings, 32480 edges, 1018 markings/sec, 25 secs
lola: 33548 markings, 38085 edges, 965 markings/sec, 30 secs
lola: 38437 markings, 43758 edges, 978 markings/sec, 35 secs
lola: 43394 markings, 49496 edges, 991 markings/sec, 40 secs
lola: 48418 markings, 55327 edges, 1005 markings/sec, 45 secs
lola: 53220 markings, 61044 edges, 960 markings/sec, 50 secs
lola: 58119 markings, 66852 edges, 980 markings/sec, 55 secs
lola: 63105 markings, 72807 edges, 997 markings/sec, 60 secs
lola: 67984 markings, 78736 edges, 976 markings/sec, 65 secs
lola: 72921 markings, 84814 edges, 987 markings/sec, 70 secs
lola: 77823 markings, 90968 edges, 980 markings/sec, 75 secs
lola: 82726 markings, 97233 edges, 981 markings/sec, 80 secs
lola: 87702 markings, 103820 edges, 995 markings/sec, 85 secs
lola: 92580 markings, 110733 edges, 976 markings/sec, 90 secs
lola: 97476 markings, 118602 edges, 979 markings/sec, 95 secs
lola: 103163 markings, 128516 edges, 1137 markings/sec, 100 secs
lola: 109503 markings, 136258 edges, 1268 markings/sec, 105 secs
lola: 115865 markings, 144010 edges, 1272 markings/sec, 110 secs
lola: 122231 markings, 151754 edges, 1273 markings/sec, 115 secs
lola: 128608 markings, 159497 edges, 1275 markings/sec, 120 secs
lola: 134993 markings, 167241 edges, 1277 markings/sec, 125 secs
lola: 141371 markings, 174962 edges, 1276 markings/sec, 130 secs
lola: 147786 markings, 182779 edges, 1283 markings/sec, 135 secs
lola: 154227 markings, 190646 edges, 1288 markings/sec, 140 secs
lola: 160649 markings, 198518 edges, 1284 markings/sec, 145 secs
lola: 166886 markings, 206251 edges, 1247 markings/sec, 150 secs
lola: 173181 markings, 213946 edges, 1259 markings/sec, 155 secs
lola: 179650 markings, 221809 edges, 1294 markings/sec, 160 secs
lola: 186038 markings, 229710 edges, 1278 markings/sec, 165 secs
lola: 192258 markings, 237396 edges, 1244 markings/sec, 170 secs
lola: 198810 markings, 245384 edges, 1310 markings/sec, 175 secs
lola: 205021 markings, 253178 edges, 1242 markings/sec, 180 secs
lola: 211580 markings, 261159 edges, 1312 markings/sec, 185 secs
lola: 217806 markings, 268939 edges, 1245 markings/sec, 190 secs
lola: 224290 markings, 276969 edges, 1297 markings/sec, 195 secs
lola: 230679 markings, 284856 edges, 1278 markings/sec, 200 secs
lola: 236953 markings, 292666 edges, 1255 markings/sec, 205 secs
lola: 243320 markings, 300677 edges, 1273 markings/sec, 210 secs
lola: 249681 markings, 308676 edges, 1272 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(place_787_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 4741 markings, 5250 edges, 948 markings/sec, 0 secs
lola: 9649 markings, 10805 edges, 982 markings/sec, 5 secs
lola: 14508 markings, 16342 edges, 972 markings/sec, 10 secs
lola: 19456 markings, 21959 edges, 990 markings/sec, 15 secs
lola: 24484 markings, 27649 edges, 1006 markings/sec, 20 secs
lola: 29325 markings, 33236 edges, 968 markings/sec, 25 secs
lola: 34086 markings, 38689 edges, 952 markings/sec, 30 secs
lola: 38840 markings, 44160 edges, 951 markings/sec, 35 secs
lola: 43784 markings, 49886 edges, 989 markings/sec, 40 secs
lola: 48583 markings, 55561 edges, 960 markings/sec, 45 secs
lola: 53545 markings, 61369 edges, 992 markings/sec, 50 secs
lola: 58402 markings, 67165 edges, 971 markings/sec, 55 secs
lola: 63374 markings, 73107 edges, 994 markings/sec, 60 secs
lola: 68181 markings, 78978 edges, 961 markings/sec, 65 secs
lola: 73117 markings, 85010 edges, 987 markings/sec, 70 secs
lola: 77986 markings, 91131 edges, 974 markings/sec, 75 secs
lola: 82849 markings, 97402 edges, 973 markings/sec, 80 secs
lola: 87792 markings, 103962 edges, 989 markings/sec, 85 secs
lola: 92650 markings, 110803 edges, 972 markings/sec, 90 secs
lola: 97504 markings, 118698 edges, 971 markings/sec, 95 secs
lola: 103168 markings, 128521 edges, 1133 markings/sec, 100 secs
lola: 109486 markings, 136241 edges, 1264 markings/sec, 105 secs
lola: 115826 markings, 143971 edges, 1268 markings/sec, 110 secs
lola: 122159 markings, 151682 edges, 1267 markings/sec, 115 secs
lola: 128507 markings, 159396 edges, 1270 markings/sec, 120 secs
lola: 134866 markings, 167109 edges, 1272 markings/sec, 125 secs
lola: 141211 markings, 174803 edges, 1269 markings/sec, 130 secs
lola: 147571 markings, 182520 edges, 1272 markings/sec, 135 secs
lola: 153981 markings, 190350 edges, 1282 markings/sec, 140 secs
lola: 160409 markings, 198206 edges, 1286 markings/sec, 145 secs
lola: 166684 markings, 205968 edges, 1255 markings/sec, 150 secs
lola: 172889 markings, 213642 edges, 1241 markings/sec, 155 secs
lola: 179281 markings, 221364 edges, 1278 markings/sec, 160 secs
lola: 185761 markings, 229310 edges, 1296 markings/sec, 165 secs
lola: 191342 markings, 236228 edges, 1116 markings/sec, 170 secs
lola: 196895 markings, 243120 edges, 1111 markings/sec, 175 secs
lola: 202378 markings, 249933 edges, 1097 markings/sec, 180 secs
lola: 208920 markings, 257873 edges, 1308 markings/sec, 185 secs
lola: 215163 markings, 265692 edges, 1249 markings/sec, 190 secs
lola: 221710 markings, 273741 edges, 1309 markings/sec, 195 secs
lola: 227992 markings, 281525 edges, 1256 markings/sec, 200 secs
lola: 234304 markings, 289433 edges, 1262 markings/sec, 205 secs
lola: 240725 markings, 297468 edges, 1284 markings/sec, 210 secs
lola: 247103 markings, 305391 edges, 1276 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ModifiedSrc_10 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6 + ModifiedSrc_7 + ModifiedSrc_8 + ModifiedSrc_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 4876 markings, 6801 edges, 975 markings/sec, 0 secs
lola: 9474 markings, 12025 edges, 920 markings/sec, 5 secs
lola: 14107 markings, 17284 edges, 927 markings/sec, 10 secs
lola: 18764 markings, 22567 edges, 931 markings/sec, 15 secs
lola: 23468 markings, 27897 edges, 941 markings/sec, 20 secs
lola: 28150 markings, 33241 edges, 936 markings/sec, 25 secs
lola: 32667 markings, 38505 edges, 903 markings/sec, 30 secs
lola: 37457 markings, 43957 edges, 958 markings/sec, 35 secs
lola: 42075 markings, 49321 edges, 924 markings/sec, 40 secs
lola: 46705 markings, 54734 edges, 926 markings/sec, 45 secs
lola: 51406 markings, 60217 edges, 940 markings/sec, 50 secs
lola: 55978 markings, 65671 edges, 914 markings/sec, 55 secs
lola: 60710 markings, 71280 edges, 946 markings/sec, 60 secs
lola: 65336 markings, 76857 edges, 925 markings/sec, 65 secs
lola: 69891 markings, 82458 edges, 911 markings/sec, 70 secs
lola: 74535 markings, 88198 edges, 929 markings/sec, 75 secs
lola: 79222 markings, 94053 edges, 937 markings/sec, 80 secs
lola: 83861 markings, 100028 edges, 928 markings/sec, 85 secs
lola: 88503 markings, 106235 edges, 928 markings/sec, 90 secs
lola: 93156 markings, 112830 edges, 931 markings/sec, 95 secs
lola: 97751 markings, 120250 edges, 919 markings/sec, 100 secs
lola: 102986 markings, 129732 edges, 1047 markings/sec, 105 secs
lola: 108960 markings, 136875 edges, 1195 markings/sec, 110 secs
lola: 114774 markings, 143902 edges, 1163 markings/sec, 115 secs
lola: 120487 markings, 150857 edges, 1143 markings/sec, 120 secs
lola: 126245 markings, 157915 edges, 1152 markings/sec, 125 secs
lola: 132067 markings, 165093 edges, 1164 markings/sec, 130 secs
lola: 137918 markings, 172238 edges, 1170 markings/sec, 135 secs
lola: 143793 markings, 179368 edges, 1175 markings/sec, 140 secs
lola: 149642 markings, 186482 edges, 1170 markings/sec, 145 secs
lola: 155474 markings, 193596 edges, 1166 markings/sec, 150 secs
lola: 161289 markings, 200710 edges, 1163 markings/sec, 155 secs
lola: 167106 markings, 207848 edges, 1163 markings/sec, 160 secs
lola: 172893 markings, 214968 edges, 1157 markings/sec, 165 secs
lola: 178470 markings, 221812 edges, 1115 markings/sec, 170 secs
lola: 184206 markings, 228905 edges, 1147 markings/sec, 175 secs
lola: 190008 markings, 235989 edges, 1160 markings/sec, 180 secs
lola: 195866 markings, 243132 edges, 1172 markings/sec, 185 secs
lola: 201796 markings, 250430 edges, 1186 markings/sec, 190 secs
lola: 207570 markings, 257643 edges, 1155 markings/sec, 195 secs
lola: 213337 markings, 264752 edges, 1153 markings/sec, 200 secs
lola: 219302 markings, 272080 edges, 1193 markings/sec, 205 secs
lola: 225018 markings, 279286 edges, 1143 markings/sec, 210 secs
lola: 230908 markings, 286504 edges, 1178 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(AvailableJobId_10 + AvailableJobId_11 + AvailableJobId_12 + AvailableJobId_13 + AvailableJobId_14 + AvailableJobId_15 + AvailableJobId_16 + AvailableJobId_19 + AvailableJobId_21 + AvailableJobId_22 + AvailableJobId_23 + AvailableJobId_24 + AvailableJobId_25 + AvailableJobId_26 + AvailableJobId_27 + AvailableJobId_28 + AvailableJobId_33 + AvailableJobId_34 + AvailableJobId_35 + AvailableJobId_3... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 4938 markings, 5524 edges, 988 markings/sec, 0 secs
lola: 9824 markings, 11047 edges, 977 markings/sec, 5 secs
lola: 14705 markings, 16582 edges, 976 markings/sec, 10 secs
lola: 19708 markings, 22211 edges, 1001 markings/sec, 15 secs
lola: 24576 markings, 27776 edges, 974 markings/sec, 20 secs
lola: 29467 markings, 33378 edges, 978 markings/sec, 25 secs
lola: 34268 markings, 38942 edges, 960 markings/sec, 30 secs
lola: 39199 markings, 44625 edges, 986 markings/sec, 35 secs
lola: 44073 markings, 50305 edges, 975 markings/sec, 40 secs
lola: 49094 markings, 56135 edges, 1004 markings/sec, 45 secs
lola: 53931 markings, 61877 edges, 967 markings/sec, 50 secs
lola: 58875 markings, 67745 edges, 989 markings/sec, 55 secs
lola: 63818 markings, 73676 edges, 989 markings/sec, 60 secs
lola: 68702 markings, 79613 edges, 977 markings/sec, 65 secs
lola: 73665 markings, 85714 edges, 993 markings/sec, 70 secs
lola: 78584 markings, 91885 edges, 984 markings/sec, 75 secs
lola: 83504 markings, 98214 edges, 984 markings/sec, 80 secs
lola: 88358 markings, 104789 edges, 971 markings/sec, 85 secs
lola: 93280 markings, 111746 edges, 984 markings/sec, 90 secs
lola: 98140 markings, 119892 edges, 972 markings/sec, 95 secs
lola: 104110 markings, 129573 edges, 1194 markings/sec, 100 secs
lola: 110438 markings, 137263 edges, 1266 markings/sec, 105 secs
lola: 116749 markings, 144940 edges, 1262 markings/sec, 110 secs
lola: 123066 markings, 152629 edges, 1263 markings/sec, 115 secs
lola: 129413 markings, 160360 edges, 1269 markings/sec, 120 secs
lola: 135778 markings, 168119 edges, 1273 markings/sec, 125 secs
lola: 142154 markings, 175895 edges, 1275 markings/sec, 130 secs
lola: 148534 markings, 183683 edges, 1276 markings/sec, 135 secs
lola: 154865 markings, 191449 edges, 1266 markings/sec, 140 secs
lola: 161074 markings, 199119 edges, 1242 markings/sec, 145 secs
lola: 167316 markings, 206793 edges, 1248 markings/sec, 150 secs
lola: 173685 markings, 214494 edges, 1274 markings/sec, 155 secs
lola: 180161 markings, 222428 edges, 1295 markings/sec, 160 secs
lola: 186334 markings, 230129 edges, 1235 markings/sec, 165 secs
lola: 192629 markings, 237786 edges, 1259 markings/sec, 170 secs
lola: 199142 markings, 245818 edges, 1303 markings/sec, 175 secs
lola: 205307 markings, 253482 edges, 1233 markings/sec, 180 secs
lola: 211835 markings, 261494 edges, 1306 markings/sec, 185 secs
lola: 218004 markings, 269137 edges, 1234 markings/sec, 190 secs
lola: 224402 markings, 277128 edges, 1280 markings/sec, 195 secs
lola: 230805 markings, 285008 edges, 1281 markings/sec, 200 secs
lola: 237022 markings, 292773 edges, 1243 markings/sec, 205 secs
lola: 243335 markings, 300692 edges, 1263 markings/sec, 210 secs
lola: 249660 markings, 308654 edges, 1265 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(cJobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 5093 markings, 6094 edges, 1019 markings/sec, 0 secs
lola: 9975 markings, 11612 edges, 976 markings/sec, 5 secs
lola: 14809 markings, 17114 edges, 967 markings/sec, 10 secs
lola: 19734 markings, 22695 edges, 985 markings/sec, 15 secs
lola: 24720 markings, 28330 edges, 997 markings/sec, 20 secs
lola: 29464 markings, 33833 edges, 949 markings/sec, 25 secs
lola: 34404 markings, 39486 edges, 988 markings/sec, 30 secs
lola: 39334 markings, 45167 edges, 986 markings/sec, 35 secs
lola: 44118 markings, 50721 edges, 957 markings/sec, 40 secs
lola: 48875 markings, 56321 edges, 951 markings/sec, 45 secs
lola: 53907 markings, 62189 edges, 1006 markings/sec, 50 secs
lola: 58808 markings, 68029 edges, 980 markings/sec, 55 secs
lola: 63721 markings, 73944 edges, 983 markings/sec, 60 secs
lola: 68664 markings, 79919 edges, 989 markings/sec, 65 secs
lola: 73561 markings, 85979 edges, 979 markings/sec, 70 secs
lola: 78479 markings, 92150 edges, 984 markings/sec, 75 secs
lola: 83398 markings, 98477 edges, 984 markings/sec, 80 secs
lola: 88290 markings, 105023 edges, 978 markings/sec, 85 secs
lola: 93216 markings, 111983 edges, 985 markings/sec, 90 secs
lola: 98105 markings, 120070 edges, 978 markings/sec, 95 secs
lola: 103934 markings, 129763 edges, 1166 markings/sec, 100 secs
lola: 110277 markings, 137491 edges, 1269 markings/sec, 105 secs
lola: 116650 markings, 145255 edges, 1275 markings/sec, 110 secs
lola: 123020 markings, 153004 edges, 1274 markings/sec, 115 secs
lola: 129411 markings, 160762 edges, 1278 markings/sec, 120 secs
lola: 135823 markings, 168576 edges, 1282 markings/sec, 125 secs
lola: 142256 markings, 176423 edges, 1287 markings/sec, 130 secs
lola: 148693 markings, 184280 edges, 1287 markings/sec, 135 secs
lola: 155081 markings, 192104 edges, 1278 markings/sec, 140 secs
lola: 161251 markings, 199719 edges, 1234 markings/sec, 145 secs
lola: 167445 markings, 207380 edges, 1239 markings/sec, 150 secs
lola: 173559 markings, 214782 edges, 1223 markings/sec, 155 secs
lola: 180035 markings, 222680 edges, 1295 markings/sec, 160 secs
lola: 186371 markings, 230531 edges, 1267 markings/sec, 165 secs
lola: 192618 markings, 238214 edges, 1249 markings/sec, 170 secs
lola: 198844 markings, 245827 edges, 1245 markings/sec, 175 secs
lola: 205043 markings, 253586 edges, 1240 markings/sec, 180 secs
lola: 211487 markings, 261448 edges, 1289 markings/sec, 185 secs
lola: 217741 markings, 269312 edges, 1251 markings/sec, 190 secs
lola: 224303 markings, 277337 edges, 1312 markings/sec, 195 secs
lola: 230548 markings, 285101 edges, 1249 markings/sec, 200 secs
lola: 236858 markings, 293005 edges, 1262 markings/sec, 205 secs
lola: 243254 markings, 301019 edges, 1279 markings/sec, 210 secs
lola: 249665 markings, 309011 edges, 1282 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(place_520_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 2485 markings, 2765 edges, 497 markings/sec, 0 secs
lola: 4953 markings, 5542 edges, 494 markings/sec, 5 secs
lola: 8969 markings, 10063 edges, 803 markings/sec, 10 secs
lola: 13600 markings, 15320 edges, 926 markings/sec, 15 secs
lola: 18272 markings, 20618 edges, 934 markings/sec, 20 secs
lola: 22952 markings, 25924 edges, 936 markings/sec, 25 secs
lola: 27654 markings, 31252 edges, 940 markings/sec, 30 secs
lola: 32170 markings, 36513 edges, 903 markings/sec, 35 secs
lola: 36939 markings, 41946 edges, 954 markings/sec, 40 secs
lola: 41244 markings, 47033 edges, 861 markings/sec, 45 secs
lola: 45768 markings, 52240 edges, 905 markings/sec, 50 secs
lola: 50365 markings, 57648 edges, 919 markings/sec, 55 secs
lola: 54962 markings, 63099 edges, 919 markings/sec, 60 secs
lola: 59620 markings, 68619 edges, 932 markings/sec, 65 secs
lola: 64248 markings, 74179 edges, 926 markings/sec, 70 secs
lola: 68826 markings, 79780 edges, 916 markings/sec, 75 secs
lola: 73431 markings, 85441 edges, 921 markings/sec, 80 secs
lola: 78146 markings, 91291 edges, 943 markings/sec, 85 secs
lola: 82692 markings, 97184 edges, 909 markings/sec, 90 secs
lola: 87372 markings, 103388 edges, 936 markings/sec, 95 secs
lola: 91958 markings, 109798 edges, 917 markings/sec, 100 secs
lola: 96556 markings, 116973 edges, 920 markings/sec, 105 secs
lola: 101754 markings, 126707 edges, 1040 markings/sec, 110 secs
lola: 107419 markings, 133594 edges, 1133 markings/sec, 115 secs
lola: 113125 markings, 140580 edges, 1141 markings/sec, 120 secs
lola: 118892 markings, 147717 edges, 1153 markings/sec, 125 secs
lola: 124798 markings, 154821 edges, 1181 markings/sec, 130 secs
lola: 130703 markings, 161947 edges, 1181 markings/sec, 135 secs
lola: 136480 markings, 168967 edges, 1155 markings/sec, 140 secs
lola: 142221 markings, 175977 edges, 1148 markings/sec, 145 secs
lola: 147974 markings, 183004 edges, 1151 markings/sec, 150 secs
lola: 153734 markings, 190047 edges, 1152 markings/sec, 155 secs
lola: 159521 markings, 197130 edges, 1157 markings/sec, 160 secs
lola: 165338 markings, 204253 edges, 1163 markings/sec, 165 secs
lola: 171161 markings, 211390 edges, 1165 markings/sec, 170 secs
lola: 177000 markings, 218551 edges, 1168 markings/sec, 175 secs
lola: 182833 markings, 225710 edges, 1167 markings/sec, 180 secs
lola: 188612 markings, 232849 edges, 1156 markings/sec, 185 secs
lola: 194252 markings, 239852 edges, 1128 markings/sec, 190 secs
lola: 199980 markings, 246933 edges, 1146 markings/sec, 195 secs
lola: 205883 markings, 254131 edges, 1181 markings/sec, 200 secs
lola: 211838 markings, 261495 edges, 1191 markings/sec, 205 secs
lola: 217482 markings, 268595 edges, 1129 markings/sec, 210 secs
lola: 223416 markings, 275833 edges, 1187 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(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30 + f1_31 + f1_32 + f1_33 + f1_34 + f1_35 + f1_36 + f1_37 + f1_38 + f1_39 + f1_40 + f1_41 + f1_42 + f1_43 + f1_44 + f1_45 + f1_46 + f1_47 + f1_48 + f1_49 + f1_50 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 2906 markings, 5493 edges, 581 markings/sec, 0 secs
lola: 5699 markings, 10955 edges, 559 markings/sec, 5 secs
lola: 8329 markings, 16626 edges, 526 markings/sec, 10 secs
lola: 10735 markings, 21324 edges, 481 markings/sec, 15 secs
lola: 13600 markings, 26796 edges, 573 markings/sec, 20 secs
lola: 16198 markings, 32404 edges, 520 markings/sec, 25 secs
lola: 18477 markings, 37021 edges, 456 markings/sec, 30 secs
lola: 21342 markings, 42805 edges, 573 markings/sec, 35 secs
lola: 24056 markings, 48184 edges, 543 markings/sec, 40 secs
lola: 26661 markings, 53801 edges, 521 markings/sec, 45 secs
lola: 29053 markings, 58489 edges, 478 markings/sec, 50 secs
lola: 31900 markings, 64267 edges, 569 markings/sec, 55 secs
lola: 34516 markings, 69578 edges, 523 markings/sec, 60 secs
lola: 36966 markings, 74627 edges, 490 markings/sec, 65 secs
lola: 39570 markings, 79925 edges, 521 markings/sec, 70 secs
lola: 42385 markings, 85370 edges, 563 markings/sec, 75 secs
lola: 44971 markings, 90978 edges, 517 markings/sec, 80 secs
lola: 47315 markings, 95954 edges, 469 markings/sec, 85 secs
lola: 50036 markings, 101335 edges, 544 markings/sec, 90 secs
lola: 52838 markings, 106773 edges, 560 markings/sec, 95 secs
lola: 55429 markings, 112387 edges, 518 markings/sec, 100 secs
lola: 58028 markings, 118010 edges, 520 markings/sec, 105 secs
lola: 60439 markings, 122716 edges, 482 markings/sec, 110 secs
lola: 63234 markings, 128465 edges, 559 markings/sec, 115 secs
lola: 65891 markings, 133812 edges, 531 markings/sec, 120 secs
lola: 68488 markings, 139434 edges, 519 markings/sec, 125 secs
lola: 70797 markings, 144074 edges, 462 markings/sec, 130 secs
lola: 73567 markings, 149812 edges, 554 markings/sec, 135 secs
lola: 76336 markings, 155547 edges, 554 markings/sec, 140 secs
lola: 78942 markings, 160864 edges, 521 markings/sec, 145 secs
lola: 81547 markings, 166497 edges, 521 markings/sec, 150 secs
lola: 83856 markings, 171139 edges, 462 markings/sec, 155 secs
lola: 86603 markings, 176871 edges, 549 markings/sec, 160 secs
lola: 89355 markings, 182604 edges, 550 markings/sec, 165 secs
lola: 92006 markings, 187954 edges, 530 markings/sec, 170 secs
lola: 94588 markings, 193553 edges, 516 markings/sec, 175 secs
lola: 97165 markings, 199153 edges, 515 markings/sec, 180 secs
lola: 99521 markings, 203834 edges, 471 markings/sec, 185 secs
lola: 102250 markings, 209561 edges, 546 markings/sec, 190 secs
lola: 104967 markings, 215284 edges, 543 markings/sec, 195 secs
lola: 107653 markings, 220666 edges, 537 markings/sec, 200 secs
lola: 110254 markings, 226311 edges, 520 markings/sec, 205 secs
lola: 112861 markings, 231960 edges, 521 markings/sec, 210 secs
lola: 115464 markings, 237613 edges, 521 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(QueueJobE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 2857 markings, 5394 edges, 571 markings/sec, 0 secs
lola: 5579 markings, 10750 edges, 544 markings/sec, 5 secs
lola: 8160 markings, 16336 edges, 516 markings/sec, 10 secs
lola: 10571 markings, 20992 edges, 482 markings/sec, 15 secs
lola: 13338 markings, 26351 edges, 553 markings/sec, 20 secs
lola: 15886 markings, 31871 edges, 510 markings/sec, 25 secs
lola: 18215 markings, 36476 edges, 466 markings/sec, 30 secs
lola: 21044 markings, 42184 edges, 566 markings/sec, 35 secs
lola: 23617 markings, 47425 edges, 515 markings/sec, 40 secs
lola: 25841 markings, 51970 edges, 445 markings/sec, 45 secs
lola: 28660 markings, 57679 edges, 564 markings/sec, 50 secs
lola: 31355 markings, 63004 edges, 539 markings/sec, 55 secs
lola: 33917 markings, 68555 edges, 512 markings/sec, 60 secs
lola: 36265 markings, 73177 edges, 470 markings/sec, 65 secs
lola: 39046 markings, 78849 edges, 556 markings/sec, 70 secs
lola: 41646 markings, 84114 edges, 520 markings/sec, 75 secs
lola: 44202 markings, 89206 edges, 511 markings/sec, 80 secs
lola: 46620 markings, 94347 edges, 484 markings/sec, 85 secs
lola: 49403 markings, 99728 edges, 557 markings/sec, 90 secs
lola: 51967 markings, 105286 edges, 513 markings/sec, 95 secs
lola: 54435 markings, 110321 edges, 494 markings/sec, 100 secs
lola: 56944 markings, 115522 edges, 502 markings/sec, 105 secs
lola: 59709 markings, 121213 edges, 553 markings/sec, 110 secs
lola: 62291 markings, 126472 edges, 516 markings/sec, 115 secs
lola: 64848 markings, 132033 edges, 511 markings/sec, 120 secs
lola: 67214 markings, 136680 edges, 473 markings/sec, 125 secs
lola: 69965 markings, 142361 edges, 550 markings/sec, 130 secs
lola: 72606 markings, 147664 edges, 528 markings/sec, 135 secs
lola: 75179 markings, 153237 edges, 515 markings/sec, 140 secs
lola: 77440 markings, 157819 edges, 452 markings/sec, 145 secs
lola: 80168 markings, 163494 edges, 546 markings/sec, 150 secs
lola: 82901 markings, 169170 edges, 547 markings/sec, 155 secs
lola: 85498 markings, 174448 edges, 519 markings/sec, 160 secs
lola: 88061 markings, 180018 edges, 513 markings/sec, 165 secs
lola: 90317 markings, 184825 edges, 451 markings/sec, 170 secs
lola: 93027 markings, 190263 edges, 542 markings/sec, 175 secs
lola: 95735 markings, 195928 edges, 542 markings/sec, 180 secs
lola: 98390 markings, 201247 edges, 531 markings/sec, 185 secs
lola: 100958 markings, 206830 edges, 514 markings/sec, 190 secs
lola: 103528 markings, 212418 edges, 514 markings/sec, 195 secs
lola: 105807 markings, 217020 edges, 456 markings/sec, 200 secs
lola: 108492 markings, 222678 edges, 537 markings/sec, 205 secs
lola: 111170 markings, 228333 edges, 536 markings/sec, 210 secs
lola: 113653 markings, 233313 edges, 497 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 5688 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: 3806 markings, 4274 edges, 761 markings/sec, 0 secs
lola: 8116 markings, 9054 edges, 862 markings/sec, 5 secs
lola: 12702 markings, 14266 edges, 917 markings/sec, 10 secs
lola: 17069 markings, 19259 edges, 873 markings/sec, 15 secs
lola: 21240 markings, 23959 edges, 834 markings/sec, 20 secs
lola: 25805 markings, 29213 edges, 913 markings/sec, 25 secs
lola: 30320 markings, 34389 edges, 903 markings/sec, 30 secs
lola: 35047 markings, 39781 edges, 945 markings/sec, 35 secs
lola: 39688 markings, 45164 edges, 928 markings/sec, 40 secs
lola: 44294 markings, 50553 edges, 921 markings/sec, 45 secs
lola: 48715 markings, 55756 edges, 884 markings/sec, 50 secs
lola: 53443 markings, 61267 edges, 946 markings/sec, 55 secs
lola: 58000 markings, 66683 edges, 911 markings/sec, 60 secs
lola: 62437 markings, 71982 edges, 887 markings/sec, 65 secs
lola: 66689 markings, 77173 edges, 850 markings/sec, 70 secs
lola: 71016 markings, 82439 edges, 865 markings/sec, 75 secs
lola: 75283 markings, 87740 edges, 853 markings/sec, 80 secs
lola: 79567 markings, 93181 edges, 857 markings/sec, 85 secs
lola: 84195 markings, 99148 edges, 926 markings/sec, 90 secs
lola: 88834 markings, 105422 edges, 928 markings/sec, 95 secs
lola: 93435 markings, 111985 edges, 920 markings/sec, 100 secs
lola: 97866 markings, 119380 edges, 886 markings/sec, 105 secs
lola: 102949 markings, 128302 edges, 1017 markings/sec, 110 secs
lola: 108674 markings, 135182 edges, 1145 markings/sec, 115 secs
lola: 114185 markings, 141818 edges, 1102 markings/sec, 120 secs
lola: 119426 markings, 148266 edges, 1048 markings/sec, 125 secs
lola: 124888 markings, 154948 edges, 1092 markings/sec, 130 secs
lola: 130640 markings, 161857 edges, 1150 markings/sec, 135 secs
lola: 136171 markings, 168592 edges, 1106 markings/sec, 140 secs
lola: 141659 markings, 175296 edges, 1098 markings/sec, 145 secs
lola: 147209 markings, 182131 edges, 1110 markings/sec, 150 secs
lola: 152774 markings, 189007 edges, 1113 markings/sec, 155 secs
lola: 158393 markings, 195882 edges, 1124 markings/sec, 160 secs
lola: 164036 markings, 202762 edges, 1129 markings/sec, 165 secs
lola: 169658 markings, 209636 edges, 1124 markings/sec, 170 secs
lola: 175256 markings, 216499 edges, 1120 markings/sec, 175 secs
lola: 180838 markings, 223362 edges, 1116 markings/sec, 180 secs
lola: 186400 markings, 230220 edges, 1112 markings/sec, 185 secs
lola: 191945 markings, 237068 edges, 1109 markings/sec, 190 secs
lola: 197560 markings, 243921 edges, 1123 markings/sec, 195 secs
lola: 203217 markings, 250838 edges, 1131 markings/sec, 200 secs
lola: 208932 markings, 257885 edges, 1143 markings/sec, 205 secs
lola: 214540 markings, 264875 edges, 1122 markings/sec, 210 secs
lola: 220037 markings, 271734 edges, 1099 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Try_Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 4678 markings, 5157 edges, 936 markings/sec, 0 secs
lola: 9024 markings, 10118 edges, 869 markings/sec, 5 secs
lola: 13416 markings, 15121 edges, 878 markings/sec, 10 secs
lola: 17925 markings, 20207 edges, 902 markings/sec, 15 secs
lola: 22380 markings, 25268 edges, 891 markings/sec, 20 secs
lola: 26795 markings, 30323 edges, 883 markings/sec, 25 secs
lola: 31175 markings, 35382 edges, 876 markings/sec, 30 secs
lola: 35717 markings, 40567 edges, 908 markings/sec, 35 secs
lola: 40126 markings, 45684 edges, 882 markings/sec, 40 secs
lola: 44603 markings, 50862 edges, 895 markings/sec, 45 secs
lola: 48983 markings, 56024 edges, 876 markings/sec, 50 secs
lola: 53421 markings, 61245 edges, 888 markings/sec, 55 secs
lola: 57895 markings, 66536 edges, 895 markings/sec, 60 secs
lola: 62232 markings, 71777 edges, 867 markings/sec, 65 secs
lola: 66634 markings, 77118 edges, 880 markings/sec, 70 secs
lola: 70716 markings, 82073 edges, 816 markings/sec, 75 secs
lola: 75184 markings, 87602 edges, 894 markings/sec, 80 secs
lola: 79547 markings, 93161 edges, 873 markings/sec, 85 secs
lola: 84201 markings, 99157 edges, 931 markings/sec, 90 secs
lola: 88829 markings, 105417 edges, 926 markings/sec, 95 secs
lola: 93460 markings, 112020 edges, 926 markings/sec, 100 secs
lola: 98058 markings, 119810 edges, 920 markings/sec, 105 secs
lola: 103503 markings, 128856 edges, 1089 markings/sec, 110 secs
lola: 109285 markings, 136040 edges, 1156 markings/sec, 115 secs
lola: 115235 markings, 143180 edges, 1190 markings/sec, 120 secs
lola: 121159 markings, 150298 edges, 1185 markings/sec, 125 secs
lola: 126888 markings, 157279 edges, 1146 markings/sec, 130 secs
lola: 132649 markings, 164304 edges, 1152 markings/sec, 135 secs
lola: 138403 markings, 171326 edges, 1151 markings/sec, 140 secs
lola: 144208 markings, 178468 edges, 1161 markings/sec, 145 secs
lola: 150005 markings, 185582 edges, 1159 markings/sec, 150 secs
lola: 155803 markings, 192692 edges, 1160 markings/sec, 155 secs
lola: 161612 markings, 199801 edges, 1162 markings/sec, 160 secs
lola: 167447 markings, 206924 edges, 1167 markings/sec, 165 secs
lola: 173264 markings, 214029 edges, 1163 markings/sec, 170 secs
lola: 179092 markings, 221122 edges, 1166 markings/sec, 175 secs
lola: 184947 markings, 228324 edges, 1171 markings/sec, 180 secs
lola: 190825 markings, 235546 edges, 1176 markings/sec, 185 secs
lola: 196628 markings, 242736 edges, 1161 markings/sec, 190 secs
lola: 202318 markings, 249844 edges, 1138 markings/sec, 195 secs
lola: 208165 markings, 256956 edges, 1169 markings/sec, 200 secs
lola: 214140 markings, 264321 edges, 1195 markings/sec, 205 secs
lola: 219824 markings, 271489 edges, 1137 markings/sec, 210 secs
lola: 225716 markings, 278693 edges, 1178 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_482_1_10 + place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5 + place_482_1_6 + place_482_1_7 + place_482_1_8 + place_482_1_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 4699 markings, 5190 edges, 940 markings/sec, 0 secs
lola: 9163 markings, 10257 edges, 893 markings/sec, 5 secs
lola: 13613 markings, 15333 edges, 890 markings/sec, 10 secs
lola: 18096 markings, 20442 edges, 897 markings/sec, 15 secs
lola: 22613 markings, 25585 edges, 903 markings/sec, 20 secs
lola: 27168 markings, 30766 edges, 911 markings/sec, 25 secs
lola: 31761 markings, 35985 edges, 919 markings/sec, 30 secs
lola: 36191 markings, 41137 edges, 886 markings/sec, 35 secs
lola: 40755 markings, 46388 edges, 913 markings/sec, 40 secs
lola: 45196 markings, 51611 edges, 888 markings/sec, 45 secs
lola: 49695 markings, 56893 edges, 900 markings/sec, 50 secs
lola: 54254 markings, 62234 edges, 912 markings/sec, 55 secs
lola: 58771 markings, 67600 edges, 903 markings/sec, 60 secs
lola: 63304 markings, 73006 edges, 907 markings/sec, 65 secs
lola: 67751 markings, 78392 edges, 889 markings/sec, 70 secs
lola: 71971 markings, 83611 edges, 844 markings/sec, 75 secs
lola: 76160 markings, 88835 edges, 838 markings/sec, 80 secs
lola: 80391 markings, 94162 edges, 846 markings/sec, 85 secs
lola: 84643 markings, 99741 edges, 850 markings/sec, 90 secs
lola: 89121 markings, 105790 edges, 896 markings/sec, 95 secs
lola: 93642 markings, 112264 edges, 904 markings/sec, 100 secs
lola: 98065 markings, 119817 edges, 885 markings/sec, 105 secs
lola: 102984 markings, 128337 edges, 984 markings/sec, 110 secs
lola: 108433 markings, 134844 edges, 1090 markings/sec, 115 secs
lola: 113792 markings, 141344 edges, 1072 markings/sec, 120 secs
lola: 119165 markings, 148002 edges, 1075 markings/sec, 125 secs
lola: 124764 markings, 154777 edges, 1120 markings/sec, 130 secs
lola: 130348 markings, 161493 edges, 1117 markings/sec, 135 secs
lola: 135749 markings, 168084 edges, 1080 markings/sec, 140 secs
lola: 141182 markings, 174773 edges, 1087 markings/sec, 145 secs
lola: 146653 markings, 181549 edges, 1094 markings/sec, 150 secs
lola: 152215 markings, 188269 edges, 1112 markings/sec, 155 secs
lola: 157772 markings, 195006 edges, 1111 markings/sec, 160 secs
lola: 163254 markings, 201691 edges, 1096 markings/sec, 165 secs
lola: 168710 markings, 208381 edges, 1091 markings/sec, 170 secs
lola: 174169 markings, 215080 edges, 1092 markings/sec, 175 secs
lola: 179639 markings, 221798 edges, 1094 markings/sec, 180 secs
lola: 185118 markings, 228531 edges, 1096 markings/sec, 185 secs
lola: 190614 markings, 235293 edges, 1099 markings/sec, 190 secs
lola: 196140 markings, 242095 edges, 1105 markings/sec, 195 secs
lola: 201680 markings, 248945 edges, 1108 markings/sec, 200 secs
lola: 207107 markings, 255703 edges, 1085 markings/sec, 205 secs
lola: 212519 markings, 262458 edges, 1082 markings/sec, 210 secs
lola: 218060 markings, 269193 edges, 1108 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(mo3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 5068 markings, 6059 edges, 1014 markings/sec, 0 secs
lola: 9925 markings, 11542 edges, 971 markings/sec, 5 secs
lola: 14730 markings, 17004 edges, 961 markings/sec, 10 secs
lola: 19518 markings, 22479 edges, 958 markings/sec, 15 secs
lola: 24499 markings, 28086 edges, 996 markings/sec, 20 secs
lola: 29254 markings, 33579 edges, 951 markings/sec, 25 secs
lola: 34233 markings, 39246 edges, 996 markings/sec, 30 secs
lola: 39023 markings, 44801 edges, 958 markings/sec, 35 secs
lola: 43875 markings, 50435 edges, 970 markings/sec, 40 secs
lola: 48725 markings, 56111 edges, 970 markings/sec, 45 secs
lola: 53471 markings, 61753 edges, 949 markings/sec, 50 secs
lola: 58321 markings, 67489 edges, 970 markings/sec, 55 secs
lola: 63135 markings, 73295 edges, 963 markings/sec, 60 secs
lola: 68080 markings, 79224 edges, 989 markings/sec, 65 secs
lola: 72890 markings, 85141 edges, 962 markings/sec, 70 secs
lola: 77711 markings, 91157 edges, 964 markings/sec, 75 secs
lola: 82469 markings, 97278 edges, 952 markings/sec, 80 secs
lola: 87314 markings, 103681 edges, 969 markings/sec, 85 secs
lola: 92165 markings, 110463 edges, 970 markings/sec, 90 secs
lola: 96997 markings, 117955 edges, 966 markings/sec, 95 secs
lola: 102455 markings, 128044 edges, 1092 markings/sec, 100 secs
lola: 108728 markings, 135611 edges, 1255 markings/sec, 105 secs
lola: 114979 markings, 143182 edges, 1250 markings/sec, 110 secs
lola: 121191 markings, 150742 edges, 1242 markings/sec, 115 secs
lola: 127169 markings, 158024 edges, 1196 markings/sec, 120 secs
lola: 133082 markings, 165231 edges, 1183 markings/sec, 125 secs
lola: 138992 markings, 172443 edges, 1182 markings/sec, 130 secs
lola: 144913 markings, 179672 edges, 1184 markings/sec, 135 secs
lola: 150954 markings, 187053 edges, 1208 markings/sec, 140 secs
lola: 157196 markings, 194681 edges, 1248 markings/sec, 145 secs
lola: 163454 markings, 202337 edges, 1252 markings/sec, 150 secs
lola: 169633 markings, 209953 edges, 1236 markings/sec, 155 secs
lola: 175688 markings, 217462 edges, 1211 markings/sec, 160 secs
lola: 181836 markings, 224950 edges, 1230 markings/sec, 165 secs
lola: 188182 markings, 232695 edges, 1269 markings/sec, 170 secs
lola: 194371 markings, 240372 edges, 1238 markings/sec, 175 secs
lola: 200482 markings, 247910 edges, 1222 markings/sec, 180 secs
lola: 206978 markings, 255861 edges, 1299 markings/sec, 185 secs
lola: 213073 markings, 263471 edges, 1219 markings/sec, 190 secs
lola: 219527 markings, 271420 edges, 1291 markings/sec, 195 secs
lola: 225648 markings, 279015 edges, 1224 markings/sec, 200 secs
lola: 231920 markings, 286901 edges, 1254 markings/sec, 205 secs
lola: 238335 markings, 294807 edges, 1283 markings/sec, 210 secs
lola: 244582 markings, 302581 edges, 1249 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(place_787_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5688 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: 4524 markings, 4992 edges, 905 markings/sec, 0 secs
lola: 8623 markings, 9694 edges, 820 markings/sec, 5 secs
lola: 13274 markings, 14927 edges, 930 markings/sec, 10 secs
lola: 17927 markings, 20214 edges, 931 markings/sec, 15 secs
lola: 22826 markings, 25798 edges, 980 markings/sec, 20 secs
lola: 27701 markings, 31322 edges, 975 markings/sec, 25 secs
lola: 32260 markings, 36641 edges, 912 markings/sec, 30 secs
lola: 36934 markings, 41941 edges, 935 markings/sec, 35 secs
lola: 41243 markings, 47032 edges, 862 markings/sec, 40 secs
lola: 45783 markings, 52267 edges, 908 markings/sec, 45 secs
lola: 50264 markings, 57512 edges, 896 markings/sec, 50 secs
lola: 54678 markings, 62740 edges, 883 markings/sec, 55 secs
lola: 59361 markings, 68280 edges, 937 markings/sec, 60 secs
lola: 63816 markings, 73674 edges, 891 markings/sec, 65 secs
lola: 68329 markings, 79126 edges, 903 markings/sec, 70 secs
lola: 73003 markings, 84896 edges, 935 markings/sec, 75 secs
lola: 77696 markings, 90779 edges, 939 markings/sec, 80 secs
lola: 82365 markings, 96762 edges, 934 markings/sec, 85 secs
lola: 86953 markings, 102825 edges, 918 markings/sec, 90 secs
lola: 91501 markings, 109184 edges, 910 markings/sec, 95 secs
lola: 96087 markings, 116186 edges, 917 markings/sec, 100 secs
lola: 101495 markings, 126396 edges, 1082 markings/sec, 105 secs
lola: 107768 markings, 134019 edges, 1255 markings/sec, 110 secs
lola: 114071 markings, 141682 edges, 1261 markings/sec, 115 secs
lola: 120202 markings, 149143 edges, 1226 markings/sec, 120 secs
lola: 126552 markings, 156874 edges, 1270 markings/sec, 125 secs
lola: 132934 markings, 164651 edges, 1276 markings/sec, 130 secs
lola: 139319 markings, 172436 edges, 1277 markings/sec, 135 secs
lola: 145710 markings, 180235 edges, 1278 markings/sec, 140 secs
lola: 152008 markings, 187977 edges, 1260 markings/sec, 145 secs
lola: 158237 markings, 195666 edges, 1246 markings/sec, 150 secs
lola: 164523 markings, 203356 edges, 1257 markings/sec, 155 secs
lola: 170933 markings, 211116 edges, 1282 markings/sec, 160 secs
lola: 177425 markings, 219068 edges, 1298 markings/sec, 165 secs
lola: 183616 markings, 226786 edges, 1238 markings/sec, 170 secs
lola: 189909 markings, 234433 edges, 1259 markings/sec, 175 secs
lola: 196460 markings, 242503 edges, 1310 markings/sec, 180 secs
lola: 202635 markings, 250190 edges, 1235 markings/sec, 185 secs
lola: 209193 markings, 258202 edges, 1312 markings/sec, 190 secs
lola: 215385 markings, 265934 edges, 1238 markings/sec, 195 secs
lola: 221866 markings, 273962 edges, 1296 markings/sec, 200 secs
lola: 228206 markings, 281785 edges, 1268 markings/sec, 205 secs
lola: 234480 markings, 289633 edges, 1255 markings/sec, 210 secs
lola: 240842 markings, 297633 edges, 1272 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-S10J80-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494750763154

--------------------
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-S10J80"
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-S10J80.tgz
mv PolyORBNT-PT-S10J80 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-S10J80, 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-149440926200173"
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 ;