About the Execution of LoLA for PolyORBNT-PT-S10J30
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
749.960 | 3539957.00 | 3547066.00 | 12391.60 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...........
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is PolyORBNT-PT-S10J30, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926200146
=====================================================================
--------------------
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-S10J30-UpperBounds-0
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-1
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-10
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-11
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-12
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-13
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-14
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-15
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-2
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-3
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-4
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-5
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-6
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-7
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-8
FORMULA_NAME PolyORBNT-COL-S10J30-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494731065810
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-PT-S10J30 @ 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: 12714/65536 symbol table entries, 4655 collisions
lola: preprocessing...
lola: finding significant places
lola: 664 places, 12050 transitions, 572 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2298 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J30-UpperBounds.task
lola: MAX(mi2) : MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 + FetchJobE_1_24 + FetchJobE_1_25 + FetchJobE_1_26 + FetchJobE_1_27 + FetchJobE_1_28 + FetchJobE_1_29 + FetchJobE_1_30) : MAX(NotifyEventJobQueuedE_1) : MAX(DataOnSrc_10 + DataOnSrc_9 + DataOnSrc_8 + DataOnSrc_7 + DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1) : MAX(JobCnt) : MAX(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_29_6 + CreatedJobs_29_7 + CreatedJobs_29_8 + CreatedJobs_29_9 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_16_6 + CreatedJobs_16_7 + CreatedJobs_16_8 + CreatedJobs_16_9 + CreatedJobs_20_10 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_0_6 + CreatedJobs_0_7 + CreatedJobs_0_8 + CreatedJobs_0_9 + CreatedJobs_17_1 + CreatedJobs_17_2 + CreatedJobs_17_3 + CreatedJobs_17_4 + CreatedJobs_17_5 + CreatedJobs_17_6 + CreatedJobs_17_7 + CreatedJobs_17_8 + CreatedJobs_17_9 + CreatedJobs_3_10 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_1_3 + CreatedJobs_1_4 + CreatedJobs_1_5 + CreatedJobs_1_6 + CreatedJobs_1_7 + CreatedJobs_1_8 + CreatedJobs_1_9 + CreatedJobs_13_10 + CreatedJobs_25_10 + CreatedJobs_18_1 + CreatedJobs_18_2 + CreatedJobs_18_3 + CreatedJobs_18_4 + CreatedJobs_18_5 + CreatedJobs_18_6 + CreatedJobs_18_7 + CreatedJobs_18_8 + CreatedJobs_18_9 + CreatedJobs_2_1 + CreatedJobs_2_2 + CreatedJobs_2_3 + CreatedJobs_2_4 + CreatedJobs_2_5 + CreatedJobs_2_6 + CreatedJobs_2_7 + CreatedJobs_2_8 + CreatedJobs_2_9 + CreatedJobs_8_10 + CreatedJobs_18_10 + CreatedJobs_19_1 + CreatedJobs_19_2 + CreatedJobs_19_3 + CreatedJobs_19_4 + CreatedJobs_19_5 + CreatedJobs_19_6 + CreatedJobs_19_7 + CreatedJobs_19_8 + CreatedJobs_19_9 + CreatedJobs_3_1 + CreatedJobs_3_2 + CreatedJobs_3_3 + CreatedJobs_3_4 + CreatedJobs_3_5 + CreatedJobs_3_6 + CreatedJobs_3_7 + CreatedJobs_3_8 + CreatedJobs_3_9 + CreatedJobs_2_10 + CreatedJobs_4_1 + CreatedJobs_4_2 + CreatedJobs_4_3 + CreatedJobs_4_4 + CreatedJobs_4_5 + CreatedJobs_4_6 + CreatedJobs_4_7 + CreatedJobs_4_8 + CreatedJobs_4_9 + CreatedJobs_30_1 + CreatedJobs_30_2 + CreatedJobs_30_3 + CreatedJobs_30_4 + CreatedJobs_30_5 + CreatedJobs_30_6 + CreatedJobs_30_7 + CreatedJobs_30_8 + CreatedJobs_30_9 + CreatedJobs_12_10 + CreatedJobs_24_10 + CreatedJobs_5_1 + CreatedJobs_5_2 + CreatedJobs_5_3 + CreatedJobs_5_4 + CreatedJobs_5_5 + CreatedJobs_5_6 + CreatedJobs_5_7 + CreatedJobs_5_8 + CreatedJobs_5_9 + CreatedJobs_7_10 + CreatedJobs_17_10 + CreatedJobs_29_10 + CreatedJobs_6_1 + CreatedJobs_6_2 + CreatedJobs_6_3 + CreatedJobs_6_4 + CreatedJobs_6_5 + CreatedJobs_6_6 + CreatedJobs_6_7 + CreatedJobs_6_8 + CreatedJobs_6_9 + CreatedJobs_30_10 + CreatedJobs_1_10 + CreatedJobs_7_1 + CreatedJobs_7_2 + CreatedJobs_7_3 + CreatedJobs_7_4 + CreatedJobs_7_5 + CreatedJobs_7_6 + CreatedJobs_7_7 + CreatedJobs_7_8 + CreatedJobs_7_9 + CreatedJobs_20_1 + CreatedJobs_20_2 + CreatedJobs_20_3 + CreatedJobs_20_4 + CreatedJobs_20_5 + CreatedJobs_20_6 + CreatedJobs_20_7 + CreatedJobs_20_8 + CreatedJobs_20_9 + CreatedJobs_11_10 + CreatedJobs_23_10 + CreatedJobs_8_1 + CreatedJobs_8_2 + CreatedJobs_8_3 + CreatedJobs_8_4 + CreatedJobs_8_5 + CreatedJobs_8_6 + CreatedJobs_8_7 + CreatedJobs_8_8 + CreatedJobs_8_9 + CreatedJobs_21_1 + CreatedJobs_21_2 + CreatedJobs_21_3 + CreatedJobs_21_4 + CreatedJobs_21_5 + CreatedJobs_21_6 + CreatedJobs_21_7 + CreatedJobs_21_8 + CreatedJobs_21_9 + CreatedJobs_6_10 + CreatedJobs_28_10 + CreatedJobs_9_1 + CreatedJobs_9_2 + CreatedJobs_9_3 + CreatedJobs_9_4 + CreatedJobs_9_5 + CreatedJobs_9_6 + CreatedJobs_9_7 + CreatedJobs_9_8 + CreatedJobs_9_9 + CreatedJobs_22_1 + CreatedJobs_22_2 + CreatedJobs_22_3 + CreatedJobs_22_4 + CreatedJobs_22_5 + CreatedJobs_22_6 + CreatedJobs_22_7 + CreatedJobs_22_8 + CreatedJobs_22_9 + CreatedJobs_0_10 + CreatedJobs_23_1 + CreatedJobs_23_2 + CreatedJobs_23_3 + CreatedJobs_23_4 + CreatedJobs_23_5 + CreatedJobs_23_6 + CreatedJobs_23_7 + CreatedJobs_23_8 + CreatedJobs_10_1 + CreatedJobs_10_2 + CreatedJobs_10_3 + CreatedJobs_10_4 + CreatedJobs_10_5 + CreatedJobs_10_6 + CreatedJobs_10_7 + CreatedJobs_10_8 + CreatedJobs_10_9 + CreatedJobs_24_1 + CreatedJobs_24_2 + CreatedJobs_24_3 + CreatedJobs_24_4 + CreatedJobs_24_5 + CreatedJobs_24_6 + CreatedJobs_24_7 + CreatedJobs_24_8 + CreatedJobs_11_1 + CreatedJobs_11_2 + CreatedJobs_11_3 + CreatedJobs_11_4 + CreatedJobs_11_5 + CreatedJobs_11_6 + CreatedJobs_11_7 + CreatedJobs_11_8 + CreatedJobs_5_10 + CreatedJobs_28_8 + CreatedJobs_28_7 + CreatedJobs_28_6 + CreatedJobs_28_5 + CreatedJobs_28_4 + CreatedJobs_28_3 + CreatedJobs_15_10 + CreatedJobs_27_10 + CreatedJobs_25_1 + CreatedJobs_25_2 + CreatedJobs_25_3 + CreatedJobs_25_4 + CreatedJobs_25_5 + CreatedJobs_25_6 + CreatedJobs_25_7 + CreatedJobs_25_8 + CreatedJobs_28_2 + CreatedJobs_12_1 + CreatedJobs_12_2 + CreatedJobs_12_3 + CreatedJobs_12_4 + CreatedJobs_12_5 + CreatedJobs_12_6 + CreatedJobs_12_7 + CreatedJobs_12_8 + CreatedJobs_28_1 + CreatedJobs_26_1 + CreatedJobs_26_2 + CreatedJobs_26_3 + CreatedJobs_26_4 + CreatedJobs_26_5 + CreatedJobs_26_6 + CreatedJobs_26_7 + CreatedJobs_26_8 + CreatedJobs_26_9 + CreatedJobs_13_1 + CreatedJobs_13_2 + CreatedJobs_13_3 + CreatedJobs_13_4 + CreatedJobs_13_5 + CreatedJobs_13_6 + CreatedJobs_13_7 + CreatedJobs_13_8 + CreatedJobs_14_8 + CreatedJobs_14_7 + CreatedJobs_14_6 + CreatedJobs_14_5 + CreatedJobs_14_4 + CreatedJobs_14_3 + CreatedJobs_14_2 + CreatedJobs_14_1 + CreatedJobs_27_8 + CreatedJobs_27_7 + CreatedJobs_27_6 + CreatedJobs_27_5 + CreatedJobs_27_4 + CreatedJobs_27_3 + CreatedJobs_27_1 + CreatedJobs_27_2 + CreatedJobs_27_9 + CreatedJobs_21_10 + CreatedJobs_13_9 + CreatedJobs_14_9 + CreatedJobs_4_10 + CreatedJobs_14_10 + CreatedJobs_26_10 + CreatedJobs_12_9 + CreatedJobs_25_9 + CreatedJobs_28_9 + CreatedJobs_11_9 + CreatedJobs_24_9 + CreatedJobs_22_10 + CreatedJobs_10_10 + CreatedJobs_23_9 + CreatedJobs_16_10 + CreatedJobs_15_1 + CreatedJobs_15_2 + CreatedJobs_15_3 + CreatedJobs_15_4 + CreatedJobs_15_5 + CreatedJobs_15_6 + CreatedJobs_15_7 + CreatedJobs_15_8 + CreatedJobs_15_9 + CreatedJobs_9_10 + CreatedJobs_19_10) : MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5 + TheSour_6 + TheSour_7 + TheSour_8 + TheSour_9 + TheSour_10) : 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_4 + AvailableJobId_9 + AvailableJobId_8 + AvailableJobId_7 + AvailableJobId_6 + AvailableJobId_5 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0 + AvailableJobId_30 + AvailableJobId_29 + AvailableJobId_20 + AvailableJobId_18 + AvailableJobId_17) : MAX(Perform_Work_E_1) : MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5 + TheSour_6 + TheSour_7 + TheSour_8 + TheSour_9 + TheSour_10) : MAX(mo1) : MAX(DataOnSrc_10 + DataOnSrc_9 + DataOnSrc_8 + DataOnSrc_7 + DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1) : MAX(place_500_1) : MAX(mo1) : MAX(mo1) : MAX(Check_Sources_E_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(mi2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 6859 markings, 12764 edges, 1372 markings/sec, 0 secs
lola: 13699 markings, 25710 edges, 1368 markings/sec, 5 secs
lola: 20647 markings, 39012 edges, 1390 markings/sec, 10 secs
lola: 27446 markings, 52597 edges, 1360 markings/sec, 15 secs
lola: 34235 markings, 66852 edges, 1358 markings/sec, 20 secs
lola: 41120 markings, 84849 edges, 1377 markings/sec, 25 secs
lola: 47779 markings, 98162 edges, 1332 markings/sec, 30 secs
lola: 54290 markings, 111219 edges, 1302 markings/sec, 35 secs
lola: 60890 markings, 124512 edges, 1320 markings/sec, 40 secs
lola: 67475 markings, 137843 edges, 1317 markings/sec, 45 secs
lola: 74079 markings, 151271 edges, 1321 markings/sec, 50 secs
lola: 80634 markings, 164887 edges, 1311 markings/sec, 55 secs
lola: 87144 markings, 178733 edges, 1302 markings/sec, 60 secs
lola: 93786 markings, 193188 edges, 1328 markings/sec, 65 secs
lola: 100249 markings, 209136 edges, 1293 markings/sec, 70 secs
lola: 104839 markings, 222973 edges, 918 markings/sec, 75 secs
lola: 109064 markings, 234202 edges, 845 markings/sec, 80 secs
lola: 113220 markings, 245690 edges, 831 markings/sec, 85 secs
lola: 117425 markings, 257154 edges, 841 markings/sec, 90 secs
lola: 121700 markings, 268812 edges, 855 markings/sec, 95 secs
lola: 125905 markings, 280600 edges, 841 markings/sec, 100 secs
lola: 130091 markings, 292667 edges, 837 markings/sec, 105 secs
lola: 134251 markings, 305127 edges, 832 markings/sec, 110 secs
lola: 138425 markings, 319270 edges, 835 markings/sec, 115 secs
lola: 144810 markings, 334155 edges, 1277 markings/sec, 120 secs
lola: 151621 markings, 347054 edges, 1362 markings/sec, 125 secs
lola: 158456 markings, 360237 edges, 1367 markings/sec, 130 secs
lola: 165286 markings, 373701 edges, 1366 markings/sec, 135 secs
lola: 172120 markings, 387707 edges, 1367 markings/sec, 140 secs
lola: 178789 markings, 404281 edges, 1334 markings/sec, 145 secs
lola: 185481 markings, 419112 edges, 1338 markings/sec, 150 secs
lola: 192187 markings, 432312 edges, 1341 markings/sec, 155 secs
lola: 198604 markings, 445415 edges, 1283 markings/sec, 160 secs
lola: 205172 markings, 458651 edges, 1314 markings/sec, 165 secs
lola: 211825 markings, 472061 edges, 1331 markings/sec, 170 secs
lola: 218300 markings, 485603 edges, 1295 markings/sec, 175 secs
lola: 224946 markings, 499497 edges, 1329 markings/sec, 180 secs
lola: 231476 markings, 513631 edges, 1306 markings/sec, 185 secs
lola: 237951 markings, 528916 edges, 1295 markings/sec, 190 secs
lola: 242985 markings, 544066 edges, 1007 markings/sec, 195 secs
lola: 247261 markings, 555396 edges, 855 markings/sec, 200 secs
lola: 251403 markings, 566687 edges, 828 markings/sec, 205 secs
lola: 255583 markings, 578131 edges, 836 markings/sec, 210 secs
lola: 259823 markings, 589723 edges, 848 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(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10463 markings, 12189 edges, 2093 markings/sec, 0 secs
lola: 23082 markings, 28409 edges, 2524 markings/sec, 5 secs
lola: 36365 markings, 44918 edges, 2657 markings/sec, 10 secs
lola: 49024 markings, 62612 edges, 2532 markings/sec, 15 secs
lola: 56497 markings, 74688 edges, 1495 markings/sec, 20 secs
lola: 63980 markings, 87428 edges, 1497 markings/sec, 25 secs
lola: 73566 markings, 100891 edges, 1917 markings/sec, 30 secs
lola: 85330 markings, 116094 edges, 2353 markings/sec, 35 secs
lola: 98728 markings, 132586 edges, 2680 markings/sec, 40 secs
lola: 112113 markings, 149903 edges, 2677 markings/sec, 45 secs
lola: 120603 markings, 163717 edges, 1698 markings/sec, 50 secs
lola: 128040 markings, 176076 edges, 1487 markings/sec, 55 secs
lola: 136646 markings, 189717 edges, 1721 markings/sec, 60 secs
lola: 147430 markings, 203505 edges, 2157 markings/sec, 65 secs
lola: 160732 markings, 219833 edges, 2660 markings/sec, 70 secs
lola: 174097 markings, 236658 edges, 2673 markings/sec, 75 secs
lola: 184356 markings, 252222 edges, 2052 markings/sec, 80 secs
lola: 191815 markings, 264402 edges, 1492 markings/sec, 85 secs
lola: 199374 markings, 278252 edges, 1512 markings/sec, 90 secs
lola: 209862 markings, 290798 edges, 2098 markings/sec, 95 secs
lola: 222988 markings, 307549 edges, 2625 markings/sec, 100 secs
lola: 236579 markings, 324668 edges, 2718 markings/sec, 105 secs
lola: 247150 markings, 340600 edges, 2114 markings/sec, 110 secs
lola: 254698 markings, 353020 edges, 1510 markings/sec, 115 secs
lola: 262916 markings, 366961 edges, 1644 markings/sec, 120 secs
lola: 273523 markings, 380490 edges, 2121 markings/sec, 125 secs
lola: 287011 markings, 397065 edges, 2698 markings/sec, 130 secs
lola: 300500 markings, 414189 edges, 2698 markings/sec, 135 secs
lola: 310168 markings, 429302 edges, 1934 markings/sec, 140 secs
lola: 317670 markings, 441778 edges, 1500 markings/sec, 145 secs
lola: 326271 markings, 455509 edges, 1720 markings/sec, 150 secs
lola: 337438 markings, 469811 edges, 2233 markings/sec, 155 secs
lola: 351003 markings, 486516 edges, 2713 markings/sec, 160 secs
lola: 364517 markings, 503975 edges, 2703 markings/sec, 165 secs
lola: 373140 markings, 518030 edges, 1725 markings/sec, 170 secs
lola: 380688 markings, 530733 edges, 1510 markings/sec, 175 secs
lola: 389923 markings, 544429 edges, 1847 markings/sec, 180 secs
lola: 401780 markings, 559822 edges, 2371 markings/sec, 185 secs
lola: 415334 markings, 576673 edges, 2711 markings/sec, 190 secs
lola: 427347 markings, 593907 edges, 2403 markings/sec, 195 secs
lola: 434910 markings, 606280 edges, 1513 markings/sec, 200 secs
lola: 442859 markings, 620267 edges, 1590 markings/sec, 205 secs
lola: 453546 markings, 633893 edges, 2137 markings/sec, 210 secs
lola: 467071 markings, 650563 edges, 2705 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(NotifyEventJobQueuedE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 9151 markings, 14080 edges, 1830 markings/sec, 0 secs
lola: 18150 markings, 28453 edges, 1800 markings/sec, 5 secs
lola: 27128 markings, 43399 edges, 1796 markings/sec, 10 secs
lola: 36716 markings, 61453 edges, 1918 markings/sec, 15 secs
lola: 47362 markings, 77741 edges, 2129 markings/sec, 20 secs
lola: 57836 markings, 93917 edges, 2095 markings/sec, 25 secs
lola: 68439 markings, 110420 edges, 2121 markings/sec, 30 secs
lola: 78844 markings, 126897 edges, 2081 markings/sec, 35 secs
lola: 89319 markings, 143922 edges, 2095 markings/sec, 40 secs
lola: 98849 markings, 162507 edges, 1906 markings/sec, 45 secs
lola: 104670 markings, 174680 edges, 1164 markings/sec, 50 secs
lola: 110575 markings, 186963 edges, 1181 markings/sec, 55 secs
lola: 116259 markings, 199104 edges, 1137 markings/sec, 60 secs
lola: 122129 markings, 211860 edges, 1174 markings/sec, 65 secs
lola: 127983 markings, 225160 edges, 1171 markings/sec, 70 secs
lola: 134535 markings, 241015 edges, 1310 markings/sec, 75 secs
lola: 143550 markings, 255070 edges, 1803 markings/sec, 80 secs
lola: 152354 markings, 269219 edges, 1761 markings/sec, 85 secs
lola: 161290 markings, 284329 edges, 1787 markings/sec, 90 secs
lola: 171233 markings, 302498 edges, 1989 markings/sec, 95 secs
lola: 181819 markings, 318727 edges, 2117 markings/sec, 100 secs
lola: 192262 markings, 334869 edges, 2089 markings/sec, 105 secs
lola: 202679 markings, 351177 edges, 2083 markings/sec, 110 secs
lola: 213212 markings, 367881 edges, 2107 markings/sec, 115 secs
lola: 223764 markings, 385251 edges, 2110 markings/sec, 120 secs
lola: 232442 markings, 402834 edges, 1736 markings/sec, 125 secs
lola: 238288 markings, 414992 edges, 1169 markings/sec, 130 secs
lola: 244147 markings, 427346 edges, 1172 markings/sec, 135 secs
lola: 250018 markings, 439876 edges, 1174 markings/sec, 140 secs
lola: 255839 markings, 452575 edges, 1164 markings/sec, 145 secs
lola: 261587 markings, 465894 edges, 1150 markings/sec, 150 secs
lola: 268791 markings, 481609 edges, 1441 markings/sec, 155 secs
lola: 277620 markings, 495497 edges, 1766 markings/sec, 160 secs
lola: 286489 markings, 509838 edges, 1774 markings/sec, 165 secs
lola: 295318 markings, 525163 edges, 1766 markings/sec, 170 secs
lola: 305290 markings, 542869 edges, 1994 markings/sec, 175 secs
lola: 315523 markings, 558558 edges, 2047 markings/sec, 180 secs
lola: 325980 markings, 574720 edges, 2091 markings/sec, 185 secs
lola: 336489 markings, 591226 edges, 2102 markings/sec, 190 secs
lola: 347099 markings, 608057 edges, 2122 markings/sec, 195 secs
lola: 357452 markings, 625303 edges, 2071 markings/sec, 200 secs
lola: 365508 markings, 641956 edges, 1611 markings/sec, 205 secs
lola: 371303 markings, 654043 edges, 1159 markings/sec, 210 secs
lola: 377149 markings, 666359 edges, 1169 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(DataOnSrc_10 + DataOnSrc_9 + DataOnSrc_8 + DataOnSrc_7 + DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 6337 markings, 7209 edges, 1267 markings/sec, 0 secs
lola: 12311 markings, 14647 edges, 1195 markings/sec, 5 secs
lola: 19724 markings, 24293 edges, 1483 markings/sec, 10 secs
lola: 27325 markings, 33660 edges, 1520 markings/sec, 15 secs
lola: 34997 markings, 43185 edges, 1534 markings/sec, 20 secs
lola: 47786 markings, 60334 edges, 2558 markings/sec, 25 secs
lola: 55321 markings, 72733 edges, 1507 markings/sec, 30 secs
lola: 62620 markings, 84965 edges, 1460 markings/sec, 35 secs
lola: 71367 markings, 98318 edges, 1749 markings/sec, 40 secs
lola: 82197 markings, 112229 edges, 2166 markings/sec, 45 secs
lola: 95396 markings, 128435 edges, 2640 markings/sec, 50 secs
lola: 108997 markings, 145669 edges, 2720 markings/sec, 55 secs
lola: 118977 markings, 161062 edges, 1996 markings/sec, 60 secs
lola: 126693 markings, 173769 edges, 1543 markings/sec, 65 secs
lola: 135148 markings, 188031 edges, 1691 markings/sec, 70 secs
lola: 146065 markings, 201862 edges, 2183 markings/sec, 75 secs
lola: 159818 markings, 218701 edges, 2751 markings/sec, 80 secs
lola: 173620 markings, 236051 edges, 2760 markings/sec, 85 secs
lola: 184428 markings, 252324 edges, 2162 markings/sec, 90 secs
lola: 192179 markings, 265005 edges, 1550 markings/sec, 95 secs
lola: 200129 markings, 279119 edges, 1590 markings/sec, 100 secs
lola: 211026 markings, 292675 edges, 2179 markings/sec, 105 secs
lola: 225145 markings, 310210 edges, 2824 markings/sec, 110 secs
lola: 239149 markings, 328058 edges, 2801 markings/sec, 115 secs
lola: 248998 markings, 343538 edges, 1970 markings/sec, 120 secs
lola: 256375 markings, 355882 edges, 1475 markings/sec, 125 secs
lola: 265675 markings, 370157 edges, 1860 markings/sec, 130 secs
lola: 277607 markings, 385479 edges, 2386 markings/sec, 135 secs
lola: 291729 markings, 402924 edges, 2824 markings/sec, 140 secs
lola: 305516 markings, 421854 edges, 2757 markings/sec, 145 secs
lola: 313376 markings, 434574 edges, 1572 markings/sec, 150 secs
lola: 321206 markings, 448242 edges, 1566 markings/sec, 155 secs
lola: 331588 markings, 461846 edges, 2076 markings/sec, 160 secs
lola: 344857 markings, 478898 edges, 2654 markings/sec, 165 secs
lola: 358943 markings, 496577 edges, 2817 markings/sec, 170 secs
lola: 370383 markings, 513536 edges, 2288 markings/sec, 175 secs
lola: 378216 markings, 526450 edges, 1567 markings/sec, 180 secs
lola: 386531 markings, 540471 edges, 1663 markings/sec, 185 secs
lola: 397984 markings, 555123 edges, 2291 markings/sec, 190 secs
lola: 412112 markings, 572602 edges, 2826 markings/sec, 195 secs
lola: 425894 markings, 591531 edges, 2756 markings/sec, 200 secs
lola: 433746 markings, 604330 edges, 1570 markings/sec, 205 secs
lola: 441672 markings, 618929 edges, 1585 markings/sec, 210 secs
lola: 452616 markings, 632486 edges, 2189 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(JobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 3562 markings, 4506 edges, 712 markings/sec, 0 secs
lola: 6845 markings, 11790 edges, 657 markings/sec, 5 secs
lola: 10390 markings, 16300 edges, 709 markings/sec, 10 secs
lola: 13630 markings, 23567 edges, 648 markings/sec, 15 secs
lola: 17107 markings, 27960 edges, 695 markings/sec, 20 secs
lola: 20333 markings, 35147 edges, 645 markings/sec, 25 secs
lola: 23754 markings, 40977 edges, 684 markings/sec, 30 secs
lola: 27020 markings, 46712 edges, 653 markings/sec, 35 secs
lola: 30354 markings, 53002 edges, 667 markings/sec, 40 secs
lola: 33721 markings, 58264 edges, 673 markings/sec, 45 secs
lola: 36961 markings, 65042 edges, 648 markings/sec, 50 secs
lola: 40432 markings, 69786 edges, 694 markings/sec, 55 secs
lola: 43677 markings, 76895 edges, 649 markings/sec, 60 secs
lola: 47112 markings, 82701 edges, 687 markings/sec, 65 secs
lola: 50400 markings, 88415 edges, 658 markings/sec, 70 secs
lola: 53686 markings, 94984 edges, 657 markings/sec, 75 secs
lola: 57128 markings, 99866 edges, 688 markings/sec, 80 secs
lola: 60381 markings, 106935 edges, 651 markings/sec, 85 secs
lola: 63768 markings, 112960 edges, 677 markings/sec, 90 secs
lola: 67114 markings, 118341 edges, 669 markings/sec, 95 secs
lola: 70373 markings, 125353 edges, 652 markings/sec, 100 secs
lola: 73805 markings, 131156 edges, 686 markings/sec, 105 secs
lola: 77113 markings, 136727 edges, 662 markings/sec, 110 secs
lola: 80395 markings, 143687 edges, 656 markings/sec, 115 secs
lola: 83804 markings, 149584 edges, 682 markings/sec, 120 secs
lola: 87136 markings, 155026 edges, 666 markings/sec, 125 secs
lola: 90415 markings, 161959 edges, 656 markings/sec, 130 secs
lola: 93759 markings, 168224 edges, 669 markings/sec, 135 secs
lola: 97174 markings, 173247 edges, 683 markings/sec, 140 secs
lola: 100465 markings, 180123 edges, 658 markings/sec, 145 secs
lola: 103760 markings, 186978 edges, 659 markings/sec, 150 secs
lola: 107102 markings, 193240 edges, 668 markings/sec, 155 secs
lola: 110506 markings, 199490 edges, 681 markings/sec, 160 secs
lola: 113824 markings, 204994 edges, 664 markings/sec, 165 secs
lola: 117127 markings, 211789 edges, 661 markings/sec, 170 secs
lola: 120435 markings, 218564 edges, 662 markings/sec, 175 secs
lola: 123753 markings, 225305 edges, 664 markings/sec, 180 secs
lola: 127084 markings, 231654 edges, 666 markings/sec, 185 secs
lola: 130453 markings, 238140 edges, 674 markings/sec, 190 secs
lola: 133799 markings, 244738 edges, 669 markings/sec, 195 secs
lola: 137149 markings, 251339 edges, 670 markings/sec, 200 secs
lola: 140473 markings, 258048 edges, 665 markings/sec, 205 secs
lola: 143797 markings, 264752 edges, 665 markings/sec, 210 secs
lola: 147102 markings, 271576 edges, 661 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(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_29_6 + CreatedJobs_29_7 + CreatedJobs_29_8 + CreatedJobs_29_9 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_16_6 + CreatedJobs_16_7 + CreatedJobs_16_8 + CreatedJobs_16_9 + CreatedJobs_20_10 + CreatedJobs_0_1 + CreatedJobs_0_2 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 3018 markings, 4346 edges, 604 markings/sec, 0 secs
lola: 6054 markings, 8217 edges, 607 markings/sec, 5 secs
lola: 9085 markings, 12123 edges, 606 markings/sec, 10 secs
lola: 12128 markings, 18717 edges, 609 markings/sec, 15 secs
lola: 15180 markings, 22653 edges, 610 markings/sec, 20 secs
lola: 18239 markings, 26566 edges, 612 markings/sec, 25 secs
lola: 21292 markings, 30473 edges, 611 markings/sec, 30 secs
lola: 24326 markings, 37087 edges, 607 markings/sec, 35 secs
lola: 27365 markings, 40978 edges, 608 markings/sec, 40 secs
lola: 30398 markings, 44888 edges, 607 markings/sec, 45 secs
lola: 33437 markings, 51484 edges, 608 markings/sec, 50 secs
lola: 36473 markings, 55397 edges, 607 markings/sec, 55 secs
lola: 39522 markings, 59276 edges, 610 markings/sec, 60 secs
lola: 42553 markings, 63189 edges, 606 markings/sec, 65 secs
lola: 45605 markings, 69790 edges, 610 markings/sec, 70 secs
lola: 48595 markings, 73652 edges, 598 markings/sec, 75 secs
lola: 51527 markings, 77400 edges, 586 markings/sec, 80 secs
lola: 54458 markings, 83866 edges, 586 markings/sec, 85 secs
lola: 57378 markings, 87609 edges, 584 markings/sec, 90 secs
lola: 60292 markings, 91368 edges, 583 markings/sec, 95 secs
lola: 63229 markings, 95121 edges, 587 markings/sec, 100 secs
lola: 66152 markings, 101577 edges, 585 markings/sec, 105 secs
lola: 69072 markings, 105320 edges, 584 markings/sec, 110 secs
lola: 71999 markings, 109094 edges, 585 markings/sec, 115 secs
lola: 74929 markings, 115563 edges, 586 markings/sec, 120 secs
lola: 77859 markings, 119307 edges, 586 markings/sec, 125 secs
lola: 80777 markings, 123047 edges, 584 markings/sec, 130 secs
lola: 83708 markings, 126824 edges, 586 markings/sec, 135 secs
lola: 86654 markings, 133317 edges, 589 markings/sec, 140 secs
lola: 89618 markings, 137094 edges, 593 markings/sec, 145 secs
lola: 92565 markings, 140905 edges, 589 markings/sec, 150 secs
lola: 95517 markings, 147398 edges, 590 markings/sec, 155 secs
lola: 98457 markings, 151156 edges, 588 markings/sec, 160 secs
lola: 101387 markings, 154918 edges, 586 markings/sec, 165 secs
lola: 104307 markings, 161381 edges, 584 markings/sec, 170 secs
lola: 107228 markings, 165137 edges, 584 markings/sec, 175 secs
lola: 110153 markings, 168873 edges, 585 markings/sec, 180 secs
lola: 113072 markings, 175328 edges, 584 markings/sec, 185 secs
lola: 115989 markings, 179076 edges, 583 markings/sec, 190 secs
lola: 118913 markings, 182837 edges, 585 markings/sec, 195 secs
lola: 121835 markings, 189308 edges, 584 markings/sec, 200 secs
lola: 124772 markings, 193051 edges, 587 markings/sec, 205 secs
lola: 127692 markings, 196805 edges, 584 markings/sec, 210 secs
lola: 130610 markings, 203266 edges, 584 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(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5 + TheSour_6 + TheSour_7 + TheSour_8 + TheSour_9 + TheSour_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10514 markings, 12264 edges, 2103 markings/sec, 0 secs
lola: 23142 markings, 28494 edges, 2526 markings/sec, 5 secs
lola: 36420 markings, 44973 edges, 2656 markings/sec, 10 secs
lola: 49039 markings, 62634 edges, 2524 markings/sec, 15 secs
lola: 56449 markings, 74613 edges, 1482 markings/sec, 20 secs
lola: 63904 markings, 87264 edges, 1491 markings/sec, 25 secs
lola: 73336 markings, 100626 edges, 1886 markings/sec, 30 secs
lola: 85027 markings, 115664 edges, 2338 markings/sec, 35 secs
lola: 98262 markings, 131967 edges, 2647 markings/sec, 40 secs
lola: 111513 markings, 149052 edges, 2650 markings/sec, 45 secs
lola: 120167 markings, 163030 edges, 1731 markings/sec, 50 secs
lola: 127583 markings, 175279 edges, 1483 markings/sec, 55 secs
lola: 135928 markings, 188911 edges, 1669 markings/sec, 60 secs
lola: 146532 markings, 202415 edges, 2121 markings/sec, 65 secs
lola: 159748 markings, 218631 edges, 2643 markings/sec, 70 secs
lola: 173045 markings, 235306 edges, 2659 markings/sec, 75 secs
lola: 183736 markings, 251233 edges, 2138 markings/sec, 80 secs
lola: 191134 markings, 263274 edges, 1480 markings/sec, 85 secs
lola: 198518 markings, 276624 edges, 1477 markings/sec, 90 secs
lola: 208882 markings, 289486 edges, 2073 markings/sec, 95 secs
lola: 221655 markings, 305931 edges, 2555 markings/sec, 100 secs
lola: 235172 markings, 322849 edges, 2703 markings/sec, 105 secs
lola: 246418 markings, 339408 edges, 2249 markings/sec, 110 secs
lola: 253927 markings, 351717 edges, 1502 markings/sec, 115 secs
lola: 261770 markings, 365682 edges, 1569 markings/sec, 120 secs
lola: 272279 markings, 378458 edges, 2102 markings/sec, 125 secs
lola: 285657 markings, 395370 edges, 2676 markings/sec, 130 secs
lola: 299175 markings, 412454 edges, 2704 markings/sec, 135 secs
lola: 309422 markings, 428139 edges, 2049 markings/sec, 140 secs
lola: 317045 markings, 440713 edges, 1525 markings/sec, 145 secs
lola: 325510 markings, 454635 edges, 1693 markings/sec, 150 secs
lola: 336565 markings, 468747 edges, 2211 markings/sec, 155 secs
lola: 350112 markings, 485405 edges, 2709 markings/sec, 160 secs
lola: 363733 markings, 502906 edges, 2724 markings/sec, 165 secs
lola: 372785 markings, 517431 edges, 1810 markings/sec, 170 secs
lola: 380347 markings, 530120 edges, 1512 markings/sec, 175 secs
lola: 389429 markings, 543860 edges, 1816 markings/sec, 180 secs
lola: 401224 markings, 559089 edges, 2359 markings/sec, 185 secs
lola: 414775 markings, 575954 edges, 2710 markings/sec, 190 secs
lola: 427084 markings, 593431 edges, 2462 markings/sec, 195 secs
lola: 434620 markings, 605769 edges, 1507 markings/sec, 200 secs
lola: 442443 markings, 619790 edges, 1565 markings/sec, 205 secs
lola: 452932 markings, 633177 edges, 2098 markings/sec, 210 secs
lola: 466480 markings, 649859 edges, 2710 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 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_4 + AvailableJobId_9 + AvailableJobId_8 + AvailableJobId_7 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10035 markings, 11654 edges, 2007 markings/sec, 0 secs
lola: 22437 markings, 27646 edges, 2480 markings/sec, 5 secs
lola: 35749 markings, 44125 edges, 2662 markings/sec, 10 secs
lola: 48653 markings, 62015 edges, 2581 markings/sec, 15 secs
lola: 56018 markings, 73907 edges, 1473 markings/sec, 20 secs
lola: 63462 markings, 86472 edges, 1489 markings/sec, 25 secs
lola: 72697 markings, 99874 edges, 1847 markings/sec, 30 secs
lola: 84130 markings, 114612 edges, 2287 markings/sec, 35 secs
lola: 97371 markings, 130858 edges, 2648 markings/sec, 40 secs
lola: 110632 markings, 147850 edges, 2652 markings/sec, 45 secs
lola: 119655 markings, 162199 edges, 1805 markings/sec, 50 secs
lola: 127067 markings, 174414 edges, 1482 markings/sec, 55 secs
lola: 135198 markings, 188084 edges, 1626 markings/sec, 60 secs
lola: 145615 markings, 201013 edges, 2083 markings/sec, 65 secs
lola: 158812 markings, 217477 edges, 2639 markings/sec, 70 secs
lola: 172059 markings, 234046 edges, 2649 markings/sec, 75 secs
lola: 183215 markings, 250390 edges, 2231 markings/sec, 80 secs
lola: 190614 markings, 262416 edges, 1480 markings/sec, 85 secs
lola: 197979 markings, 275385 edges, 1473 markings/sec, 90 secs
lola: 208067 markings, 288449 edges, 2018 markings/sec, 95 secs
lola: 220632 markings, 304666 edges, 2513 markings/sec, 100 secs
lola: 234093 markings, 321454 edges, 2692 markings/sec, 105 secs
lola: 245804 markings, 338389 edges, 2342 markings/sec, 110 secs
lola: 253232 markings, 350557 edges, 1486 markings/sec, 115 secs
lola: 260826 markings, 364590 edges, 1519 markings/sec, 120 secs
lola: 271237 markings, 376964 edges, 2082 markings/sec, 125 secs
lola: 284208 markings, 393586 edges, 2594 markings/sec, 130 secs
lola: 297616 markings, 410421 edges, 2682 markings/sec, 135 secs
lola: 308485 markings, 426598 edges, 2174 markings/sec, 140 secs
lola: 315986 markings, 438911 edges, 1500 markings/sec, 145 secs
lola: 323893 markings, 452781 edges, 1581 markings/sec, 150 secs
lola: 334344 markings, 465706 edges, 2090 markings/sec, 155 secs
lola: 347807 markings, 482563 edges, 2693 markings/sec, 160 secs
lola: 361262 markings, 499573 edges, 2691 markings/sec, 165 secs
lola: 371345 markings, 515073 edges, 2017 markings/sec, 170 secs
lola: 378814 markings, 527468 edges, 1494 markings/sec, 175 secs
lola: 387257 markings, 541310 edges, 1689 markings/sec, 180 secs
lola: 398352 markings, 555567 edges, 2219 markings/sec, 185 secs
lola: 411760 markings, 572155 edges, 2682 markings/sec, 190 secs
lola: 425166 markings, 590057 edges, 2681 markings/sec, 195 secs
lola: 432833 markings, 602833 edges, 1533 markings/sec, 200 secs
lola: 440331 markings, 615971 edges, 1500 markings/sec, 205 secs
lola: 450420 markings, 629273 edges, 2018 markings/sec, 210 secs
lola: 463161 markings, 645711 edges, 2548 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(Perform_Work_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10562 markings, 12312 edges, 2112 markings/sec, 0 secs
lola: 23198 markings, 28573 edges, 2527 markings/sec, 5 secs
lola: 37226 markings, 45998 edges, 2806 markings/sec, 10 secs
lola: 49867 markings, 63948 edges, 2528 markings/sec, 15 secs
lola: 57645 markings, 76548 edges, 1556 markings/sec, 20 secs
lola: 65381 markings, 90100 edges, 1547 markings/sec, 25 secs
lola: 75971 markings, 103769 edges, 2118 markings/sec, 30 secs
lola: 88943 markings, 120456 edges, 2594 markings/sec, 35 secs
lola: 102595 markings, 137422 edges, 2730 markings/sec, 40 secs
lola: 115613 markings, 155729 edges, 2604 markings/sec, 45 secs
lola: 123427 markings, 168301 edges, 1563 markings/sec, 50 secs
lola: 131204 markings, 181793 edges, 1555 markings/sec, 55 secs
lola: 141728 markings, 195699 edges, 2105 markings/sec, 60 secs
lola: 154643 markings, 212330 edges, 2583 markings/sec, 65 secs
lola: 168658 markings, 229707 edges, 2803 markings/sec, 70 secs
lola: 181774 markings, 248069 edges, 2623 markings/sec, 75 secs
lola: 189600 markings, 260703 edges, 1565 markings/sec, 80 secs
lola: 197398 markings, 274194 edges, 1560 markings/sec, 85 secs
lola: 207847 markings, 288176 edges, 2090 markings/sec, 90 secs
lola: 221131 markings, 305258 edges, 2657 markings/sec, 95 secs
lola: 235427 markings, 323173 edges, 2859 markings/sec, 100 secs
lola: 246964 markings, 340283 edges, 2307 markings/sec, 105 secs
lola: 254902 markings, 353334 edges, 1588 markings/sec, 110 secs
lola: 263719 markings, 367887 edges, 1763 markings/sec, 115 secs
lola: 275252 markings, 382637 edges, 2307 markings/sec, 120 secs
lola: 289534 markings, 400203 edges, 2856 markings/sec, 125 secs
lola: 303732 markings, 418691 edges, 2840 markings/sec, 130 secs
lola: 312335 markings, 432879 edges, 1721 markings/sec, 135 secs
lola: 319902 markings, 445752 edges, 1513 markings/sec, 140 secs
lola: 329540 markings, 459344 edges, 1928 markings/sec, 145 secs
lola: 341717 markings, 475044 edges, 2435 markings/sec, 150 secs
lola: 355328 markings, 491951 edges, 2722 markings/sec, 155 secs
lola: 368105 markings, 509874 edges, 2555 markings/sec, 160 secs
lola: 375697 markings, 522199 edges, 1518 markings/sec, 165 secs
lola: 383213 markings, 535481 edges, 1503 markings/sec, 170 secs
lola: 393496 markings, 548870 edges, 2057 markings/sec, 175 secs
lola: 406466 markings, 565589 edges, 2594 markings/sec, 180 secs
lola: 420082 markings, 582818 edges, 2723 markings/sec, 185 secs
lola: 430014 markings, 598211 edges, 1986 markings/sec, 190 secs
lola: 437644 markings, 610959 edges, 1526 markings/sec, 195 secs
lola: 446728 markings, 624748 edges, 1817 markings/sec, 200 secs
lola: 458529 markings, 639995 edges, 2360 markings/sec, 205 secs
lola: 472140 markings, 656931 edges, 2722 markings/sec, 210 secs
lola: 484490 markings, 674474 edges, 2470 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(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5 + TheSour_6 + TheSour_7 + TheSour_8 + TheSour_9 + TheSour_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10906 markings, 12769 edges, 2181 markings/sec, 0 secs
lola: 24218 markings, 29823 edges, 2662 markings/sec, 5 secs
lola: 38151 markings, 47179 edges, 2787 markings/sec, 10 secs
lola: 50355 markings, 64715 edges, 2441 markings/sec, 15 secs
lola: 58099 markings, 77317 edges, 1549 markings/sec, 20 secs
lola: 65810 markings, 91027 edges, 1542 markings/sec, 25 secs
lola: 76601 markings, 104569 edges, 2158 markings/sec, 30 secs
lola: 89658 markings, 121371 edges, 2611 markings/sec, 35 secs
lola: 103559 markings, 138624 edges, 2780 markings/sec, 40 secs
lola: 116114 markings, 156474 edges, 2511 markings/sec, 45 secs
lola: 123852 markings, 168988 edges, 1548 markings/sec, 50 secs
lola: 131488 markings, 182332 edges, 1527 markings/sec, 55 secs
lola: 141872 markings, 195888 edges, 2077 markings/sec, 60 secs
lola: 154595 markings, 212262 edges, 2545 markings/sec, 65 secs
lola: 168287 markings, 229230 edges, 2738 markings/sec, 70 secs
lola: 181340 markings, 247407 edges, 2611 markings/sec, 75 secs
lola: 189054 markings, 259825 edges, 1543 markings/sec, 80 secs
lola: 196708 markings, 272900 edges, 1531 markings/sec, 85 secs
lola: 206707 markings, 286774 edges, 2000 markings/sec, 90 secs
lola: 219546 markings, 303311 edges, 2568 markings/sec, 95 secs
lola: 232197 markings, 319039 edges, 2530 markings/sec, 100 secs
lola: 244281 markings, 336000 edges, 2417 markings/sec, 105 secs
lola: 251540 markings, 347755 edges, 1452 markings/sec, 110 secs
lola: 258608 markings, 359895 edges, 1414 markings/sec, 115 secs
lola: 266949 markings, 371657 edges, 1668 markings/sec, 120 secs
lola: 277636 markings, 385508 edges, 2137 markings/sec, 125 secs
lola: 291625 markings, 402800 edges, 2798 markings/sec, 130 secs
lola: 305511 markings, 421848 edges, 2777 markings/sec, 135 secs
lola: 313392 markings, 434597 edges, 1576 markings/sec, 140 secs
lola: 321233 markings, 448284 edges, 1568 markings/sec, 145 secs
lola: 331864 markings, 462178 edges, 2126 markings/sec, 150 secs
lola: 345176 markings, 479341 edges, 2662 markings/sec, 155 secs
lola: 359378 markings, 497119 edges, 2840 markings/sec, 160 secs
lola: 370583 markings, 513884 edges, 2241 markings/sec, 165 secs
lola: 378499 markings, 526924 edges, 1583 markings/sec, 170 secs
lola: 387356 markings, 541419 edges, 1771 markings/sec, 175 secs
lola: 399058 markings, 556435 edges, 2340 markings/sec, 180 secs
lola: 413186 markings, 573942 edges, 2826 markings/sec, 185 secs
lola: 426543 markings, 592557 edges, 2671 markings/sec, 190 secs
lola: 434374 markings, 605399 edges, 1566 markings/sec, 195 secs
lola: 442611 markings, 619989 edges, 1647 markings/sec, 200 secs
lola: 453793 markings, 634241 edges, 2236 markings/sec, 205 secs
lola: 467953 markings, 651675 edges, 2832 markings/sec, 210 secs
lola: 482001 markings, 670168 edges, 2810 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(mo1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10913 markings, 12776 edges, 2183 markings/sec, 0 secs
lola: 24165 markings, 29749 edges, 2650 markings/sec, 5 secs
lola: 37908 markings, 46867 edges, 2749 markings/sec, 10 secs
lola: 50061 markings, 64299 edges, 2431 markings/sec, 15 secs
lola: 57762 markings, 76771 edges, 1540 markings/sec, 20 secs
lola: 65438 markings, 90230 edges, 1535 markings/sec, 25 secs
lola: 75938 markings, 103736 edges, 2100 markings/sec, 30 secs
lola: 88612 markings, 120095 edges, 2535 markings/sec, 35 secs
lola: 102346 markings, 137093 edges, 2747 markings/sec, 40 secs
lola: 115261 markings, 155121 edges, 2583 markings/sec, 45 secs
lola: 122976 markings, 167555 edges, 1543 markings/sec, 50 secs
lola: 130610 markings, 180654 edges, 1527 markings/sec, 55 secs
lola: 140610 markings, 194343 edges, 2000 markings/sec, 60 secs
lola: 152832 markings, 210120 edges, 2444 markings/sec, 65 secs
lola: 166504 markings, 227011 edges, 2734 markings/sec, 70 secs
lola: 180169 markings, 245177 edges, 2733 markings/sec, 75 secs
lola: 188169 markings, 258362 edges, 1600 markings/sec, 80 secs
lola: 195914 markings, 271434 edges, 1549 markings/sec, 85 secs
lola: 205633 markings, 285472 edges, 1944 markings/sec, 90 secs
lola: 218036 markings, 301455 edges, 2481 markings/sec, 95 secs
lola: 232144 markings, 318976 edges, 2822 markings/sec, 100 secs
lola: 245008 markings, 337141 edges, 2573 markings/sec, 105 secs
lola: 252860 markings, 349940 edges, 1570 markings/sec, 110 secs
lola: 260826 markings, 364590 edges, 1593 markings/sec, 115 secs
lola: 271727 markings, 377651 edges, 2180 markings/sec, 120 secs
lola: 285405 markings, 395090 edges, 2736 markings/sec, 125 secs
lola: 299455 markings, 412839 edges, 2810 markings/sec, 130 secs
lola: 309858 markings, 428853 edges, 2081 markings/sec, 135 secs
lola: 317737 markings, 441923 edges, 1576 markings/sec, 140 secs
lola: 326920 markings, 456247 edges, 1837 markings/sec, 145 secs
lola: 338828 markings, 471518 edges, 2382 markings/sec, 150 secs
lola: 352889 markings, 488903 edges, 2812 markings/sec, 155 secs
lola: 366914 markings, 507812 edges, 2805 markings/sec, 160 secs
lola: 374529 markings, 520309 edges, 1523 markings/sec, 165 secs
lola: 381719 markings, 532573 edges, 1438 markings/sec, 170 secs
lola: 390475 markings, 545093 edges, 1751 markings/sec, 175 secs
lola: 402035 markings, 560089 edges, 2312 markings/sec, 180 secs
lola: 415505 markings, 576880 edges, 2694 markings/sec, 185 secs
lola: 426935 markings, 593221 edges, 2286 markings/sec, 190 secs
lola: 433898 markings, 604582 edges, 1393 markings/sec, 195 secs
lola: 441143 markings, 617865 edges, 1449 markings/sec, 200 secs
lola: 451304 markings, 630440 edges, 2032 markings/sec, 205 secs
lola: 463418 markings, 646019 edges, 2423 markings/sec, 210 secs
lola: 475729 markings, 661542 edges, 2462 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(DataOnSrc_10 + DataOnSrc_9 + DataOnSrc_8 + DataOnSrc_7 + DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10968 markings, 12831 edges, 2194 markings/sec, 0 secs
lola: 24225 markings, 29834 edges, 2651 markings/sec, 5 secs
lola: 38105 markings, 47104 edges, 2776 markings/sec, 10 secs
lola: 50259 markings, 64579 edges, 2431 markings/sec, 15 secs
lola: 58015 markings, 77149 edges, 1551 markings/sec, 20 secs
lola: 65675 markings, 90741 edges, 1532 markings/sec, 25 secs
lola: 76302 markings, 104213 edges, 2125 markings/sec, 30 secs
lola: 89280 markings, 120863 edges, 2596 markings/sec, 35 secs
lola: 103047 markings, 137982 edges, 2753 markings/sec, 40 secs
lola: 115689 markings, 155837 edges, 2528 markings/sec, 45 secs
lola: 123446 markings, 168342 edges, 1551 markings/sec, 50 secs
lola: 131100 markings, 181599 edges, 1531 markings/sec, 55 secs
lola: 141346 markings, 195249 edges, 2049 markings/sec, 60 secs
lola: 153883 markings, 211407 edges, 2507 markings/sec, 65 secs
lola: 167694 markings, 228477 edges, 2762 markings/sec, 70 secs
lola: 181103 markings, 246971 edges, 2682 markings/sec, 75 secs
lola: 188789 markings, 259389 edges, 1537 markings/sec, 80 secs
lola: 196452 markings, 272440 edges, 1533 markings/sec, 85 secs
lola: 206330 markings, 286322 edges, 1976 markings/sec, 90 secs
lola: 218909 markings, 302554 edges, 2516 markings/sec, 95 secs
lola: 232974 markings, 320042 edges, 2813 markings/sec, 100 secs
lola: 245410 markings, 337815 edges, 2487 markings/sec, 105 secs
lola: 253232 markings, 350557 edges, 1564 markings/sec, 110 secs
lola: 261269 markings, 365092 edges, 1607 markings/sec, 115 secs
lola: 272093 markings, 378184 edges, 2165 markings/sec, 120 secs
lola: 285847 markings, 395600 edges, 2751 markings/sec, 125 secs
lola: 299830 markings, 413325 edges, 2797 markings/sec, 130 secs
lola: 310016 markings, 429087 edges, 2037 markings/sec, 135 secs
lola: 317804 markings, 442034 edges, 1558 markings/sec, 140 secs
lola: 326935 markings, 456268 edges, 1826 markings/sec, 145 secs
lola: 338792 markings, 471467 edges, 2371 markings/sec, 150 secs
lola: 352817 markings, 488801 edges, 2805 markings/sec, 155 secs
lola: 366769 markings, 507478 edges, 2790 markings/sec, 160 secs
lola: 374744 markings, 520621 edges, 1595 markings/sec, 165 secs
lola: 382549 markings, 534123 edges, 1561 markings/sec, 170 secs
lola: 392834 markings, 548021 edges, 2057 markings/sec, 175 secs
lola: 406072 markings, 565063 edges, 2648 markings/sec, 180 secs
lola: 420065 markings, 582795 edges, 2799 markings/sec, 185 secs
lola: 430299 markings, 598641 edges, 2047 markings/sec, 190 secs
lola: 438076 markings, 611744 edges, 1555 markings/sec, 195 secs
lola: 447673 markings, 625881 edges, 1919 markings/sec, 200 secs
lola: 460168 markings, 642051 edges, 2499 markings/sec, 205 secs
lola: 474224 markings, 659609 edges, 2811 markings/sec, 210 secs
lola: 485812 markings, 676656 edges, 2318 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_500_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 11071 markings, 43291 edges, 2214 markings/sec, 0 secs
lola: 21868 markings, 88701 edges, 2159 markings/sec, 5 secs
lola: 32777 markings, 134058 edges, 2182 markings/sec, 10 secs
lola: 42674 markings, 174490 edges, 1979 markings/sec, 15 secs
lola: 53785 markings, 219802 edges, 2222 markings/sec, 20 secs
lola: 64768 markings, 265658 edges, 2197 markings/sec, 25 secs
lola: 74781 markings, 306505 edges, 2003 markings/sec, 30 secs
lola: 85639 markings, 350537 edges, 2172 markings/sec, 35 secs
lola: 96687 markings, 396538 edges, 2210 markings/sec, 40 secs
lola: 106998 markings, 438656 edges, 2062 markings/sec, 45 secs
lola: 117463 markings, 481173 edges, 2093 markings/sec, 50 secs
lola: 128567 markings, 527157 edges, 2221 markings/sec, 55 secs
lola: 139217 markings, 571011 edges, 2130 markings/sec, 60 secs
lola: 149343 markings, 612258 edges, 2025 markings/sec, 65 secs
lola: 160866 markings, 655977 edges, 2305 markings/sec, 70 secs
lola: 171848 markings, 703570 edges, 2196 markings/sec, 75 secs
lola: 181731 markings, 743298 edges, 1977 markings/sec, 80 secs
lola: 191760 markings, 787165 edges, 2006 markings/sec, 85 secs
lola: 202277 markings, 830671 edges, 2103 markings/sec, 90 secs
lola: 212170 markings, 869542 edges, 1979 markings/sec, 95 secs
lola: 222427 markings, 911850 edges, 2051 markings/sec, 100 secs
lola: 232731 markings, 956656 edges, 2061 markings/sec, 105 secs
lola: 242694 markings, 996652 edges, 1993 markings/sec, 110 secs
lola: 252581 markings, 1036177 edges, 1977 markings/sec, 115 secs
lola: 262447 markings, 1079453 edges, 1973 markings/sec, 120 secs
lola: 273083 markings, 1123740 edges, 2127 markings/sec, 125 secs
lola: 283021 markings, 1162810 edges, 1988 markings/sec, 130 secs
lola: 293102 markings, 1204138 edges, 2016 markings/sec, 135 secs
lola: 303440 markings, 1249116 edges, 2068 markings/sec, 140 secs
lola: 313368 markings, 1289022 edges, 1986 markings/sec, 145 secs
lola: 323261 markings, 1328551 edges, 1979 markings/sec, 150 secs
lola: 333096 markings, 1371686 edges, 1967 markings/sec, 155 secs
lola: 343972 markings, 1416946 edges, 2175 markings/sec, 160 secs
lola: 355371 markings, 1459544 edges, 2280 markings/sec, 165 secs
lola: 366700 markings, 1501662 edges, 2266 markings/sec, 170 secs
lola: 378016 markings, 1543819 edges, 2263 markings/sec, 175 secs
lola: 389327 markings, 1586147 edges, 2262 markings/sec, 180 secs
lola: 400708 markings, 1628527 edges, 2276 markings/sec, 185 secs
lola: 411820 markings, 1669730 edges, 2222 markings/sec, 190 secs
lola: 422455 markings, 1713171 edges, 2127 markings/sec, 195 secs
lola: 432651 markings, 1754399 edges, 2039 markings/sec, 200 secs
lola: 442925 markings, 1797092 edges, 2055 markings/sec, 205 secs
lola: 453672 markings, 1840463 edges, 2149 markings/sec, 210 secs
lola: 464171 markings, 1884643 edges, 2100 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(mo1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10943 markings, 12806 edges, 2189 markings/sec, 0 secs
lola: 24189 markings, 29783 edges, 2649 markings/sec, 5 secs
lola: 38015 markings, 46996 edges, 2765 markings/sec, 10 secs
lola: 50179 markings, 64466 edges, 2433 markings/sec, 15 secs
lola: 57943 markings, 77047 edges, 1553 markings/sec, 20 secs
lola: 65629 markings, 90634 edges, 1537 markings/sec, 25 secs
lola: 76227 markings, 104101 edges, 2120 markings/sec, 30 secs
lola: 89071 markings, 120610 edges, 2569 markings/sec, 35 secs
lola: 102747 markings, 137604 edges, 2735 markings/sec, 40 secs
lola: 115550 markings, 155595 edges, 2561 markings/sec, 45 secs
lola: 123203 markings, 167967 edges, 1531 markings/sec, 50 secs
lola: 130873 markings, 181146 edges, 1534 markings/sec, 55 secs
lola: 140990 markings, 194818 edges, 2023 markings/sec, 60 secs
lola: 153461 markings, 210862 edges, 2494 markings/sec, 65 secs
lola: 167128 markings, 227769 edges, 2733 markings/sec, 70 secs
lola: 180648 markings, 246319 edges, 2704 markings/sec, 75 secs
lola: 188363 markings, 258718 edges, 1543 markings/sec, 80 secs
lola: 196020 markings, 271644 edges, 1531 markings/sec, 85 secs
lola: 205705 markings, 285563 edges, 1937 markings/sec, 90 secs
lola: 217981 markings, 301400 edges, 2455 markings/sec, 95 secs
lola: 231928 markings, 318713 edges, 2789 markings/sec, 100 secs
lola: 244795 markings, 336836 edges, 2573 markings/sec, 105 secs
lola: 252625 markings, 349505 edges, 1566 markings/sec, 110 secs
lola: 260332 markings, 363556 edges, 1541 markings/sec, 115 secs
lola: 271106 markings, 376796 edges, 2155 markings/sec, 120 secs
lola: 284432 markings, 393899 edges, 2665 markings/sec, 125 secs
lola: 298360 markings, 411402 edges, 2786 markings/sec, 130 secs
lola: 309193 markings, 427737 edges, 2167 markings/sec, 135 secs
lola: 316952 markings, 440548 edges, 1552 markings/sec, 140 secs
lola: 325686 markings, 454812 edges, 1747 markings/sec, 145 secs
lola: 336995 markings, 469306 edges, 2262 markings/sec, 150 secs
lola: 351022 markings, 486539 edges, 2805 markings/sec, 155 secs
lola: 364921 markings, 504562 edges, 2780 markings/sec, 160 secs
lola: 373610 markings, 518801 edges, 1738 markings/sec, 165 secs
lola: 381418 markings, 532017 edges, 1562 markings/sec, 170 secs
lola: 391261 markings, 546048 edges, 1969 markings/sec, 175 secs
lola: 403914 markings, 562417 edges, 2531 markings/sec, 180 secs
lola: 417872 markings, 579923 edges, 2792 markings/sec, 185 secs
lola: 428977 markings, 596533 edges, 2221 markings/sec, 190 secs
lola: 436795 markings, 609505 edges, 1564 markings/sec, 195 secs
lola: 445828 markings, 623703 edges, 1807 markings/sec, 200 secs
lola: 457799 markings, 639094 edges, 2394 markings/sec, 205 secs
lola: 471681 markings, 656372 edges, 2776 markings/sec, 210 secs
lola: 484408 markings, 674354 edges, 2545 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(mo1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2288 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: 10892 markings, 12737 edges, 2178 markings/sec, 0 secs
lola: 24093 markings, 29647 edges, 2640 markings/sec, 5 secs
lola: 37806 markings, 46736 edges, 2743 markings/sec, 10 secs
lola: 50032 markings, 64257 edges, 2445 markings/sec, 15 secs
lola: 57746 markings, 76749 edges, 1543 markings/sec, 20 secs
lola: 65433 markings, 90223 edges, 1537 markings/sec, 25 secs
lola: 75942 markings, 103740 edges, 2102 markings/sec, 30 secs
lola: 88627 markings, 120110 edges, 2537 markings/sec, 35 secs
lola: 102146 markings, 136837 edges, 2704 markings/sec, 40 secs
lola: 113208 markings, 151500 edges, 2212 markings/sec, 45 secs
lola: 118274 markings, 159933 edges, 1013 markings/sec, 50 secs
lola: 122574 markings, 166934 edges, 860 markings/sec, 55 secs
lola: 126853 markings, 174046 edges, 856 markings/sec, 60 secs
lola: 131148 markings, 181667 edges, 859 markings/sec, 65 secs
lola: 136632 markings, 189698 edges, 1097 markings/sec, 70 secs
lola: 142635 markings, 196820 edges, 1201 markings/sec, 75 secs
lola: 149375 markings, 205928 edges, 1348 markings/sec, 80 secs
lola: 157163 markings, 215402 edges, 1558 markings/sec, 85 secs
lola: 167428 markings, 228153 edges, 2053 markings/sec, 90 secs
lola: 180893 markings, 246665 edges, 2693 markings/sec, 95 secs
lola: 188575 markings, 259044 edges, 1536 markings/sec, 100 secs
lola: 196221 markings, 272012 edges, 1529 markings/sec, 105 secs
lola: 205966 markings, 285861 edges, 1949 markings/sec, 110 secs
lola: 218302 markings, 301781 edges, 2467 markings/sec, 115 secs
lola: 232235 markings, 319097 edges, 2787 markings/sec, 120 secs
lola: 244992 markings, 337118 edges, 2551 markings/sec, 125 secs
lola: 252780 markings, 349807 edges, 1558 markings/sec, 130 secs
lola: 260548 markings, 364295 edges, 1554 markings/sec, 135 secs
lola: 271367 markings, 377151 edges, 2164 markings/sec, 140 secs
lola: 284789 markings, 394294 edges, 2684 markings/sec, 145 secs
lola: 298671 markings, 411796 edges, 2776 markings/sec, 150 secs
lola: 309334 markings, 428006 edges, 2133 markings/sec, 155 secs
lola: 317122 markings, 440860 edges, 1558 markings/sec, 160 secs
lola: 325949 markings, 455131 edges, 1765 markings/sec, 165 secs
lola: 337433 markings, 469804 edges, 2297 markings/sec, 170 secs
lola: 351343 markings, 486976 edges, 2782 markings/sec, 175 secs
lola: 365242 markings, 505017 edges, 2780 markings/sec, 180 secs
lola: 373863 markings, 519166 edges, 1724 markings/sec, 185 secs
lola: 381613 markings, 532387 edges, 1550 markings/sec, 190 secs
lola: 391539 markings, 546387 edges, 1985 markings/sec, 195 secs
lola: 404330 markings, 562909 edges, 2558 markings/sec, 200 secs
lola: 418157 markings, 580310 edges, 2765 markings/sec, 205 secs
lola: 429185 markings, 596834 edges, 2206 markings/sec, 210 secs
lola: 436971 markings, 609793 edges, 1557 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(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 2288 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: 10594 markings, 44257 edges, 2119 markings/sec, 0 secs
lola: 22006 markings, 93319 edges, 2282 markings/sec, 5 secs
lola: 32592 markings, 136090 edges, 2117 markings/sec, 10 secs
lola: 44514 markings, 185155 edges, 2384 markings/sec, 15 secs
lola: 55297 markings, 229630 edges, 2157 markings/sec, 20 secs
lola: 66961 markings, 277130 edges, 2333 markings/sec, 25 secs
lola: 78252 markings, 323809 edges, 2258 markings/sec, 30 secs
lola: 89381 markings, 369150 edges, 2226 markings/sec, 35 secs
lola: 101039 markings, 417510 edges, 2332 markings/sec, 40 secs
lola: 111754 markings, 460946 edges, 2143 markings/sec, 45 secs
lola: 123585 markings, 510490 edges, 2366 markings/sec, 50 secs
lola: 134102 markings, 552982 edges, 2103 markings/sec, 55 secs
lola: 146026 markings, 602061 edges, 2385 markings/sec, 60 secs
lola: 156257 markings, 644446 edges, 2046 markings/sec, 65 secs
lola: 166893 markings, 689330 edges, 2127 markings/sec, 70 secs
lola: 177173 markings, 733805 edges, 2056 markings/sec, 75 secs
lola: 187044 markings, 772542 edges, 1974 markings/sec, 80 secs
lola: 196926 markings, 812751 edges, 1976 markings/sec, 85 secs
lola: 207251 markings, 857625 edges, 2065 markings/sec, 90 secs
lola: 217282 markings, 898286 edges, 2006 markings/sec, 95 secs
lola: 227149 markings, 937485 edges, 1973 markings/sec, 100 secs
lola: 236892 markings, 980243 edges, 1949 markings/sec, 105 secs
lola: 247573 markings, 1024856 edges, 2136 markings/sec, 110 secs
lola: 257402 markings, 1063140 edges, 1966 markings/sec, 115 secs
lola: 267503 markings, 1104551 edges, 2020 markings/sec, 120 secs
lola: 277793 markings, 1149477 edges, 2058 markings/sec, 125 secs
lola: 287634 markings, 1188842 edges, 1968 markings/sec, 130 secs
lola: 297414 markings, 1228053 edges, 1956 markings/sec, 135 secs
lola: 307438 markings, 1271883 edges, 2005 markings/sec, 140 secs
lola: 317817 markings, 1314640 edges, 2076 markings/sec, 145 secs
lola: 327626 markings, 1353179 edges, 1962 markings/sec, 150 secs
lola: 337848 markings, 1397964 edges, 2044 markings/sec, 155 secs
lola: 348991 markings, 1441244 edges, 2229 markings/sec, 160 secs
lola: 360302 markings, 1483553 edges, 2262 markings/sec, 165 secs
lola: 371577 markings, 1525450 edges, 2255 markings/sec, 170 secs
lola: 382819 markings, 1567310 edges, 2248 markings/sec, 175 secs
lola: 394073 markings, 1609322 edges, 2251 markings/sec, 180 secs
lola: 405409 markings, 1651675 edges, 2267 markings/sec, 185 secs
lola: 416097 markings, 1692783 edges, 2138 markings/sec, 190 secs
lola: 426501 markings, 1736198 edges, 2081 markings/sec, 195 secs
lola: 436605 markings, 1776964 edges, 2021 markings/sec, 200 secs
lola: 446789 markings, 1819201 edges, 2037 markings/sec, 205 secs
lola: 457488 markings, 1862305 edges, 2140 markings/sec, 210 secs
lola: 467918 markings, 1906004 edges, 2086 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-S10J30-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494734605767
--------------------
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-S10J30"
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-S10J30.tgz
mv PolyORBNT-PT-S10J30 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-S10J30, 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-149440926200146"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;