MCC'2017 - Execution of r058-smll-149440926100110

About the Execution of LoLA for PolyORBNT-PT-S05J40

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
3963.040	3539661.00	3546268.00	8674.70	? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?	normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be
................
======
Generated by BenchKit 2-3254
Executing tool lola
Input is PolyORBNT-PT-S05J40,
Time confinement
Memory confinement
Number of cores is 4
Run identifier
============================

--------------------
content from stdout:

=== Data for post analysis

The expected result
NUM_VECTOR

here is the order used
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S
FORMULA_NAME PolyORBNT-COL-S

=== Now, execution

BK_START 1494711726791

Time: 3600 - MCC
----- Start make prepare
checking for too many tokens
----- Start make result
UpperBounds @ PolyORBNT-PT-S05J40
----- Start make result
lola: LoLA will run
lola: NET
lola: reading net
lola: finished parsing
lola: closed net
lola: 2219/65536
lola: preprocessing...
lola: finding significant
lola: 629 places,
lola: computing forward-conflicting
lola: computing back-conflicting
lola: 1168 transition
lola: TASK
lola: reading formula
lola: MAX(place_520_1)
lola: computing a
lola: RUNNING
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 106318 markings,
lola: 212552 markings,
lola: 316922 markings,
lola: 422697 markings,
lola: 528404 markings,
lola: 634138 markings,
lola: 706142 markings,
lola: 802113 markings,
lola: 898427 markings,
lola: 992965 markings,
lola: 1094551 markings,
lola: 1200885 markings,
lola: 1306036 markings,
lola: 1384079 markings,
lola: 1474271 markings,
lola: 1569364 markings,
lola: 1663439 markings,
lola: 1766408 markings,
lola: 1878398 markings,
lola: 1989105 markings,
lola: 2071116 markings,
lola: 2178334 markings,
lola: 2289597 markings,
lola: 2399771 markings,
lola: 2511049 markings,
lola: 2590313 markings,
lola: 2698350 markings,
lola: 2808744 markings,
lola: 2916694 markings,
lola: 3010818 markings,
lola: 3104406 markings,
lola: 3212861 markings,
lola: 3320599 markings,
lola: 3428196 markings,
lola: 3507017 markings,
lola: 3615659 markings,
lola: 3725944 markings,
lola: 3834943 markings,
lola: 3934411 markings,
lola: 4025279 markings,
lola: 4134289 markings,
lola: 4243551 markings,
lola: 4353373 markings,
lola: 4433912 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 110641 markings,
lola: 222088 markings,
lola: 330897 markings,
lola: 440529 markings,
lola: 545210 markings,
lola: 650628 markings,
lola: 720989 markings,
lola: 816318 markings,
lola: 911877 markings,
lola: 1005418 markings,
lola: 1108115 markings,
lola: 1212866 markings,
lola: 1317832 markings,
lola: 1395518 markings,
lola: 1494305 markings,
lola: 1593464 markings,
lola: 1690799 markings,
lola: 1798804 markings,
lola: 1908669 markings,
lola: 2018824 markings,
lola: 2096815 markings,
lola: 2205018 markings,
lola: 2315904 markings,
lola: 2424599 markings,
lola: 2526422 markings,
lola: 2612203 markings,
lola: 2719579 markings,
lola: 2827648 markings,
lola: 2934597 markings,
lola: 3019392 markings,
lola: 3119590 markings,
lola: 3226713 markings,
lola: 3332331 markings,
lola: 3439056 markings,
lola: 3517360 markings,
lola: 3624788 markings,
lola: 3734352 markings,
lola: 3842138 markings,
lola: 3937646 markings,
lola: 4030912 markings,
lola: 4139273 markings,
lola: 4247186 markings,
lola: 4355829 markings,
lola: 4435768 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 104986 markings,
lola: 210860 markings,
lola: 314410 markings,
lola: 421306 markings,
lola: 528054 markings,
lola: 622162 markings,
lola: 700479 markings,
lola: 795287 markings,
lola: 889543 markings,
lola: 986049 markings,
lola: 1094078 markings,
lola: 1200502 markings,
lola: 1275531 markings,
lola: 1372543 markings,
lola: 1470988 markings,
lola: 1568029 markings,
lola: 1679275 markings,
lola: 1791344 markings,
lola: 1887419 markings,
lola: 1981574 markings,
lola: 2093256 markings,
lola: 2204644 markings,
lola: 2306378 markings,
lola: 2396710 markings,
lola: 2506476 markings,
lola: 2615876 markings,
lola: 2722407 markings,
lola: 2805627 markings,
lola: 2914310 markings,
lola: 3023017 markings,
lola: 3132788 markings,
lola: 3212031 markings,
lola: 3321317 markings,
lola: 3431950 markings,
lola: 3542894 markings,
lola: 3624001 markings,
lola: 3733644 markings,
lola: 3844013 markings,
lola: 3949615 markings,
lola: 4035804 markings,
lola: 4145229 markings,
lola: 4255198 markings,
lola: 4355661 markings,
lola: 4446492 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 102182 markings,
lola: 205628 markings,
lola: 307670 markings,
lola: 416107 markings,
lola: 523061 markings,
lola: 598764 markings,
lola: 701066 markings,
lola: 802214 markings,
lola: 907468 markings,
lola: 1014521 markings,
lola: 1098532 markings,
lola: 1194105 markings,
lola: 1295227 markings,
lola: 1395317 markings,
lola: 1503465 markings,
lola: 1610823 markings,
lola: 1686749 markings,
lola: 1791320 markings,
lola: 1898080 markings,
lola: 1984497 markings,
lola: 2079556 markings,
lola: 2184527 markings,
lola: 2288556 markings,
lola: 2362899 markings,
lola: 2462761 markings,
lola: 2563647 markings,
lola: 2656826 markings,
lola: 2738948 markings,
lola: 2842637 markings,
lola: 2948031 markings,
lola: 3025923 markings,
lola: 3128767 markings,
lola: 3234750 markings,
lola: 3320797 markings,
lola: 3416282 markings,
lola: 3521932 markings,
lola: 3625101 markings,
lola: 3705417 markings,
lola: 3809392 markings,
lola: 3914815 markings,
lola: 3993475 markings,
lola: 4095661 markings,
lola: 4198385 markings,
lola: 4277216 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 72665 markings,
lola: 141625 markings,
lola: 226575 markings,
lola: 323166 markings,
lola: 418521 markings,
lola: 518489 markings,
lola: 619572 markings,
lola: 692714 markings,
lola: 785363 markings,
lola: 880790 markings,
lola: 974753 markings,
lola: 1077069 markings,
lola: 1178189 markings,
lola: 1245958 markings,
lola: 1340502 markings,
lola: 1434738 markings,
lola: 1531629 markings,
lola: 1632908 markings,
lola: 1717554 markings,
lola: 1801880 markings,
lola: 1902094 markings,
lola: 2002418 markings,
lola: 2073456 markings,
lola: 2170520 markings,
lola: 2268809 markings,
lola: 2351392 markings,
lola: 2435884 markings,
lola: 2533737 markings,
lola: 2631241 markings,
lola: 2701341 markings,
lola: 2798496 markings,
lola: 2897504 markings,
lola: 2974628 markings,
lola: 3064885 markings,
lola: 3164618 markings,
lola: 3256992 markings,
lola: 3333209 markings,
lola: 3430992 markings,
lola: 3529562 markings,
lola: 3600272 markings,
lola: 3697115 markings,
lola: 3796388 markings,
lola: 3870598 markings,
lola: 3967281 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 104739 markings,
lola: 209426 markings,
lola: 311621 markings,
lola: 414495 markings,
lola: 517639 markings,
lola: 620335 markings,
lola: 695461 markings,
lola: 784968 markings,
lola: 879208 markings,
lola: 972372 markings,
lola: 1068916 markings,
lola: 1174557 markings,
lola: 1282872 markings,
lola: 1374934 markings,
lola: 1462065 markings,
lola: 1560394 markings,
lola: 1657702 markings,
lola: 1759623 markings,
lola: 1869959 markings,
lola: 1979180 markings,
lola: 2065449 markings,
lola: 2165658 markings,
lola: 2274148 markings,
lola: 2382466 markings,
lola: 2491124 markings,
lola: 2570532 markings,
lola: 2676617 markings,
lola: 2784668 markings,
lola: 2890338 markings,
lola: 2996057 markings,
lola: 3075566 markings,
lola: 3180909 markings,
lola: 3287750 markings,
lola: 3392568 markings,
lola: 3485697 markings,
lola: 3577643 markings,
lola: 3684705 markings,
lola: 3792116 markings,
lola: 3900023 markings,
lola: 3979888 markings,
lola: 4085350 markings,
lola: 4193203 markings,
lola: 4300342 markings,
lola: 4392474 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 77786 markings,
lola: 151953 markings,
lola: 247474 markings,
lola: 350305 markings,
lola: 446589 markings,
lola: 553858 markings,
lola: 657471 markings,
lola: 733680 markings,
lola: 833740 markings,
lola: 934038 markings,
lola: 1034676 markings,
lola: 1141201 markings,
lola: 1243037 markings,
lola: 1319828 markings,
lola: 1419396 markings,
lola: 1517809 markings,
lola: 1621773 markings,
lola: 1727094 markings,
lola: 1809742 markings,
lola: 1905068 markings,
lola: 2010615 markings,
lola: 2115143 markings,
lola: 2191266 markings,
lola: 2292734 markings,
lola: 2395256 markings,
lola: 2485792 markings,
lola: 2572677 markings,
lola: 2674739 markings,
lola: 2776235 markings,
lola: 2852223 markings,
lola: 2953298 markings,
lola: 3057412 markings,
lola: 3151434 markings,
lola: 3237016 markings,
lola: 3339937 markings,
lola: 3443367 markings,
lola: 3520119 markings,
lola: 3621052 markings,
lola: 3724442 markings,
lola: 3810260 markings,
lola: 3902334 markings,
lola: 4005375 markings,
lola: 4103980 markings,
lola: 4183836 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 71747 markings,
lola: 139946 markings,
lola: 224586 markings,
lola: 324316 markings,
lola: 423016 markings,
lola: 528414 markings,
lola: 639922 markings,
lola: 716513 markings,
lola: 816550 markings,
lola: 916223 markings,
lola: 1020628 markings,
lola: 1132733 markings,
lola: 1214594 markings,
lola: 1311855 markings,
lola: 1410833 markings,
lola: 1510637 markings,
lola: 1623142 markings,
lola: 1717542 markings,
lola: 1810438 markings,
lola: 1921469 markings,
lola: 2024850 markings,
lola: 2110358 markings,
lola: 2218544 markings,
lola: 2327806 markings,
lola: 2405341 markings,
lola: 2512637 markings,
lola: 2620122 markings,
lola: 2699139 markings,
lola: 2806275 markings,
lola: 2916055 markings,
lola: 2997158 markings,
lola: 3103558 markings,
lola: 3213294 markings,
lola: 3294106 markings,
lola: 3400325 markings,
lola: 3509849 markings,
lola: 3590600 markings,
lola: 3697019 markings,
lola: 3805880 markings,
lola: 3886524 markings,
lola: 3992456 markings,
lola: 4099136 markings,
lola: 4178581 markings,
lola: 4283789 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 35379 markings,
lola: 70678 markings,
lola: 105737 markings,
lola: 140813 markings,
lola: 175769 markings,
lola: 210701 markings,
lola: 245714 markings,
lola: 280751 markings,
lola: 315577 markings,
lola: 350441 markings,
lola: 385190 markings,
lola: 419800 markings,
lola: 454244 markings,
lola: 488663 markings,
lola: 523289 markings,
lola: 557461 markings,
lola: 591319 markings,
lola: 625428 markings,
lola: 660030 markings,
lola: 694777 markings,
lola: 729379 markings,
lola: 763796 markings,
lola: 798364 markings,
lola: 832935 markings,
lola: 867468 markings,
lola: 902194 markings,
lola: 936680 markings,
lola: 971109 markings,
lola: 1005238 markings,
lola: 1039572 markings,
lola: 1073709 markings,
lola: 1107738 markings,
lola: 1141900 markings,
lola: 1175708 markings,
lola: 1209058 markings,
lola: 1244242 markings,
lola: 1279393 markings,
lola: 1314255 markings,
lola: 1349167 markings,
lola: 1384035 markings,
lola: 1418812 markings,
lola: 1453533 markings,
lola: 1488402 markings,
lola: 1523160 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 35641 markings,
lola: 71121 markings,
lola: 106352 markings,
lola: 141635 markings,
lola: 176795 markings,
lola: 211843 markings,
lola: 246955 markings,
lola: 282166 markings,
lola: 317178 markings,
lola: 352182 markings,
lola: 387044 markings,
lola: 421787 markings,
lola: 456467 markings,
lola: 491103 markings,
lola: 525796 markings,
lola: 560133 markings,
lola: 594159 markings,
lola: 628532 markings,
lola: 663241 markings,
lola: 698236 markings,
lola: 732962 markings,
lola: 767615 markings,
lola: 802307 markings,
lola: 836943 markings,
lola: 871606 markings,
lola: 906365 markings,
lola: 941028 markings,
lola: 975416 markings,
lola: 1009611 markings,
lola: 1043795 markings,
lola: 1077804 markings,
lola: 1111805 markings,
lola: 1145806 markings,
lola: 1179663 markings,
lola: 1213324 markings,
lola: 1248617 markings,
lola: 1283972 markings,
lola: 1318903 markings,
lola: 1354083 markings,
lola: 1388982 markings,
lola: 1423961 markings,
lola: 1458810 markings,
lola: 1493860 markings,
lola: 1528693 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 77023 markings,
lola: 150639 markings,
lola: 244595 markings,
lola: 346110 markings,
lola: 445354 markings,
lola: 551387 markings,
lola: 656875 markings,
lola: 732604 markings,
lola: 832235 markings,
lola: 931936 markings,
lola: 1032000 markings,
lola: 1138431 markings,
lola: 1241618 markings,
lola: 1317190 markings,
lola: 1416360 markings,
lola: 1514339 markings,
lola: 1617475 markings,
lola: 1723080 markings,
lola: 1807765 markings,
lola: 1901042 markings,
lola: 2005598 markings,
lola: 2109931 markings,
lola: 2186086 markings,
lola: 2286626 markings,
lola: 2389102 markings,
lola: 2482358 markings,
lola: 2566366 markings,
lola: 2667562 markings,
lola: 2768897 markings,
lola: 2844947 markings,
lola: 2944603 markings,
lola: 3049124 markings,
lola: 3146824 markings,
lola: 3228879 markings,
lola: 3331206 markings,
lola: 3434741 markings,
lola: 3512017 markings,
lola: 3612360 markings,
lola: 3715592 markings,
lola: 3805737 markings,
lola: 3894377 markings,
lola: 3996540 markings,
lola: 4099239 markings,
lola: 4175693 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 35385 markings,
lola: 70692 markings,
lola: 105804 markings,
lola: 140931 markings,
lola: 175944 markings,
lola: 210863 markings,
lola: 245908 markings,
lola: 280892 markings,
lola: 315817 markings,
lola: 350700 markings,
lola: 385439 markings,
lola: 420098 markings,
lola: 454589 markings,
lola: 489071 markings,
lola: 523700 markings,
lola: 557897 markings,
lola: 591778 markings,
lola: 625922 markings,
lola: 660491 markings,
lola: 695405 markings,
lola: 730029 markings,
lola: 764489 markings,
lola: 799127 markings,
lola: 833726 markings,
lola: 868254 markings,
lola: 902963 markings,
lola: 937449 markings,
lola: 971923 markings,
lola: 1006085 markings,
lola: 1040417 markings,
lola: 1074568 markings,
lola: 1108673 markings,
lola: 1142870 markings,
lola: 1176794 markings,
lola: 1210149 markings,
lola: 1245334 markings,
lola: 1280485 markings,
lola: 1315346 markings,
lola: 1350288 markings,
lola: 1385132 markings,
lola: 1419931 markings,
lola: 1454649 markings,
lola: 1489523 markings,
lola: 1524244 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 74726 markings,
lola: 146503 markings,
lola: 234099 markings,
lola: 330044 markings,
lola: 424596 markings,
lola: 529632 markings,
lola: 638909 markings,
lola: 713456 markings,
lola: 808342 markings,
lola: 903377 markings,
lola: 1000240 markings,
lola: 1110009 markings,
lola: 1201693 markings,
lola: 1285738 markings,
lola: 1380177 markings,
lola: 1472887 markings,
lola: 1579559 markings,
lola: 1688490 markings,
lola: 1764318 markings,
lola: 1869758 markings,
lola: 1977675 markings,
lola: 2055930 markings,
lola: 2158685 markings,
lola: 2264836 markings,
lola: 2353033 markings,
lola: 2444957 markings,
lola: 2549938 markings,
lola: 2652030 markings,
lola: 2730873 markings,
lola: 2836292 markings,
lola: 2943993 markings,
lola: 3021325 markings,
lola: 3126240 markings,
lola: 3232852 markings,
lola: 3310504 markings,
lola: 3414514 markings,
lola: 3520664 markings,
lola: 3598877 markings,
lola: 3702627 markings,
lola: 3808505 markings,
lola: 3886836 markings,
lola: 3989543 markings,
lola: 4093397 markings,
lola: 4170879 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 98942 markings,
lola: 190100 markings,
lola: 272459 markings,
lola: 359868 markings,
lola: 455589 markings,
lola: 546864 markings,
lola: 629880 markings,
lola: 715404 markings,
lola: 804969 markings,
lola: 894052 markings,
lola: 975474 markings,
lola: 1061021 markings,
lola: 1149450 markings,
lola: 1239778 markings,
lola: 1331507 markings,
lola: 1422533 markings,
lola: 1512901 markings,
lola: 1602947 markings,
lola: 1692394 markings,
lola: 1781252 markings,
lola: 1869170 markings,
lola: 1958214 markings,
lola: 2048485 markings,
lola: 2137525 markings,
lola: 2224545 markings,
lola: 2310486 markings,
lola: 2396149 markings,
lola: 2483611 markings,
lola: 2573129 markings,
lola: 2664340 markings,
lola: 2754054 markings,
lola: 2838580 markings,
lola: 2930961 markings,
lola: 3023636 markings,
lola: 3109059 markings,
lola: 3204435 markings,
lola: 3287929 markings,
lola: 3380486 markings,
lola: 3465962 markings,
lola: 3553985 markings,
lola: 3645125 markings,
lola: 3734723 markings,
lola: 3820983 markings,
lola: 3909345 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 29944 markings,
lola: 59736 markings,
lola: 89414 markings,
lola: 118926 markings,
lola: 148317 markings,
lola: 177628 markings,
lola: 207015 markings,
lola: 236479 markings,
lola: 265932 markings,
lola: 295933 markings,
lola: 329525 markings,
lola: 363970 markings,
lola: 398310 markings,
lola: 432569 markings,
lola: 467083 markings,
lola: 501416 markings,
lola: 528945 markings,
lola: 548010 markings,
lola: 566895 markings,
lola: 585630 markings,
lola: 604206 markings,
lola: 637558 markings,
lola: 682871 markings,
lola: 727462 markings,
lola: 771719 markings,
lola: 816167 markings,
lola: 857835 markings,
lola: 886971 markings,
lola: 920742 markings,
lola: 956517 markings,
lola: 992985 markings,
lola: 1029384 markings,
lola: 1065975 markings,
lola: 1102514 markings,
lola: 1138748 markings,
lola: 1174931 markings,
lola: 1211109 markings,
lola: 1255436 markings,
lola: 1301277 markings,
lola: 1346579 markings,
lola: 1391988 markings,
lola: 1437523 markings,
lola: 1471316 markings,
lola: 1504092 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 2108
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 104820 markings,
lola: 206714 markings,
lola: 295905 markings,
lola: 385064 markings,
lola: 480676 markings,
lola: 579531 markings,
lola: 679037 markings,
lola: 776083 markings,
lola: 868628 markings,
lola: 959584 markings,
lola: 1052359 markings,
lola: 1148868 markings,
lola: 1245959 markings,
lola: 1342600 markings,
lola: 1437495 markings,
lola: 1531635 markings,
lola: 1625162 markings,
lola: 1720485 markings,
lola: 1814867 markings,
lola: 1909424 markings,
lola: 2007360 markings,
lola: 2107300 markings,
lola: 2206165 markings,
lola: 2300512 markings,
lola: 2390861 markings,
lola: 2476347 markings,
lola: 2573627 markings,
lola: 2674017 markings,
lola: 2765238 markings,
lola: 2863646 markings,
lola: 2961587 markings,
lola: 3058777 markings,
lola: 3157837 markings,
lola: 3259034 markings,
lola: 3350886 markings,
lola: 3448533 markings,
lola: 3549211 markings,
lola: 3647218 markings,
lola: 3743718 markings,
lola: 3838382 markings,
lola: 3938044 markings,
lola: 4033629 markings,
lola: 4128921 markings,
lola: 4222592 markings,
lola: local time
lola: Child process
lola: RESULT
lola:
SUMMARY: unknown unknown
FORMULA PolyORBNT-COL-S05
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
FORMULA PolyORBNT-COL
----- Kill lola
----- Finished stdout -----

