Execution Chart

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

Trace from the execution

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

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


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


checking for too many tokens
===========================================================================================
S_PolyORBNT-PT-S10J80: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-PT-S10J80 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 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: 4673 markings, 5150 edges, 935 markings/sec, 0 secs
lola: 9013 markings, 10107 edges, 868 markings/sec, 5 secs
lola: 13412 markings, 15116 edges, 880 markings/sec, 10 secs
lola: 17965 markings, 20263 edges, 911 markings/sec, 15 secs
lola: 22479 markings, 25406 edges, 903 markings/sec, 20 secs
lola: 26887 markings, 30453 edges, 882 markings/sec, 25 secs
lola: 31267 markings, 35491 edges, 876 markings/sec, 30 secs
lola: 35735 markings, 40585 edges, 894 markings/sec, 35 secs
lola: 40279 markings, 45912 edges, 909 markings/sec, 40 secs
lola: 44976 markings, 51349 edges, 939 markings/sec, 45 secs
lola: 49616 markings, 56814 edges, 928 markings/sec, 50 secs
lola: 54377 markings, 62357 edges, 952 markings/sec, 55 secs
lola: 58936 markings, 67827 edges, 912 markings/sec, 60 secs
lola: 63607 markings, 73430 edges, 934 markings/sec, 65 secs
lola: 68343 markings, 79140 edges, 947 markings/sec, 70 secs
lola: 72942 markings, 84835 edges, 920 markings/sec, 75 secs
lola: 77430 markings, 90418 edges, 898 markings/sec, 80 secs
lola: 82084 markings, 96383 edges, 931 markings/sec, 85 secs
lola: 86701 markings, 102506 edges, 923 markings/sec, 90 secs
lola: 91382 markings, 108974 edges, 936 markings/sec, 95 secs
lola: 95994 markings, 116025 edges, 922 markings/sec, 100 secs
lola: 100709 markings, 125442 edges, 943 markings/sec, 105 secs
lola: 106470 markings, 132528 edges, 1152 markings/sec, 110 secs
lola: 112348 markings, 139732 edges, 1176 markings/sec, 115 secs
lola: 118312 markings, 146895 edges, 1193 markings/sec, 120 secs
lola: 124219 markings, 154024 edges, 1181 markings/sec, 125 secs
lola: 130003 markings, 161072 edges, 1157 markings/sec, 130 secs
lola: 135796 markings, 168139 edges, 1159 markings/sec, 135 secs
lola: 141595 markings, 175218 edges, 1160 markings/sec, 140 secs
lola: 147411 markings, 182333 edges, 1163 markings/sec, 145 secs
lola: 153243 markings, 189484 edges, 1166 markings/sec, 150 secs
lola: 159083 markings, 196631 edges, 1168 markings/sec, 155 secs
lola: 164729 markings, 203572 edges, 1129 markings/sec, 160 secs
lola: 170526 markings, 210652 edges, 1159 markings/sec, 165 secs
lola: 176176 markings, 217573 edges, 1130 markings/sec, 170 secs
lola: 181983 markings, 224682 edges, 1161 markings/sec, 175 secs
lola: 187889 markings, 231936 edges, 1181 markings/sec, 180 secs
lola: 193806 markings, 239209 edges, 1183 markings/sec, 185 secs
lola: 199528 markings, 246362 edges, 1144 markings/sec, 190 secs
lola: 205331 markings, 253506 edges, 1161 markings/sec, 195 secs
lola: 211301 markings, 260820 edges, 1194 markings/sec, 200 secs
lola: 217132 markings, 268111 edges, 1166 markings/sec, 205 secs
lola: 222934 markings, 275230 edges, 1160 markings/sec, 210 secs
lola: 228904 markings, 282677 edges, 1194 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: 2921 markings, 5522 edges, 584 markings/sec, 0 secs
lola: 5725 markings, 11002 edges, 561 markings/sec, 5 secs
lola: 8355 markings, 16672 edges, 526 markings/sec, 10 secs
lola: 10755 markings, 21368 edges, 480 markings/sec, 15 secs
lola: 13627 markings, 26846 edges, 574 markings/sec, 20 secs
lola: 16226 markings, 32457 edges, 520 markings/sec, 25 secs
lola: 18505 markings, 37074 edges, 456 markings/sec, 30 secs
lola: 21369 markings, 42854 edges, 573 markings/sec, 35 secs
lola: 24097 markings, 48245 edges, 546 markings/sec, 40 secs
lola: 26690 markings, 53856 edges, 519 markings/sec, 45 secs
lola: 29082 markings, 58545 edges, 478 markings/sec, 50 secs
lola: 31923 markings, 64320 edges, 568 markings/sec, 55 secs
lola: 34560 markings, 69648 edges, 527 markings/sec, 60 secs
lola: 37092 markings, 74755 edges, 506 markings/sec, 65 secs
lola: 39601 markings, 79986 edges, 502 markings/sec, 70 secs
lola: 42422 markings, 85437 edges, 564 markings/sec, 75 secs
lola: 45016 markings, 91054 edges, 519 markings/sec, 80 secs
lola: 47470 markings, 96112 edges, 491 markings/sec, 85 secs
lola: 50072 markings, 101411 edges, 520 markings/sec, 90 secs
lola: 52813 markings, 106729 edges, 548 markings/sec, 95 secs
lola: 55262 markings, 112102 edges, 490 markings/sec, 100 secs
lola: 57454 markings, 116572 edges, 438 markings/sec, 105 secs
lola: 60166 markings, 122153 edges, 542 markings/sec, 110 secs
lola: 62821 markings, 127380 edges, 531 markings/sec, 115 secs
lola: 65304 markings, 132812 edges, 497 markings/sec, 120 secs
lola: 67498 markings, 137261 edges, 439 markings/sec, 125 secs
lola: 70197 markings, 142834 edges, 540 markings/sec, 130 secs
lola: 72841 markings, 148060 edges, 529 markings/sec, 135 secs
lola: 75330 markings, 153498 edges, 498 markings/sec, 140 secs
lola: 77496 markings, 158235 edges, 433 markings/sec, 145 secs
lola: 80166 markings, 163489 edges, 534 markings/sec, 150 secs
lola: 82775 markings, 168600 edges, 522 markings/sec, 155 secs
lola: 85242 markings, 174008 edges, 493 markings/sec, 160 secs
lola: 87740 markings, 179459 edges, 500 markings/sec, 165 secs
lola: 90009 markings, 183957 edges, 454 markings/sec, 170 secs
lola: 92665 markings, 189514 edges, 531 markings/sec, 175 secs
lola: 95268 markings, 194716 edges, 521 markings/sec, 180 secs
lola: 97762 markings, 200169 edges, 499 markings/sec, 185 secs
lola: 100254 markings, 205624 edges, 498 markings/sec, 190 secs
lola: 102523 markings, 210124 edges, 454 markings/sec, 195 secs
lola: 105155 markings, 215672 edges, 526 markings/sec, 200 secs
lola: 107787 markings, 221220 edges, 526 markings/sec, 205 secs
lola: 110278 markings, 226352 edges, 498 markings/sec, 210 secs
lola: 112768 markings, 231805 edges, 498 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: 5116 markings, 6126 edges, 1023 markings/sec, 0 secs
lola: 10025 markings, 11682 edges, 982 markings/sec, 5 secs
lola: 14900 markings, 17235 edges, 975 markings/sec, 10 secs
lola: 19958 markings, 22919 edges, 1012 markings/sec, 15 secs
lola: 24861 markings, 28528 edges, 981 markings/sec, 20 secs
lola: 29825 markings, 34194 edges, 993 markings/sec, 25 secs
lola: 34662 markings, 39814 edges, 967 markings/sec, 30 secs
lola: 39571 markings, 45505 edges, 982 markings/sec, 35 secs
lola: 44545 markings, 51262 edges, 995 markings/sec, 40 secs
lola: 49581 markings, 57105 edges, 1007 markings/sec, 45 secs
lola: 54401 markings, 62839 edges, 964 markings/sec, 50 secs
lola: 59309 markings, 68686 edges, 982 markings/sec, 55 secs
lola: 64321 markings, 74637 edges, 1002 markings/sec, 60 secs
lola: 69186 markings, 80598 edges, 973 markings/sec, 65 secs
lola: 74155 markings, 86708 edges, 994 markings/sec, 70 secs
lola: 79045 markings, 92866 edges, 978 markings/sec, 75 secs
lola: 83934 markings, 99183 edges, 978 markings/sec, 80 secs
lola: 88887 markings, 105776 edges, 991 markings/sec, 85 secs
lola: 93729 markings, 112809 edges, 968 markings/sec, 90 secs
lola: 98613 markings, 121136 edges, 977 markings/sec, 95 secs
lola: 104765 markings, 130768 edges, 1230 markings/sec, 100 secs
lola: 111091 markings, 138458 edges, 1265 markings/sec, 105 secs
lola: 117442 markings, 146181 edges, 1270 markings/sec, 110 secs
lola: 123809 markings, 153932 edges, 1273 markings/sec, 115 secs
lola: 130213 markings, 161732 edges, 1281 markings/sec, 120 secs
lola: 136621 markings, 169542 edges, 1282 markings/sec, 125 secs
lola: 143047 markings, 177380 edges, 1285 markings/sec, 130 secs
lola: 149339 markings, 185117 edges, 1258 markings/sec, 135 secs
lola: 155594 markings, 192832 edges, 1251 markings/sec, 140 secs
lola: 161889 markings, 200536 edges, 1259 markings/sec, 145 secs
lola: 168317 markings, 208308 edges, 1286 markings/sec, 150 secs
lola: 174827 markings, 216278 edges, 1302 markings/sec, 155 secs
lola: 181076 markings, 224052 edges, 1250 markings/sec, 160 secs
lola: 187366 markings, 231727 edges, 1258 markings/sec, 165 secs
lola: 193904 markings, 239731 edges, 1308 markings/sec, 170 secs
lola: 200097 markings, 247508 edges, 1239 markings/sec, 175 secs
lola: 206636 markings, 255447 edges, 1308 markings/sec, 180 secs
lola: 212876 markings, 263273 edges, 1248 markings/sec, 185 secs
lola: 219463 markings, 271329 edges, 1317 markings/sec, 190 secs
lola: 225610 markings, 278969 edges, 1229 markings/sec, 195 secs
lola: 231736 markings, 286638 edges, 1225 markings/sec, 200 secs
lola: 237841 markings, 294168 edges, 1221 markings/sec, 205 secs
lola: 243794 markings, 301635 edges, 1191 markings/sec, 210 secs
lola: 249853 markings, 309277 edges, 1212 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: 4807 markings, 5340 edges, 961 markings/sec, 0 secs
lola: 9554 markings, 10669 edges, 949 markings/sec, 5 secs
lola: 14082 markings, 15802 edges, 906 markings/sec, 10 secs
lola: 18710 markings, 21056 edges, 926 markings/sec, 15 secs
lola: 23375 markings, 26375 edges, 933 markings/sec, 20 secs
lola: 27922 markings, 31629 edges, 909 markings/sec, 25 secs
lola: 32636 markings, 37017 edges, 943 markings/sec, 30 secs
lola: 37231 markings, 42349 edges, 919 markings/sec, 35 secs
lola: 41970 markings, 47808 edges, 948 markings/sec, 40 secs
lola: 46635 markings, 53246 edges, 933 markings/sec, 45 secs
lola: 51230 markings, 58664 edges, 919 markings/sec, 50 secs
lola: 55852 markings, 64145 edges, 924 markings/sec, 55 secs
lola: 60479 markings, 69665 edges, 925 markings/sec, 60 secs
lola: 65103 markings, 75238 edges, 925 markings/sec, 65 secs
lola: 69860 markings, 80970 edges, 951 markings/sec, 70 secs
lola: 74497 markings, 86703 edges, 927 markings/sec, 75 secs
lola: 79066 markings, 92524 edges, 914 markings/sec, 80 secs
lola: 83703 markings, 98506 edges, 927 markings/sec, 85 secs
lola: 88338 markings, 104711 edges, 927 markings/sec, 90 secs
lola: 93018 markings, 111327 edges, 936 markings/sec, 95 secs
lola: 97591 markings, 118874 edges, 915 markings/sec, 100 secs
lola: 102969 markings, 128322 edges, 1076 markings/sec, 105 secs
lola: 109031 markings, 135691 edges, 1212 markings/sec, 110 secs
lola: 115150 markings, 143061 edges, 1224 markings/sec, 115 secs
lola: 121240 markings, 150414 edges, 1218 markings/sec, 120 secs
lola: 127243 markings, 157710 edges, 1201 markings/sec, 125 secs
lola: 133244 markings, 165025 edges, 1200 markings/sec, 130 secs
lola: 139237 markings, 172336 edges, 1199 markings/sec, 135 secs
lola: 145255 markings, 179682 edges, 1204 markings/sec, 140 secs
lola: 151263 markings, 187024 edges, 1202 markings/sec, 145 secs
lola: 157301 markings, 194406 edges, 1208 markings/sec, 150 secs
lola: 163376 markings, 201839 edges, 1215 markings/sec, 155 secs
lola: 169364 markings, 209222 edges, 1198 markings/sec, 160 secs
lola: 175298 markings, 216561 edges, 1187 markings/sec, 165 secs
lola: 181227 markings, 223870 edges, 1186 markings/sec, 170 secs
lola: 187263 markings, 231166 edges, 1207 markings/sec, 175 secs
lola: 193401 markings, 238720 edges, 1228 markings/sec, 180 secs
lola: 199397 markings, 246180 edges, 1199 markings/sec, 185 secs
lola: 205329 markings, 253504 edges, 1186 markings/sec, 190 secs
lola: 211516 markings, 261081 edges, 1237 markings/sec, 195 secs
lola: 217397 markings, 268490 edges, 1176 markings/sec, 200 secs
lola: 222818 markings, 275114 edges, 1084 markings/sec, 205 secs
lola: 229049 markings, 282886 edges, 1246 markings/sec, 210 secs
lola: 235407 markings, 290738 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: 4936 markings, 5523 edges, 987 markings/sec, 0 secs
lola: 9803 markings, 11020 edges, 973 markings/sec, 5 secs
lola: 14635 markings, 16512 edges, 966 markings/sec, 10 secs
lola: 19613 markings, 22116 edges, 996 markings/sec, 15 secs
lola: 24519 markings, 27698 edges, 981 markings/sec, 20 secs
lola: 29042 markings, 32931 edges, 905 markings/sec, 25 secs
lola: 33905 markings, 38442 edges, 973 markings/sec, 30 secs
lola: 38217 markings, 43489 edges, 862 markings/sec, 35 secs
lola: 43112 markings, 49185 edges, 979 markings/sec, 40 secs
lola: 48048 markings, 54933 edges, 987 markings/sec, 45 secs
lola: 52826 markings, 60517 edges, 956 markings/sec, 50 secs
lola: 57233 markings, 65787 edges, 881 markings/sec, 55 secs
lola: 61828 markings, 71217 edges, 919 markings/sec, 60 secs
lola: 66549 markings, 76991 edges, 944 markings/sec, 65 secs
lola: 71458 markings, 83001 edges, 982 markings/sec, 70 secs
lola: 76437 markings, 89182 edges, 996 markings/sec, 75 secs
lola: 81229 markings, 95313 edges, 958 markings/sec, 80 secs
lola: 86141 markings, 101738 edges, 982 markings/sec, 85 secs
lola: 91073 markings, 108533 edges, 986 markings/sec, 90 secs
lola: 95971 markings, 116002 edges, 980 markings/sec, 95 secs
lola: 101355 markings, 126228 edges, 1077 markings/sec, 100 secs
lola: 107609 markings, 133826 edges, 1251 markings/sec, 105 secs
lola: 113914 markings, 141491 edges, 1261 markings/sec, 110 secs
lola: 120190 markings, 149129 edges, 1255 markings/sec, 115 secs
lola: 126510 markings, 156823 edges, 1264 markings/sec, 120 secs
lola: 132903 markings, 164614 edges, 1279 markings/sec, 125 secs
lola: 139283 markings, 172392 edges, 1276 markings/sec, 130 secs
lola: 145667 markings, 180182 edges, 1277 markings/sec, 135 secs
lola: 151967 markings, 187920 edges, 1260 markings/sec, 140 secs
lola: 158189 markings, 195598 edges, 1244 markings/sec, 145 secs
lola: 164446 markings, 203279 edges, 1251 markings/sec, 150 secs
lola: 170833 markings, 210994 edges, 1277 markings/sec, 155 secs
lola: 177315 markings, 218936 edges, 1296 markings/sec, 160 secs
lola: 183539 markings, 226678 edges, 1245 markings/sec, 165 secs
lola: 189792 markings, 234316 edges, 1251 markings/sec, 170 secs
lola: 196322 markings, 242315 edges, 1306 markings/sec, 175 secs
lola: 202492 markings, 250047 edges, 1234 markings/sec, 180 secs
lola: 209020 markings, 257993 edges, 1306 markings/sec, 185 secs
lola: 215220 markings, 265749 edges, 1240 markings/sec, 190 secs
lola: 221729 markings, 273769 edges, 1302 markings/sec, 195 secs
lola: 227985 markings, 281518 edges, 1251 markings/sec, 200 secs
lola: 234271 markings, 289400 edges, 1257 markings/sec, 205 secs
lola: 240677 markings, 297400 edges, 1281 markings/sec, 210 secs
lola: 247096 markings, 305380 edges, 1284 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: 4894 markings, 6819 edges, 979 markings/sec, 0 secs
lola: 9452 markings, 12003 edges, 912 markings/sec, 5 secs
lola: 14054 markings, 17231 edges, 920 markings/sec, 10 secs
lola: 18693 markings, 22496 edges, 928 markings/sec, 15 secs
lola: 23369 markings, 27798 edges, 935 markings/sec, 20 secs
lola: 28080 markings, 33135 edges, 942 markings/sec, 25 secs
lola: 32571 markings, 38369 edges, 898 markings/sec, 30 secs
lola: 37308 markings, 43772 edges, 947 markings/sec, 35 secs
lola: 41844 markings, 49090 edges, 907 markings/sec, 40 secs
lola: 46445 markings, 54474 edges, 920 markings/sec, 45 secs
lola: 51110 markings, 59921 edges, 933 markings/sec, 50 secs
lola: 55817 markings, 65445 edges, 941 markings/sec, 55 secs
lola: 60371 markings, 70904 edges, 911 markings/sec, 60 secs
lola: 64987 markings, 76459 edges, 923 markings/sec, 65 secs
lola: 69657 markings, 82121 edges, 934 markings/sec, 70 secs
lola: 74288 markings, 87833 edges, 926 markings/sec, 75 secs
lola: 78818 markings, 93576 edges, 906 markings/sec, 80 secs
lola: 83500 markings, 99559 edges, 936 markings/sec, 85 secs
lola: 88088 markings, 105663 edges, 918 markings/sec, 90 secs
lola: 92694 markings, 112147 edges, 921 markings/sec, 95 secs
lola: 97280 markings, 119394 edges, 917 markings/sec, 100 secs
lola: 102491 markings, 129031 edges, 1042 markings/sec, 105 secs
lola: 108300 markings, 136032 edges, 1162 markings/sec, 110 secs
lola: 113966 markings, 142924 edges, 1133 markings/sec, 115 secs
lola: 119701 markings, 149998 edges, 1147 markings/sec, 120 secs
lola: 125514 markings, 157123 edges, 1163 markings/sec, 125 secs
lola: 131421 markings, 164252 edges, 1181 markings/sec, 130 secs
lola: 137298 markings, 171360 edges, 1175 markings/sec, 135 secs
lola: 143110 markings, 178424 edges, 1162 markings/sec, 140 secs
lola: 148863 markings, 185453 edges, 1151 markings/sec, 145 secs
lola: 154634 markings, 192508 edges, 1154 markings/sec, 150 secs
lola: 160414 markings, 199582 edges, 1156 markings/sec, 155 secs
lola: 166233 markings, 206707 edges, 1164 markings/sec, 160 secs
lola: 172054 markings, 213842 edges, 1164 markings/sec, 165 secs
lola: 177882 markings, 220990 edges, 1166 markings/sec, 170 secs
lola: 183638 markings, 228100 edges, 1151 markings/sec, 175 secs
lola: 189342 markings, 235171 edges, 1141 markings/sec, 180 secs
lola: 195042 markings, 242236 edges, 1140 markings/sec, 185 secs
lola: 200879 markings, 249306 edges, 1167 markings/sec, 190 secs
lola: 206821 markings, 256638 edges, 1188 markings/sec, 195 secs
lola: 212588 markings, 263845 edges, 1153 markings/sec, 200 secs
lola: 218339 markings, 270929 edges, 1150 markings/sec, 205 secs
lola: 224302 markings, 278278 edges, 1193 markings/sec, 210 secs
lola: 229940 markings, 285394 edges, 1128 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: 4933 markings, 5517 edges, 987 markings/sec, 0 secs
lola: 9800 markings, 11014 edges, 973 markings/sec, 5 secs
lola: 14615 markings, 16492 edges, 963 markings/sec, 10 secs
lola: 19620 markings, 22123 edges, 1001 markings/sec, 15 secs
lola: 24551 markings, 27741 edges, 986 markings/sec, 20 secs
lola: 29430 markings, 33341 edges, 976 markings/sec, 25 secs
lola: 34262 markings, 38933 edges, 966 markings/sec, 30 secs
lola: 39208 markings, 44637 edges, 989 markings/sec, 35 secs
lola: 44083 markings, 50319 edges, 975 markings/sec, 40 secs
lola: 49094 markings, 56135 edges, 1002 markings/sec, 45 secs
lola: 53929 markings, 61875 edges, 967 markings/sec, 50 secs
lola: 58860 markings, 67724 edges, 986 markings/sec, 55 secs
lola: 63767 markings, 73625 edges, 981 markings/sec, 60 secs
lola: 68668 markings, 79566 edges, 980 markings/sec, 65 secs
lola: 73571 markings, 85620 edges, 981 markings/sec, 70 secs
lola: 78474 markings, 91775 edges, 981 markings/sec, 75 secs
lola: 83372 markings, 98082 edges, 980 markings/sec, 80 secs
lola: 88288 markings, 104641 edges, 983 markings/sec, 85 secs
lola: 93150 markings, 111556 edges, 972 markings/sec, 90 secs
lola: 98023 markings, 119698 edges, 975 markings/sec, 95 secs
lola: 103953 markings, 129382 edges, 1186 markings/sec, 100 secs
lola: 110243 markings, 137028 edges, 1258 markings/sec, 105 secs
lola: 116573 markings, 144726 edges, 1266 markings/sec, 110 secs
lola: 122909 markings, 152438 edges, 1267 markings/sec, 115 secs
lola: 129280 markings, 160199 edges, 1274 markings/sec, 120 secs
lola: 135664 markings, 167981 edges, 1277 markings/sec, 125 secs
lola: 142071 markings, 175796 edges, 1281 markings/sec, 130 secs
lola: 148470 markings, 183607 edges, 1280 markings/sec, 135 secs
lola: 154838 markings, 191410 edges, 1274 markings/sec, 140 secs
lola: 161057 markings, 199096 edges, 1244 markings/sec, 145 secs
lola: 167317 markings, 206794 edges, 1252 markings/sec, 150 secs
lola: 173711 markings, 214524 edges, 1279 markings/sec, 155 secs
lola: 180204 markings, 222481 edges, 1299 markings/sec, 160 secs
lola: 186377 markings, 230191 edges, 1235 markings/sec, 165 secs
lola: 192705 markings, 237878 edges, 1266 markings/sec, 170 secs
lola: 199202 markings, 245903 edges, 1299 markings/sec, 175 secs
lola: 205406 markings, 253581 edges, 1241 markings/sec, 180 secs
lola: 211928 markings, 261625 edges, 1304 markings/sec, 185 secs
lola: 218154 markings, 269321 edges, 1245 markings/sec, 190 secs
lola: 224525 markings, 277303 edges, 1274 markings/sec, 195 secs
lola: 231016 markings, 285263 edges, 1298 markings/sec, 200 secs
lola: 237264 markings, 293065 edges, 1250 markings/sec, 205 secs
lola: 243566 markings, 300949 edges, 1260 markings/sec, 210 secs
lola: 249903 markings, 308898 edges, 1267 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: 5098 markings, 6101 edges, 1020 markings/sec, 0 secs
lola: 9990 markings, 11633 edges, 978 markings/sec, 5 secs
lola: 14830 markings, 17144 edges, 968 markings/sec, 10 secs
lola: 19800 markings, 22761 edges, 994 markings/sec, 15 secs
lola: 24767 markings, 28397 edges, 993 markings/sec, 20 secs
lola: 29585 markings, 33954 edges, 964 markings/sec, 25 secs
lola: 34469 markings, 39577 edges, 977 markings/sec, 30 secs
lola: 39405 markings, 45267 edges, 987 markings/sec, 35 secs
lola: 44274 markings, 50940 edges, 974 markings/sec, 40 secs
lola: 49190 markings, 56689 edges, 983 markings/sec, 45 secs
lola: 54097 markings, 62463 edges, 981 markings/sec, 50 secs
lola: 59020 markings, 68301 edges, 985 markings/sec, 55 secs
lola: 63841 markings, 74112 edges, 964 markings/sec, 60 secs
lola: 68808 markings, 80115 edges, 993 markings/sec, 65 secs
lola: 73630 markings, 86075 edges, 964 markings/sec, 70 secs
lola: 78520 markings, 92208 edges, 978 markings/sec, 75 secs
lola: 83416 markings, 98502 edges, 979 markings/sec, 80 secs
lola: 88279 markings, 105012 edges, 973 markings/sec, 85 secs
lola: 93154 markings, 111921 edges, 975 markings/sec, 90 secs
lola: 97991 markings, 119820 edges, 967 markings/sec, 95 secs
lola: 103747 markings, 129558 edges, 1151 markings/sec, 100 secs
lola: 110050 markings, 137264 edges, 1261 markings/sec, 105 secs
lola: 116375 markings, 144980 edges, 1265 markings/sec, 110 secs
lola: 122697 markings, 152681 edges, 1264 markings/sec, 115 secs
lola: 129034 markings, 160385 edges, 1267 markings/sec, 120 secs
lola: 135375 markings, 168081 edges, 1268 markings/sec, 125 secs
lola: 141709 markings, 175758 edges, 1267 markings/sec, 130 secs
lola: 148078 markings, 183535 edges, 1274 markings/sec, 135 secs
lola: 154469 markings, 191342 edges, 1278 markings/sec, 140 secs
lola: 160862 markings, 199169 edges, 1279 markings/sec, 145 secs
lola: 167063 markings, 206851 edges, 1240 markings/sec, 150 secs
lola: 173288 markings, 214499 edges, 1245 markings/sec, 155 secs
lola: 179685 markings, 222256 edges, 1279 markings/sec, 160 secs
lola: 186119 markings, 230174 edges, 1287 markings/sec, 165 secs
lola: 192229 markings, 237810 edges, 1222 markings/sec, 170 secs
lola: 198685 markings, 245636 edges, 1291 markings/sec, 175 secs
lola: 204986 markings, 253506 edges, 1260 markings/sec, 180 secs
lola: 211359 markings, 261294 edges, 1275 markings/sec, 185 secs
lola: 217628 markings, 269165 edges, 1254 markings/sec, 190 secs
lola: 224108 markings, 277075 edges, 1296 markings/sec, 195 secs
lola: 230301 markings, 284779 edges, 1239 markings/sec, 200 secs
lola: 236623 markings, 292770 edges, 1264 markings/sec, 205 secs
lola: 243059 markings, 300742 edges, 1287 markings/sec, 210 secs
lola: 249445 markings, 308699 edges, 1277 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: 4803 markings, 5332 edges, 961 markings/sec, 0 secs
lola: 9519 markings, 10617 edges, 943 markings/sec, 5 secs
lola: 14011 markings, 15731 edges, 898 markings/sec, 10 secs
lola: 18327 markings, 20673 edges, 863 markings/sec, 15 secs
lola: 23029 markings, 26001 edges, 940 markings/sec, 20 secs
lola: 27718 markings, 31341 edges, 938 markings/sec, 25 secs
lola: 32250 markings, 36631 edges, 906 markings/sec, 30 secs
lola: 37017 markings, 42047 edges, 953 markings/sec, 35 secs
lola: 41552 markings, 47341 edges, 907 markings/sec, 40 secs
lola: 46123 markings, 52695 edges, 914 markings/sec, 45 secs
lola: 50868 markings, 58222 edges, 949 markings/sec, 50 secs
lola: 55427 markings, 63605 edges, 912 markings/sec, 55 secs
lola: 59656 markings, 68670 edges, 846 markings/sec, 60 secs
lola: 63714 markings, 73572 edges, 812 markings/sec, 65 secs
lola: 67850 markings, 78546 edges, 827 markings/sec, 70 secs
lola: 71697 markings, 83277 edges, 769 markings/sec, 75 secs
lola: 75796 markings, 88369 edges, 820 markings/sec, 80 secs
lola: 80092 markings, 93863 edges, 859 markings/sec, 85 secs
lola: 84435 markings, 99458 edges, 869 markings/sec, 90 secs
lola: 88474 markings, 104905 edges, 808 markings/sec, 95 secs
lola: 92884 markings, 111193 edges, 882 markings/sec, 100 secs
lola: 97119 markings, 117932 edges, 847 markings/sec, 105 secs
lola: 101960 markings, 126991 edges, 968 markings/sec, 110 secs
lola: 107350 markings, 133509 edges, 1078 markings/sec, 115 secs
lola: 112235 markings, 139573 edges, 977 markings/sec, 120 secs
lola: 117408 markings, 145737 edges, 1035 markings/sec, 125 secs
lola: 122530 markings, 152056 edges, 1024 markings/sec, 130 secs
lola: 128144 markings, 158941 edges, 1123 markings/sec, 135 secs
lola: 133754 markings, 165660 edges, 1122 markings/sec, 140 secs
lola: 139079 markings, 172144 edges, 1065 markings/sec, 145 secs
lola: 144329 markings, 178589 edges, 1050 markings/sec, 150 secs
lola: 149704 markings, 185281 edges, 1075 markings/sec, 155 secs
lola: 155063 markings, 191727 edges, 1072 markings/sec, 160 secs
lola: 160445 markings, 198248 edges, 1076 markings/sec, 165 secs
lola: 165547 markings, 204506 edges, 1020 markings/sec, 170 secs
lola: 170826 markings, 210983 edges, 1056 markings/sec, 175 secs
lola: 176000 markings, 217397 edges, 1035 markings/sec, 180 secs
lola: 180991 markings, 223579 edges, 998 markings/sec, 185 secs
lola: 186047 markings, 229721 edges, 1011 markings/sec, 190 secs
lola: 191453 markings, 236381 edges, 1081 markings/sec, 195 secs
lola: 196679 markings, 242809 edges, 1045 markings/sec, 200 secs
lola: 201881 markings, 249226 edges, 1040 markings/sec, 205 secs
lola: 206908 markings, 255417 edges, 1005 markings/sec, 210 secs
lola: 212086 markings, 261846 edges, 1036 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: 2910 markings, 5505 edges, 582 markings/sec, 0 secs
lola: 5704 markings, 10970 edges, 559 markings/sec, 5 secs
lola: 8331 markings, 16631 edges, 525 markings/sec, 10 secs
lola: 10735 markings, 21324 edges, 481 markings/sec, 15 secs
lola: 13596 markings, 26784 edges, 572 markings/sec, 20 secs
lola: 16180 markings, 32381 edges, 517 markings/sec, 25 secs
lola: 18470 markings, 37001 edges, 458 markings/sec, 30 secs
lola: 21325 markings, 42770 edges, 571 markings/sec, 35 secs
lola: 24030 markings, 48137 edges, 541 markings/sec, 40 secs
lola: 26624 markings, 53739 edges, 519 markings/sec, 45 secs
lola: 29028 markings, 58431 edges, 481 markings/sec, 50 secs
lola: 31860 markings, 64188 edges, 566 markings/sec, 55 secs
lola: 34466 markings, 69490 edges, 521 markings/sec, 60 secs
lola: 36756 markings, 74417 edges, 458 markings/sec, 65 secs
lola: 39512 markings, 79806 edges, 551 markings/sec, 70 secs
lola: 42290 markings, 85209 edges, 556 markings/sec, 75 secs
lola: 44890 markings, 90831 edges, 520 markings/sec, 80 secs
lola: 47159 markings, 95452 edges, 454 markings/sec, 85 secs
lola: 49977 markings, 101217 edges, 564 markings/sec, 90 secs
lola: 52768 markings, 106656 edges, 558 markings/sec, 95 secs
lola: 55375 markings, 112287 edges, 521 markings/sec, 100 secs
lola: 57925 markings, 117418 edges, 510 markings/sec, 105 secs
lola: 60403 markings, 122640 edges, 496 markings/sec, 110 secs
lola: 63199 markings, 128392 edges, 559 markings/sec, 115 secs
lola: 65852 markings, 133743 edges, 531 markings/sec, 120 secs
lola: 68451 markings, 139371 edges, 520 markings/sec, 125 secs
lola: 70775 markings, 144024 edges, 465 markings/sec, 130 secs
lola: 73548 markings, 149771 edges, 555 markings/sec, 135 secs
lola: 76321 markings, 155431 edges, 555 markings/sec, 140 secs
lola: 78923 markings, 160833 edges, 520 markings/sec, 145 secs
lola: 81528 markings, 166471 edges, 521 markings/sec, 150 secs
lola: 83851 markings, 171124 edges, 465 markings/sec, 155 secs
lola: 86599 markings, 176860 edges, 550 markings/sec, 160 secs
lola: 89345 markings, 182590 edges, 549 markings/sec, 165 secs
lola: 92005 markings, 187951 edges, 532 markings/sec, 170 secs
lola: 94612 markings, 193594 edges, 521 markings/sec, 175 secs
lola: 97215 markings, 199241 edges, 521 markings/sec, 180 secs
lola: 99558 markings, 203913 edges, 469 markings/sec, 185 secs
lola: 102287 markings, 209640 edges, 546 markings/sec, 190 secs
lola: 105004 markings, 215363 edges, 543 markings/sec, 195 secs
lola: 107702 markings, 220750 edges, 540 markings/sec, 200 secs
lola: 110306 markings, 226400 edges, 521 markings/sec, 205 secs
lola: 112912 markings, 232051 edges, 521 markings/sec, 210 secs
lola: 115514 markings, 237701 edges, 520 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: 2870 markings, 5417 edges, 574 markings/sec, 0 secs
lola: 5602 markings, 10788 edges, 546 markings/sec, 5 secs
lola: 8181 markings, 16368 edges, 516 markings/sec, 10 secs
lola: 10583 markings, 21012 edges, 480 markings/sec, 15 secs
lola: 13338 markings, 26351 edges, 551 markings/sec, 20 secs
lola: 15885 markings, 31868 edges, 509 markings/sec, 25 secs
lola: 18213 markings, 36470 edges, 466 markings/sec, 30 secs
lola: 21030 markings, 42157 edges, 563 markings/sec, 35 secs
lola: 23583 markings, 47372 edges, 511 markings/sec, 40 secs
lola: 25818 markings, 51917 edges, 447 markings/sec, 45 secs
lola: 28623 markings, 57600 edges, 561 markings/sec, 50 secs
lola: 31304 markings, 62913 edges, 536 markings/sec, 55 secs
lola: 33868 markings, 68471 edges, 513 markings/sec, 60 secs
lola: 36236 markings, 73119 edges, 474 markings/sec, 65 secs
lola: 39040 markings, 78831 edges, 561 markings/sec, 70 secs
lola: 41641 markings, 84099 edges, 520 markings/sec, 75 secs
lola: 44186 markings, 89190 edges, 509 markings/sec, 80 secs
lola: 46620 markings, 94347 edges, 487 markings/sec, 85 secs
lola: 49409 markings, 99734 edges, 558 markings/sec, 90 secs
lola: 51975 markings, 105300 edges, 513 markings/sec, 95 secs
lola: 54471 markings, 110357 edges, 499 markings/sec, 100 secs
lola: 56958 markings, 115549 edges, 497 markings/sec, 105 secs
lola: 59725 markings, 121246 edges, 553 markings/sec, 110 secs
lola: 62315 markings, 126513 edges, 518 markings/sec, 115 secs
lola: 64874 markings, 132080 edges, 512 markings/sec, 120 secs
lola: 67242 markings, 136733 edges, 474 markings/sec, 125 secs
lola: 69995 markings, 142420 edges, 551 markings/sec, 130 secs
lola: 72650 markings, 147735 edges, 531 markings/sec, 135 secs
lola: 75215 markings, 153307 edges, 513 markings/sec, 140 secs
lola: 77477 markings, 157898 edges, 452 markings/sec, 145 secs
lola: 80212 markings, 163579 edges, 547 markings/sec, 150 secs
lola: 82941 markings, 169258 edges, 546 markings/sec, 155 secs
lola: 85564 markings, 174553 edges, 525 markings/sec, 160 secs
lola: 88129 markings, 180130 edges, 513 markings/sec, 165 secs
lola: 90532 markings, 185124 edges, 481 markings/sec, 170 secs
lola: 93087 markings, 190380 edges, 511 markings/sec, 175 secs
lola: 95790 markings, 196044 edges, 541 markings/sec, 180 secs
lola: 98463 markings, 201373 edges, 535 markings/sec, 185 secs
lola: 101042 markings, 206965 edges, 516 markings/sec, 190 secs
lola: 103601 markings, 212544 edges, 512 markings/sec, 195 secs
lola: 106016 markings, 217551 edges, 483 markings/sec, 200 secs
lola: 108554 markings, 222801 edges, 508 markings/sec, 205 secs
lola: 111226 markings, 228453 edges, 534 markings/sec, 210 secs
lola: 113898 markings, 234105 edges, 534 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: 4803 markings, 5332 edges, 961 markings/sec, 0 secs
lola: 9516 markings, 10614 edges, 943 markings/sec, 5 secs
lola: 14159 markings, 15879 edges, 929 markings/sec, 10 secs
lola: 18837 markings, 21183 edges, 936 markings/sec, 15 secs
lola: 23434 markings, 26456 edges, 919 markings/sec, 20 secs
lola: 27968 markings, 31691 edges, 907 markings/sec, 25 secs
lola: 32679 markings, 37060 edges, 942 markings/sec, 30 secs
lola: 37246 markings, 42367 edges, 913 markings/sec, 35 secs
lola: 41966 markings, 47800 edges, 944 markings/sec, 40 secs
lola: 46616 markings, 53217 edges, 930 markings/sec, 45 secs
lola: 51201 markings, 58621 edges, 917 markings/sec, 50 secs
lola: 55770 markings, 64063 edges, 914 markings/sec, 55 secs
lola: 60429 markings, 69592 edges, 932 markings/sec, 60 secs
lola: 65040 markings, 75148 edges, 922 markings/sec, 65 secs
lola: 69694 markings, 80804 edges, 931 markings/sec, 70 secs
lola: 74305 markings, 86511 edges, 922 markings/sec, 75 secs
lola: 78890 markings, 92293 edges, 917 markings/sec, 80 secs
lola: 83572 markings, 98282 edges, 936 markings/sec, 85 secs
lola: 88183 markings, 104458 edges, 922 markings/sec, 90 secs
lola: 92776 markings, 111004 edges, 919 markings/sec, 95 secs
lola: 97359 markings, 118406 edges, 917 markings/sec, 100 secs
lola: 102576 markings, 127864 edges, 1043 markings/sec, 105 secs
lola: 108532 markings, 134980 edges, 1191 markings/sec, 110 secs
lola: 114306 markings, 141963 edges, 1155 markings/sec, 115 secs
lola: 119993 markings, 148888 edges, 1137 markings/sec, 120 secs
lola: 125736 markings, 155949 edges, 1149 markings/sec, 125 secs
lola: 131525 markings, 163094 edges, 1158 markings/sec, 130 secs
lola: 137387 markings, 170199 edges, 1172 markings/sec, 135 secs
lola: 143243 markings, 177301 edges, 1171 markings/sec, 140 secs
lola: 149075 markings, 184392 edges, 1166 markings/sec, 145 secs
lola: 154888 markings, 191478 edges, 1163 markings/sec, 150 secs
lola: 160684 markings, 198564 edges, 1159 markings/sec, 155 secs
lola: 166480 markings, 205673 edges, 1159 markings/sec, 160 secs
lola: 172243 markings, 212757 edges, 1153 markings/sec, 165 secs
lola: 177988 markings, 219841 edges, 1149 markings/sec, 170 secs
lola: 183704 markings, 226906 edges, 1143 markings/sec, 175 secs
lola: 189452 markings, 233961 edges, 1150 markings/sec, 180 secs
lola: 195270 markings, 241039 edges, 1164 markings/sec, 185 secs
lola: 201180 markings, 248313 edges, 1182 markings/sec, 190 secs
lola: 207004 markings, 255553 edges, 1165 markings/sec, 195 secs
lola: 212698 markings, 262637 edges, 1139 markings/sec, 200 secs
lola: 218615 markings, 269877 edges, 1183 markings/sec, 205 secs
lola: 224411 markings, 277139 edges, 1159 markings/sec, 210 secs
lola: 230172 markings, 284241 edges, 1152 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(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: 4590 markings, 5058 edges, 918 markings/sec, 0 secs
lola: 8804 markings, 9898 edges, 843 markings/sec, 5 secs
lola: 13251 markings, 14890 edges, 889 markings/sec, 10 secs
lola: 17707 markings, 19897 edges, 891 markings/sec, 15 secs
lola: 22026 markings, 24842 edges, 864 markings/sec, 20 secs
lola: 26386 markings, 29828 edges, 872 markings/sec, 25 secs
lola: 30778 markings, 34846 edges, 878 markings/sec, 30 secs
lola: 35101 markings, 39856 edges, 865 markings/sec, 35 secs
lola: 39375 markings, 44851 edges, 855 markings/sec, 40 secs
lola: 43853 markings, 49994 edges, 896 markings/sec, 45 secs
lola: 48170 markings, 55055 edges, 863 markings/sec, 50 secs
lola: 52600 markings, 60267 edges, 886 markings/sec, 55 secs
lola: 57194 markings, 65727 edges, 919 markings/sec, 60 secs
lola: 61829 markings, 71218 edges, 927 markings/sec, 65 secs
lola: 66365 markings, 76728 edges, 907 markings/sec, 70 secs
lola: 70786 markings, 82171 edges, 884 markings/sec, 75 secs
lola: 75391 markings, 87910 edges, 921 markings/sec, 80 secs
lola: 80035 markings, 93756 edges, 929 markings/sec, 85 secs
lola: 84644 markings, 99738 edges, 922 markings/sec, 90 secs
lola: 89271 markings, 106015 edges, 925 markings/sec, 95 secs
lola: 93941 markings, 112720 edges, 934 markings/sec, 100 secs
lola: 98535 markings, 120757 edges, 919 markings/sec, 105 secs
lola: 104173 markings, 129648 edges, 1128 markings/sec, 110 secs
lola: 109791 markings, 136547 edges, 1124 markings/sec, 115 secs
lola: 115527 markings, 143593 edges, 1147 markings/sec, 120 secs
lola: 121473 markings, 150742 edges, 1189 markings/sec, 125 secs
lola: 127370 markings, 157863 edges, 1179 markings/sec, 130 secs
lola: 133143 markings, 164902 edges, 1155 markings/sec, 135 secs
lola: 138920 markings, 171951 edges, 1155 markings/sec, 140 secs
lola: 144710 markings, 179021 edges, 1158 markings/sec, 145 secs
lola: 150507 markings, 186108 edges, 1159 markings/sec, 150 secs
lola: 156327 markings, 193225 edges, 1164 markings/sec, 155 secs
lola: 162151 markings, 200350 edges, 1165 markings/sec, 160 secs
lola: 168019 markings, 207542 edges, 1174 markings/sec, 165 secs
lola: 173881 markings, 214730 edges, 1172 markings/sec, 170 secs
lola: 179754 markings, 221935 edges, 1175 markings/sec, 175 secs
lola: 185633 markings, 229154 edges, 1176 markings/sec, 180 secs
lola: 191410 markings, 236319 edges, 1155 markings/sec, 185 secs
lola: 197120 markings, 243433 edges, 1142 markings/sec, 190 secs
lola: 202970 markings, 250542 edges, 1170 markings/sec, 195 secs
lola: 208944 markings, 257899 edges, 1195 markings/sec, 200 secs
lola: 214727 markings, 265141 edges, 1157 markings/sec, 205 secs
lola: 220528 markings, 272246 edges, 1160 markings/sec, 210 secs
lola: 226504 markings, 279690 edges, 1195 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: 4616 markings, 5084 edges, 923 markings/sec, 0 secs
lola: 9025 markings, 10119 edges, 882 markings/sec, 5 secs
lola: 13463 markings, 15183 edges, 888 markings/sec, 10 secs
lola: 17998 markings, 20312 edges, 907 markings/sec, 15 secs
lola: 22501 markings, 25441 edges, 901 markings/sec, 20 secs
lola: 26994 markings, 30592 edges, 899 markings/sec, 25 secs
lola: 31580 markings, 35804 edges, 917 markings/sec, 30 secs
lola: 36100 markings, 41009 edges, 904 markings/sec, 35 secs
lola: 40585 markings, 46218 edges, 897 markings/sec, 40 secs
lola: 45008 markings, 51398 edges, 885 markings/sec, 45 secs
lola: 49507 markings, 56649 edges, 900 markings/sec, 50 secs
lola: 53942 markings, 61893 edges, 887 markings/sec, 55 secs
lola: 58478 markings, 67241 edges, 907 markings/sec, 60 secs
lola: 62778 markings, 72418 edges, 860 markings/sec, 65 secs
lola: 67202 markings, 77770 edges, 885 markings/sec, 70 secs
lola: 71677 markings, 83257 edges, 895 markings/sec, 75 secs
lola: 76024 markings, 88699 edges, 869 markings/sec, 80 secs
lola: 80485 markings, 94326 edges, 892 markings/sec, 85 secs
lola: 85009 markings, 100188 edges, 905 markings/sec, 90 secs
lola: 89482 markings, 106290 edges, 895 markings/sec, 95 secs
lola: 93909 markings, 112688 edges, 885 markings/sec, 100 secs
lola: 98303 markings, 120291 edges, 879 markings/sec, 105 secs
lola: 103457 markings, 128810 edges, 1031 markings/sec, 110 secs
lola: 108917 markings, 135530 edges, 1092 markings/sec, 115 secs
lola: 114455 markings, 142146 edges, 1108 markings/sec, 120 secs
lola: 119782 markings, 148633 edges, 1065 markings/sec, 125 secs
lola: 125162 markings, 155341 edges, 1076 markings/sec, 130 secs
lola: 130807 markings, 162097 edges, 1129 markings/sec, 135 secs
lola: 136307 markings, 168760 edges, 1100 markings/sec, 140 secs
lola: 141719 markings, 175370 edges, 1082 markings/sec, 145 secs
lola: 147156 markings, 182078 edges, 1087 markings/sec, 150 secs
lola: 152563 markings, 188762 edges, 1081 markings/sec, 155 secs
lola: 158065 markings, 195420 edges, 1100 markings/sec, 160 secs
lola: 163583 markings, 202124 edges, 1104 markings/sec, 165 secs
lola: 169090 markings, 208841 edges, 1101 markings/sec, 170 secs
lola: 174499 markings, 215480 edges, 1082 markings/sec, 175 secs
lola: 179904 markings, 222119 edges, 1081 markings/sec, 180 secs
lola: 185306 markings, 228760 edges, 1080 markings/sec, 185 secs
lola: 190764 markings, 235475 edges, 1092 markings/sec, 190 secs
lola: 196273 markings, 242256 edges, 1102 markings/sec, 195 secs
lola: 201728 markings, 249013 edges, 1091 markings/sec, 200 secs
lola: 207155 markings, 255771 edges, 1085 markings/sec, 205 secs
lola: 212579 markings, 262518 edges, 1085 markings/sec, 210 secs
lola: 218101 markings, 269258 edges, 1104 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: 4929 markings, 5865 edges, 986 markings/sec, 0 secs
lola: 9517 markings, 11069 edges, 918 markings/sec, 5 secs
lola: 14123 markings, 16301 edges, 921 markings/sec, 10 secs
lola: 18784 markings, 21588 edges, 932 markings/sec, 15 secs
lola: 23489 markings, 26919 edges, 941 markings/sec, 20 secs
lola: 28074 markings, 32196 edges, 917 markings/sec, 25 secs
lola: 32648 markings, 37487 edges, 915 markings/sec, 30 secs
lola: 37366 markings, 42891 edges, 944 markings/sec, 35 secs
lola: 42034 markings, 48281 edges, 934 markings/sec, 40 secs
lola: 46642 markings, 53672 edges, 922 markings/sec, 45 secs
lola: 51332 markings, 59144 edges, 938 markings/sec, 50 secs
lola: 55852 markings, 64556 edges, 904 markings/sec, 55 secs
lola: 60579 markings, 70158 edges, 945 markings/sec, 60 secs
lola: 65199 markings, 75726 edges, 924 markings/sec, 65 secs
lola: 69762 markings, 81330 edges, 913 markings/sec, 70 secs
lola: 74388 markings, 87052 edges, 925 markings/sec, 75 secs
lola: 79066 markings, 92896 edges, 936 markings/sec, 80 secs
lola: 83688 markings, 98856 edges, 924 markings/sec, 85 secs
lola: 88312 markings, 105045 edges, 925 markings/sec, 90 secs
lola: 92961 markings, 111572 edges, 930 markings/sec, 95 secs
lola: 97534 markings, 118962 edges, 915 markings/sec, 100 secs
lola: 102847 markings, 128599 edges, 1063 markings/sec, 105 secs
lola: 109141 markings, 136195 edges, 1259 markings/sec, 110 secs
lola: 115440 markings, 143821 edges, 1260 markings/sec, 115 secs
lola: 121717 markings, 151439 edges, 1255 markings/sec, 120 secs
lola: 127967 markings, 159042 edges, 1250 markings/sec, 125 secs
lola: 134220 markings, 166673 edges, 1251 markings/sec, 130 secs
lola: 140438 markings, 174276 edges, 1244 markings/sec, 135 secs
lola: 146641 markings, 181880 edges, 1241 markings/sec, 140 secs
lola: 152815 markings, 189467 edges, 1235 markings/sec, 145 secs
lola: 159045 markings, 197042 edges, 1246 markings/sec, 150 secs
lola: 165327 markings, 204644 edges, 1256 markings/sec, 155 secs
lola: 171694 markings, 212439 edges, 1273 markings/sec, 160 secs
lola: 177991 markings, 220197 edges, 1259 markings/sec, 165 secs
lola: 184058 markings, 227760 edges, 1213 markings/sec, 170 secs
lola: 190327 markings, 235348 edges, 1254 markings/sec, 175 secs
lola: 196751 markings, 243262 edges, 1285 markings/sec, 180 secs
lola: 202829 markings, 250842 edges, 1216 markings/sec, 185 secs
lola: 209256 markings, 258681 edges, 1285 markings/sec, 190 secs
lola: 215370 markings, 266357 edges, 1223 markings/sec, 195 secs
lola: 221828 markings, 274245 edges, 1292 markings/sec, 200 secs
lola: 227915 markings, 281820 edges, 1217 markings/sec, 205 secs
lola: 234203 markings, 289733 edges, 1258 markings/sec, 210 secs
lola: 240589 markings, 297621 edges, 1277 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: 4932 markings, 5518 edges, 986 markings/sec, 0 secs
lola: 9794 markings, 11008 edges, 972 markings/sec, 5 secs
lola: 14611 markings, 16488 edges, 963 markings/sec, 10 secs
lola: 19566 markings, 22069 edges, 991 markings/sec, 15 secs
lola: 24489 markings, 27656 edges, 985 markings/sec, 20 secs
lola: 29237 markings, 33148 edges, 950 markings/sec, 25 secs
lola: 34136 markings, 38759 edges, 980 markings/sec, 30 secs
lola: 39047 markings, 44414 edges, 982 markings/sec, 35 secs
lola: 43887 markings, 50047 edges, 968 markings/sec, 40 secs
lola: 48652 markings, 55657 edges, 953 markings/sec, 45 secs
lola: 53633 markings, 61457 edges, 996 markings/sec, 50 secs
lola: 58464 markings, 67227 edges, 966 markings/sec, 55 secs
lola: 63394 markings, 73135 edges, 986 markings/sec, 60 secs
lola: 68210 markings, 79007 edges, 963 markings/sec, 65 secs
lola: 73124 markings, 85017 edges, 983 markings/sec, 70 secs
lola: 77982 markings, 91127 edges, 972 markings/sec, 75 secs
lola: 82849 markings, 97402 edges, 973 markings/sec, 80 secs
lola: 87784 markings, 103902 edges, 987 markings/sec, 85 secs
lola: 92635 markings, 110788 edges, 970 markings/sec, 90 secs
lola: 97502 markings, 118655 edges, 973 markings/sec, 95 secs
lola: 103157 markings, 128510 edges, 1131 markings/sec, 100 secs
lola: 109471 markings, 136226 edges, 1263 markings/sec, 105 secs
lola: 115793 markings, 143938 edges, 1264 markings/sec, 110 secs
lola: 122100 markings, 151623 edges, 1261 markings/sec, 115 secs
lola: 128426 markings, 159315 edges, 1265 markings/sec, 120 secs
lola: 134756 markings, 166999 edges, 1266 markings/sec, 125 secs
lola: 141072 markings, 174663 edges, 1263 markings/sec, 130 secs
lola: 147395 markings, 182317 edges, 1265 markings/sec, 135 secs
lola: 153760 markings, 190081 edges, 1273 markings/sec, 140 secs
lola: 160148 markings, 197891 edges, 1278 markings/sec, 145 secs
lola: 166496 markings, 205701 edges, 1270 markings/sec, 150 secs
lola: 172664 markings, 213360 edges, 1234 markings/sec, 155 secs
lola: 178992 markings, 221022 edges, 1266 markings/sec, 160 secs
lola: 185469 markings, 228958 edges, 1295 markings/sec, 165 secs
lola: 191654 markings, 236670 edges, 1237 markings/sec, 170 secs
lola: 197874 markings, 244251 edges, 1244 markings/sec, 175 secs
lola: 204308 markings, 252198 edges, 1287 markings/sec, 180 secs
lola: 210460 markings, 259828 edges, 1230 markings/sec, 185 secs
lola: 216904 markings, 267793 edges, 1289 markings/sec, 190 secs
lola: 223162 markings, 275529 edges, 1252 markings/sec, 195 secs
lola: 229440 markings, 283437 edges, 1256 markings/sec, 200 secs
lola: 235900 markings, 291400 edges, 1292 markings/sec, 205 secs
lola: 242271 markings, 299296 edges, 1274 markings/sec, 210 secs
lola: 248549 markings, 307158 edges, 1256 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 1496361853535

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PolyORBNT-PT-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/S_PolyORBNT-PT-S10J80.tgz
mv S_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 S_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 r138-smll-149479231600173"
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 ;