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 PolyORBLF-PT-S04J04T10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440870000470
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494700569860


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-PT-S04J04T10 @ 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: 5904/65536 symbol table entries, 1496 collisions
lola: preprocessing...
lola: finding significant places
lola: 870 places, 5034 transitions, 812 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3097 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J04T10-UpperBounds.task
lola: MAX(P_1717) : MAX(NotifyEventSourceAddedE_1 + NotifyEventSourceAddedE_2 + NotifyEventSourceAddedE_3 + NotifyEventSourceAddedE_4 + NotifyEventSourceAddedE_5 + NotifyEventSourceAddedE_6 + NotifyEventSourceAddedE_7 + NotifyEventSourceAddedE_8 + NotifyEventSourceAddedE_9 + NotifyEventSourceAddedE_10) : MAX(Insert_Source_E_10 + Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6 + Insert_Source_E_7 + Insert_Source_E_8 + Insert_Source_E_9) : MAX(P_1093) : MAX(P_1095) : MAX(DisablePollingB_5_1 + DisablePollingB_5_2 + DisablePollingB_5_3 + DisablePollingB_5_4 + DisablePollingB_6_1 + DisablePollingB_6_2 + DisablePollingB_6_3 + DisablePollingB_6_4 + DisablePollingB_7_1 + DisablePollingB_7_2 + DisablePollingB_7_3 + DisablePollingB_7_4 + DisablePollingB_8_1 + DisablePollingB_8_2 + DisablePollingB_8_3 + DisablePollingB_8_4 + DisablePollingB_9_1 + DisablePollingB_9_2 + DisablePollingB_9_3 + DisablePollingB_9_4 + DisablePollingB_4_4 + DisablePollingB_4_3 + DisablePollingB_4_2 + DisablePollingB_4_1 + DisablePollingB_1_1 + DisablePollingB_1_2 + DisablePollingB_1_3 + DisablePollingB_1_4 + DisablePollingB_3_4 + DisablePollingB_3_3 + DisablePollingB_3_2 + DisablePollingB_3_1 + DisablePollingB_2_1 + DisablePollingB_2_2 + DisablePollingB_2_3 + DisablePollingB_2_4 + DisablePollingB_10_1 + DisablePollingB_10_2 + DisablePollingB_10_3 + DisablePollingB_10_4) : MAX(P_1160_10 + P_1160_1 + P_1160_2 + P_1160_3 + P_1160_4 + P_1160_5 + P_1160_6 + P_1160_7 + P_1160_8 + P_1160_9) : MAX(P_1725_0 + P_1725_1 + P_1725_2 + P_1725_3 + P_1725_4) : MAX(Perform_Work_E_1 + Perform_Work_E_2 + Perform_Work_E_3 + Perform_Work_E_4 + Perform_Work_E_5 + Perform_Work_E_6 + Perform_Work_E_7 + Perform_Work_E_8 + Perform_Work_E_9 + Perform_Work_E_10) : MAX(P_1155_10 + P_1155_1 + P_1155_2 + P_1155_3 + P_1155_4 + P_1155_5 + P_1155_6 + P_1155_7 + P_1155_8 + P_1155_9) : MAX(ScheduleTaskB_1 + ScheduleTaskB_2 + ScheduleTaskB_3 + ScheduleTaskB_4 + ScheduleTaskB_5 + ScheduleTaskB_6 + ScheduleTaskB_7 + ScheduleTaskB_8 + ScheduleTaskB_9 + ScheduleTaskB_10) : MAX(AvailableJobId_4 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0) : MAX(P_1155_10 + P_1155_1 + P_1155_2 + P_1155_3 + P_1155_4 + P_1155_5 + P_1155_6 + P_1155_7 + P_1155_8 + P_1155_9) : MAX(NotifyEventJobCompletedE_10 + NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8 + NotifyEventJobCompletedE_9) : MAX(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_3_3 + DisablePollingE_3_4 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_4_3 + DisablePollingE_4_4 + DisablePollingE_10_1 + DisablePollingE_10_2 + DisablePollingE_10_3 + DisablePollingE_10_4 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_5_3 + DisablePollingE_5_4 + DisablePollingE_6_1 + DisablePollingE_6_2 + DisablePollingE_6_3 + DisablePollingE_6_4 + DisablePollingE_7_1 + DisablePollingE_7_2 + DisablePollingE_7_3 + DisablePollingE_7_4 + DisablePollingE_8_1 + DisablePollingE_8_2 + DisablePollingE_8_3 + DisablePollingE_8_4 + DisablePollingE_9_1 + DisablePollingE_9_2 + DisablePollingE_9_3 + DisablePollingE_9_4 + DisablePollingE_2_4 + DisablePollingE_2_3 + DisablePollingE_2_2 + DisablePollingE_2_1 + DisablePollingE_1_4 + DisablePollingE_1_3 + DisablePollingE_1_2 + DisablePollingE_1_1) : MAX(Try_Check_Sources_B_1 + Try_Check_Sources_B_2 + Try_Check_Sources_B_3 + Try_Check_Sources_B_4 + Try_Check_Sources_B_5 + Try_Check_Sources_B_6 + Try_Check_Sources_B_7 + Try_Check_Sources_B_8 + Try_Check_Sources_B_9 + Try_Check_Sources_B_10)
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(P_1717)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 17040 markings, 19895 edges, 3408 markings/sec, 0 secs
lola: 34017 markings, 41033 edges, 3395 markings/sec, 5 secs
lola: 50845 markings, 62238 edges, 3366 markings/sec, 10 secs
lola: 67716 markings, 84488 edges, 3374 markings/sec, 15 secs
lola: 84493 markings, 105178 edges, 3355 markings/sec, 20 secs
lola: 101287 markings, 126126 edges, 3359 markings/sec, 25 secs
lola: 118175 markings, 147321 edges, 3378 markings/sec, 30 secs
lola: 134934 markings, 168330 edges, 3352 markings/sec, 35 secs
lola: 151681 markings, 189630 edges, 3349 markings/sec, 40 secs
lola: 168416 markings, 211055 edges, 3347 markings/sec, 45 secs
lola: 185135 markings, 232609 edges, 3344 markings/sec, 50 secs
lola: 201939 markings, 254735 edges, 3361 markings/sec, 55 secs
lola: 218652 markings, 276569 edges, 3343 markings/sec, 60 secs
lola: 235342 markings, 297559 edges, 3338 markings/sec, 65 secs
lola: 251991 markings, 318005 edges, 3330 markings/sec, 70 secs
lola: 268768 markings, 339721 edges, 3355 markings/sec, 75 secs
lola: 285431 markings, 360967 edges, 3333 markings/sec, 80 secs
lola: 301998 markings, 381869 edges, 3313 markings/sec, 85 secs
lola: 318750 markings, 403158 edges, 3350 markings/sec, 90 secs
lola: 335348 markings, 423989 edges, 3320 markings/sec, 95 secs
lola: 352025 markings, 445456 edges, 3335 markings/sec, 100 secs
lola: 368687 markings, 466741 edges, 3332 markings/sec, 105 secs
lola: 385322 markings, 488272 edges, 3327 markings/sec, 110 secs
lola: 401914 markings, 509368 edges, 3318 markings/sec, 115 secs
lola: 418423 markings, 530202 edges, 3302 markings/sec, 120 secs
lola: 435045 markings, 551659 edges, 3324 markings/sec, 125 secs
lola: 451722 markings, 573342 edges, 3335 markings/sec, 130 secs
lola: 468471 markings, 595516 edges, 3350 markings/sec, 135 secs
lola: 485081 markings, 616953 edges, 3322 markings/sec, 140 secs
lola: 501600 markings, 638614 edges, 3304 markings/sec, 145 secs
lola: 518220 markings, 659898 edges, 3324 markings/sec, 150 secs
lola: 534787 markings, 681767 edges, 3313 markings/sec, 155 secs
lola: 551462 markings, 703922 edges, 3335 markings/sec, 160 secs
lola: 568012 markings, 724673 edges, 3310 markings/sec, 165 secs
lola: 584563 markings, 746209 edges, 3310 markings/sec, 170 secs
lola: 600673 markings, 766656 edges, 3222 markings/sec, 175 secs
lola: 617422 markings, 788078 edges, 3350 markings/sec, 180 secs
lola: 634120 markings, 809249 edges, 3340 markings/sec, 185 secs
lola: 650837 markings, 830712 edges, 3343 markings/sec, 190 secs
lola: 667504 markings, 852670 edges, 3333 markings/sec, 195 secs
lola: 684178 markings, 874283 edges, 3335 markings/sec, 200 secs
lola: 700760 markings, 895941 edges, 3316 markings/sec, 205 secs
lola: 717418 markings, 917007 edges, 3332 markings/sec, 210 secs
lola: 734081 markings, 938727 edges, 3333 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(NotifyEventSourceAddedE_1 + NotifyEventSourceAddedE_2 + NotifyEventSourceAddedE_3 + NotifyEventSourceAddedE_4 + NotifyEventSourceAddedE_5 + NotifyEventSourceAddedE_6 + NotifyEventSourceAddedE_7 + NotifyEventSourceAddedE_8 + NotifyEventSourceAddedE_9 + NotifyEventSourceAddedE_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 15374 markings, 16609 edges, 3075 markings/sec, 0 secs
lola: 30740 markings, 33869 edges, 3073 markings/sec, 5 secs
lola: 46038 markings, 52038 edges, 3060 markings/sec, 10 secs
lola: 61254 markings, 70839 edges, 3043 markings/sec, 15 secs
lola: 76501 markings, 90546 edges, 3049 markings/sec, 20 secs
lola: 91746 markings, 110021 edges, 3049 markings/sec, 25 secs
lola: 106936 markings, 128615 edges, 3038 markings/sec, 30 secs
lola: 121575 markings, 147453 edges, 2928 markings/sec, 35 secs
lola: 136176 markings, 167456 edges, 2920 markings/sec, 40 secs
lola: 150933 markings, 185930 edges, 2951 markings/sec, 45 secs
lola: 165443 markings, 204091 edges, 2902 markings/sec, 50 secs
lola: 180650 markings, 223154 edges, 3041 markings/sec, 55 secs
lola: 195300 markings, 241058 edges, 2930 markings/sec, 60 secs
lola: 209935 markings, 261847 edges, 2927 markings/sec, 65 secs
lola: 224600 markings, 279869 edges, 2933 markings/sec, 70 secs
lola: 239225 markings, 298200 edges, 2925 markings/sec, 75 secs
lola: 254268 markings, 318119 edges, 3009 markings/sec, 80 secs
lola: 268498 markings, 336158 edges, 2846 markings/sec, 85 secs
lola: 282896 markings, 354261 edges, 2880 markings/sec, 90 secs
lola: 298057 markings, 373564 edges, 3032 markings/sec, 95 secs
lola: 312111 markings, 392103 edges, 2811 markings/sec, 100 secs
lola: 326540 markings, 410273 edges, 2886 markings/sec, 105 secs
lola: 340221 markings, 427184 edges, 2736 markings/sec, 110 secs
lola: 354945 markings, 445864 edges, 2945 markings/sec, 115 secs
lola: 369145 markings, 463528 edges, 2840 markings/sec, 120 secs
lola: 383359 markings, 481492 edges, 2843 markings/sec, 125 secs
lola: 397482 markings, 500108 edges, 2825 markings/sec, 130 secs
lola: 411846 markings, 518543 edges, 2873 markings/sec, 135 secs
lola: 426452 markings, 537906 edges, 2921 markings/sec, 140 secs
lola: 440130 markings, 555355 edges, 2736 markings/sec, 145 secs
lola: 454696 markings, 574241 edges, 2913 markings/sec, 150 secs
lola: 468889 markings, 591620 edges, 2839 markings/sec, 155 secs
lola: 483071 markings, 610042 edges, 2836 markings/sec, 160 secs
lola: 497263 markings, 628059 edges, 2838 markings/sec, 165 secs
lola: 511294 markings, 645981 edges, 2806 markings/sec, 170 secs
lola: 526026 markings, 665264 edges, 2946 markings/sec, 175 secs
lola: 540216 markings, 683149 edges, 2838 markings/sec, 180 secs
lola: 554288 markings, 702504 edges, 2814 markings/sec, 185 secs
lola: 568544 markings, 720764 edges, 2851 markings/sec, 190 secs
lola: 582801 markings, 739088 edges, 2851 markings/sec, 195 secs
lola: 597454 markings, 758521 edges, 2931 markings/sec, 200 secs
lola: 611218 markings, 775861 edges, 2753 markings/sec, 205 secs
lola: 625718 markings, 794390 edges, 2900 markings/sec, 210 secs
lola: 640014 markings, 812521 edges, 2859 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(Insert_Source_E_10 + Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6 + Insert_Source_E_7 + Insert_Source_E_8 + Insert_Source_E_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 15419 markings, 16655 edges, 3084 markings/sec, 0 secs
lola: 30842 markings, 34006 edges, 3085 markings/sec, 5 secs
lola: 46202 markings, 52216 edges, 3072 markings/sec, 10 secs
lola: 61473 markings, 71114 edges, 3054 markings/sec, 15 secs
lola: 76763 markings, 90838 edges, 3058 markings/sec, 20 secs
lola: 92018 markings, 110427 edges, 3051 markings/sec, 25 secs
lola: 107264 markings, 128991 edges, 3049 markings/sec, 30 secs
lola: 122454 markings, 149683 edges, 3038 markings/sec, 35 secs
lola: 137662 markings, 169162 edges, 3042 markings/sec, 40 secs
lola: 152872 markings, 188447 edges, 3042 markings/sec, 45 secs
lola: 168119 markings, 207274 edges, 3049 markings/sec, 50 secs
lola: 183375 markings, 226664 edges, 3051 markings/sec, 55 secs
lola: 198655 markings, 245212 edges, 3056 markings/sec, 60 secs
lola: 213903 markings, 266472 edges, 3050 markings/sec, 65 secs
lola: 229162 markings, 285332 edges, 3052 markings/sec, 70 secs
lola: 244320 markings, 304822 edges, 3032 markings/sec, 75 secs
lola: 259485 markings, 324786 edges, 3033 markings/sec, 80 secs
lola: 274738 markings, 343681 edges, 3051 markings/sec, 85 secs
lola: 289942 markings, 363117 edges, 3041 markings/sec, 90 secs
lola: 305239 markings, 383196 edges, 3059 markings/sec, 95 secs
lola: 320429 markings, 402543 edges, 3038 markings/sec, 100 secs
lola: 335679 markings, 421850 edges, 3050 markings/sec, 105 secs
lola: 350943 markings, 440841 edges, 3053 markings/sec, 110 secs
lola: 366241 markings, 459960 edges, 3060 markings/sec, 115 secs
lola: 381520 markings, 478880 edges, 3056 markings/sec, 120 secs
lola: 396723 markings, 499156 edges, 3041 markings/sec, 125 secs
lola: 412017 markings, 518725 edges, 3059 markings/sec, 130 secs
lola: 427165 markings, 538889 edges, 3030 markings/sec, 135 secs
lola: 442342 markings, 558349 edges, 3035 markings/sec, 140 secs
lola: 457613 markings, 577715 edges, 3054 markings/sec, 145 secs
lola: 472897 markings, 596399 edges, 3057 markings/sec, 150 secs
lola: 488092 markings, 616182 edges, 3039 markings/sec, 155 secs
lola: 503275 markings, 635783 edges, 3037 markings/sec, 160 secs
lola: 518540 markings, 655213 edges, 3053 markings/sec, 165 secs
lola: 533807 markings, 674974 edges, 3053 markings/sec, 170 secs
lola: 548991 markings, 695332 edges, 3037 markings/sec, 175 secs
lola: 564280 markings, 715397 edges, 3058 markings/sec, 180 secs
lola: 579655 markings, 735004 edges, 3075 markings/sec, 185 secs
lola: 594837 markings, 755083 edges, 3036 markings/sec, 190 secs
lola: 610127 markings, 774366 edges, 3058 markings/sec, 195 secs
lola: 625287 markings, 793823 edges, 3032 markings/sec, 200 secs
lola: 640511 markings, 813341 edges, 3045 markings/sec, 205 secs
lola: 655720 markings, 832343 edges, 3042 markings/sec, 210 secs
lola: 670884 markings, 852213 edges, 3033 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(P_1093)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 16890 markings, 19075 edges, 3378 markings/sec, 0 secs
lola: 33856 markings, 38246 edges, 3393 markings/sec, 5 secs
lola: 50567 markings, 59562 edges, 3342 markings/sec, 10 secs
lola: 67232 markings, 80320 edges, 3333 markings/sec, 15 secs
lola: 83819 markings, 102102 edges, 3317 markings/sec, 20 secs
lola: 100590 markings, 126074 edges, 3354 markings/sec, 25 secs
lola: 117016 markings, 158259 edges, 3285 markings/sec, 30 secs
lola: 133741 markings, 182341 edges, 3345 markings/sec, 35 secs
lola: 149965 markings, 203692 edges, 3245 markings/sec, 40 secs
lola: 166342 markings, 224808 edges, 3275 markings/sec, 45 secs
lola: 183052 markings, 247858 edges, 3342 markings/sec, 50 secs
lola: 199235 markings, 268720 edges, 3237 markings/sec, 55 secs
lola: 215922 markings, 294150 edges, 3337 markings/sec, 60 secs
lola: 232336 markings, 319718 edges, 3283 markings/sec, 65 secs
lola: 248596 markings, 341896 edges, 3252 markings/sec, 70 secs
lola: 265107 markings, 362443 edges, 3302 markings/sec, 75 secs
lola: 281082 markings, 383495 edges, 3195 markings/sec, 80 secs
lola: 297436 markings, 405211 edges, 3271 markings/sec, 85 secs
lola: 314217 markings, 427097 edges, 3356 markings/sec, 90 secs
lola: 330500 markings, 452508 edges, 3257 markings/sec, 95 secs
lola: 346724 markings, 478293 edges, 3245 markings/sec, 100 secs
lola: 363122 markings, 500076 edges, 3280 markings/sec, 105 secs
lola: 379700 markings, 521292 edges, 3316 markings/sec, 110 secs
lola: 396255 markings, 542048 edges, 3311 markings/sec, 115 secs
lola: 412994 markings, 563337 edges, 3348 markings/sec, 120 secs
lola: 429302 markings, 587287 edges, 3262 markings/sec, 125 secs
lola: 446081 markings, 609492 edges, 3356 markings/sec, 130 secs
lola: 462538 markings, 630642 edges, 3291 markings/sec, 135 secs
lola: 479214 markings, 652696 edges, 3335 markings/sec, 140 secs
lola: 495969 markings, 674362 edges, 3351 markings/sec, 145 secs
lola: 512258 markings, 697348 edges, 3258 markings/sec, 150 secs
lola: 529227 markings, 719619 edges, 3394 markings/sec, 155 secs
lola: 545577 markings, 744918 edges, 3270 markings/sec, 160 secs
lola: 562258 markings, 768048 edges, 3336 markings/sec, 165 secs
lola: 578362 markings, 793814 edges, 3221 markings/sec, 170 secs
lola: 595158 markings, 816054 edges, 3359 markings/sec, 175 secs
lola: 611977 markings, 838534 edges, 3364 markings/sec, 180 secs
lola: 628783 markings, 860788 edges, 3361 markings/sec, 185 secs
lola: 645487 markings, 883710 edges, 3341 markings/sec, 190 secs
lola: 662200 markings, 905607 edges, 3343 markings/sec, 195 secs
lola: 678999 markings, 927944 edges, 3360 markings/sec, 200 secs
lola: 695468 markings, 952532 edges, 3294 markings/sec, 205 secs
lola: 711863 markings, 975133 edges, 3279 markings/sec, 210 secs
lola: 728646 markings, 996712 edges, 3357 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(P_1095)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 16026 markings, 17681 edges, 3205 markings/sec, 0 secs
lola: 31843 markings, 36702 edges, 3163 markings/sec, 5 secs
lola: 47444 markings, 56367 edges, 3120 markings/sec, 10 secs
lola: 63038 markings, 76053 edges, 3119 markings/sec, 15 secs
lola: 78542 markings, 98821 edges, 3101 markings/sec, 20 secs
lola: 94102 markings, 122244 edges, 3112 markings/sec, 25 secs
lola: 109652 markings, 145807 edges, 3110 markings/sec, 30 secs
lola: 125405 markings, 166106 edges, 3151 markings/sec, 35 secs
lola: 141698 markings, 185673 edges, 3259 markings/sec, 40 secs
lola: 157984 markings, 206363 edges, 3257 markings/sec, 45 secs
lola: 173706 markings, 227007 edges, 3144 markings/sec, 50 secs
lola: 189747 markings, 247192 edges, 3208 markings/sec, 55 secs
lola: 205752 markings, 269595 edges, 3201 markings/sec, 60 secs
lola: 222073 markings, 290482 edges, 3264 markings/sec, 65 secs
lola: 238216 markings, 313035 edges, 3229 markings/sec, 70 secs
lola: 254616 markings, 332982 edges, 3280 markings/sec, 75 secs
lola: 270803 markings, 353101 edges, 3237 markings/sec, 80 secs
lola: 287068 markings, 373269 edges, 3253 markings/sec, 85 secs
lola: 302979 markings, 395164 edges, 3182 markings/sec, 90 secs
lola: 319299 markings, 416337 edges, 3264 markings/sec, 95 secs
lola: 335798 markings, 438930 edges, 3300 markings/sec, 100 secs
lola: 352093 markings, 459372 edges, 3259 markings/sec, 105 secs
lola: 368492 markings, 480048 edges, 3280 markings/sec, 110 secs
lola: 384809 markings, 500907 edges, 3263 markings/sec, 115 secs
lola: 401069 markings, 522084 edges, 3252 markings/sec, 120 secs
lola: 417636 markings, 542733 edges, 3313 markings/sec, 125 secs
lola: 433801 markings, 563838 edges, 3233 markings/sec, 130 secs
lola: 450515 markings, 585183 edges, 3343 markings/sec, 135 secs
lola: 467072 markings, 606355 edges, 3311 markings/sec, 140 secs
lola: 483410 markings, 627868 edges, 3268 markings/sec, 145 secs
lola: 499874 markings, 649690 edges, 3293 markings/sec, 150 secs
lola: 516516 markings, 670901 edges, 3328 markings/sec, 155 secs
lola: 533057 markings, 692208 edges, 3308 markings/sec, 160 secs
lola: 549501 markings, 714068 edges, 3289 markings/sec, 165 secs
lola: 566066 markings, 735312 edges, 3313 markings/sec, 170 secs
lola: 582728 markings, 756753 edges, 3332 markings/sec, 175 secs
lola: 598982 markings, 780214 edges, 3251 markings/sec, 180 secs
lola: 615549 markings, 801477 edges, 3313 markings/sec, 185 secs
lola: 632005 markings, 822965 edges, 3291 markings/sec, 190 secs
lola: 648568 markings, 844132 edges, 3313 markings/sec, 195 secs
lola: 665061 markings, 865279 edges, 3299 markings/sec, 200 secs
lola: 681606 markings, 886739 edges, 3309 markings/sec, 205 secs
lola: 698208 markings, 911111 edges, 3320 markings/sec, 210 secs
lola: 714276 markings, 935089 edges, 3214 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(DisablePollingB_5_1 + DisablePollingB_5_2 + DisablePollingB_5_3 + DisablePollingB_5_4 + DisablePollingB_6_1 + DisablePollingB_6_2 + DisablePollingB_6_3 + DisablePollingB_6_4 + DisablePollingB_7_1 + DisablePollingB_7_2 + DisablePollingB_7_3 + DisablePollingB_7_4 + DisablePollingB_8_1 + DisablePollingB_8_2 + DisablePollingB_8_3 + DisablePollingB_8_4 + DisablePollingB_9_1 + DisablePollingB_9_2 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 14672 markings, 16325 edges, 2934 markings/sec, 0 secs
lola: 29386 markings, 33374 edges, 2943 markings/sec, 5 secs
lola: 44091 markings, 51467 edges, 2941 markings/sec, 10 secs
lola: 58736 markings, 69442 edges, 2929 markings/sec, 15 secs
lola: 73422 markings, 89560 edges, 2937 markings/sec, 20 secs
lola: 88183 markings, 107792 edges, 2952 markings/sec, 25 secs
lola: 102901 markings, 131168 edges, 2944 markings/sec, 30 secs
lola: 117491 markings, 151767 edges, 2918 markings/sec, 35 secs
lola: 132047 markings, 172404 edges, 2911 markings/sec, 40 secs
lola: 146627 markings, 191993 edges, 2916 markings/sec, 45 secs
lola: 161356 markings, 221764 edges, 2946 markings/sec, 50 secs
lola: 176041 markings, 240390 edges, 2937 markings/sec, 55 secs
lola: 190706 markings, 259422 edges, 2933 markings/sec, 60 secs
lola: 205297 markings, 278152 edges, 2918 markings/sec, 65 secs
lola: 220071 markings, 303156 edges, 2955 markings/sec, 70 secs
lola: 234791 markings, 321750 edges, 2944 markings/sec, 75 secs
lola: 249507 markings, 344149 edges, 2943 markings/sec, 80 secs
lola: 264087 markings, 364177 edges, 2916 markings/sec, 85 secs
lola: 278625 markings, 384170 edges, 2908 markings/sec, 90 secs
lola: 293238 markings, 404982 edges, 2923 markings/sec, 95 secs
lola: 307774 markings, 425061 edges, 2907 markings/sec, 100 secs
lola: 322235 markings, 446584 edges, 2892 markings/sec, 105 secs
lola: 336720 markings, 466617 edges, 2897 markings/sec, 110 secs
lola: 351311 markings, 486139 edges, 2918 markings/sec, 115 secs
lola: 365959 markings, 507467 edges, 2930 markings/sec, 120 secs
lola: 380533 markings, 529110 edges, 2915 markings/sec, 125 secs
lola: 395107 markings, 548310 edges, 2915 markings/sec, 130 secs
lola: 409710 markings, 570557 edges, 2921 markings/sec, 135 secs
lola: 424497 markings, 590393 edges, 2957 markings/sec, 140 secs
lola: 438927 markings, 611980 edges, 2886 markings/sec, 145 secs
lola: 453531 markings, 632286 edges, 2921 markings/sec, 150 secs
lola: 468200 markings, 651395 edges, 2934 markings/sec, 155 secs
lola: 482683 markings, 671793 edges, 2897 markings/sec, 160 secs
lola: 497273 markings, 691611 edges, 2918 markings/sec, 165 secs
lola: 511904 markings, 710550 edges, 2926 markings/sec, 170 secs
lola: 526613 markings, 730272 edges, 2942 markings/sec, 175 secs
lola: 541292 markings, 750007 edges, 2936 markings/sec, 180 secs
lola: 555915 markings, 769744 edges, 2925 markings/sec, 185 secs
lola: 570517 markings, 790987 edges, 2920 markings/sec, 190 secs
lola: 585254 markings, 809850 edges, 2947 markings/sec, 195 secs
lola: 599958 markings, 830704 edges, 2941 markings/sec, 200 secs
lola: 614860 markings, 850187 edges, 2980 markings/sec, 205 secs
lola: 629611 markings, 869589 edges, 2950 markings/sec, 210 secs
lola: 644355 markings, 889914 edges, 2949 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(P_1160_10 + P_1160_1 + P_1160_2 + P_1160_3 + P_1160_4 + P_1160_5 + P_1160_6 + P_1160_7 + P_1160_8 + P_1160_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 16330 markings, 18284 edges, 3266 markings/sec, 0 secs
lola: 33318 markings, 38994 edges, 3398 markings/sec, 5 secs
lola: 50311 markings, 60089 edges, 3399 markings/sec, 10 secs
lola: 67267 markings, 80415 edges, 3391 markings/sec, 15 secs
lola: 84186 markings, 102576 edges, 3384 markings/sec, 20 secs
lola: 101154 markings, 122826 edges, 3394 markings/sec, 25 secs
lola: 118036 markings, 143606 edges, 3376 markings/sec, 30 secs
lola: 134847 markings, 165417 edges, 3362 markings/sec, 35 secs
lola: 151597 markings, 186970 edges, 3350 markings/sec, 40 secs
lola: 168540 markings, 207904 edges, 3389 markings/sec, 45 secs
lola: 185319 markings, 228820 edges, 3356 markings/sec, 50 secs
lola: 202250 markings, 249959 edges, 3386 markings/sec, 55 secs
lola: 219240 markings, 270691 edges, 3398 markings/sec, 60 secs
lola: 236064 markings, 291865 edges, 3365 markings/sec, 65 secs
lola: 252982 markings, 313138 edges, 3384 markings/sec, 70 secs
lola: 269866 markings, 334518 edges, 3377 markings/sec, 75 secs
lola: 286777 markings, 356119 edges, 3382 markings/sec, 80 secs
lola: 303692 markings, 377139 edges, 3383 markings/sec, 85 secs
lola: 320572 markings, 398826 edges, 3376 markings/sec, 90 secs
lola: 337408 markings, 420318 edges, 3367 markings/sec, 95 secs
lola: 354317 markings, 441347 edges, 3382 markings/sec, 100 secs
lola: 371120 markings, 463102 edges, 3361 markings/sec, 105 secs
lola: 387943 markings, 484851 edges, 3365 markings/sec, 110 secs
lola: 404845 markings, 506470 edges, 3380 markings/sec, 115 secs
lola: 421731 markings, 527903 edges, 3377 markings/sec, 120 secs
lola: 438643 markings, 549308 edges, 3382 markings/sec, 125 secs
lola: 455496 markings, 572272 edges, 3371 markings/sec, 130 secs
lola: 472387 markings, 594970 edges, 3378 markings/sec, 135 secs
lola: 489254 markings, 616430 edges, 3373 markings/sec, 140 secs
lola: 506109 markings, 639581 edges, 3371 markings/sec, 145 secs
lola: 523031 markings, 660939 edges, 3384 markings/sec, 150 secs
lola: 539850 markings, 684749 edges, 3364 markings/sec, 155 secs
lola: 556802 markings, 706226 edges, 3390 markings/sec, 160 secs
lola: 573636 markings, 728960 edges, 3367 markings/sec, 165 secs
lola: 590494 markings, 750714 edges, 3372 markings/sec, 170 secs
lola: 607324 markings, 773018 edges, 3366 markings/sec, 175 secs
lola: 624156 markings, 794944 edges, 3366 markings/sec, 180 secs
lola: 640886 markings, 816725 edges, 3346 markings/sec, 185 secs
lola: 657672 markings, 838131 edges, 3357 markings/sec, 190 secs
lola: 674443 markings, 860060 edges, 3354 markings/sec, 195 secs
lola: 691250 markings, 882161 edges, 3361 markings/sec, 200 secs
lola: 708075 markings, 903731 edges, 3365 markings/sec, 205 secs
lola: 724788 markings, 927025 edges, 3343 markings/sec, 210 secs
lola: 741551 markings, 949902 edges, 3353 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(P_1725_0 + P_1725_1 + P_1725_2 + P_1725_3 + P_1725_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 16870 markings, 18107 edges, 3374 markings/sec, 0 secs
lola: 33685 markings, 36665 edges, 3363 markings/sec, 5 secs
lola: 50526 markings, 55690 edges, 3368 markings/sec, 10 secs
lola: 67376 markings, 74950 edges, 3370 markings/sec, 15 secs
lola: 84200 markings, 94449 edges, 3365 markings/sec, 20 secs
lola: 101043 markings, 113872 edges, 3369 markings/sec, 25 secs
lola: 117848 markings, 133382 edges, 3361 markings/sec, 30 secs
lola: 134661 markings, 153446 edges, 3363 markings/sec, 35 secs
lola: 151481 markings, 173469 edges, 3364 markings/sec, 40 secs
lola: 168239 markings, 193627 edges, 3352 markings/sec, 45 secs
lola: 185025 markings, 213823 edges, 3357 markings/sec, 50 secs
lola: 201803 markings, 234060 edges, 3356 markings/sec, 55 secs
lola: 218616 markings, 254899 edges, 3363 markings/sec, 60 secs
lola: 235389 markings, 275543 edges, 3355 markings/sec, 65 secs
lola: 252162 markings, 296078 edges, 3355 markings/sec, 70 secs
lola: 268925 markings, 316888 edges, 3353 markings/sec, 75 secs
lola: 285639 markings, 337617 edges, 3343 markings/sec, 80 secs
lola: 302356 markings, 358827 edges, 3343 markings/sec, 85 secs
lola: 319135 markings, 379326 edges, 3356 markings/sec, 90 secs
lola: 335992 markings, 400028 edges, 3371 markings/sec, 95 secs
lola: 352787 markings, 421148 edges, 3359 markings/sec, 100 secs
lola: 369573 markings, 442852 edges, 3357 markings/sec, 105 secs
lola: 386326 markings, 464299 edges, 3351 markings/sec, 110 secs
lola: 403058 markings, 485838 edges, 3346 markings/sec, 115 secs
lola: 419783 markings, 507833 edges, 3345 markings/sec, 120 secs
lola: 436527 markings, 529514 edges, 3349 markings/sec, 125 secs
lola: 453243 markings, 550853 edges, 3343 markings/sec, 130 secs
lola: 469998 markings, 572144 edges, 3351 markings/sec, 135 secs
lola: 486681 markings, 594246 edges, 3337 markings/sec, 140 secs
lola: 503431 markings, 615778 edges, 3350 markings/sec, 145 secs
lola: 520208 markings, 637094 edges, 3355 markings/sec, 150 secs
lola: 536938 markings, 658586 edges, 3346 markings/sec, 155 secs
lola: 553769 markings, 680204 edges, 3366 markings/sec, 160 secs
lola: 570541 markings, 702211 edges, 3354 markings/sec, 165 secs
lola: 587350 markings, 723215 edges, 3362 markings/sec, 170 secs
lola: 604039 markings, 746687 edges, 3338 markings/sec, 175 secs
lola: 620746 markings, 768752 edges, 3341 markings/sec, 180 secs
lola: 637515 markings, 790381 edges, 3354 markings/sec, 185 secs
lola: 654201 markings, 812393 edges, 3337 markings/sec, 190 secs
lola: 670922 markings, 833591 edges, 3344 markings/sec, 195 secs
lola: 687657 markings, 855492 edges, 3347 markings/sec, 200 secs
lola: 704328 markings, 877161 edges, 3334 markings/sec, 205 secs
lola: 721011 markings, 898766 edges, 3337 markings/sec, 210 secs
lola: 737700 markings, 920584 edges, 3338 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 + Perform_Work_E_2 + Perform_Work_E_3 + Perform_Work_E_4 + Perform_Work_E_5 + Perform_Work_E_6 + Perform_Work_E_7 + Perform_Work_E_8 + Perform_Work_E_9 + Perform_Work_E_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 16252 markings, 16940 edges, 3250 markings/sec, 0 secs
lola: 32424 markings, 33806 edges, 3234 markings/sec, 5 secs
lola: 48630 markings, 50943 edges, 3241 markings/sec, 10 secs
lola: 64804 markings, 68210 edges, 3235 markings/sec, 15 secs
lola: 80997 markings, 85412 edges, 3239 markings/sec, 20 secs
lola: 97227 markings, 102845 edges, 3246 markings/sec, 25 secs
lola: 113509 markings, 120122 edges, 3256 markings/sec, 30 secs
lola: 129695 markings, 137483 edges, 3237 markings/sec, 35 secs
lola: 145855 markings, 154932 edges, 3232 markings/sec, 40 secs
lola: 162014 markings, 172701 edges, 3232 markings/sec, 45 secs
lola: 178183 markings, 190205 edges, 3234 markings/sec, 50 secs
lola: 194376 markings, 207419 edges, 3239 markings/sec, 55 secs
lola: 210690 markings, 224804 edges, 3263 markings/sec, 60 secs
lola: 226881 markings, 242456 edges, 3238 markings/sec, 65 secs
lola: 243143 markings, 259675 edges, 3252 markings/sec, 70 secs
lola: 259255 markings, 277633 edges, 3222 markings/sec, 75 secs
lola: 275446 markings, 295304 edges, 3238 markings/sec, 80 secs
lola: 291592 markings, 312992 edges, 3229 markings/sec, 85 secs
lola: 307803 markings, 330649 edges, 3242 markings/sec, 90 secs
lola: 323984 markings, 348306 edges, 3236 markings/sec, 95 secs
lola: 340089 markings, 365847 edges, 3221 markings/sec, 100 secs
lola: 356230 markings, 383506 edges, 3228 markings/sec, 105 secs
lola: 372408 markings, 400941 edges, 3236 markings/sec, 110 secs
lola: 388575 markings, 418778 edges, 3233 markings/sec, 115 secs
lola: 404740 markings, 436999 edges, 3233 markings/sec, 120 secs
lola: 420918 markings, 454651 edges, 3236 markings/sec, 125 secs
lola: 437136 markings, 472316 edges, 3244 markings/sec, 130 secs
lola: 453350 markings, 489947 edges, 3243 markings/sec, 135 secs
lola: 469500 markings, 507816 edges, 3230 markings/sec, 140 secs
lola: 485702 markings, 525468 edges, 3240 markings/sec, 145 secs
lola: 501791 markings, 543103 edges, 3218 markings/sec, 150 secs
lola: 517973 markings, 560894 edges, 3236 markings/sec, 155 secs
lola: 534179 markings, 578479 edges, 3241 markings/sec, 160 secs
lola: 550267 markings, 596348 edges, 3218 markings/sec, 165 secs
lola: 566469 markings, 614172 edges, 3240 markings/sec, 170 secs
lola: 582676 markings, 631960 edges, 3241 markings/sec, 175 secs
lola: 598894 markings, 650135 edges, 3244 markings/sec, 180 secs
lola: 615045 markings, 667982 edges, 3230 markings/sec, 185 secs
lola: 631082 markings, 685650 edges, 3207 markings/sec, 190 secs
lola: 647274 markings, 703638 edges, 3238 markings/sec, 195 secs
lola: 663442 markings, 722154 edges, 3234 markings/sec, 200 secs
lola: 679613 markings, 739695 edges, 3234 markings/sec, 205 secs
lola: 695746 markings, 758155 edges, 3227 markings/sec, 210 secs
lola: 711906 markings, 776180 edges, 3232 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(P_1155_10 + P_1155_1 + P_1155_2 + P_1155_3 + P_1155_4 + P_1155_5 + P_1155_6 + P_1155_7 + P_1155_8 + P_1155_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 18181 markings, 18909 edges, 3636 markings/sec, 0 secs
lola: 36322 markings, 38627 edges, 3628 markings/sec, 5 secs
lola: 54374 markings, 58610 edges, 3610 markings/sec, 10 secs
lola: 72448 markings, 78547 edges, 3615 markings/sec, 15 secs
lola: 90444 markings, 99146 edges, 3599 markings/sec, 20 secs
lola: 108447 markings, 119538 edges, 3601 markings/sec, 25 secs
lola: 126454 markings, 140056 edges, 3601 markings/sec, 30 secs
lola: 144309 markings, 160647 edges, 3571 markings/sec, 35 secs
lola: 162268 markings, 181637 edges, 3592 markings/sec, 40 secs
lola: 180155 markings, 202587 edges, 3577 markings/sec, 45 secs
lola: 198170 markings, 223520 edges, 3603 markings/sec, 50 secs
lola: 216063 markings, 244617 edges, 3579 markings/sec, 55 secs
lola: 233966 markings, 265781 edges, 3581 markings/sec, 60 secs
lola: 251837 markings, 286956 edges, 3574 markings/sec, 65 secs
lola: 269755 markings, 308493 edges, 3584 markings/sec, 70 secs
lola: 287634 markings, 329995 edges, 3576 markings/sec, 75 secs
lola: 305536 markings, 351545 edges, 3580 markings/sec, 80 secs
lola: 323392 markings, 373112 edges, 3571 markings/sec, 85 secs
lola: 341232 markings, 394794 edges, 3568 markings/sec, 90 secs
lola: 359026 markings, 416714 edges, 3559 markings/sec, 95 secs
lola: 376900 markings, 438463 edges, 3575 markings/sec, 100 secs
lola: 394764 markings, 460115 edges, 3573 markings/sec, 105 secs
lola: 412550 markings, 482238 edges, 3557 markings/sec, 110 secs
lola: 430301 markings, 504038 edges, 3550 markings/sec, 115 secs
lola: 448166 markings, 525936 edges, 3573 markings/sec, 120 secs
lola: 465912 markings, 548411 edges, 3549 markings/sec, 125 secs
lola: 483703 markings, 570622 edges, 3558 markings/sec, 130 secs
lola: 501490 markings, 593028 edges, 3557 markings/sec, 135 secs
lola: 519235 markings, 615478 edges, 3549 markings/sec, 140 secs
lola: 536996 markings, 637724 edges, 3552 markings/sec, 145 secs
lola: 554786 markings, 660062 edges, 3558 markings/sec, 150 secs
lola: 572559 markings, 682412 edges, 3555 markings/sec, 155 secs
lola: 590261 markings, 705372 edges, 3540 markings/sec, 160 secs
lola: 608048 markings, 727543 edges, 3557 markings/sec, 165 secs
lola: 625765 markings, 750008 edges, 3543 markings/sec, 170 secs
lola: 643476 markings, 772946 edges, 3542 markings/sec, 175 secs
lola: 661265 markings, 795287 edges, 3558 markings/sec, 180 secs
lola: 678969 markings, 817854 edges, 3541 markings/sec, 185 secs
lola: 696683 markings, 841369 edges, 3543 markings/sec, 190 secs
lola: 714387 markings, 864440 edges, 3541 markings/sec, 195 secs
lola: 732186 markings, 887085 edges, 3560 markings/sec, 200 secs
lola: 749978 markings, 909667 edges, 3558 markings/sec, 205 secs
lola: 767624 markings, 932129 edges, 3529 markings/sec, 210 secs
lola: 785362 markings, 955197 edges, 3548 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(ScheduleTaskB_1 + ScheduleTaskB_2 + ScheduleTaskB_3 + ScheduleTaskB_4 + ScheduleTaskB_5 + ScheduleTaskB_6 + ScheduleTaskB_7 + ScheduleTaskB_8 + ScheduleTaskB_9 + ScheduleTaskB_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 16745 markings, 17686 edges, 3349 markings/sec, 0 secs
lola: 33418 markings, 35010 edges, 3335 markings/sec, 5 secs
lola: 50066 markings, 52637 edges, 3330 markings/sec, 10 secs
lola: 66717 markings, 70576 edges, 3330 markings/sec, 15 secs
lola: 83319 markings, 88238 edges, 3320 markings/sec, 20 secs
lola: 100013 markings, 106046 edges, 3339 markings/sec, 25 secs
lola: 116824 markings, 124237 edges, 3362 markings/sec, 30 secs
lola: 133489 markings, 142397 edges, 3333 markings/sec, 35 secs
lola: 150211 markings, 160515 edges, 3344 markings/sec, 40 secs
lola: 166924 markings, 178438 edges, 3343 markings/sec, 45 secs
lola: 183586 markings, 196717 edges, 3332 markings/sec, 50 secs
lola: 200145 markings, 214675 edges, 3312 markings/sec, 55 secs
lola: 216743 markings, 232567 edges, 3320 markings/sec, 60 secs
lola: 233132 markings, 250423 edges, 3278 markings/sec, 65 secs
lola: 249797 markings, 268715 edges, 3333 markings/sec, 70 secs
lola: 266408 markings, 286942 edges, 3322 markings/sec, 75 secs
lola: 282957 markings, 305327 edges, 3310 markings/sec, 80 secs
lola: 299361 markings, 323515 edges, 3281 markings/sec, 85 secs
lola: 315921 markings, 341763 edges, 3312 markings/sec, 90 secs
lola: 332380 markings, 360382 edges, 3292 markings/sec, 95 secs
lola: 348861 markings, 378624 edges, 3296 markings/sec, 100 secs
lola: 365381 markings, 396469 edges, 3304 markings/sec, 105 secs
lola: 381884 markings, 414501 edges, 3301 markings/sec, 110 secs
lola: 398335 markings, 432462 edges, 3290 markings/sec, 115 secs
lola: 414783 markings, 450596 edges, 3290 markings/sec, 120 secs
lola: 430722 markings, 467945 edges, 3188 markings/sec, 125 secs
lola: 447403 markings, 485715 edges, 3336 markings/sec, 130 secs
lola: 464062 markings, 503999 edges, 3332 markings/sec, 135 secs
lola: 480652 markings, 522040 edges, 3318 markings/sec, 140 secs
lola: 497455 markings, 541120 edges, 3361 markings/sec, 145 secs
lola: 514114 markings, 559444 edges, 3332 markings/sec, 150 secs
lola: 530889 markings, 577564 edges, 3355 markings/sec, 155 secs
lola: 547679 markings, 595625 edges, 3358 markings/sec, 160 secs
lola: 564424 markings, 613808 edges, 3349 markings/sec, 165 secs
lola: 581217 markings, 632357 edges, 3359 markings/sec, 170 secs
lola: 597833 markings, 650861 edges, 3323 markings/sec, 175 secs
lola: 614581 markings, 669203 edges, 3350 markings/sec, 180 secs
lola: 631236 markings, 687397 edges, 3331 markings/sec, 185 secs
lola: 648014 markings, 705813 edges, 3356 markings/sec, 190 secs
lola: 664744 markings, 724121 edges, 3346 markings/sec, 195 secs
lola: 681484 markings, 742599 edges, 3348 markings/sec, 200 secs
lola: 698270 markings, 760757 edges, 3357 markings/sec, 205 secs
lola: 714975 markings, 778542 edges, 3341 markings/sec, 210 secs
lola: 731748 markings, 796909 edges, 3355 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(AvailableJobId_4 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 14776 markings, 16255 edges, 2955 markings/sec, 0 secs
lola: 29355 markings, 33597 edges, 2916 markings/sec, 5 secs
lola: 43811 markings, 51284 edges, 2891 markings/sec, 10 secs
lola: 58454 markings, 69111 edges, 2929 markings/sec, 15 secs
lola: 72746 markings, 91141 edges, 2858 markings/sec, 20 secs
lola: 87194 markings, 112600 edges, 2890 markings/sec, 25 secs
lola: 101641 markings, 135680 edges, 2889 markings/sec, 30 secs
lola: 116178 markings, 154451 edges, 2907 markings/sec, 35 secs
lola: 130648 markings, 173386 edges, 2894 markings/sec, 40 secs
lola: 145091 markings, 192263 edges, 2889 markings/sec, 45 secs
lola: 159580 markings, 210960 edges, 2898 markings/sec, 50 secs
lola: 173809 markings, 238564 edges, 2846 markings/sec, 55 secs
lola: 188183 markings, 263928 edges, 2875 markings/sec, 60 secs
lola: 202499 markings, 289835 edges, 2863 markings/sec, 65 secs
lola: 217201 markings, 308112 edges, 2940 markings/sec, 70 secs
lola: 231675 markings, 326217 edges, 2895 markings/sec, 75 secs
lola: 245693 markings, 347875 edges, 2804 markings/sec, 80 secs
lola: 259934 markings, 367630 edges, 2848 markings/sec, 85 secs
lola: 274506 markings, 386347 edges, 2914 markings/sec, 90 secs
lola: 288913 markings, 407525 edges, 2881 markings/sec, 95 secs
lola: 303353 markings, 427521 edges, 2888 markings/sec, 100 secs
lola: 317771 markings, 448719 edges, 2884 markings/sec, 105 secs
lola: 332423 markings, 467614 edges, 2930 markings/sec, 110 secs
lola: 347084 markings, 486485 edges, 2932 markings/sec, 115 secs
lola: 361490 markings, 505976 edges, 2881 markings/sec, 120 secs
lola: 375982 markings, 526171 edges, 2898 markings/sec, 125 secs
lola: 390409 markings, 546192 edges, 2885 markings/sec, 130 secs
lola: 404846 markings, 565813 edges, 2887 markings/sec, 135 secs
lola: 419878 markings, 588050 edges, 3006 markings/sec, 140 secs
lola: 435256 markings, 608549 edges, 3076 markings/sec, 145 secs
lola: 450474 markings, 633648 edges, 3044 markings/sec, 150 secs
lola: 465841 markings, 653875 edges, 3073 markings/sec, 155 secs
lola: 481096 markings, 678618 edges, 3051 markings/sec, 160 secs
lola: 496093 markings, 701596 edges, 2999 markings/sec, 165 secs
lola: 511348 markings, 723601 edges, 3051 markings/sec, 170 secs
lola: 526647 markings, 744203 edges, 3060 markings/sec, 175 secs
lola: 542205 markings, 764409 edges, 3112 markings/sec, 180 secs
lola: 557372 markings, 786647 edges, 3033 markings/sec, 185 secs
lola: 572665 markings, 808141 edges, 3059 markings/sec, 190 secs
lola: 587869 markings, 830201 edges, 3041 markings/sec, 195 secs
lola: 603233 markings, 850577 edges, 3073 markings/sec, 200 secs
lola: 618577 markings, 871086 edges, 3069 markings/sec, 205 secs
lola: 633918 markings, 890527 edges, 3068 markings/sec, 210 secs
lola: 649219 markings, 911109 edges, 3060 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(P_1155_10 + P_1155_1 + P_1155_2 + P_1155_3 + P_1155_4 + P_1155_5 + P_1155_6 + P_1155_7 + P_1155_8 + P_1155_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 18273 markings, 19002 edges, 3655 markings/sec, 0 secs
lola: 36482 markings, 38791 edges, 3642 markings/sec, 5 secs
lola: 54598 markings, 58838 edges, 3623 markings/sec, 10 secs
lola: 72744 markings, 78871 edges, 3629 markings/sec, 15 secs
lola: 90839 markings, 99597 edges, 3619 markings/sec, 20 secs
lola: 108914 markings, 120079 edges, 3615 markings/sec, 25 secs
lola: 126984 markings, 140682 edges, 3614 markings/sec, 30 secs
lola: 145000 markings, 161525 edges, 3603 markings/sec, 35 secs
lola: 163024 markings, 182523 edges, 3605 markings/sec, 40 secs
lola: 180959 markings, 203508 edges, 3587 markings/sec, 45 secs
lola: 199044 markings, 224511 edges, 3617 markings/sec, 50 secs
lola: 216955 markings, 245667 edges, 3582 markings/sec, 55 secs
lola: 234939 markings, 266935 edges, 3597 markings/sec, 60 secs
lola: 252894 markings, 288214 edges, 3591 markings/sec, 65 secs
lola: 270811 markings, 309801 edges, 3583 markings/sec, 70 secs
lola: 288534 markings, 330994 edges, 3545 markings/sec, 75 secs
lola: 306215 markings, 352331 edges, 3536 markings/sec, 80 secs
lola: 323869 markings, 373677 edges, 3531 markings/sec, 85 secs
lola: 341474 markings, 395177 edges, 3521 markings/sec, 90 secs
lola: 359054 markings, 416742 edges, 3516 markings/sec, 95 secs
lola: 376722 markings, 438228 edges, 3534 markings/sec, 100 secs
lola: 394375 markings, 459669 edges, 3531 markings/sec, 105 secs
lola: 411948 markings, 481482 edges, 3515 markings/sec, 110 secs
lola: 429482 markings, 503013 edges, 3507 markings/sec, 115 secs
lola: 447118 markings, 524681 edges, 3527 markings/sec, 120 secs
lola: 464651 markings, 546811 edges, 3507 markings/sec, 125 secs
lola: 482233 markings, 568844 edges, 3516 markings/sec, 130 secs
lola: 499813 markings, 590876 edges, 3516 markings/sec, 135 secs
lola: 517323 markings, 613154 edges, 3502 markings/sec, 140 secs
lola: 534863 markings, 635030 edges, 3508 markings/sec, 145 secs
lola: 551511 markings, 655944 edges, 3330 markings/sec, 150 secs
lola: 567557 markings, 676181 edges, 3209 markings/sec, 155 secs
lola: 585043 markings, 698882 edges, 3497 markings/sec, 160 secs
lola: 602863 markings, 721178 edges, 3564 markings/sec, 165 secs
lola: 620665 markings, 743499 edges, 3560 markings/sec, 170 secs
lola: 638444 markings, 766149 edges, 3556 markings/sec, 175 secs
lola: 656228 markings, 789032 edges, 3557 markings/sec, 180 secs
lola: 674012 markings, 811400 edges, 3557 markings/sec, 185 secs
lola: 691774 markings, 835254 edges, 3552 markings/sec, 190 secs
lola: 709549 markings, 857847 edges, 3555 markings/sec, 195 secs
lola: 727350 markings, 880832 edges, 3560 markings/sec, 200 secs
lola: 745170 markings, 903475 edges, 3564 markings/sec, 205 secs
lola: 762903 markings, 926091 edges, 3547 markings/sec, 210 secs
lola: 780651 markings, 948992 edges, 3550 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(NotifyEventJobCompletedE_10 + NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8 + NotifyEventJobCompletedE_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 15976 markings, 16547 edges, 3195 markings/sec, 0 secs
lola: 32403 markings, 33698 edges, 3285 markings/sec, 5 secs
lola: 48869 markings, 51137 edges, 3293 markings/sec, 10 secs
lola: 65372 markings, 68516 edges, 3301 markings/sec, 15 secs
lola: 81933 markings, 86141 edges, 3312 markings/sec, 20 secs
lola: 98372 markings, 103781 edges, 3288 markings/sec, 25 secs
lola: 114922 markings, 121498 edges, 3310 markings/sec, 30 secs
lola: 131372 markings, 139426 edges, 3290 markings/sec, 35 secs
lola: 147803 markings, 157221 edges, 3286 markings/sec, 40 secs
lola: 164346 markings, 175014 edges, 3309 markings/sec, 45 secs
lola: 180729 markings, 193105 edges, 3277 markings/sec, 50 secs
lola: 197286 markings, 210872 edges, 3311 markings/sec, 55 secs
lola: 213722 markings, 228744 edges, 3287 markings/sec, 60 secs
lola: 230145 markings, 246579 edges, 3285 markings/sec, 65 secs
lola: 246463 markings, 264790 edges, 3264 markings/sec, 70 secs
lola: 262978 markings, 282464 edges, 3303 markings/sec, 75 secs
lola: 279496 markings, 300440 edges, 3304 markings/sec, 80 secs
lola: 295960 markings, 318492 edges, 3293 markings/sec, 85 secs
lola: 312496 markings, 336446 edges, 3307 markings/sec, 90 secs
lola: 328892 markings, 354276 edges, 3279 markings/sec, 95 secs
lola: 344883 markings, 372026 edges, 3198 markings/sec, 100 secs
lola: 361227 markings, 389564 edges, 3269 markings/sec, 105 secs
lola: 377267 markings, 406838 edges, 3208 markings/sec, 110 secs
lola: 393426 markings, 424376 edges, 3232 markings/sec, 115 secs
lola: 409548 markings, 442157 edges, 3224 markings/sec, 120 secs
lola: 425679 markings, 459854 edges, 3226 markings/sec, 125 secs
lola: 441958 markings, 477609 edges, 3256 markings/sec, 130 secs
lola: 457935 markings, 494863 edges, 3195 markings/sec, 135 secs
lola: 474229 markings, 512334 edges, 3259 markings/sec, 140 secs
lola: 490635 markings, 530345 edges, 3281 markings/sec, 145 secs
lola: 507125 markings, 548706 edges, 3298 markings/sec, 150 secs
lola: 523490 markings, 566831 edges, 3273 markings/sec, 155 secs
lola: 539839 markings, 585708 edges, 3270 markings/sec, 160 secs
lola: 556276 markings, 603698 edges, 3287 markings/sec, 165 secs
lola: 572664 markings, 621445 edges, 3278 markings/sec, 170 secs
lola: 589001 markings, 640463 edges, 3267 markings/sec, 175 secs
lola: 605416 markings, 658885 edges, 3283 markings/sec, 180 secs
lola: 621852 markings, 676979 edges, 3287 markings/sec, 185 secs
lola: 638452 markings, 695221 edges, 3320 markings/sec, 190 secs
lola: 654883 markings, 713178 edges, 3286 markings/sec, 195 secs
lola: 671214 markings, 731695 edges, 3266 markings/sec, 200 secs
lola: 687553 markings, 749862 edges, 3268 markings/sec, 205 secs
lola: 703859 markings, 767455 edges, 3261 markings/sec, 210 secs
lola: 720315 markings, 786115 edges, 3291 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(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_3_3 + DisablePollingE_3_4 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_4_3 + DisablePollingE_4_4 + DisablePollingE_10_1 + DisablePollingE_10_2 + DisablePollingE_10_3 + DisablePollingE_10_4 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_5_3 + DisablePollingE_5_4 + DisablePollingE_6_1 + DisablePollingE_6_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 16091 markings, 17573 edges, 3218 markings/sec, 0 secs
lola: 32783 markings, 36304 edges, 3338 markings/sec, 5 secs
lola: 49416 markings, 55467 edges, 3327 markings/sec, 10 secs
lola: 66124 markings, 76819 edges, 3342 markings/sec, 15 secs
lola: 82632 markings, 96441 edges, 3302 markings/sec, 20 secs
lola: 99265 markings, 116895 edges, 3327 markings/sec, 25 secs
lola: 115750 markings, 137316 edges, 3297 markings/sec, 30 secs
lola: 132248 markings, 158103 edges, 3300 markings/sec, 35 secs
lola: 148845 markings, 178864 edges, 3319 markings/sec, 40 secs
lola: 165358 markings, 198842 edges, 3303 markings/sec, 45 secs
lola: 181809 markings, 219168 edges, 3290 markings/sec, 50 secs
lola: 198428 markings, 239264 edges, 3324 markings/sec, 55 secs
lola: 214008 markings, 260150 edges, 3116 markings/sec, 60 secs
lola: 228877 markings, 279336 edges, 2974 markings/sec, 65 secs
lola: 245063 markings, 300282 edges, 3237 markings/sec, 70 secs
lola: 261450 markings, 321443 edges, 3277 markings/sec, 75 secs
lola: 277724 markings, 343279 edges, 3255 markings/sec, 80 secs
lola: 294192 markings, 363717 edges, 3294 markings/sec, 85 secs
lola: 310585 markings, 384392 edges, 3279 markings/sec, 90 secs
lola: 326995 markings, 404671 edges, 3282 markings/sec, 95 secs
lola: 343396 markings, 426463 edges, 3280 markings/sec, 100 secs
lola: 359790 markings, 447850 edges, 3279 markings/sec, 105 secs
lola: 376253 markings, 468166 edges, 3293 markings/sec, 110 secs
lola: 392618 markings, 488479 edges, 3273 markings/sec, 115 secs
lola: 409087 markings, 509896 edges, 3294 markings/sec, 120 secs
lola: 425574 markings, 531335 edges, 3297 markings/sec, 125 secs
lola: 441909 markings, 552484 edges, 3267 markings/sec, 130 secs
lola: 458322 markings, 573093 edges, 3283 markings/sec, 135 secs
lola: 474672 markings, 594023 edges, 3270 markings/sec, 140 secs
lola: 491039 markings, 615948 edges, 3273 markings/sec, 145 secs
lola: 507518 markings, 637051 edges, 3296 markings/sec, 150 secs
lola: 523938 markings, 659125 edges, 3284 markings/sec, 155 secs
lola: 539482 markings, 678791 edges, 3109 markings/sec, 160 secs
lola: 555780 markings, 699406 edges, 3260 markings/sec, 165 secs
lola: 571938 markings, 719787 edges, 3232 markings/sec, 170 secs
lola: 588145 markings, 739945 edges, 3241 markings/sec, 175 secs
lola: 604426 markings, 760364 edges, 3256 markings/sec, 180 secs
lola: 620583 markings, 781116 edges, 3231 markings/sec, 185 secs
lola: 636865 markings, 803284 edges, 3256 markings/sec, 190 secs
lola: 653188 markings, 824643 edges, 3265 markings/sec, 195 secs
lola: 669376 markings, 845115 edges, 3238 markings/sec, 200 secs
lola: 685572 markings, 865930 edges, 3239 markings/sec, 205 secs
lola: 701826 markings, 886564 edges, 3251 markings/sec, 210 secs
lola: 718115 markings, 907450 edges, 3258 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Try_Check_Sources_B_1 + Try_Check_Sources_B_2 + Try_Check_Sources_B_3 + Try_Check_Sources_B_4 + Try_Check_Sources_B_5 + Try_Check_Sources_B_6 + Try_Check_Sources_B_7 + Try_Check_Sources_B_8 + Try_Check_Sources_B_9 + Try_Check_Sources_B_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 15796 markings, 17207 edges, 3159 markings/sec, 0 secs
lola: 32220 markings, 35680 edges, 3285 markings/sec, 5 secs
lola: 48526 markings, 53852 edges, 3261 markings/sec, 10 secs
lola: 64803 markings, 72007 edges, 3255 markings/sec, 15 secs
lola: 79041 markings, 88041 edges, 2848 markings/sec, 20 secs
lola: 95236 markings, 106220 edges, 3239 markings/sec, 25 secs
lola: 111550 markings, 124796 edges, 3263 markings/sec, 30 secs
lola: 127851 markings, 142849 edges, 3260 markings/sec, 35 secs
lola: 143968 markings, 160517 edges, 3223 markings/sec, 40 secs
lola: 160177 markings, 178703 edges, 3242 markings/sec, 45 secs
lola: 176503 markings, 198057 edges, 3265 markings/sec, 50 secs
lola: 192751 markings, 217419 edges, 3250 markings/sec, 55 secs
lola: 208853 markings, 235768 edges, 3220 markings/sec, 60 secs
lola: 225198 markings, 254726 edges, 3269 markings/sec, 65 secs
lola: 241463 markings, 273343 edges, 3253 markings/sec, 70 secs
lola: 257431 markings, 292292 edges, 3194 markings/sec, 75 secs
lola: 273578 markings, 311592 edges, 3229 markings/sec, 80 secs
lola: 289494 markings, 329945 edges, 3183 markings/sec, 85 secs
lola: 305519 markings, 348545 edges, 3205 markings/sec, 90 secs
lola: 321562 markings, 367442 edges, 3209 markings/sec, 95 secs
lola: 337760 markings, 386834 edges, 3240 markings/sec, 100 secs
lola: 353785 markings, 404997 edges, 3205 markings/sec, 105 secs
lola: 369988 markings, 424076 edges, 3241 markings/sec, 110 secs
lola: 386043 markings, 442787 edges, 3211 markings/sec, 115 secs
lola: 402277 markings, 462568 edges, 3247 markings/sec, 120 secs
lola: 417779 markings, 481068 edges, 3100 markings/sec, 125 secs
lola: 433723 markings, 499572 edges, 3189 markings/sec, 130 secs
lola: 449812 markings, 519381 edges, 3218 markings/sec, 135 secs
lola: 465930 markings, 538512 edges, 3224 markings/sec, 140 secs
lola: 481996 markings, 558497 edges, 3213 markings/sec, 145 secs
lola: 498028 markings, 577286 edges, 3206 markings/sec, 150 secs
lola: 514054 markings, 597680 edges, 3205 markings/sec, 155 secs
lola: 530127 markings, 617013 edges, 3215 markings/sec, 160 secs
lola: 546187 markings, 636500 edges, 3212 markings/sec, 165 secs
lola: 562174 markings, 655656 edges, 3197 markings/sec, 170 secs
lola: 578198 markings, 675174 edges, 3205 markings/sec, 175 secs
lola: 593863 markings, 693247 edges, 3133 markings/sec, 180 secs
lola: 609603 markings, 711980 edges, 3148 markings/sec, 185 secs
lola: 625609 markings, 731603 edges, 3201 markings/sec, 190 secs
lola: 641517 markings, 750816 edges, 3182 markings/sec, 195 secs
lola: 657612 markings, 769704 edges, 3219 markings/sec, 200 secs
lola: 673721 markings, 790042 edges, 3222 markings/sec, 205 secs
lola: 689644 markings, 809576 edges, 3185 markings/sec, 210 secs
lola: 705628 markings, 828871 edges, 3197 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 PolyORBLF-COL-S04J04T10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494704109995

--------------------
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="PolyORBLF-PT-S04J04T10"
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/PolyORBLF-PT-S04J04T10.tgz
mv PolyORBLF-PT-S04J04T10 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 PolyORBLF-PT-S04J04T10, 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 r048-smll-149440870000470"
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 ;