BK_STOP 1494715266452

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

----- Start make prepare
----- Start make result
----- Start make result
----- Kill lola and
----- Finished stderr -----
ready (probing ssh) =============================================================== examination is UpperBounds is 3600 seconds is 16384 MBytes is r058-smll-149440926100110 ========================================= generated by BenchKit (invocation template) is a vector of positive values to build the result vector(from text file) 05J40-UpperBounds-0 05J40-UpperBounds-1 05J40-UpperBounds-10 05J40-UpperBounds-11 05J40-UpperBounds-12 05J40-UpperBounds-13 05J40-UpperBounds-14 05J40-UpperBounds-15 05J40-UpperBounds-2 05J40-UpperBounds-3 05J40-UpperBounds-4 05J40-UpperBounds-5 05J40-UpperBounds-6 05J40-UpperBounds-7 05J40-UpperBounds-8 05J40-UpperBounds-9 of the tool begins stdout ----- stdout ----- @ 3540 seconds stdout ----- for 3540 seconds at most (--timelimit) from model.pnml.lola file model.pnml.lola symbol table entries, 162 collisions places 1590 transitions, 527 significant places sets sets conflict sets from PolyORBNT-COL-S05J40-UpperBounds.task : MAX(place_518_1) : MAX(Try_Check_Sources_E_1) : MAX(Check_Sources_B_1) : MAX(mo1) : MAX(place_518_1) : MAX(FetchJobB_1) : MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 + FetchJobE_1_24 + FetchJobE_1_25 + FetchJobE_1_26 + FetchJobE_1_27 + FetchJobE_1_28 + FetchJobE_1_29 + FetchJobE_1_30 + FetchJobE_1_31 + FetchJobE_1_32 + FetchJobE_1_33 + FetchJobE_1_34 + FetchJobE_1_35 + FetchJobE_1_36 + FetchJobE_1_37 + FetchJobE_1_38 + FetchJobE_1_39 + FetchJobE_1_40) : MAX(NotifyEventJobQueuedB_1_39 + NotifyEventJobQueuedB_1_38 + NotifyEventJobQueuedB_1_37 + NotifyEventJobQueuedB_1_36 + NotifyEventJobQueuedB_1_35 + NotifyEventJobQueuedB_1_34 + NotifyEventJobQueuedB_1_33 + NotifyEventJobQueuedB_1_32 + NotifyEventJobQueuedB_1_31 + NotifyEventJobQueuedB_1_30 + NotifyEventJobQueuedB_1_29 + NotifyEventJobQueuedB_1_28 + NotifyEventJobQueuedB_1_27 + NotifyEventJobQueuedB_1_26 + NotifyEventJobQueuedB_1_25 + NotifyEventJobQueuedB_1_24 + NotifyEventJobQueuedB_1_23 + NotifyEventJobQueuedB_1_22 + NotifyEventJobQueuedB_1_21 + NotifyEventJobQueuedB_1_20 + NotifyEventJobQueuedB_1_19 + NotifyEventJobQueuedB_1_18 + NotifyEventJobQueuedB_1_17 + NotifyEventJobQueuedB_1_16 + NotifyEventJobQueuedB_1_15 + NotifyEventJobQueuedB_1_14 + NotifyEventJobQueuedB_1_13 + NotifyEventJobQueuedB_1_12 + NotifyEventJobQueuedB_1_11 + NotifyEventJobQueuedB_1_10 + NotifyEventJobQueuedB_1_40 + NotifyEventJobQueuedB_1_0 + NotifyEventJobQueuedB_1_1 + NotifyEventJobQueuedB_1_2 + NotifyEventJobQueuedB_1_3 + NotifyEventJobQueuedB_1_4 + NotifyEventJobQueuedB_1_5 + NotifyEventJobQueuedB_1_6 + NotifyEventJobQueuedB_1_7 + NotifyEventJobQueuedB_1_8 + NotifyEventJobQueuedB_1_9) : MAX(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_17_1 + CreatedJobs_17_2 + CreatedJobs_17_3 + CreatedJobs_17_4 + CreatedJobs_17_5 + CreatedJobs_1_1 + CreatedJobs_1_2 + CreatedJobs_1_3 + CreatedJobs_1_4 + CreatedJobs_1_5 + CreatedJobs_40_1 + CreatedJobs_40_2 + CreatedJobs_40_3 + CreatedJobs_40_4 + CreatedJobs_40_5 + CreatedJobs_18_1 + CreatedJobs_18_2 + CreatedJobs_18_3 + CreatedJobs_18_4 + CreatedJobs_18_5 + CreatedJobs_2_1 + CreatedJobs_2_2 + CreatedJobs_2_3 + CreatedJobs_2_4 + CreatedJobs_2_5 + CreatedJobs_19_1 + CreatedJobs_19_2 + CreatedJobs_19_3 + CreatedJobs_19_4 + CreatedJobs_19_5 + CreatedJobs_3_1 + CreatedJobs_3_2 + CreatedJobs_3_3 + CreatedJobs_3_4 + CreatedJobs_3_5 + CreatedJobs_4_1 + CreatedJobs_4_2 + CreatedJobs_4_3 + CreatedJobs_4_4 + CreatedJobs_4_5 + CreatedJobs_30_1 + CreatedJobs_30_2 + CreatedJobs_30_3 + CreatedJobs_30_4 + CreatedJobs_30_5 + CreatedJobs_5_1 + CreatedJobs_5_2 + CreatedJobs_5_3 + CreatedJobs_5_4 + CreatedJobs_5_5 + CreatedJobs_31_1 + CreatedJobs_31_2 + CreatedJobs_31_3 + CreatedJobs_31_4 + CreatedJobs_31_5 + CreatedJobs_6_1 + CreatedJobs_6_2 + CreatedJobs_6_3 + CreatedJobs_6_4 + CreatedJobs_6_5 + CreatedJobs_32_1 + CreatedJobs_32_2 + CreatedJobs_32_3 + CreatedJobs_32_4 + CreatedJobs_32_5 + CreatedJobs_7_1 + CreatedJobs_7_2 + CreatedJobs_7_3 + CreatedJobs_7_4 + CreatedJobs_7_5 + CreatedJobs_33_1 + CreatedJobs_33_2 + CreatedJobs_33_3 + CreatedJobs_33_4 + CreatedJobs_33_5 + CreatedJobs_20_1 + CreatedJobs_20_2 + CreatedJobs_20_3 + CreatedJobs_20_4 + CreatedJobs_20_5 + CreatedJobs_8_1 + CreatedJobs_8_2 + CreatedJobs_8_3 + CreatedJobs_8_4 + CreatedJobs_8_5 + CreatedJobs_34_1 + CreatedJobs_34_2 + CreatedJobs_34_3 + CreatedJobs_34_4 + CreatedJobs_34_5 + CreatedJobs_21_1 + CreatedJobs_21_2 + CreatedJobs_21_3 + CreatedJobs_21_4 + CreatedJobs_21_5 + CreatedJobs_9_1 + CreatedJobs_9_2 + CreatedJobs_9_3 + CreatedJobs_9_4 + CreatedJobs_9_5 + CreatedJobs_35_1 + CreatedJobs_35_2 + CreatedJobs_35_3 + CreatedJobs_35_4 + CreatedJobs_22_1 + CreatedJobs_22_2 + CreatedJobs_22_3 + CreatedJobs_22_4 + CreatedJobs_36_1 + CreatedJobs_36_2 + CreatedJobs_36_3 + CreatedJobs_36_4 + CreatedJobs_23_1 + CreatedJobs_23_2 + CreatedJobs_23_3 + CreatedJobs_23_4 + CreatedJobs_10_1 + CreatedJobs_10_2 + CreatedJobs_10_3 + CreatedJobs_10_4 + CreatedJobs_37_1 + CreatedJobs_37_2 + CreatedJobs_37_3 + CreatedJobs_37_4 + CreatedJobs_24_1 + CreatedJobs_24_2 + CreatedJobs_24_3 + CreatedJobs_24_4 + CreatedJobs_11_1 + CreatedJobs_11_2 + CreatedJobs_11_3 + CreatedJobs_11_4 + CreatedJobs_28_4 + CreatedJobs_28_3 + CreatedJobs_28_2 + CreatedJobs_28_1 + CreatedJobs_14_4 + CreatedJobs_14_3 + CreatedJobs_14_2 + CreatedJobs_38_1 + CreatedJobs_38_2 + CreatedJobs_38_3 + CreatedJobs_38_4 + CreatedJobs_14_1 + CreatedJobs_25_1 + CreatedJobs_25_2 + CreatedJobs_25_3 + CreatedJobs_25_4 + CreatedJobs_27_4 + CreatedJobs_12_1 + CreatedJobs_12_2 + CreatedJobs_12_3 + CreatedJobs_12_4 + CreatedJobs_27_3 + CreatedJobs_39_1 + CreatedJobs_39_2 + CreatedJobs_39_3 + CreatedJobs_39_4 + CreatedJobs_27_2 + CreatedJobs_26_1 + CreatedJobs_26_2 + CreatedJobs_26_3 + CreatedJobs_26_4 + CreatedJobs_27_1 + CreatedJobs_13_1 + CreatedJobs_13_2 + CreatedJobs_13_3 + CreatedJobs_13_4 + CreatedJobs_13_5 + CreatedJobs_26_5 + CreatedJobs_39_5 + CreatedJobs_12_5 + CreatedJobs_25_5 + CreatedJobs_27_5 + CreatedJobs_38_5 + CreatedJobs_14_5 + CreatedJobs_28_5 + CreatedJobs_11_5 + CreatedJobs_24_5 + CreatedJobs_37_5 + CreatedJobs_10_5 + CreatedJobs_23_5 + CreatedJobs_36_5 + CreatedJobs_22_5 + CreatedJobs_35_5 + CreatedJobs_15_1 + CreatedJobs_15_2 + CreatedJobs_15_3 + CreatedJobs_15_4 + CreatedJobs_15_5) : MAX(cJobCnt) : MAX(NotifyEventJobQueuedB_1_39 + NotifyEventJobQueuedB_1_38 + NotifyEventJobQueuedB_1_37 + NotifyEventJobQueuedB_1_36 + NotifyEventJobQueuedB_1_35 + NotifyEventJobQueuedB_1_34 + NotifyEventJobQueuedB_1_33 + NotifyEventJobQueuedB_1_32 + NotifyEventJobQueuedB_1_31 + NotifyEventJobQueuedB_1_30 + NotifyEventJobQueuedB_1_29 + NotifyEventJobQueuedB_1_28 + NotifyEventJobQueuedB_1_27 + NotifyEventJobQueuedB_1_26 + NotifyEventJobQueuedB_1_25 + NotifyEventJobQueuedB_1_24 + NotifyEventJobQueuedB_1_23 + NotifyEventJobQueuedB_1_22 + NotifyEventJobQueuedB_1_21 + NotifyEventJobQueuedB_1_20 + NotifyEventJobQueuedB_1_19 + NotifyEventJobQueuedB_1_18 + NotifyEventJobQueuedB_1_17 + NotifyEventJobQueuedB_1_16 + NotifyEventJobQueuedB_1_15 + NotifyEventJobQueuedB_1_14 + NotifyEventJobQueuedB_1_13 + NotifyEventJobQueuedB_1_12 + NotifyEventJobQueuedB_1_11 + NotifyEventJobQueuedB_1_10 + NotifyEventJobQueuedB_1_40 + NotifyEventJobQueuedB_1_0 + NotifyEventJobQueuedB_1_1 + NotifyEventJobQueuedB_1_2 + NotifyEventJobQueuedB_1_3 + NotifyEventJobQueuedB_1_4 + NotifyEventJobQueuedB_1_5 + NotifyEventJobQueuedB_1_6 + NotifyEventJobQueuedB_1_7 + NotifyEventJobQueuedB_1_8 + NotifyEventJobQueuedB_1_9) : MAX(Perform_Work_E_1) : MAX(ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_5) : MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30 + f1_31 + f1_32 + f1_33 + f1_34 + f1_35 + f1_36 + f1_37 + f1_38 + f1_39 + f1_40) : MAX(place_523_1) collection of formulas 0 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(place_520_1) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 205075 edges, 21264 markings/sec, 0 secs 402160 edges, 21247 markings/sec, 5 secs 597018 edges, 20874 markings/sec, 10 secs 794413 edges, 21155 markings/sec, 15 secs 984218 edges, 21141 markings/sec, 20 secs 1175649 edges, 21147 markings/sec, 25 secs 1311428 edges, 14401 markings/sec, 30 secs 1509044 edges, 19194 markings/sec, 35 secs 1707143 edges, 19263 markings/sec, 40 secs 1902447 edges, 18908 markings/sec, 45 secs 2099200 edges, 20317 markings/sec, 50 secs 2290075 edges, 21267 markings/sec, 55 secs 2479945 edges, 21030 markings/sec, 60 secs 2621968 edges, 15609 markings/sec, 65 secs 2808134 edges, 18038 markings/sec, 70 secs 3003685 edges, 19019 markings/sec, 75 secs 3197860 edges, 18815 markings/sec, 80 secs 3401109 edges, 20594 markings/sec, 85 secs 3602088 edges, 22398 markings/sec, 90 secs 3801979 edges, 22141 markings/sec, 95 secs 3951397 edges, 16402 markings/sec, 100 secs 4149822 edges, 21444 markings/sec, 105 secs 4353939 edges, 22253 markings/sec, 110 secs 4551997 edges, 22035 markings/sec, 115 secs 4754692 edges, 22256 markings/sec, 120 secs 4900738 edges, 15853 markings/sec, 125 secs 5101891 edges, 21607 markings/sec, 130 secs 5299878 edges, 22079 markings/sec, 135 secs 5494344 edges, 21590 markings/sec, 140 secs 5665904 edges, 18825 markings/sec, 145 secs 5838944 edges, 18718 markings/sec, 150 secs 6039343 edges, 21691 markings/sec, 155 secs 6232785 edges, 21548 markings/sec, 160 secs 6427281 edges, 21519 markings/sec, 165 secs 6573253 edges, 15764 markings/sec, 170 secs 6772764 edges, 21728 markings/sec, 175 secs 6974177 edges, 22057 markings/sec, 180 secs 7170421 edges, 21800 markings/sec, 185 secs 7352122 edges, 19894 markings/sec, 190 secs 7519896 edges, 18174 markings/sec, 195 secs 7721236 edges, 21802 markings/sec, 200 secs 7917552 edges, 21852 markings/sec, 205 secs 8116657 edges, 21964 markings/sec, 210 secs 8265891 edges, 16108 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 1 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(place_518_1) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 213141 edges, 22128 markings/sec, 0 secs 419857 edges, 22289 markings/sec, 5 secs 623497 edges, 21762 markings/sec, 10 secs 826402 edges, 21926 markings/sec, 15 secs 1014561 edges, 20936 markings/sec, 20 secs 1206017 edges, 21084 markings/sec, 25 secs 1342446 edges, 14072 markings/sec, 30 secs 1538224 edges, 19066 markings/sec, 35 secs 1734864 edges, 19112 markings/sec, 40 secs 1928387 edges, 18708 markings/sec, 45 secs 2123521 edges, 20539 markings/sec, 50 secs 2311585 edges, 20950 markings/sec, 55 secs 2501459 edges, 20993 markings/sec, 60 secs 2646541 edges, 15537 markings/sec, 65 secs 2849332 edges, 19757 markings/sec, 70 secs 3053360 edges, 19832 markings/sec, 75 secs 3254746 edges, 19467 markings/sec, 80 secs 3459091 edges, 21601 markings/sec, 85 secs 3656539 edges, 21973 markings/sec, 90 secs 3856279 edges, 22031 markings/sec, 95 secs 4000329 edges, 15598 markings/sec, 100 secs 4199616 edges, 21641 markings/sec, 105 secs 4401158 edges, 22177 markings/sec, 110 secs 4596802 edges, 21739 markings/sec, 115 secs 4782941 edges, 20365 markings/sec, 120 secs 4940750 edges, 17156 markings/sec, 125 secs 5139937 edges, 21475 markings/sec, 130 secs 5333842 edges, 21614 markings/sec, 135 secs 5526753 edges, 21390 markings/sec, 140 secs 5681237 edges, 16959 markings/sec, 145 secs 5866899 edges, 20040 markings/sec, 150 secs 6064198 edges, 21425 markings/sec, 155 secs 6253834 edges, 21124 markings/sec, 160 secs 6447109 edges, 21345 markings/sec, 165 secs 6592109 edges, 15661 markings/sec, 170 secs 6789936 edges, 21486 markings/sec, 175 secs 6989199 edges, 21913 markings/sec, 180 secs 7183408 edges, 21557 markings/sec, 185 secs 7357727 edges, 19102 markings/sec, 190 secs 7530205 edges, 18653 markings/sec, 195 secs 7730191 edges, 21672 markings/sec, 200 secs 7924035 edges, 21583 markings/sec, 205 secs 8121193 edges, 21729 markings/sec, 210 secs 8269261 edges, 15988 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 2 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Try_Check_Sources_E_1) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 198376 edges, 20997 markings/sec, 0 secs 391727 edges, 21175 markings/sec, 5 secs 582785 edges, 20710 markings/sec, 10 secs 773504 edges, 21379 markings/sec, 15 secs 957921 edges, 21350 markings/sec, 20 secs 1124003 edges, 18822 markings/sec, 25 secs 1282326 edges, 15663 markings/sec, 30 secs 1475576 edges, 18962 markings/sec, 35 secs 1668324 edges, 18851 markings/sec, 40 secs 1860865 edges, 19301 markings/sec, 45 secs 2046837 edges, 21606 markings/sec, 50 secs 2231417 edges, 21285 markings/sec, 55 secs 2366343 edges, 15006 markings/sec, 60 secs 2564925 edges, 19402 markings/sec, 65 secs 2765777 edges, 19689 markings/sec, 70 secs 2965210 edges, 19408 markings/sec, 75 secs 3166012 edges, 22249 markings/sec, 80 secs 3359601 edges, 22414 markings/sec, 85 secs 3529072 edges, 19215 markings/sec, 90 secs 3697580 edges, 18831 markings/sec, 95 secs 3894970 edges, 22336 markings/sec, 100 secs 4087275 edges, 22278 markings/sec, 105 secs 4266647 edges, 20347 markings/sec, 110 secs 4428255 edges, 18066 markings/sec, 115 secs 4622738 edges, 21953 markings/sec, 120 secs 4811478 edges, 21880 markings/sec, 125 secs 4999290 edges, 21306 markings/sec, 130 secs 5148009 edges, 16644 markings/sec, 135 secs 5341111 edges, 21737 markings/sec, 140 secs 5528561 edges, 21741 markings/sec, 145 secs 5720575 edges, 21954 markings/sec, 150 secs 5863456 edges, 15849 markings/sec, 155 secs 6058089 edges, 21857 markings/sec, 160 secs 6248856 edges, 22127 markings/sec, 165 secs 6444567 edges, 22189 markings/sec, 170 secs 6589365 edges, 16221 markings/sec, 175 secs 6784220 edges, 21929 markings/sec, 180 secs 6974637 edges, 22074 markings/sec, 185 secs 7160911 edges, 21120 markings/sec, 190 secs 7315044 edges, 17238 markings/sec, 195 secs 7509044 edges, 21885 markings/sec, 200 secs 7698916 edges, 21994 markings/sec, 205 secs 7876149 edges, 20093 markings/sec, 210 secs 8038928 edges, 18166 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 3 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Check_Sources_B_1) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 187150 edges, 20436 markings/sec, 0 secs 372040 edges, 20689 markings/sec, 5 secs 556713 edges, 20408 markings/sec, 10 secs 726679 edges, 21687 markings/sec, 15 secs 899370 edges, 21391 markings/sec, 20 secs 1036647 edges, 15141 markings/sec, 25 secs 1219076 edges, 20460 markings/sec, 30 secs 1400504 edges, 20230 markings/sec, 35 secs 1579037 edges, 21051 markings/sec, 40 secs 1747603 edges, 21411 markings/sec, 45 secs 1888096 edges, 16802 markings/sec, 50 secs 2061003 edges, 19115 markings/sec, 55 secs 2241718 edges, 20224 markings/sec, 60 secs 2422933 edges, 20018 markings/sec, 65 secs 2593554 edges, 21630 markings/sec, 70 secs 2765154 edges, 21472 markings/sec, 75 secs 2895518 edges, 15185 markings/sec, 80 secs 3065072 edges, 20914 markings/sec, 85 secs 3233092 edges, 21352 markings/sec, 90 secs 3376963 edges, 17283 markings/sec, 95 secs 3534296 edges, 19012 markings/sec, 100 secs 3701664 edges, 20994 markings/sec, 105 secs 3867109 edges, 20806 markings/sec, 110 secs 3995434 edges, 14869 markings/sec, 115 secs 4157927 edges, 19972 markings/sec, 120 secs 4316386 edges, 20177 markings/sec, 125 secs 4468682 edges, 18636 markings/sec, 130 secs 4606511 edges, 16424 markings/sec, 135 secs 4773448 edges, 20738 markings/sec, 140 secs 4940475 edges, 21079 markings/sec, 145 secs 5074685 edges, 15578 markings/sec, 150 secs 5241875 edges, 20569 markings/sec, 155 secs 5408652 edges, 21197 markings/sec, 160 secs 5552045 edges, 17209 markings/sec, 165 secs 5710535 edges, 19097 markings/sec, 170 secs 5878227 edges, 21130 markings/sec, 175 secs 6045269 edges, 20634 markings/sec, 180 secs 6180877 edges, 16063 markings/sec, 185 secs 6348531 edges, 20795 markings/sec, 190 secs 6515972 edges, 21085 markings/sec, 195 secs 6651136 edges, 15732 markings/sec, 200 secs 6816832 edges, 20437 markings/sec, 205 secs 6979007 edges, 20545 markings/sec, 210 secs 7114769 edges, 15766 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 4 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(mo1) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 151639 edges, 14533 markings/sec, 0 secs 294249 edges, 13792 markings/sec, 5 secs 459475 edges, 16990 markings/sec, 10 secs 632177 edges, 19318 markings/sec, 15 secs 803859 edges, 19071 markings/sec, 20 secs 968261 edges, 19994 markings/sec, 25 secs 1120654 edges, 20217 markings/sec, 30 secs 1242194 edges, 14628 markings/sec, 35 secs 1410133 edges, 18530 markings/sec, 40 secs 1579932 edges, 19085 markings/sec, 45 secs 1750364 edges, 18793 markings/sec, 50 secs 1905658 edges, 20463 markings/sec, 55 secs 2060423 edges, 20224 markings/sec, 60 secs 2182694 edges, 13554 markings/sec, 65 secs 2350516 edges, 18909 markings/sec, 70 secs 2518668 edges, 18847 markings/sec, 75 secs 2684554 edges, 19378 markings/sec, 80 secs 2836647 edges, 20256 markings/sec, 85 secs 2972001 edges, 16929 markings/sec, 90 secs 3107803 edges, 16865 markings/sec, 95 secs 3261462 edges, 20043 markings/sec, 100 secs 3413996 edges, 20065 markings/sec, 105 secs 3534437 edges, 14208 markings/sec, 110 secs 3685278 edges, 19413 markings/sec, 115 secs 3832971 edges, 19658 markings/sec, 120 secs 3965387 edges, 16517 markings/sec, 125 secs 4101094 edges, 16898 markings/sec, 130 secs 4251053 edges, 19571 markings/sec, 135 secs 4399166 edges, 19501 markings/sec, 140 secs 4518306 edges, 14020 markings/sec, 145 secs 4669333 edges, 19431 markings/sec, 150 secs 4818339 edges, 19802 markings/sec, 155 secs 4944356 edges, 15425 markings/sec, 160 secs 5089168 edges, 18051 markings/sec, 165 secs 5239350 edges, 19947 markings/sec, 170 secs 5384092 edges, 18475 markings/sec, 175 secs 5508765 edges, 15243 markings/sec, 180 secs 5659516 edges, 19557 markings/sec, 185 secs 5809057 edges, 19714 markings/sec, 190 secs 5928990 edges, 14142 markings/sec, 195 secs 6079500 edges, 19369 markings/sec, 200 secs 6229254 edges, 19855 markings/sec, 205 secs 6354606 edges, 14842 markings/sec, 210 secs 6505202 edges, 19337 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 5 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(place_518_1) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 202177 edges, 20948 markings/sec, 0 secs 396328 edges, 20937 markings/sec, 5 secs 587038 edges, 20439 markings/sec, 10 secs 779714 edges, 20575 markings/sec, 15 secs 964854 edges, 20629 markings/sec, 20 secs 1150473 edges, 20539 markings/sec, 25 secs 1287192 edges, 15025 markings/sec, 30 secs 1473851 edges, 17901 markings/sec, 35 secs 1667558 edges, 18848 markings/sec, 40 secs 1859777 edges, 18633 markings/sec, 45 secs 2053262 edges, 19309 markings/sec, 50 secs 2242775 edges, 21128 markings/sec, 55 secs 2437947 edges, 21663 markings/sec, 60 secs 2605473 edges, 18412 markings/sec, 65 secs 2783148 edges, 17426 markings/sec, 70 secs 2985271 edges, 19666 markings/sec, 75 secs 3185974 edges, 19462 markings/sec, 80 secs 3388949 edges, 20384 markings/sec, 85 secs 3586886 edges, 22067 markings/sec, 90 secs 3783935 edges, 21844 markings/sec, 95 secs 3940783 edges, 17254 markings/sec, 100 secs 4126410 edges, 20042 markings/sec, 105 secs 4326267 edges, 21698 markings/sec, 110 secs 4520855 edges, 21664 markings/sec, 115 secs 4717647 edges, 21732 markings/sec, 120 secs 4864622 edges, 15882 markings/sec, 125 secs 5059768 edges, 21217 markings/sec, 130 secs 5256645 edges, 21610 markings/sec, 135 secs 5446718 edges, 21134 markings/sec, 140 secs 5640609 edges, 21144 markings/sec, 145 secs 5786109 edges, 15902 markings/sec, 150 secs 5982101 edges, 21069 markings/sec, 155 secs 6173711 edges, 21368 markings/sec, 160 secs 6362567 edges, 20964 markings/sec, 165 secs 6532376 edges, 18626 markings/sec, 170 secs 6702430 edges, 18389 markings/sec, 175 secs 6900187 edges, 21412 markings/sec, 180 secs 7093140 edges, 21482 markings/sec, 185 secs 7288725 edges, 21581 markings/sec, 190 secs 7436767 edges, 15973 markings/sec, 195 secs 7631850 edges, 21092 markings/sec, 200 secs 7827002 edges, 21571 markings/sec, 205 secs 8020029 edges, 21428 markings/sec, 210 secs 8188069 edges, 18426 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 6 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(FetchJobB_1) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 162077 edges, 15557 markings/sec, 0 secs 315782 edges, 14833 markings/sec, 5 secs 495900 edges, 19104 markings/sec, 10 secs 679486 edges, 20566 markings/sec, 15 secs 853081 edges, 19257 markings/sec, 20 secs 1028197 edges, 21454 markings/sec, 25 secs 1192058 edges, 20723 markings/sec, 30 secs 1326908 edges, 15242 markings/sec, 35 secs 1505236 edges, 20012 markings/sec, 40 secs 1684633 edges, 20060 markings/sec, 45 secs 1864261 edges, 20128 markings/sec, 50 secs 2031305 edges, 21305 markings/sec, 55 secs 2196317 edges, 20367 markings/sec, 60 secs 2334854 edges, 15358 markings/sec, 65 secs 2512508 edges, 19914 markings/sec, 70 secs 2689152 edges, 19683 markings/sec, 75 secs 2864632 edges, 20793 markings/sec, 80 secs 3030537 edges, 21064 markings/sec, 85 secs 3168754 edges, 16530 markings/sec, 90 secs 3326428 edges, 19065 markings/sec, 95 secs 3494586 edges, 21109 markings/sec, 100 secs 3660965 edges, 20906 markings/sec, 105 secs 3792082 edges, 15225 markings/sec, 110 secs 3956929 edges, 20294 markings/sec, 115 secs 4118099 edges, 20504 markings/sec, 120 secs 4266875 edges, 18107 markings/sec, 125 secs 4411798 edges, 17377 markings/sec, 130 secs 4575854 edges, 20412 markings/sec, 135 secs 4736288 edges, 20299 markings/sec, 140 secs 4867769 edges, 15198 markings/sec, 145 secs 5032642 edges, 20215 markings/sec, 150 secs 5196181 edges, 20823 markings/sec, 155 secs 5350022 edges, 18804 markings/sec, 160 secs 5493207 edges, 17116 markings/sec, 165 secs 5658612 edges, 20584 markings/sec, 170 secs 5822711 edges, 20686 markings/sec, 175 secs 5955021 edges, 15350 markings/sec, 180 secs 6119153 edges, 20187 markings/sec, 185 secs 6281824 edges, 20678 markings/sec, 190 secs 6424180 edges, 17164 markings/sec, 195 secs 6577692 edges, 18415 markings/sec, 200 secs 6741615 edges, 20608 markings/sec, 205 secs 6901750 edges, 19721 markings/sec, 210 secs 7036301 edges, 15971 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 7 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 149772 edges, 14349 markings/sec, 0 secs 290743 edges, 13640 markings/sec, 5 secs 455926 edges, 16928 markings/sec, 10 secs 634280 edges, 19946 markings/sec, 15 secs 812032 edges, 19740 markings/sec, 20 secs 983163 edges, 21080 markings/sec, 25 secs 1151971 edges, 22302 markings/sec, 30 secs 1287982 edges, 15318 markings/sec, 35 secs 1465565 edges, 20007 markings/sec, 40 secs 1643272 edges, 19935 markings/sec, 45 secs 1821064 edges, 20881 markings/sec, 50 secs 1989727 edges, 22421 markings/sec, 55 secs 2125120 edges, 16372 markings/sec, 60 secs 2299642 edges, 19452 markings/sec, 65 secs 2475872 edges, 19796 markings/sec, 70 secs 2653225 edges, 19961 markings/sec, 75 secs 2821879 edges, 22501 markings/sec, 80 secs 2971983 edges, 18880 markings/sec, 85 secs 3121369 edges, 18579 markings/sec, 90 secs 3290612 edges, 22206 markings/sec, 95 secs 3452077 edges, 20676 markings/sec, 100 secs 3591129 edges, 17102 markings/sec, 105 secs 3757221 edges, 21637 markings/sec, 110 secs 3924191 edges, 21852 markings/sec, 115 secs 4053768 edges, 15507 markings/sec, 120 secs 4219429 edges, 21459 markings/sec, 125 secs 4381892 edges, 21497 markings/sec, 130 secs 4514958 edges, 15803 markings/sec, 135 secs 4680958 edges, 21427 markings/sec, 140 secs 4846662 edges, 21956 markings/sec, 145 secs 4982688 edges, 16221 markings/sec, 150 secs 5147676 edges, 21280 markings/sec, 155 secs 5313194 edges, 21947 markings/sec, 160 secs 5448835 edges, 16162 markings/sec, 165 secs 5613589 edges, 21244 markings/sec, 170 secs 5778693 edges, 21905 markings/sec, 175 secs 5914258 edges, 16150 markings/sec, 180 secs 6079351 edges, 21284 markings/sec, 185 secs 6243842 edges, 21772 markings/sec, 190 secs 6378884 edges, 16129 markings/sec, 195 secs 6542900 edges, 21186 markings/sec, 200 secs 6704579 edges, 21336 markings/sec, 205 secs 6837657 edges, 15889 markings/sec, 210 secs 7000336 edges, 21042 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 8 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(NotifyEventJobQueuedB_1_39 + NotifyEventJobQueuedB_1_38 + NotifyEventJobQueuedB_1_37 + NotifyEventJobQueuedB_1_36 + NotifyEventJobQueuedB_1_35 + NotifyEventJobQueuedB_1_34 + NotifyEventJobQueuedB_1_33 + NotifyEventJobQueuedB_1_32 + NotifyEventJobQueuedB_1_31 + NotifyEventJobQueuedB_1_30 + NotifyEventJobQueuedB_1_29 + NotifyEventJobQueuedB_1_28 + NotifyEventJobQueuedB_1_27 + NotifyEventJobQueue... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 52710 edges, 7076 markings/sec, 0 secs 105332 edges, 7060 markings/sec, 5 secs 161350 edges, 7012 markings/sec, 10 secs 213710 edges, 7015 markings/sec, 15 secs 269607 edges, 6991 markings/sec, 20 secs 325489 edges, 6986 markings/sec, 25 secs 377770 edges, 7003 markings/sec, 30 secs 433761 edges, 7007 markings/sec, 35 secs 493215 edges, 6965 markings/sec, 40 secs 548990 edges, 6973 markings/sec, 45 secs 608346 edges, 6950 markings/sec, 50 secs 663828 edges, 6922 markings/sec, 55 secs 726513 edges, 6889 markings/sec, 60 secs 789143 edges, 6884 markings/sec, 65 secs 852085 edges, 6925 markings/sec, 70 secs 921854 edges, 6834 markings/sec, 75 secs 1009812 edges, 6772 markings/sec, 80 secs 1096036 edges, 6822 markings/sec, 85 secs 1147778 edges, 6920 markings/sec, 90 secs 1203391 edges, 6949 markings/sec, 95 secs 1255135 edges, 6920 markings/sec, 100 secs 1310313 edges, 6883 markings/sec, 105 secs 1365730 edges, 6914 markings/sec, 110 secs 1417445 edges, 6914 markings/sec, 115 secs 1472790 edges, 6907 markings/sec, 120 secs 1528407 edges, 6945 markings/sec, 125 secs 1587419 edges, 6897 markings/sec, 130 secs 1642645 edges, 6886 markings/sec, 135 secs 1701197 edges, 6826 markings/sec, 140 secs 1760021 edges, 6867 markings/sec, 145 secs 1818638 edges, 6827 markings/sec, 150 secs 1884466 edges, 6806 markings/sec, 155 secs 1950522 edges, 6832 markings/sec, 160 secs 2023577 edges, 6762 markings/sec, 165 secs 2131117 edges, 6670 markings/sec, 170 secs 2183583 edges, 7037 markings/sec, 175 secs 2239723 edges, 7030 markings/sec, 180 secs 2291797 edges, 6972 markings/sec, 185 secs 2347650 edges, 6982 markings/sec, 190 secs 2399721 edges, 6974 markings/sec, 195 secs 2455403 edges, 6955 markings/sec, 200 secs 2511009 edges, 6944 markings/sec, 205 secs 2566779 edges, 6974 markings/sec, 210 secs 2622426 edges, 6952 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 9 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(CreatedJobs_29_1 + CreatedJobs_29_2 + CreatedJobs_29_3 + CreatedJobs_29_4 + CreatedJobs_29_5 + CreatedJobs_16_1 + CreatedJobs_16_2 + CreatedJobs_16_3 + CreatedJobs_16_4 + CreatedJobs_16_5 + CreatedJobs_0_1 + CreatedJobs_0_2 + CreatedJobs_0_3 + CreatedJobs_0_4 + CreatedJobs_0_5 + CreatedJobs_17_1 + CreatedJobs_17_2 + CreatedJobs_17_3 + CreatedJobs_17_4 + CreatedJobs_17_5 + CreatedJobs_1_1 + Cre... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 53036 edges, 7128 markings/sec, 0 secs 105907 edges, 7096 markings/sec, 5 secs 162162 edges, 7046 markings/sec, 10 secs 214772 edges, 7057 markings/sec, 15 secs 270939 edges, 7032 markings/sec, 20 secs 326936 edges, 7010 markings/sec, 25 secs 383036 edges, 7022 markings/sec, 30 secs 439282 edges, 7042 markings/sec, 35 secs 495268 edges, 7002 markings/sec, 40 secs 551217 edges, 7001 markings/sec, 45 secs 610724 edges, 6972 markings/sec, 50 secs 670063 edges, 6949 markings/sec, 55 secs 729333 edges, 6936 markings/sec, 60 secs 792272 edges, 6927 markings/sec, 65 secs 859008 edges, 6939 markings/sec, 70 secs 928996 edges, 6867 markings/sec, 75 secs 1017181 edges, 6805 markings/sec, 80 secs 1100003 edges, 6875 markings/sec, 85 secs 1155567 edges, 6942 markings/sec, 90 secs 1207817 edges, 6999 markings/sec, 95 secs 1263419 edges, 6945 markings/sec, 100 secs 1315234 edges, 6931 markings/sec, 105 secs 1370789 edges, 6938 markings/sec, 110 secs 1426277 edges, 6927 markings/sec, 115 secs 1481794 edges, 6933 markings/sec, 120 secs 1537462 edges, 6952 markings/sec, 125 secs 1592996 edges, 6933 markings/sec, 130 secs 1651879 edges, 6878 markings/sec, 135 secs 1706800 edges, 6839 markings/sec, 140 secs 1765461 edges, 6837 markings/sec, 145 secs 1827593 edges, 6802 markings/sec, 150 secs 1889689 edges, 6800 markings/sec, 155 secs 1959265 edges, 6800 markings/sec, 160 secs 2032338 edges, 6771 markings/sec, 165 secs 2136580 edges, 6732 markings/sec, 170 secs 2192889 edges, 7059 markings/sec, 175 secs 2245604 edges, 7071 markings/sec, 180 secs 2301450 edges, 6986 markings/sec, 185 secs 2353945 edges, 7036 markings/sec, 190 secs 2409760 edges, 6980 markings/sec, 195 secs 2465673 edges, 6996 markings/sec, 200 secs 2521267 edges, 6970 markings/sec, 205 secs 2577478 edges, 7010 markings/sec, 210 secs 2633243 edges, 6967 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 10 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(cJobCnt) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 160496 edges, 15405 markings/sec, 0 secs 313021 edges, 14723 markings/sec, 5 secs 490762 edges, 18791 markings/sec, 10 secs 671975 edges, 20303 markings/sec, 15 secs 850795 edges, 19849 markings/sec, 20 secs 1024285 edges, 21207 markings/sec, 25 secs 1191072 edges, 21098 markings/sec, 30 secs 1325013 edges, 15146 markings/sec, 35 secs 1502565 edges, 19926 markings/sec, 40 secs 1680838 edges, 19940 markings/sec, 45 secs 1860036 edges, 20013 markings/sec, 50 secs 2026958 edges, 21286 markings/sec, 55 secs 2193991 edges, 20637 markings/sec, 60 secs 2330186 edges, 15114 markings/sec, 65 secs 2507037 edges, 19834 markings/sec, 70 secs 2682847 edges, 19596 markings/sec, 75 secs 2857881 edges, 20627 markings/sec, 80 secs 3024161 edges, 21121 markings/sec, 85 secs 3165117 edges, 16937 markings/sec, 90 secs 3319713 edges, 18655 markings/sec, 95 secs 3486714 edges, 20911 markings/sec, 100 secs 3652414 edges, 20867 markings/sec, 105 secs 3783774 edges, 15231 markings/sec, 110 secs 3947386 edges, 20108 markings/sec, 115 secs 4108356 edges, 20495 markings/sec, 120 secs 4260940 edges, 18651 markings/sec, 125 secs 4401560 edges, 16802 markings/sec, 130 secs 4564636 edges, 20239 markings/sec, 135 secs 4724562 edges, 20267 markings/sec, 140 secs 4855607 edges, 15210 markings/sec, 145 secs 5019069 edges, 19931 markings/sec, 150 secs 5183074 edges, 20904 markings/sec, 155 secs 5342080 edges, 19540 markings/sec, 160 secs 5480008 edges, 16411 markings/sec, 165 secs 5644885 edges, 20465 markings/sec, 170 secs 5808783 edges, 20707 markings/sec, 175 secs 5942083 edges, 15455 markings/sec, 180 secs 6105529 edges, 20069 markings/sec, 185 secs 6267795 edges, 20646 markings/sec, 190 secs 6416172 edges, 18029 markings/sec, 195 secs 6564254 edges, 17728 markings/sec, 200 secs 6727708 edges, 20433 markings/sec, 205 secs 6893650 edges, 20540 markings/sec, 210 secs 7023141 edges, 15291 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 11 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(NotifyEventJobQueuedB_1_39 + NotifyEventJobQueuedB_1_38 + NotifyEventJobQueuedB_1_37 + NotifyEventJobQueuedB_1_36 + NotifyEventJobQueuedB_1_35 + NotifyEventJobQueuedB_1_34 + NotifyEventJobQueuedB_1_33 + NotifyEventJobQueuedB_1_32 + NotifyEventJobQueuedB_1_31 + NotifyEventJobQueuedB_1_30 + NotifyEventJobQueuedB_1_29 + NotifyEventJobQueuedB_1_28 + NotifyEventJobQueuedB_1_27 + NotifyEventJobQueue... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 52717 edges, 7077 markings/sec, 0 secs 105353 edges, 7061 markings/sec, 5 secs 161437 edges, 7022 markings/sec, 10 secs 213885 edges, 7025 markings/sec, 15 secs 269829 edges, 7003 markings/sec, 20 secs 325678 edges, 6984 markings/sec, 25 secs 377995 edges, 7009 markings/sec, 30 secs 437652 edges, 6997 markings/sec, 35 secs 493489 edges, 6985 markings/sec, 40 secs 549337 edges, 6977 markings/sec, 45 secs 608665 edges, 6948 markings/sec, 50 secs 664196 edges, 6932 markings/sec, 55 secs 726934 edges, 6898 markings/sec, 60 secs 789665 edges, 6896 markings/sec, 65 secs 852613 edges, 6926 markings/sec, 70 secs 922424 edges, 6839 markings/sec, 75 secs 1010401 edges, 6776 markings/sec, 80 secs 1096663 edges, 6829 markings/sec, 85 secs 1152058 edges, 6914 markings/sec, 90 secs 1204185 edges, 6983 markings/sec, 95 secs 1255961 edges, 6925 markings/sec, 100 secs 1311219 edges, 6892 markings/sec, 105 secs 1366708 edges, 6928 markings/sec, 110 secs 1418458 edges, 6920 markings/sec, 115 secs 1473797 edges, 6906 markings/sec, 120 secs 1529387 edges, 6942 markings/sec, 125 secs 1588411 edges, 6897 markings/sec, 130 secs 1643686 edges, 6895 markings/sec, 135 secs 1702289 edges, 6832 markings/sec, 140 secs 1761112 edges, 6866 markings/sec, 145 secs 1822087 edges, 6830 markings/sec, 150 secs 1885685 edges, 6821 markings/sec, 155 secs 1951787 edges, 6839 markings/sec, 160 secs 2024958 edges, 6785 markings/sec, 165 secs 2132519 edges, 6671 markings/sec, 170 secs 2184992 edges, 7037 markings/sec, 175 secs 2241113 edges, 7030 markings/sec, 180 secs 2293213 edges, 6972 markings/sec, 185 secs 2349075 edges, 6988 markings/sec, 190 secs 2401130 edges, 6969 markings/sec, 195 secs 2456820 edges, 6960 markings/sec, 200 secs 2512423 edges, 6944 markings/sec, 205 secs 2568232 edges, 6975 markings/sec, 210 secs 2623833 edges, 6944 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 12 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Perform_Work_E_1) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 155915 edges, 14945 markings/sec, 0 secs 304450 edges, 14355 markings/sec, 5 secs 472949 edges, 17519 markings/sec, 10 secs 644557 edges, 19189 markings/sec, 15 secs 814919 edges, 18910 markings/sec, 20 secs 984979 edges, 21007 markings/sec, 25 secs 1150377 edges, 21855 markings/sec, 30 secs 1282529 edges, 14909 markings/sec, 35 secs 1450925 edges, 18977 markings/sec, 40 secs 1620267 edges, 19007 markings/sec, 45 secs 1790626 edges, 19373 markings/sec, 50 secs 1955262 edges, 21954 markings/sec, 55 secs 2101372 edges, 18337 markings/sec, 60 secs 2253235 edges, 16809 markings/sec, 65 secs 2421183 edges, 18888 markings/sec, 70 secs 2587565 edges, 18542 markings/sec, 75 secs 2756287 edges, 21334 markings/sec, 80 secs 2922051 edges, 21786 markings/sec, 85 secs 3049819 edges, 15166 markings/sec, 90 secs 3213018 edges, 21088 markings/sec, 95 secs 3375711 edges, 21583 markings/sec, 100 secs 3507756 edges, 15651 markings/sec, 105 secs 3667620 edges, 20551 markings/sec, 110 secs 3826936 edges, 21230 markings/sec, 115 secs 3968302 edges, 17639 markings/sec, 120 secs 4115554 edges, 18385 markings/sec, 125 secs 4275423 edges, 20996 markings/sec, 130 secs 4434054 edges, 20418 markings/sec, 135 secs 4563605 edges, 15769 markings/sec, 140 secs 4725979 edges, 21084 markings/sec, 145 secs 4890448 edges, 21540 markings/sec, 150 secs 5019662 edges, 15466 markings/sec, 155 secs 5181635 edges, 20983 markings/sec, 160 secs 5343431 edges, 21322 markings/sec, 165 secs 5473814 edges, 15530 markings/sec, 170 secs 5634810 edges, 20802 markings/sec, 175 secs 5795260 edges, 21230 markings/sec, 180 secs 5926872 edges, 15643 markings/sec, 185 secs 6087749 edges, 20750 markings/sec, 190 secs 6247875 edges, 21176 markings/sec, 195 secs 6379370 edges, 15666 markings/sec, 200 secs 6538562 edges, 20541 markings/sec, 205 secs 6695728 edges, 20771 markings/sec, 210 secs 6825876 edges, 15496 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 13 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_5) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 129819 edges, 19788 markings/sec, 0 secs 254543 edges, 18232 markings/sec, 5 secs 375667 edges, 16472 markings/sec, 10 secs 501242 edges, 17482 markings/sec, 15 secs 629298 edges, 19144 markings/sec, 20 secs 753963 edges, 18255 markings/sec, 25 secs 874960 edges, 16603 markings/sec, 30 secs 998642 edges, 17105 markings/sec, 35 secs 1123538 edges, 17913 markings/sec, 40 secs 1244245 edges, 17817 markings/sec, 45 secs 1358838 edges, 16284 markings/sec, 50 secs 1483276 edges, 17109 markings/sec, 55 secs 1609909 edges, 17686 markings/sec, 60 secs 1739597 edges, 18066 markings/sec, 65 secs 1868131 edges, 18346 markings/sec, 70 secs 1995460 edges, 18205 markings/sec, 75 secs 2122215 edges, 18074 markings/sec, 80 secs 2248643 edges, 18009 markings/sec, 85 secs 2376037 edges, 17889 markings/sec, 90 secs 2501732 edges, 17772 markings/sec, 95 secs 2627072 edges, 17584 markings/sec, 100 secs 2755028 edges, 17809 markings/sec, 105 secs 2885765 edges, 18054 markings/sec, 110 secs 3014115 edges, 17808 markings/sec, 115 secs 3140831 edges, 17404 markings/sec, 120 secs 3266089 edges, 17188 markings/sec, 125 secs 3391309 edges, 17133 markings/sec, 130 secs 3518663 edges, 17492 markings/sec, 135 secs 3647055 edges, 17904 markings/sec, 140 secs 3776574 edges, 18242 markings/sec, 145 secs 3908233 edges, 17943 markings/sec, 150 secs 4036018 edges, 16905 markings/sec, 155 secs 4168519 edges, 18476 markings/sec, 160 secs 4303225 edges, 18535 markings/sec, 165 secs 4432725 edges, 17085 markings/sec, 170 secs 4568975 edges, 19075 markings/sec, 175 secs 4698017 edges, 16699 markings/sec, 180 secs 4832154 edges, 18511 markings/sec, 185 secs 4962705 edges, 17095 markings/sec, 190 secs 5096384 edges, 17605 markings/sec, 195 secs 5231533 edges, 18228 markings/sec, 200 secs 5366327 edges, 17920 markings/sec, 205 secs 5497597 edges, 17252 markings/sec, 210 secs 5634483 edges, 17672 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 14 will run for 222 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30 + f1_31 + f1_32 + f1_33 + f1_34 + f1_35 + f1_36 + f1_37 + f1_38 + f1_39 + f1_40) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 75606 edges, 5989 markings/sec, 0 secs 145824 edges, 5958 markings/sec, 5 secs 215725 edges, 5936 markings/sec, 10 secs 285434 edges, 5902 markings/sec, 15 secs 354800 edges, 5878 markings/sec, 20 secs 424238 edges, 5862 markings/sec, 25 secs 493974 edges, 5877 markings/sec, 30 secs 564049 edges, 5893 markings/sec, 35 secs 634685 edges, 5891 markings/sec, 40 secs 710422 edges, 6000 markings/sec, 45 secs 787967 edges, 6718 markings/sec, 50 secs 864555 edges, 6889 markings/sec, 55 secs 941000 edges, 6868 markings/sec, 60 secs 1017431 edges, 6852 markings/sec, 65 secs 1094772 edges, 6903 markings/sec, 70 secs 1171996 edges, 6867 markings/sec, 75 secs 1234358 edges, 5506 markings/sec, 80 secs 1277682 edges, 3813 markings/sec, 85 secs 1321056 edges, 3777 markings/sec, 90 secs 1364743 edges, 3747 markings/sec, 95 secs 1410427 edges, 3715 markings/sec, 100 secs 1479749 edges, 6670 markings/sec, 105 secs 1558549 edges, 9063 markings/sec, 110 secs 1636595 edges, 8918 markings/sec, 115 secs 1714706 edges, 8851 markings/sec, 120 secs 1794824 edges, 8890 markings/sec, 125 secs 1882113 edges, 8334 markings/sec, 130 secs 1960075 edges, 5827 markings/sec, 135 secs 2042334 edges, 6754 markings/sec, 140 secs 2119287 edges, 7155 markings/sec, 145 secs 2197790 edges, 7294 markings/sec, 150 secs 2276296 edges, 7280 markings/sec, 155 secs 2355832 edges, 7318 markings/sec, 160 secs 2435379 edges, 7308 markings/sec, 165 secs 2514977 edges, 7247 markings/sec, 170 secs 2595759 edges, 7237 markings/sec, 175 secs 2683181 edges, 7236 markings/sec, 180 secs 2763036 edges, 8865 markings/sec, 185 secs 2842933 edges, 9168 markings/sec, 190 secs 2922428 edges, 9060 markings/sec, 195 secs 3003467 edges, 9082 markings/sec, 200 secs 3087933 edges, 9107 markings/sec, 205 secs 3173290 edges, 6759 markings/sec, 210 secs 3257804 edges, 6555 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 15 will run for 222 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(place_523_1) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 139420 edges, 20964 markings/sec, 0 secs 277199 edges, 20379 markings/sec, 5 secs 404433 edges, 17838 markings/sec, 10 secs 534526 edges, 17832 markings/sec, 15 secs 670869 edges, 19122 markings/sec, 20 secs 805656 edges, 19771 markings/sec, 25 secs 941703 edges, 19901 markings/sec, 30 secs 1076130 edges, 19409 markings/sec, 35 secs 1208124 edges, 18509 markings/sec, 40 secs 1339050 edges, 18191 markings/sec, 45 secs 1472602 edges, 18555 markings/sec, 50 secs 1609028 edges, 19302 markings/sec, 55 secs 1747006 edges, 19418 markings/sec, 60 secs 1885002 edges, 19328 markings/sec, 65 secs 2020285 edges, 18979 markings/sec, 70 secs 2154674 edges, 18828 markings/sec, 75 secs 2287738 edges, 18705 markings/sec, 80 secs 2423356 edges, 19065 markings/sec, 85 secs 2557268 edges, 18876 markings/sec, 90 secs 2691579 edges, 18911 markings/sec, 95 secs 2831160 edges, 19587 markings/sec, 100 secs 2971796 edges, 19988 markings/sec, 105 secs 3111888 edges, 19773 markings/sec, 110 secs 3249387 edges, 18869 markings/sec, 115 secs 3381864 edges, 18070 markings/sec, 120 secs 3509980 edges, 17097 markings/sec, 125 secs 3647663 edges, 19456 markings/sec, 130 secs 3789560 edges, 20078 markings/sec, 135 secs 3927637 edges, 18244 markings/sec, 140 secs 4069982 edges, 19682 markings/sec, 145 secs 4213040 edges, 19588 markings/sec, 150 secs 4357180 edges, 19438 markings/sec, 155 secs 4504150 edges, 19812 markings/sec, 160 secs 4650581 edges, 20239 markings/sec, 165 secs 4791821 edges, 18370 markings/sec, 170 secs 4939536 edges, 19529 markings/sec, 175 secs 5087108 edges, 20136 markings/sec, 180 secs 5235249 edges, 19601 markings/sec, 185 secs 5382389 edges, 19300 markings/sec, 190 secs 5529288 edges, 18933 markings/sec, 195 secs 5679670 edges, 19932 markings/sec, 200 secs 5828457 edges, 19117 markings/sec, 205 secs 5976748 edges, 19058 markings/sec, 210 secs 6126485 edges, 18734 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown J40-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -S05J40-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN and sara stdout ----- stderr ----- stderr ----- stderr ----- sara 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="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-PT-S05J40.tgz
mv PolyORBNT-PT-S05J40 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is PolyORBNT-PT-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 r058-smll-149440926100110"
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 ;