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)
..................
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 45K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 35K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 115K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 22K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 70K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 40K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 348 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 7 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.9M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-structural
Input is PolyORBNT-PT-S05J40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r127-smll-152673529400345
=====================================================================

--------------------
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-PT-S05J40-UpperBounds-00
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-01
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-02
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-03
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-04
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-05
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-06
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-07
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-08
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-09
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-10
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-11
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-12
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-13
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-14
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526881060405


BK_STOP 1526884646052

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

Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using PolyORBNT-PT-S05J40 as instance name.
Using PolyORBNT as model name.
Using algorithm or tool random-forest.
Model characteristics are: {'Examination': 'UpperBounds', 'Place/Transition': True, 'Colored': True, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': False, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': True, 'Source Place': False, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': False, 'Safe': False, 'Deadlock': True, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 3539253, 'Memory': 3958.3, 'Tool': 'lola'}, {'Time': 3539661, 'Memory': 3963.04, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'itstools'}].
UpperBounds lola PolyORBNT-PT-S05J40...

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


checking for too many tokens
===========================================================================================
PolyORBNT-PT-S05J40: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
UpperBounds @ PolyORBNT-PT-S05J40 @ 3540 seconds
----- Start make result stdout -----
----- Start make result stderr -----
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: 2219/65536 symbol table entries, 162 collisions
lola: preprocessing...
lola: finding significant places
lola: 629 places, 1590 transitions, 527 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1168 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-PT-S05J40-UpperBounds.task
lola: MAX(Perform_Work_E_1) : MAX(place_518_1) : MAX(place_458) : MAX(Try_Check_Sources_E_1) : MAX(NotifyEventJobQueuedE_1) : MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5) : MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5) : MAX(Try_Check_Sources_E_1) : MAX(TheSour_5) : MAX(FetchJobE_1_16) : MAX(QueueJobB_1_23) : MAX(CreatedJobs_8_2) : MAX(DataOnSrc_4) : MAX(f1_14) : MAX(CreatedJobs_27_2) : MAX(CreatedJobs_17_3)
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(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 2108 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: 71467 markings, 149220 edges, 14293 markings/sec, 0 secs
lola: 143538 markings, 298223 edges, 14414 markings/sec, 5 secs
lola: 230789 markings, 467004 edges, 17450 markings/sec, 10 secs
lola: 327170 markings, 639376 edges, 19276 markings/sec, 15 secs
lola: 422227 markings, 810576 edges, 19011 markings/sec, 20 secs
lola: 526849 markings, 980782 edges, 20924 markings/sec, 25 secs
lola: 636093 markings, 1146018 edges, 21849 markings/sec, 30 secs
lola: 711625 markings, 1279306 edges, 15106 markings/sec, 35 secs
lola: 807347 markings, 1449185 edges, 19144 markings/sec, 40 secs
lola: 902792 markings, 1619238 edges, 19089 markings/sec, 45 secs
lola: 1000242 markings, 1790630 edges, 19490 markings/sec, 50 secs
lola: 1109856 markings, 1955031 edges, 21923 markings/sec, 55 secs
lola: 1201689 markings, 2101365 edges, 18367 markings/sec, 60 secs
lola: 1286592 markings, 2254723 edges, 16981 markings/sec, 65 secs
lola: 1381828 markings, 2424086 edges, 19047 markings/sec, 70 secs
lola: 1475259 markings, 2591952 edges, 18686 markings/sec, 75 secs
lola: 1582001 markings, 2759975 edges, 21348 markings/sec, 80 secs
lola: 1691000 markings, 2926090 edges, 21800 markings/sec, 85 secs
lola: 1767062 markings, 3054037 edges, 15212 markings/sec, 90 secs
lola: 1872540 markings, 3217171 edges, 21096 markings/sec, 95 secs
lola: 1980545 markings, 3380129 edges, 21601 markings/sec, 100 secs
lola: 2059282 markings, 3512852 edges, 15747 markings/sec, 105 secs
lola: 2148694 markings, 3652691 edges, 17882 markings/sec, 110 secs
lola: 2255659 markings, 3813065 edges, 21393 markings/sec, 115 secs
lola: 2348444 markings, 3960189 edges, 18557 markings/sec, 120 secs
lola: 2437258 markings, 4103285 edges, 17763 markings/sec, 125 secs
lola: 2542649 markings, 4264458 edges, 21078 markings/sec, 130 secs
lola: 2648500 markings, 4428032 edges, 21170 markings/sec, 135 secs
lola: 2724910 markings, 4554410 edges, 15282 markings/sec, 140 secs
lola: 2830082 markings, 4716651 edges, 21034 markings/sec, 145 secs
lola: 2937509 markings, 4879983 edges, 21485 markings/sec, 150 secs
lola: 3015559 markings, 5010814 edges, 15610 markings/sec, 155 secs
lola: 3119800 markings, 5171993 edges, 20848 markings/sec, 160 secs
lola: 3227094 markings, 5334460 edges, 21459 markings/sec, 165 secs
lola: 3305505 markings, 5466189 edges, 15682 markings/sec, 170 secs
lola: 3409165 markings, 5626815 edges, 20732 markings/sec, 175 secs
lola: 3516062 markings, 5788225 edges, 21379 markings/sec, 180 secs
lola: 3595044 markings, 5921030 edges, 15796 markings/sec, 185 secs
lola: 3698434 markings, 6081470 edges, 20678 markings/sec, 190 secs
lola: 3804796 markings, 6242171 edges, 21272 markings/sec, 195 secs
lola: 3884352 markings, 6375553 edges, 15911 markings/sec, 200 secs
lola: 3987272 markings, 6535141 edges, 20584 markings/sec, 205 secs
lola: 4092128 markings, 6693731 edges, 20971 markings/sec, 210 secs
lola: 4170662 markings, 6825537 edges, 15707 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_518_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 100475 markings, 194226 edges, 20095 markings/sec, 0 secs
lola: 209969 markings, 397325 edges, 21899 markings/sec, 5 secs
lola: 317062 markings, 597248 edges, 21419 markings/sec, 10 secs
lola: 424294 markings, 797203 edges, 21446 markings/sec, 15 secs
lola: 531762 markings, 990337 edges, 21494 markings/sec, 20 secs
lola: 639509 markings, 1185513 edges, 21549 markings/sec, 25 secs
lola: 714359 markings, 1328785 edges, 14970 markings/sec, 30 secs
lola: 812395 markings, 1530211 edges, 19607 markings/sec, 35 secs
lola: 910483 markings, 1731941 edges, 19618 markings/sec, 40 secs
lola: 1006682 markings, 1931067 edges, 19240 markings/sec, 45 secs
lola: 1112223 markings, 2130876 edges, 21108 markings/sec, 50 secs
lola: 1219575 markings, 2323725 edges, 21470 markings/sec, 55 secs
lola: 1327148 markings, 2518543 edges, 21515 markings/sec, 60 secs
lola: 1402363 markings, 2660595 edges, 15043 markings/sec, 65 secs
lola: 1499210 markings, 2859460 edges, 19369 markings/sec, 70 secs
lola: 1596119 markings, 3058827 edges, 19382 markings/sec, 75 secs
lola: 1691482 markings, 3256163 edges, 19073 markings/sec, 80 secs
lola: 1796713 markings, 3455442 edges, 21046 markings/sec, 85 secs
lola: 1903703 markings, 3647623 edges, 21398 markings/sec, 90 secs
lola: 2011035 markings, 3841956 edges, 21466 markings/sec, 95 secs
lola: 2087442 markings, 3983237 edges, 15281 markings/sec, 100 secs
lola: 2192398 markings, 4175904 edges, 20991 markings/sec, 105 secs
lola: 2299302 markings, 4371395 edges, 21381 markings/sec, 110 secs
lola: 2405279 markings, 4561859 edges, 21195 markings/sec, 115 secs
lola: 2512524 markings, 4757490 edges, 21449 markings/sec, 120 secs
lola: 2589116 markings, 4898564 edges, 15318 markings/sec, 125 secs
lola: 2692567 markings, 5090833 edges, 20690 markings/sec, 130 secs
lola: 2798845 markings, 5282027 edges, 21256 markings/sec, 135 secs
lola: 2903525 markings, 5470531 edges, 20936 markings/sec, 140 secs
lola: 3002045 markings, 5650795 edges, 19704 markings/sec, 145 secs
lola: 3084963 markings, 5803284 edges, 16584 markings/sec, 150 secs
lola: 3188587 markings, 5995859 edges, 20725 markings/sec, 155 secs
lola: 3293341 markings, 6183727 edges, 20951 markings/sec, 160 secs
lola: 3397059 markings, 6370720 edges, 20744 markings/sec, 165 secs
lola: 3487180 markings, 6534999 edges, 18024 markings/sec, 170 secs
lola: 3578549 markings, 6704146 edges, 18274 markings/sec, 175 secs
lola: 3683069 markings, 6897228 edges, 20904 markings/sec, 180 secs
lola: 3788498 markings, 7086641 edges, 21086 markings/sec, 185 secs
lola: 3894239 markings, 7278167 edges, 21148 markings/sec, 190 secs
lola: 3972669 markings, 7423604 edges, 15686 markings/sec, 195 secs
lola: 4076079 markings, 7614045 edges, 20682 markings/sec, 200 secs
lola: 4181919 markings, 7806730 edges, 21168 markings/sec, 205 secs
lola: 4286951 markings, 7995850 edges, 21006 markings/sec, 210 secs
lola: 4384318 markings, 8173869 edges, 19473 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(place_458)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 84926 markings, 202905 edges, 16985 markings/sec, 0 secs
lola: 174532 markings, 411824 edges, 17921 markings/sec, 5 secs
lola: 264445 markings, 622730 edges, 17983 markings/sec, 10 secs
lola: 360754 markings, 838239 edges, 19262 markings/sec, 15 secs
lola: 458840 markings, 1046423 edges, 19617 markings/sec, 20 secs
lola: 555599 markings, 1252386 edges, 19352 markings/sec, 25 secs
lola: 654217 markings, 1458582 edges, 19724 markings/sec, 30 secs
lola: 763182 markings, 1654027 edges, 21793 markings/sec, 35 secs
lola: 870951 markings, 1848217 edges, 21554 markings/sec, 40 secs
lola: 962866 markings, 2015570 edges, 18383 markings/sec, 45 secs
lola: 1047289 markings, 2194469 edges, 16885 markings/sec, 50 secs
lola: 1144574 markings, 2401032 edges, 19457 markings/sec, 55 secs
lola: 1240923 markings, 2606118 edges, 19270 markings/sec, 60 secs
lola: 1338945 markings, 2812549 edges, 19604 markings/sec, 65 secs
lola: 1448169 markings, 3008457 edges, 21845 markings/sec, 70 secs
lola: 1555893 markings, 3202491 edges, 21545 markings/sec, 75 secs
lola: 1649829 markings, 3373733 edges, 18787 markings/sec, 80 secs
lola: 1732357 markings, 3544862 edges, 16506 markings/sec, 85 secs
lola: 1828489 markings, 3748985 edges, 19226 markings/sec, 90 secs
lola: 1923740 markings, 3951677 edges, 19050 markings/sec, 95 secs
lola: 2019968 markings, 4155620 edges, 19246 markings/sec, 100 secs
lola: 2129301 markings, 4351679 edges, 21867 markings/sec, 105 secs
lola: 2236537 markings, 4544812 edges, 21447 markings/sec, 110 secs
lola: 2332386 markings, 4719623 edges, 19170 markings/sec, 115 secs
lola: 2419624 markings, 4880529 edges, 17448 markings/sec, 120 secs
lola: 2525322 markings, 5076468 edges, 21140 markings/sec, 125 secs
lola: 2632419 markings, 5268640 edges, 21419 markings/sec, 130 secs
lola: 2739161 markings, 5461306 edges, 21348 markings/sec, 135 secs
lola: 2822778 markings, 5613587 edges, 16723 markings/sec, 140 secs
lola: 2921658 markings, 5796820 edges, 19776 markings/sec, 145 secs
lola: 3026859 markings, 5990721 edges, 21040 markings/sec, 150 secs
lola: 3131815 markings, 6179212 edges, 20991 markings/sec, 155 secs
lola: 3237506 markings, 6370398 edges, 21138 markings/sec, 160 secs
lola: 3313905 markings, 6511987 edges, 15280 markings/sec, 165 secs
lola: 3418188 markings, 6703216 edges, 20857 markings/sec, 170 secs
lola: 3523316 markings, 6895855 edges, 21026 markings/sec, 175 secs
lola: 3627171 markings, 7082494 edges, 20771 markings/sec, 180 secs
lola: 3732708 markings, 7274208 edges, 21107 markings/sec, 185 secs
lola: 3808950 markings, 7415152 edges, 15248 markings/sec, 190 secs
lola: 3912811 markings, 7607390 edges, 20772 markings/sec, 195 secs
lola: 4019547 markings, 7800421 edges, 21347 markings/sec, 200 secs
lola: 4125061 markings, 7990590 edges, 21103 markings/sec, 205 secs
lola: 4217557 markings, 8159360 edges, 18499 markings/sec, 210 secs
lola: 4308791 markings, 8328255 edges, 18247 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(Try_Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 104721 markings, 197923 edges, 20944 markings/sec, 0 secs
lola: 214459 markings, 398341 edges, 21948 markings/sec, 5 secs
lola: 321854 markings, 597968 edges, 21479 markings/sec, 10 secs
lola: 432253 markings, 792365 edges, 22080 markings/sec, 15 secs
lola: 542660 markings, 983304 edges, 22081 markings/sec, 20 secs
lola: 631564 markings, 1140405 edges, 17781 markings/sec, 25 secs
lola: 720869 markings, 1323857 edges, 17861 markings/sec, 30 secs
lola: 819498 markings, 1525013 edges, 19726 markings/sec, 35 secs
lola: 916455 markings, 1723688 edges, 19391 markings/sec, 40 secs
lola: 1021440 markings, 1921691 edges, 20997 markings/sec, 45 secs
lola: 1131352 markings, 2111237 edges, 21982 markings/sec, 50 secs
lola: 1241527 markings, 2305643 edges, 22035 markings/sec, 55 secs
lola: 1313851 markings, 2445282 edges, 14465 markings/sec, 60 secs
lola: 1411092 markings, 2643465 edges, 19448 markings/sec, 65 secs
lola: 1507907 markings, 2841302 edges, 19363 markings/sec, 70 secs
lola: 1605986 markings, 3039906 edges, 19616 markings/sec, 75 secs
lola: 1717423 markings, 3231768 edges, 22287 markings/sec, 80 secs
lola: 1826749 markings, 3421288 edges, 21865 markings/sec, 85 secs
lola: 1904634 markings, 3562101 edges, 15577 markings/sec, 90 secs
lola: 2011764 markings, 3751420 edges, 21426 markings/sec, 95 secs
lola: 2121803 markings, 3944140 edges, 22008 markings/sec, 100 secs
lola: 2231001 markings, 4133055 edges, 21840 markings/sec, 105 secs
lola: 2318554 markings, 4288033 edges, 17511 markings/sec, 110 secs
lola: 2417280 markings, 4464725 edges, 19745 markings/sec, 115 secs
lola: 2525125 markings, 4654834 edges, 21569 markings/sec, 120 secs
lola: 2632790 markings, 4840783 edges, 21533 markings/sec, 125 secs
lola: 2729744 markings, 5011895 edges, 19391 markings/sec, 130 secs
lola: 2817746 markings, 5169347 edges, 17600 markings/sec, 135 secs
lola: 2924612 markings, 5358921 edges, 21373 markings/sec, 140 secs
lola: 3031333 markings, 5542970 edges, 21344 markings/sec, 145 secs
lola: 3139513 markings, 5733964 edges, 21636 markings/sec, 150 secs
lola: 3216336 markings, 5871039 edges, 15365 markings/sec, 155 secs
lola: 3322939 markings, 6060858 edges, 21321 markings/sec, 160 secs
lola: 3431452 markings, 6248009 edges, 21703 markings/sec, 165 secs
lola: 3540691 markings, 6439869 edges, 21848 markings/sec, 170 secs
lola: 3614680 markings, 6573002 edges, 14798 markings/sec, 175 secs
lola: 3720785 markings, 6762083 edges, 21221 markings/sec, 180 secs
lola: 3829294 markings, 6949169 edges, 21702 markings/sec, 185 secs
lola: 3938338 markings, 7140113 edges, 21809 markings/sec, 190 secs
lola: 4016772 markings, 7281499 edges, 15687 markings/sec, 195 secs
lola: 4122642 markings, 7470174 edges, 21174 markings/sec, 200 secs
lola: 4230817 markings, 7656694 edges, 21635 markings/sec, 205 secs
lola: 4339688 markings, 7847400 edges, 21774 markings/sec, 210 secs
lola: 4418101 markings, 7988792 edges, 15683 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(NotifyEventJobQueuedE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 31354 markings, 78324 edges, 6271 markings/sec, 0 secs
lola: 64389 markings, 155185 edges, 6607 markings/sec, 5 secs
lola: 97441 markings, 232163 edges, 6610 markings/sec, 10 secs
lola: 130244 markings, 308602 edges, 6561 markings/sec, 15 secs
lola: 162940 markings, 384821 edges, 6539 markings/sec, 20 secs
lola: 195614 markings, 461241 edges, 6535 markings/sec, 25 secs
lola: 228418 markings, 538116 edges, 6561 markings/sec, 30 secs
lola: 261275 markings, 615481 edges, 6571 markings/sec, 35 secs
lola: 294255 markings, 696284 edges, 6596 markings/sec, 40 secs
lola: 329881 markings, 776817 edges, 7125 markings/sec, 45 secs
lola: 366996 markings, 856336 edges, 7423 markings/sec, 50 secs
lola: 404070 markings, 935878 edges, 7415 markings/sec, 55 secs
lola: 441049 markings, 1015386 edges, 7396 markings/sec, 60 secs
lola: 478128 markings, 1095273 edges, 7416 markings/sec, 65 secs
lola: 515004 markings, 1175068 edges, 7375 markings/sec, 70 secs
lola: 549949 markings, 1251089 edges, 6989 markings/sec, 75 secs
lola: 586328 markings, 1331605 edges, 7276 markings/sec, 80 secs
lola: 626131 markings, 1414484 edges, 7961 markings/sec, 85 secs
lola: 678745 markings, 1496980 edges, 10523 markings/sec, 90 secs
lola: 730896 markings, 1579194 edges, 10430 markings/sec, 95 secs
lola: 783085 markings, 1662224 edges, 10438 markings/sec, 100 secs
lola: 835207 markings, 1747343 edges, 10424 markings/sec, 105 secs
lola: 881215 markings, 1840737 edges, 9202 markings/sec, 110 secs
lola: 918608 markings, 1925977 edges, 7479 markings/sec, 115 secs
lola: 955415 markings, 2002158 edges, 7361 markings/sec, 120 secs
lola: 992108 markings, 2078190 edges, 7339 markings/sec, 125 secs
lola: 1028786 markings, 2154284 edges, 7336 markings/sec, 130 secs
lola: 1065567 markings, 2230854 edges, 7356 markings/sec, 135 secs
lola: 1102242 markings, 2307471 edges, 7335 markings/sec, 140 secs
lola: 1138693 markings, 2384019 edges, 7290 markings/sec, 145 secs
lola: 1175064 markings, 2461509 edges, 7274 markings/sec, 150 secs
lola: 1212640 markings, 2543401 edges, 7515 markings/sec, 155 secs
lola: 1264277 markings, 2625561 edges, 10327 markings/sec, 160 secs
lola: 1316537 markings, 2707817 edges, 10452 markings/sec, 165 secs
lola: 1368539 markings, 2790354 edges, 10400 markings/sec, 170 secs
lola: 1418923 markings, 2871785 edges, 10077 markings/sec, 175 secs
lola: 1467406 markings, 2964524 edges, 9697 markings/sec, 180 secs
lola: 1507164 markings, 3052675 edges, 7952 markings/sec, 185 secs
lola: 1543958 markings, 3128741 edges, 7359 markings/sec, 190 secs
lola: 1580621 markings, 3204696 edges, 7333 markings/sec, 195 secs
lola: 1617255 markings, 3280690 edges, 7327 markings/sec, 200 secs
lola: 1654089 markings, 3357325 edges, 7367 markings/sec, 205 secs
lola: 1690814 markings, 3433934 edges, 7345 markings/sec, 210 secs
lola: 1727195 markings, 3510334 edges, 7276 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(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 72170 markings, 150644 edges, 14434 markings/sec, 0 secs
lola: 144387 markings, 300008 edges, 14443 markings/sec, 5 secs
lola: 231834 markings, 468829 edges, 17489 markings/sec, 10 secs
lola: 328312 markings, 641406 edges, 19296 markings/sec, 15 secs
lola: 423564 markings, 813025 edges, 19050 markings/sec, 20 secs
lola: 528293 markings, 982984 edges, 20946 markings/sec, 25 secs
lola: 637744 markings, 1148580 edges, 21890 markings/sec, 30 secs
lola: 712955 markings, 1281653 edges, 15042 markings/sec, 35 secs
lola: 808770 markings, 1451673 edges, 19163 markings/sec, 40 secs
lola: 904141 markings, 1621632 edges, 19074 markings/sec, 45 secs
lola: 1002195 markings, 1793519 edges, 19611 markings/sec, 50 secs
lola: 1112121 markings, 1958440 edges, 21985 markings/sec, 55 secs
lola: 1200640 markings, 2099540 edges, 17704 markings/sec, 60 secs
lola: 1283734 markings, 2249709 edges, 16619 markings/sec, 65 secs
lola: 1377822 markings, 2416934 edges, 18818 markings/sec, 70 secs
lola: 1470430 markings, 2583075 edges, 18522 markings/sec, 75 secs
lola: 1575176 markings, 2749722 edges, 20949 markings/sec, 80 secs
lola: 1682967 markings, 2913313 edges, 21558 markings/sec, 85 secs
lola: 1758079 markings, 3040300 edges, 15022 markings/sec, 90 secs
lola: 1857227 markings, 3194289 edges, 19830 markings/sec, 95 secs
lola: 1964294 markings, 3355330 edges, 21413 markings/sec, 100 secs
lola: 2045476 markings, 3488754 edges, 16236 markings/sec, 105 secs
lola: 2143333 markings, 3644671 edges, 19571 markings/sec, 110 secs
lola: 2249228 markings, 3803369 edges, 21179 markings/sec, 115 secs
lola: 2344268 markings, 3953016 edges, 19008 markings/sec, 120 secs
lola: 2428766 markings, 4089946 edges, 16900 markings/sec, 125 secs
lola: 2532707 markings, 4249518 edges, 20788 markings/sec, 130 secs
lola: 2637509 markings, 4409035 edges, 20960 markings/sec, 135 secs
lola: 2712932 markings, 4536012 edges, 15085 markings/sec, 140 secs
lola: 2816106 markings, 4695714 edges, 20635 markings/sec, 145 secs
lola: 2922404 markings, 4856452 edges, 21260 markings/sec, 150 secs
lola: 3000121 markings, 4987224 edges, 15543 markings/sec, 155 secs
lola: 3102301 markings, 5145770 edges, 20436 markings/sec, 160 secs
lola: 3208603 markings, 5306007 edges, 21260 markings/sec, 165 secs
lola: 3286774 markings, 5437649 edges, 15634 markings/sec, 170 secs
lola: 3388072 markings, 5595235 edges, 20260 markings/sec, 175 secs
lola: 3493755 markings, 5754165 edges, 21137 markings/sec, 180 secs
lola: 3575916 markings, 5888548 edges, 16432 markings/sec, 185 secs
lola: 3673875 markings, 6044694 edges, 19592 markings/sec, 190 secs
lola: 3779204 markings, 6203069 edges, 21066 markings/sec, 195 secs
lola: 3861032 markings, 6337177 edges, 16366 markings/sec, 200 secs
lola: 3959293 markings, 6493285 edges, 19652 markings/sec, 205 secs
lola: 4063100 markings, 6649353 edges, 20761 markings/sec, 210 secs
lola: 4144512 markings, 6782578 edges, 16282 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(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 69364 markings, 144848 edges, 13873 markings/sec, 0 secs
lola: 140789 markings, 292479 edges, 14285 markings/sec, 5 secs
lola: 225871 markings, 458192 edges, 17016 markings/sec, 10 secs
lola: 321336 markings, 628932 edges, 19093 markings/sec, 15 secs
lola: 415324 markings, 798028 edges, 18798 markings/sec, 20 secs
lola: 517293 markings, 966497 edges, 20394 markings/sec, 25 secs
lola: 623570 markings, 1126770 edges, 21255 markings/sec, 30 secs
lola: 698170 markings, 1254449 edges, 14920 markings/sec, 35 secs
lola: 791591 markings, 1421185 edges, 18684 markings/sec, 40 secs
lola: 885987 markings, 1589179 edges, 18879 markings/sec, 45 secs
lola: 979939 markings, 1758732 edges, 18790 markings/sec, 50 secs
lola: 1088018 markings, 1922118 edges, 21616 markings/sec, 55 secs
lola: 1189380 markings, 2080156 edges, 20272 markings/sec, 60 secs
lola: 1265102 markings, 2216657 edges, 15144 markings/sec, 65 secs
lola: 1359120 markings, 2383655 edges, 18804 markings/sec, 70 secs
lola: 1451932 markings, 2549547 edges, 18562 markings/sec, 75 secs
lola: 1553263 markings, 2716915 edges, 20266 markings/sec, 80 secs
lola: 1661097 markings, 2879519 edges, 21567 markings/sec, 85 secs
lola: 1737492 markings, 3008974 edges, 15279 markings/sec, 90 secs
lola: 1839526 markings, 3167835 edges, 20407 markings/sec, 95 secs
lola: 1946522 markings, 3328378 edges, 21399 markings/sec, 100 secs
lola: 2035946 markings, 3471245 edges, 17885 markings/sec, 105 secs
lola: 2126321 markings, 3616242 edges, 18075 markings/sec, 110 secs
lola: 2231139 markings, 3776153 edges, 20964 markings/sec, 115 secs
lola: 2334437 markings, 3936282 edges, 20660 markings/sec, 120 secs
lola: 2411116 markings, 4062646 edges, 15336 markings/sec, 125 secs
lola: 2514007 markings, 4221472 edges, 20578 markings/sec, 130 secs
lola: 2618237 markings, 4379005 edges, 20846 markings/sec, 135 secs
lola: 2694286 markings, 4507564 edges, 15210 markings/sec, 140 secs
lola: 2796254 markings, 4665981 edges, 20394 markings/sec, 145 secs
lola: 2902054 markings, 4825260 edges, 21160 markings/sec, 150 secs
lola: 2980636 markings, 4957572 edges, 15716 markings/sec, 155 secs
lola: 3081397 markings, 5114547 edges, 20152 markings/sec, 160 secs
lola: 3187341 markings, 5273674 edges, 21189 markings/sec, 165 secs
lola: 3272485 markings, 5411238 edges, 17029 markings/sec, 170 secs
lola: 3365786 markings, 5561983 edges, 18660 markings/sec, 175 secs
lola: 3471601 markings, 5720650 edges, 21163 markings/sec, 180 secs
lola: 3564030 markings, 5867032 edges, 18486 markings/sec, 185 secs
lola: 3651646 markings, 6008853 edges, 17523 markings/sec, 190 secs
lola: 3756076 markings, 6168075 edges, 20886 markings/sec, 195 secs
lola: 3848689 markings, 6314606 edges, 18523 markings/sec, 200 secs
lola: 3936260 markings, 6456293 edges, 17514 markings/sec, 205 secs
lola: 4039336 markings, 6613373 edges, 20615 markings/sec, 210 secs
lola: 4131765 markings, 6759476 edges, 18486 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(Try_Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 105677 markings, 199624 edges, 21135 markings/sec, 0 secs
lola: 216333 markings, 401735 edges, 22131 markings/sec, 5 secs
lola: 319731 markings, 593240 edges, 20680 markings/sec, 10 secs
lola: 429552 markings, 787698 edges, 21964 markings/sec, 15 secs
lola: 539074 markings, 977075 edges, 21904 markings/sec, 20 secs
lola: 629465 markings, 1136685 edges, 18078 markings/sec, 25 secs
lola: 717008 markings, 1316069 edges, 17509 markings/sec, 30 secs
lola: 815080 markings, 1515974 edges, 19614 markings/sec, 35 secs
lola: 911761 markings, 1713967 edges, 19336 markings/sec, 40 secs
lola: 1015571 markings, 1911598 edges, 20762 markings/sec, 45 secs
lola: 1125037 markings, 2100236 edges, 21893 markings/sec, 50 secs
lola: 1234937 markings, 2292566 edges, 21980 markings/sec, 55 secs
lola: 1307421 markings, 2432226 edges, 14497 markings/sec, 60 secs
lola: 1404259 markings, 2629562 edges, 19368 markings/sec, 65 secs
lola: 1500679 markings, 2826482 edges, 19284 markings/sec, 70 secs
lola: 1596816 markings, 3022832 edges, 19227 markings/sec, 75 secs
lola: 1705703 markings, 3211553 edges, 21777 markings/sec, 80 secs
lola: 1814775 markings, 3400376 edges, 21814 markings/sec, 85 secs
lola: 1898054 markings, 3548028 edges, 16656 markings/sec, 90 secs
lola: 1998975 markings, 3728491 edges, 20184 markings/sec, 95 secs
lola: 2107574 markings, 3919652 edges, 21720 markings/sec, 100 secs
lola: 2216100 markings, 4107166 edges, 21705 markings/sec, 105 secs
lola: 2309597 markings, 4272200 edges, 18699 markings/sec, 110 secs
lola: 2397938 markings, 4430435 edges, 17668 markings/sec, 115 secs
lola: 2503046 markings, 4616810 edges, 21022 markings/sec, 120 secs
lola: 2607755 markings, 4797411 edges, 20942 markings/sec, 125 secs
lola: 2712254 markings, 4980541 edges, 20900 markings/sec, 130 secs
lola: 2789007 markings, 5118766 edges, 15351 markings/sec, 135 secs
lola: 2895660 markings, 5309085 edges, 21331 markings/sec, 140 secs
lola: 3004034 markings, 5495769 edges, 21675 markings/sec, 145 secs
lola: 3112272 markings, 5683942 edges, 21648 markings/sec, 150 secs
lola: 3190816 markings, 5826169 edges, 15709 markings/sec, 155 secs
lola: 3297354 markings, 6016830 edges, 21308 markings/sec, 160 secs
lola: 3407510 markings, 6206585 edges, 22031 markings/sec, 165 secs
lola: 3517274 markings, 6397524 edges, 21953 markings/sec, 170 secs
lola: 3597493 markings, 6542750 edges, 16044 markings/sec, 175 secs
lola: 3704266 markings, 6733669 edges, 21355 markings/sec, 180 secs
lola: 3814180 markings, 6923030 edges, 21983 markings/sec, 185 secs
lola: 3924149 markings, 7114552 edges, 21994 markings/sec, 190 secs
lola: 4004031 markings, 7259093 edges, 15976 markings/sec, 195 secs
lola: 4110764 markings, 7449749 edges, 21347 markings/sec, 200 secs
lola: 4220114 markings, 7638174 edges, 21870 markings/sec, 205 secs
lola: 4329722 markings, 7829309 edges, 21922 markings/sec, 210 secs
lola: 4409547 markings, 7973703 edges, 15965 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(TheSour_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 71523 markings, 149335 edges, 14305 markings/sec, 0 secs
lola: 142854 markings, 296853 edges, 14266 markings/sec, 5 secs
lola: 229697 markings, 465056 edges, 17369 markings/sec, 10 secs
lola: 326463 markings, 638120 edges, 19353 markings/sec, 15 secs
lola: 421871 markings, 809916 edges, 19082 markings/sec, 20 secs
lola: 525684 markings, 979056 edges, 20763 markings/sec, 25 secs
lola: 633494 markings, 1142001 edges, 21562 markings/sec, 30 secs
lola: 708114 markings, 1273003 edges, 14924 markings/sec, 35 secs
lola: 804359 markings, 1443838 edges, 19249 markings/sec, 40 secs
lola: 900227 markings, 1614633 edges, 19174 markings/sec, 45 secs
lola: 997955 markings, 1787182 edges, 19546 markings/sec, 50 secs
lola: 1106424 markings, 1949842 edges, 21694 markings/sec, 55 secs
lola: 1199099 markings, 2096791 edges, 18535 markings/sec, 60 secs
lola: 1282067 markings, 2246727 edges, 16594 markings/sec, 65 secs
lola: 1377719 markings, 2416764 edges, 19130 markings/sec, 70 secs
lola: 1471601 markings, 2585213 edges, 18776 markings/sec, 75 secs
lola: 1576932 markings, 2752344 edges, 21066 markings/sec, 80 secs
lola: 1684141 markings, 2915176 edges, 21442 markings/sec, 85 secs
lola: 1758988 markings, 3041683 edges, 14969 markings/sec, 90 secs
lola: 1862860 markings, 3202701 edges, 20774 markings/sec, 95 secs
lola: 1969940 markings, 3363936 edges, 21416 markings/sec, 100 secs
lola: 2048347 markings, 3494893 edges, 15681 markings/sec, 105 secs
lola: 2149080 markings, 3653287 edges, 20147 markings/sec, 110 secs
lola: 2254845 markings, 3811867 edges, 21153 markings/sec, 115 secs
lola: 2347303 markings, 3958244 edges, 18492 markings/sec, 120 secs
lola: 2434058 markings, 4098246 edges, 17351 markings/sec, 125 secs
lola: 2538205 markings, 4257783 edges, 20829 markings/sec, 130 secs
lola: 2643549 markings, 4418833 edges, 21069 markings/sec, 135 secs
lola: 2718243 markings, 4544160 edges, 14939 markings/sec, 140 secs
lola: 2822074 markings, 4704642 edges, 20766 markings/sec, 145 secs
lola: 2928448 markings, 4865753 edges, 21275 markings/sec, 150 secs
lola: 3005547 markings, 4995492 edges, 15420 markings/sec, 155 secs
lola: 3108279 markings, 5154750 edges, 20546 markings/sec, 160 secs
lola: 3214390 markings, 5314885 edges, 21222 markings/sec, 165 secs
lola: 3292177 markings, 5445891 edges, 15557 markings/sec, 170 secs
lola: 3393633 markings, 5603574 edges, 20291 markings/sec, 175 secs
lola: 3499504 markings, 5762909 edges, 21174 markings/sec, 180 secs
lola: 3578916 markings, 5894716 edges, 15882 markings/sec, 185 secs
lola: 3679596 markings, 6053277 edges, 20136 markings/sec, 190 secs
lola: 3785186 markings, 6212180 edges, 21118 markings/sec, 195 secs
lola: 3864307 markings, 6345046 edges, 15824 markings/sec, 200 secs
lola: 3965494 markings, 6502546 edges, 20237 markings/sec, 205 secs
lola: 4069210 markings, 6658652 edges, 20743 markings/sec, 210 secs
lola: 4147783 markings, 6789755 edges, 15715 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(FetchJobE_1_16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 72668 markings, 151649 edges, 14534 markings/sec, 0 secs
lola: 144936 markings, 301171 edges, 14454 markings/sec, 5 secs
lola: 235138 markings, 474796 edges, 18040 markings/sec, 10 secs
lola: 334964 markings, 653371 edges, 19965 markings/sec, 15 secs
lola: 432992 markings, 830254 edges, 19606 markings/sec, 20 secs
lola: 540287 markings, 1000952 edges, 21459 markings/sec, 25 secs
lola: 649502 markings, 1166955 edges, 21843 markings/sec, 30 secs
lola: 723451 markings, 1300293 edges, 14790 markings/sec, 35 secs
lola: 822275 markings, 1475715 edges, 19765 markings/sec, 40 secs
lola: 920490 markings, 1650935 edges, 19643 markings/sec, 45 secs
lola: 1023182 markings, 1824905 edges, 20538 markings/sec, 50 secs
lola: 1132249 markings, 1988973 edges, 21813 markings/sec, 55 secs
lola: 1212941 markings, 2121797 edges, 16138 markings/sec, 60 secs
lola: 1307981 markings, 2292724 edges, 19008 markings/sec, 65 secs
lola: 1405723 markings, 2466715 edges, 19548 markings/sec, 70 secs
lola: 1502821 markings, 2641537 edges, 19420 markings/sec, 75 secs
lola: 1612354 markings, 2805596 edges, 21907 markings/sec, 80 secs
lola: 1710209 markings, 2959320 edges, 19571 markings/sec, 85 secs
lola: 1794376 markings, 3096084 edges, 16833 markings/sec, 90 secs
lola: 1900793 markings, 3259521 edges, 21283 markings/sec, 95 secs
lola: 2008528 markings, 3423756 edges, 21547 markings/sec, 100 secs
lola: 2084625 markings, 3551490 edges, 15219 markings/sec, 105 secs
lola: 2188946 markings, 3712833 edges, 20864 markings/sec, 110 secs
lola: 2294818 markings, 3872537 edges, 21174 markings/sec, 115 secs
lola: 2371658 markings, 4002405 edges, 15368 markings/sec, 120 secs
lola: 2474039 markings, 4161692 edges, 20476 markings/sec, 125 secs
lola: 2579434 markings, 4319900 edges, 21079 markings/sec, 130 secs
lola: 2667943 markings, 4461455 edges, 17702 markings/sec, 135 secs
lola: 2758821 markings, 4607691 edges, 18176 markings/sec, 140 secs
lola: 2865799 markings, 4770367 edges, 21396 markings/sec, 145 secs
lola: 2961830 markings, 4921605 edges, 19206 markings/sec, 150 secs
lola: 3047990 markings, 5061078 edges, 17232 markings/sec, 155 secs
lola: 3153673 markings, 5222840 edges, 21137 markings/sec, 160 secs
lola: 3255255 markings, 5381149 edges, 20316 markings/sec, 165 secs
lola: 3336255 markings, 5513504 edges, 16200 markings/sec, 170 secs
lola: 3441028 markings, 5674602 edges, 20955 markings/sec, 175 secs
lola: 3547876 markings, 5838733 edges, 21370 markings/sec, 180 secs
lola: 3623245 markings, 5964273 edges, 15074 markings/sec, 185 secs
lola: 3727307 markings, 6124748 edges, 20812 markings/sec, 190 secs
lola: 3833096 markings, 6287173 edges, 21158 markings/sec, 195 secs
lola: 3910087 markings, 6415090 edges, 15398 markings/sec, 200 secs
lola: 4012626 markings, 6573187 edges, 20508 markings/sec, 205 secs
lola: 4118048 markings, 6735421 edges, 21084 markings/sec, 210 secs
lola: 4194555 markings, 6862244 edges, 15301 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(QueueJobB_1_23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 75121 markings, 175575 edges, 15024 markings/sec, 0 secs
lola: 152226 markings, 355940 edges, 15421 markings/sec, 5 secs
lola: 229069 markings, 535717 edges, 15369 markings/sec, 10 secs
lola: 306885 markings, 725326 edges, 15563 markings/sec, 15 secs
lola: 391116 markings, 905448 edges, 16846 markings/sec, 20 secs
lola: 475010 markings, 1085573 edges, 16779 markings/sec, 25 secs
lola: 567954 markings, 1263981 edges, 18589 markings/sec, 30 secs
lola: 673321 markings, 1422140 edges, 21073 markings/sec, 35 secs
lola: 754387 markings, 1560353 edges, 16213 markings/sec, 40 secs
lola: 800671 markings, 1675974 edges, 9257 markings/sec, 45 secs
lola: 884729 markings, 1848073 edges, 16812 markings/sec, 50 secs
lola: 968851 markings, 2020989 edges, 16824 markings/sec, 55 secs
lola: 1062046 markings, 2194311 edges, 18639 markings/sec, 60 secs
lola: 1169648 markings, 2355836 edges, 21520 markings/sec, 65 secs
lola: 1246522 markings, 2487077 edges, 15375 markings/sec, 70 secs
lola: 1290824 markings, 2595909 edges, 8860 markings/sec, 75 secs
lola: 1372499 markings, 2763015 edges, 16335 markings/sec, 80 secs
lola: 1454517 markings, 2931605 edges, 16404 markings/sec, 85 secs
lola: 1544334 markings, 3101298 edges, 17963 markings/sec, 90 secs
lola: 1651117 markings, 3261500 edges, 21357 markings/sec, 95 secs
lola: 1733586 markings, 3400058 edges, 16494 markings/sec, 100 secs
lola: 1775906 markings, 3501077 edges, 8464 markings/sec, 105 secs
lola: 1857549 markings, 3650861 edges, 16329 markings/sec, 110 secs
lola: 1938493 markings, 3798635 edges, 16189 markings/sec, 115 secs
lola: 2019676 markings, 3947608 edges, 16237 markings/sec, 120 secs
lola: 2100449 markings, 4095853 edges, 16155 markings/sec, 125 secs
lola: 2181688 markings, 4244133 edges, 16248 markings/sec, 130 secs
lola: 2259103 markings, 4419710 edges, 15483 markings/sec, 135 secs
lola: 2340770 markings, 4568727 edges, 16333 markings/sec, 140 secs
lola: 2421890 markings, 4717600 edges, 16224 markings/sec, 145 secs
lola: 2502991 markings, 4866437 edges, 16220 markings/sec, 150 secs
lola: 2583963 markings, 5014242 edges, 16194 markings/sec, 155 secs
lola: 2665039 markings, 5163040 edges, 16215 markings/sec, 160 secs
lola: 2743273 markings, 5339260 edges, 15647 markings/sec, 165 secs
lola: 2826146 markings, 5491328 edges, 16575 markings/sec, 170 secs
lola: 2908250 markings, 5642080 edges, 16421 markings/sec, 175 secs
lola: 2990381 markings, 5792060 edges, 16426 markings/sec, 180 secs
lola: 3072172 markings, 5942262 edges, 16358 markings/sec, 185 secs
lola: 3153549 markings, 6091690 edges, 16275 markings/sec, 190 secs
lola: 3231364 markings, 6267895 edges, 15563 markings/sec, 195 secs
lola: 3312861 markings, 6416648 edges, 16299 markings/sec, 200 secs
lola: 3393581 markings, 6564828 edges, 16144 markings/sec, 205 secs
lola: 3474450 markings, 6713241 edges, 16174 markings/sec, 210 secs
lola: 3555149 markings, 6860580 edges, 16140 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(CreatedJobs_8_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 95255 markings, 123858 edges, 19051 markings/sec, 0 secs
lola: 183877 markings, 246680 edges, 17724 markings/sec, 5 secs
lola: 266800 markings, 368717 edges, 16585 markings/sec, 10 secs
lola: 356699 markings, 495016 edges, 17980 markings/sec, 15 secs
lola: 452050 markings, 623484 edges, 19070 markings/sec, 20 secs
lola: 541112 markings, 746518 edges, 17812 markings/sec, 25 secs
lola: 625499 markings, 869640 edges, 16877 markings/sec, 30 secs
lola: 712623 markings, 995379 edges, 17425 markings/sec, 35 secs
lola: 804457 markings, 1122616 edges, 18367 markings/sec, 40 secs
lola: 898372 markings, 1251219 edges, 18783 markings/sec, 45 secs
lola: 989316 markings, 1376633 edges, 18189 markings/sec, 50 secs
lola: 1075508 markings, 1501209 edges, 17238 markings/sec, 55 secs
lola: 1162655 markings, 1627112 edges, 17429 markings/sec, 60 secs
lola: 1250287 markings, 1752483 edges, 17526 markings/sec, 65 secs
lola: 1339590 markings, 1881453 edges, 17861 markings/sec, 70 secs
lola: 1429217 markings, 2007379 edges, 17925 markings/sec, 75 secs
lola: 1520025 markings, 2134184 edges, 18162 markings/sec, 80 secs
lola: 1607934 markings, 2256835 edges, 17582 markings/sec, 85 secs
lola: 1697377 markings, 2384096 edges, 17889 markings/sec, 90 secs
lola: 1786976 markings, 2511625 edges, 17920 markings/sec, 95 secs
lola: 1876618 markings, 2639249 edges, 17928 markings/sec, 100 secs
lola: 1964933 markings, 2766429 edges, 17663 markings/sec, 105 secs
lola: 2048047 markings, 2885071 edges, 16623 markings/sec, 110 secs
lola: 2136237 markings, 3012017 edges, 17638 markings/sec, 115 secs
lola: 2222959 markings, 3138169 edges, 17344 markings/sec, 120 secs
lola: 2309359 markings, 3264117 edges, 17280 markings/sec, 125 secs
lola: 2395690 markings, 3390459 edges, 17266 markings/sec, 130 secs
lola: 2482967 markings, 3517865 edges, 17455 markings/sec, 135 secs
lola: 2572905 markings, 3646750 edges, 17988 markings/sec, 140 secs
lola: 2664365 markings, 3776604 edges, 18292 markings/sec, 145 secs
lola: 2753536 markings, 3907362 edges, 17834 markings/sec, 150 secs
lola: 2837620 markings, 4033929 edges, 16817 markings/sec, 155 secs
lola: 2928013 markings, 4164796 edges, 18079 markings/sec, 160 secs
lola: 3021006 markings, 4298833 edges, 18599 markings/sec, 165 secs
lola: 3104616 markings, 4427081 edges, 16722 markings/sec, 170 secs
lola: 3197665 markings, 4559458 edges, 18610 markings/sec, 175 secs
lola: 3281449 markings, 4690072 edges, 16757 markings/sec, 180 secs
lola: 3372759 markings, 4819900 edges, 18262 markings/sec, 185 secs
lola: 3457025 markings, 4950239 edges, 16853 markings/sec, 190 secs
lola: 3547782 markings, 5084597 edges, 18151 markings/sec, 195 secs
lola: 3637554 markings, 5218168 edges, 17954 markings/sec, 200 secs
lola: 3723359 markings, 5349940 edges, 17161 markings/sec, 205 secs
lola: 3809271 markings, 5482020 edges, 17182 markings/sec, 210 secs
lola: 3896905 markings, 5616202 edges, 17527 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(DataOnSrc_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 71959 markings, 150208 edges, 14392 markings/sec, 0 secs
lola: 143689 markings, 298549 edges, 14346 markings/sec, 5 secs
lola: 231434 markings, 468104 edges, 17549 markings/sec, 10 secs
lola: 329002 markings, 642682 edges, 19514 markings/sec, 15 secs
lola: 425076 markings, 815781 edges, 19215 markings/sec, 20 secs
lola: 530180 markings, 985790 edges, 21021 markings/sec, 25 secs
lola: 638920 markings, 1150391 edges, 21748 markings/sec, 30 secs
lola: 712070 markings, 1280095 edges, 14630 markings/sec, 35 secs
lola: 806774 markings, 1448165 edges, 18941 markings/sec, 40 secs
lola: 901494 markings, 1616906 edges, 18944 markings/sec, 45 secs
lola: 998228 markings, 1787593 edges, 19347 markings/sec, 50 secs
lola: 1106324 markings, 1949692 edges, 21619 markings/sec, 55 secs
lola: 1198814 markings, 2096362 edges, 18498 markings/sec, 60 secs
lola: 1280546 markings, 2243986 edges, 16346 markings/sec, 65 secs
lola: 1375084 markings, 2412088 edges, 18908 markings/sec, 70 secs
lola: 1467238 markings, 2577240 edges, 18431 markings/sec, 75 secs
lola: 1571681 markings, 2744474 edges, 20889 markings/sec, 80 secs
lola: 1678941 markings, 2907029 edges, 21452 markings/sec, 85 secs
lola: 1753810 markings, 3033798 edges, 14974 markings/sec, 90 secs
lola: 1856886 markings, 3193783 edges, 20615 markings/sec, 95 secs
lola: 1963163 markings, 3353584 edges, 21255 markings/sec, 100 secs
lola: 2044267 markings, 3486415 edges, 16221 markings/sec, 105 secs
lola: 2141195 markings, 3641500 edges, 19386 markings/sec, 110 secs
lola: 2247439 markings, 3800694 edges, 21249 markings/sec, 115 secs
lola: 2343610 markings, 3951888 edges, 19234 markings/sec, 120 secs
lola: 2428035 markings, 4088833 edges, 16885 markings/sec, 125 secs
lola: 2532398 markings, 4249065 edges, 20873 markings/sec, 130 secs
lola: 2637736 markings, 4409427 edges, 21068 markings/sec, 135 secs
lola: 2713186 markings, 4536409 edges, 15090 markings/sec, 140 secs
lola: 2817127 markings, 4697241 edges, 20788 markings/sec, 145 secs
lola: 2924168 markings, 4859135 edges, 21408 markings/sec, 150 secs
lola: 3001822 markings, 4989806 edges, 15531 markings/sec, 155 secs
lola: 3104889 markings, 5149665 edges, 20613 markings/sec, 160 secs
lola: 3211531 markings, 5310498 edges, 21328 markings/sec, 165 secs
lola: 3289792 markings, 5442258 edges, 15652 markings/sec, 170 secs
lola: 3392079 markings, 5601242 edges, 20457 markings/sec, 175 secs
lola: 3498574 markings, 5761456 edges, 21299 markings/sec, 180 secs
lola: 3578530 markings, 5893861 edges, 15991 markings/sec, 185 secs
lola: 3679310 markings, 6052839 edges, 20156 markings/sec, 190 secs
lola: 3785388 markings, 6212472 edges, 21216 markings/sec, 195 secs
lola: 3864869 markings, 6345907 edges, 15896 markings/sec, 200 secs
lola: 3966586 markings, 6504156 edges, 20343 markings/sec, 205 secs
lola: 4070791 markings, 6661051 edges, 20841 markings/sec, 210 secs
lola: 4149506 markings, 6793307 edges, 15743 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(f1_14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 29991 markings, 75726 edges, 5998 markings/sec, 0 secs
lola: 62478 markings, 152072 edges, 6497 markings/sec, 5 secs
lola: 94792 markings, 228194 edges, 6463 markings/sec, 10 secs
lola: 127018 markings, 304090 edges, 6445 markings/sec, 15 secs
lola: 157995 markings, 377092 edges, 6195 markings/sec, 20 secs
lola: 190386 markings, 453211 edges, 6478 markings/sec, 25 secs
lola: 221263 markings, 525970 edges, 6175 markings/sec, 30 secs
lola: 253485 markings, 601866 edges, 6444 markings/sec, 35 secs
lola: 285346 markings, 676931 edges, 6372 markings/sec, 40 secs
lola: 347094 markings, 826455 edges, 12350 markings/sec, 45 secs
lola: 413354 markings, 973471 edges, 13252 markings/sec, 50 secs
lola: 481080 markings, 1124799 edges, 13545 markings/sec, 55 secs
lola: 548188 markings, 1277380 edges, 13422 markings/sec, 60 secs
lola: 619956 markings, 1425697 edges, 14354 markings/sec, 65 secs
lola: 689546 markings, 1547079 edges, 13918 markings/sec, 70 secs
lola: 758339 markings, 1668752 edges, 13759 markings/sec, 75 secs
lola: 824970 markings, 1797498 edges, 13326 markings/sec, 80 secs
lola: 855526 markings, 1878312 edges, 6111 markings/sec, 85 secs
lola: 912304 markings, 2011361 edges, 11356 markings/sec, 90 secs
lola: 979942 markings, 2156026 edges, 13528 markings/sec, 95 secs
lola: 1047756 markings, 2302170 edges, 13563 markings/sec, 100 secs
lola: 1114273 markings, 2448131 edges, 13303 markings/sec, 105 secs
lola: 1185282 markings, 2593767 edges, 14202 markings/sec, 110 secs
lola: 1254403 markings, 2714258 edges, 13824 markings/sec, 115 secs
lola: 1321882 markings, 2833485 edges, 13496 markings/sec, 120 secs
lola: 1390627 markings, 2962977 edges, 13749 markings/sec, 125 secs
lola: 1421149 markings, 3044442 edges, 6104 markings/sec, 130 secs
lola: 1473558 markings, 3167177 edges, 10482 markings/sec, 135 secs
lola: 1539186 markings, 3307421 edges, 13126 markings/sec, 140 secs
lola: 1605265 markings, 3449542 edges, 13216 markings/sec, 145 secs
lola: 1669536 markings, 3590195 edges, 12854 markings/sec, 150 secs
lola: 1737905 markings, 3735218 edges, 13674 markings/sec, 155 secs
lola: 1805284 markings, 3852502 edges, 13476 markings/sec, 160 secs
lola: 1871089 markings, 3968280 edges, 13161 markings/sec, 165 secs
lola: 1937275 markings, 4088698 edges, 13237 markings/sec, 170 secs
lola: 1976234 markings, 4182276 edges, 7792 markings/sec, 175 secs
lola: 2015530 markings, 4275386 edges, 7859 markings/sec, 180 secs
lola: 2073600 markings, 4383264 edges, 11614 markings/sec, 185 secs
lola: 2130796 markings, 4489595 edges, 11439 markings/sec, 190 secs
lola: 2188140 markings, 4596188 edges, 11469 markings/sec, 195 secs
lola: 2245268 markings, 4702421 edges, 11426 markings/sec, 200 secs
lola: 2302602 markings, 4808038 edges, 11467 markings/sec, 205 secs
lola: 2359437 markings, 4913738 edges, 11367 markings/sec, 210 secs
lola: 2413775 markings, 5054571 edges, 10868 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(CreatedJobs_27_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 96096 markings, 125214 edges, 19219 markings/sec, 0 secs
lola: 182755 markings, 245273 edges, 17332 markings/sec, 5 secs
lola: 263697 markings, 364028 edges, 16188 markings/sec, 10 secs
lola: 352850 markings, 488205 edges, 17831 markings/sec, 15 secs
lola: 446178 markings, 614116 edges, 18666 markings/sec, 20 secs
lola: 529258 markings, 731565 edges, 16616 markings/sec, 25 secs
lola: 610615 markings, 850315 edges, 16271 markings/sec, 30 secs
lola: 698727 markings, 974630 edges, 17622 markings/sec, 35 secs
lola: 790514 markings, 1099318 edges, 18357 markings/sec, 40 secs
lola: 878114 markings, 1220292 edges, 17520 markings/sec, 45 secs
lola: 960156 markings, 1339708 edges, 16408 markings/sec, 50 secs
lola: 1043394 markings, 1460126 edges, 16648 markings/sec, 55 secs
lola: 1129829 markings, 1584870 edges, 17287 markings/sec, 60 secs
lola: 1220786 markings, 1708772 edges, 18191 markings/sec, 65 secs
lola: 1310917 markings, 1833491 edges, 18026 markings/sec, 70 secs
lola: 1396587 markings, 1953835 edges, 17134 markings/sec, 75 secs
lola: 1480426 markings, 2074593 edges, 16768 markings/sec, 80 secs
lola: 1563904 markings, 2195498 edges, 16696 markings/sec, 85 secs
lola: 1647795 markings, 2317250 edges, 16778 markings/sec, 90 secs
lola: 1733484 markings, 2439540 edges, 17138 markings/sec, 95 secs
lola: 1819682 markings, 2563069 edges, 17240 markings/sec, 100 secs
lola: 1905544 markings, 2686862 edges, 17172 markings/sec, 105 secs
lola: 1991040 markings, 2809601 edges, 17099 markings/sec, 110 secs
lola: 2076725 markings, 2932606 edges, 17137 markings/sec, 115 secs
lola: 2162499 markings, 3055706 edges, 17155 markings/sec, 120 secs
lola: 2248523 markings, 3178567 edges, 17205 markings/sec, 125 secs
lola: 2334079 markings, 3301670 edges, 17111 markings/sec, 130 secs
lola: 2421167 markings, 3426796 edges, 17418 markings/sec, 135 secs
lola: 2508623 markings, 3551284 edges, 17491 markings/sec, 140 secs
lola: 2597417 markings, 3677988 edges, 17759 markings/sec, 145 secs
lola: 2683732 markings, 3805783 edges, 17263 markings/sec, 150 secs
lola: 2767235 markings, 3931633 edges, 16701 markings/sec, 155 secs
lola: 2854589 markings, 4058604 edges, 17471 markings/sec, 160 secs
lola: 2946276 markings, 4188316 edges, 18337 markings/sec, 165 secs
lola: 3031111 markings, 4315904 edges, 16967 markings/sec, 170 secs
lola: 3115818 markings, 4442507 edges, 16941 markings/sec, 175 secs
lola: 3206132 markings, 4571996 edges, 18063 markings/sec, 180 secs
lola: 3287440 markings, 4697375 edges, 16262 markings/sec, 185 secs
lola: 3379039 markings, 4829248 edges, 18320 markings/sec, 190 secs
lola: 3461040 markings, 4956509 edges, 16400 markings/sec, 195 secs
lola: 3549262 markings, 5087208 edges, 17644 markings/sec, 200 secs
lola: 3638358 markings, 5219481 edges, 17819 markings/sec, 205 secs
lola: 3723047 markings, 5349551 edges, 16938 markings/sec, 210 secs
lola: 3810188 markings, 5483189 edges, 17428 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(CreatedJobs_17_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2108 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: 95146 markings, 123621 edges, 19029 markings/sec, 0 secs
lola: 183516 markings, 246179 edges, 17674 markings/sec, 5 secs
lola: 266177 markings, 368024 edges, 16532 markings/sec, 10 secs
lola: 356355 markings, 494377 edges, 18036 markings/sec, 15 secs
lola: 451377 markings, 622420 edges, 19004 markings/sec, 20 secs
lola: 539924 markings, 745011 edges, 17709 markings/sec, 25 secs
lola: 623790 markings, 867492 edges, 16773 markings/sec, 30 secs
lola: 710670 markings, 993077 edges, 17376 markings/sec, 35 secs
lola: 802592 markings, 1119410 edges, 18384 markings/sec, 40 secs
lola: 896178 markings, 1247681 edges, 18717 markings/sec, 45 secs
lola: 985215 markings, 1371246 edges, 17807 markings/sec, 50 secs
lola: 1070553 markings, 1495004 edges, 17068 markings/sec, 55 secs
lola: 1156742 markings, 1619915 edges, 17238 markings/sec, 60 secs
lola: 1244572 markings, 1745308 edges, 17566 markings/sec, 65 secs
lola: 1331638 markings, 1868384 edges, 17413 markings/sec, 70 secs
lola: 1420523 markings, 1992044 edges, 17777 markings/sec, 75 secs
lola: 1509416 markings, 2116465 edges, 17779 markings/sec, 80 secs
lola: 1599108 markings, 2242487 edges, 17938 markings/sec, 85 secs
lola: 1685791 markings, 2365359 edges, 17337 markings/sec, 90 secs
lola: 1773770 markings, 2491165 edges, 17596 markings/sec, 95 secs
lola: 1861883 markings, 2617295 edges, 17623 markings/sec, 100 secs
lola: 1950221 markings, 2744155 edges, 17668 markings/sec, 105 secs
lola: 2039479 markings, 2871813 edges, 17852 markings/sec, 110 secs
lola: 2128700 markings, 2999565 edges, 17844 markings/sec, 115 secs
lola: 2216645 markings, 3127829 edges, 17589 markings/sec, 120 secs
lola: 2302715 markings, 3253010 edges, 17214 markings/sec, 125 secs
lola: 2388817 markings, 3378368 edges, 17220 markings/sec, 130 secs
lola: 2473556 markings, 3504453 edges, 16948 markings/sec, 135 secs
lola: 2561261 markings, 3630865 edges, 17541 markings/sec, 140 secs
lola: 2651233 markings, 3759963 edges, 17994 markings/sec, 145 secs
lola: 2742573 markings, 3889704 edges, 18268 markings/sec, 150 secs
lola: 2828664 markings, 4017842 edges, 17218 markings/sec, 155 secs
lola: 2913996 markings, 4145859 edges, 17066 markings/sec, 160 secs
lola: 3006566 markings, 4277696 edges, 18514 markings/sec, 165 secs
lola: 3093660 markings, 4408533 edges, 17419 markings/sec, 170 secs
lola: 3181948 markings, 4539221 edges, 17658 markings/sec, 175 secs
lola: 3271395 markings, 4670913 edges, 17889 markings/sec, 180 secs
lola: 3356714 markings, 4799161 edges, 17064 markings/sec, 185 secs
lola: 3444174 markings, 4929962 edges, 17492 markings/sec, 190 secs
lola: 3534214 markings, 5062078 edges, 18008 markings/sec, 195 secs
lola: 3618415 markings, 5192696 edges, 16840 markings/sec, 200 secs
lola: 3704049 markings, 5323935 edges, 17127 markings/sec, 205 secs
lola: 3791784 markings, 5457164 edges, 17547 markings/sec, 210 secs
lola: 3878773 markings, 5590718 edges, 17398 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
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-PT-S05J40-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-PT-S05J40-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stdout -----
----- 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-S05J40"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="irma4mcc-structural"
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-S05J40.tgz
mv PolyORBNT-PT-S05J40 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool irma4mcc-structural"
echo " Input is PolyORBNT-PT-S05J40, 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 r127-smll-152673529400345"
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 ;