About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5894.90 | 1126117 | 222.3 | CC | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.............................
=====================================================================
Generated by BenchKit 2-1667
Executing tool greatspn
Input is Peterson-PT-5, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r03kn-qhx2-140036872301115
=====================================================================
--------------------
content from stdout:
BK_START 1400397859661
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running Peterson (PT), instance 5
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/CTLFireability.xml INTO /home/mcc/execution/CTLFireability.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -P -h 2000000000 -B 1 -C -f /home/mcc/execution/CTLFireability.rgmedd-ctl
Setting MEDDLY cache to 2000000000 bytes.
Opening file: model.bnd
----------------------------------------
Start firing rule encoding
----------------------------------------
Encoding transition ProgressTurn_4_3 (0/1242).
Encoding transition ProgressTurn_3_3 (1/1242).
Encoding transition AccessCS_0 (2/1242).
Encoding transition ProgressTurn_5_3 (3/1242).
Encoding transition AccessCS_2 (4/1242).
Encoding transition AccessCS_1 (5/1242).
Encoding transition AccessCS_4 (6/1242).
Encoding transition AccessCS_3 (7/1242).
Encoding transition BecomeIdle_0 (8/1242).
Encoding transition AccessCS_5 (9/1242).
Encoding transition BecomeIdle_2 (10/1242).
Encoding transition BecomeIdle_1 (11/1242).
Encoding transition BecomeIdle_4 (12/1242).
Encoding transition BecomeIdle_3 (13/1242).
Encoding transition BecomeIdle_5 (14/1242).
Encoding transition ProgressTurn_5_0 (15/1242).
Encoding transition ProgressTurn_0_1 (16/1242).
Encoding transition ProgressTurn_1_1 (17/1242).
Encoding transition ProgressTurn_2_1 (18/1242).
Encoding transition ProgressTurn_3_1 (19/1242).
Encoding transition ProgressTurn_4_1 (20/1242).
Encoding transition ProgressTurn_5_1 (21/1242).
Encoding transition ProgressTurn_0_2 (22/1242).
Encoding transition ProgressTurn_1_2 (23/1242).
Encoding transition ProgressTurn_2_2 (24/1242).
Encoding transition ProgressTurn_3_2 (25/1242).
Encoding transition ProgressTurn_4_2 (26/1242).
Encoding transition ProgressTurn_5_2 (27/1242).
Encoding transition ProgressTurn_0_3 (28/1242).
Encoding transition ProgressTurn_1_3 (29/1242).
Encoding transition ProgressTurn_2_3 (30/1242).
Encoding transition Loop_2_2_0 (31/1242).
Encoding transition Loop_1_2_0 (32/1242).
Encoding transition Loop_4_2_0 (33/1242).
Encoding transition Loop_3_2_0 (34/1242).
Encoding transition Loop_0_3_0 (35/1242).
Encoding transition Loop_5_2_0 (36/1242).
Encoding transition Loop_2_3_0 (37/1242).
Encoding transition Loop_1_3_0 (38/1242).
Encoding transition Loop_4_3_0 (39/1242).
Encoding transition Loop_3_3_0 (40/1242).
Encoding transition Loop_0_4_0 (41/1242).
Encoding transition Loop_5_3_0 (42/1242).
Encoding transition Loop_2_4_0 (43/1242).
Encoding transition Loop_1_4_0 (44/1242).
Encoding transition Loop_4_4_0 (45/1242).
Encoding transition Loop_3_4_0 (46/1242).
Encoding transition EndLoop_3_4 (47/1242).
Encoding transition EndLoop_4_4 (48/1242).
Encoding transition EndLoop_5_4 (49/1242).
Encoding transition Loop_0_0_0 (50/1242).
Encoding transition Loop_1_0_0 (51/1242).
Encoding transition Loop_2_0_0 (52/1242).
Encoding transition Loop_3_0_0 (53/1242).
Encoding transition Loop_4_0_0 (54/1242).
Encoding transition Loop_5_0_0 (55/1242).
Encoding transition Loop_0_1_0 (56/1242).
Encoding transition Loop_1_1_0 (57/1242).
Encoding transition Loop_2_1_0 (58/1242).
Encoding transition Loop_3_1_0 (59/1242).
Encoding transition Loop_4_1_0 (60/1242).
Encoding transition Loop_5_1_0 (61/1242).
Encoding transition Loop_0_2_0 (62/1242).
Encoding transition EndLoop_2_2 (63/1242).
Encoding transition EndLoop_1_2 (64/1242).
Encoding transition EndLoop_0_2 (65/1242).
Encoding transition EndLoop_5_1 (66/1242).
Encoding transition EndLoop_0_3 (67/1242).
Encoding transition EndLoop_5_2 (68/1242).
Encoding transition EndLoop_4_2 (69/1242).
Encoding transition EndLoop_3_2 (70/1242).
Encoding transition EndLoop_4_3 (71/1242).
Encoding transition EndLoop_3_3 (72/1242).
Encoding transition EndLoop_2_3 (73/1242).
Encoding transition EndLoop_1_3 (74/1242).
Encoding transition EndLoop_2_4 (75/1242).
Encoding transition EndLoop_1_4 (76/1242).
Encoding transition EndLoop_0_4 (77/1242).
Encoding transition EndLoop_5_3 (78/1242).
Encoding transition EndLoop_1_0 (79/1242).
Encoding transition EndLoop_2_0 (80/1242).
Encoding transition EndLoop_0_0 (81/1242).
Encoding transition EndLoop_5_0 (82/1242).
Encoding transition EndLoop_0_1 (83/1242).
Encoding transition EndLoop_3_0 (84/1242).
Encoding transition EndLoop_4_0 (85/1242).
Encoding transition EndLoop_3_1 (86/1242).
Encoding transition EndLoop_4_1 (87/1242).
Encoding transition EndLoop_1_1 (88/1242).
Encoding transition EndLoop_2_1 (89/1242).
Encoding transition Loop_5_4_2 (90/1242).
Encoding transition Loop_0_0_3 (91/1242).
Encoding transition Loop_1_0_3 (92/1242).
Encoding transition Loop_2_0_3 (93/1242).
Encoding transition Loop_1_4_2 (94/1242).
Encoding transition Loop_2_4_2 (95/1242).
Encoding transition Loop_3_4_2 (96/1242).
Encoding transition Loop_4_4_2 (97/1242).
Encoding transition Loop_3_3_2 (98/1242).
Encoding transition Loop_4_3_2 (99/1242).
Encoding transition Loop_5_3_2 (100/1242).
Encoding transition Loop_0_4_2 (101/1242).
Encoding transition Loop_5_2_2 (102/1242).
Encoding transition Loop_0_3_2 (103/1242).
Encoding transition Loop_1_3_2 (104/1242).
Encoding transition Loop_2_3_2 (105/1242).
Encoding transition Loop_2_2_2 (106/1242).
Encoding transition Loop_1_2_2 (107/1242).
Encoding transition Loop_4_2_2 (108/1242).
Encoding transition Loop_3_2_2 (109/1242).
Encoding transition Loop_4_1_2 (110/1242).
Encoding transition Loop_3_1_2 (111/1242).
Encoding transition Loop_0_2_2 (112/1242).
Encoding transition Loop_5_1_2 (113/1242).
Encoding transition Loop_0_1_2 (114/1242).
Encoding transition Loop_5_0_2 (115/1242).
Encoding transition Loop_2_1_2 (116/1242).
Encoding transition Loop_1_1_2 (117/1242).
Encoding transition Loop_2_0_2 (118/1242).
Encoding transition Loop_1_0_2 (119/1242).
Encoding transition Loop_4_0_2 (120/1242).
Encoding transition Loop_3_0_2 (121/1242).
Encoding transition Loop_5_4_1 (122/1242).
Encoding transition Loop_0_0_2 (123/1242).
Encoding transition Loop_3_4_1 (124/1242).
Encoding transition Loop_4_4_1 (125/1242).
Encoding transition Loop_1_4_1 (126/1242).
Encoding transition Loop_2_4_1 (127/1242).
Encoding transition Loop_5_3_1 (128/1242).
Encoding transition Loop_0_4_1 (129/1242).
Encoding transition Loop_3_3_1 (130/1242).
Encoding transition Loop_4_3_1 (131/1242).
Encoding transition Loop_1_3_1 (132/1242).
Encoding transition Loop_2_3_1 (133/1242).
Encoding transition Loop_5_2_1 (134/1242).
Encoding transition Loop_0_3_1 (135/1242).
Encoding transition Loop_3_2_1 (136/1242).
Encoding transition Loop_4_2_1 (137/1242).
Encoding transition Loop_2_2_1 (138/1242).
Encoding transition Loop_1_2_1 (139/1242).
Encoding transition Loop_0_2_1 (140/1242).
Encoding transition Loop_5_1_1 (141/1242).
Encoding transition Loop_4_1_1 (142/1242).
Encoding transition Loop_3_1_1 (143/1242).
Encoding transition Loop_2_1_1 (144/1242).
Encoding transition Loop_1_1_1 (145/1242).
Encoding transition Loop_0_1_1 (146/1242).
Encoding transition Loop_5_0_1 (147/1242).
Encoding transition Loop_4_0_1 (148/1242).
Encoding transition Loop_3_0_1 (149/1242).
Encoding transition Loop_2_0_1 (150/1242).
Encoding transition Loop_1_0_1 (151/1242).
Encoding transition Loop_0_0_1 (152/1242).
Encoding transition Loop_5_4_0 (153/1242).
Encoding transition Loop_5_4_4 (154/1242).
Encoding transition Alone1_1_0_0 (155/1242).
Encoding transition Alone1_2_0_0 (156/1242).
Encoding transition Alone1_3_0_0 (157/1242).
Encoding transition Alone1_4_0_0 (158/1242).
Encoding transition Alone1_5_0_0 (159/1242).
Encoding transition Alone1_0_1_0 (160/1242).
Encoding transition Alone1_2_1_0 (161/1242).
Encoding transition Loop_3_3_4 (162/1242).
Encoding transition Loop_4_3_4 (163/1242).
Encoding transition Loop_5_3_4 (164/1242).
Encoding transition Loop_0_4_4 (165/1242).
Encoding transition Loop_1_4_4 (166/1242).
Encoding transition Loop_2_4_4 (167/1242).
Encoding transition Loop_3_4_4 (168/1242).
Encoding transition Loop_4_4_4 (169/1242).
Encoding transition Loop_2_2_4 (170/1242).
Encoding transition Loop_1_2_4 (171/1242).
Encoding transition Loop_4_2_4 (172/1242).
Encoding transition Loop_3_2_4 (173/1242).
Encoding transition Loop_0_3_4 (174/1242).
Encoding transition Loop_5_2_4 (175/1242).
Encoding transition Loop_2_3_4 (176/1242).
Encoding transition Loop_1_3_4 (177/1242).
Encoding transition Loop_0_1_4 (178/1242).
Encoding transition Loop_5_0_4 (179/1242).
Encoding transition Loop_2_1_4 (180/1242).
Encoding transition Loop_1_1_4 (181/1242).
Encoding transition Loop_4_1_4 (182/1242).
Encoding transition Loop_3_1_4 (183/1242).
Encoding transition Loop_0_2_4 (184/1242).
Encoding transition Loop_5_1_4 (185/1242).
Encoding transition Loop_5_4_3 (186/1242).
Encoding transition Loop_0_0_4 (187/1242).
Encoding transition Loop_3_4_3 (188/1242).
Encoding transition Loop_4_4_3 (189/1242).
Encoding transition Loop_3_0_4 (190/1242).
Encoding transition Loop_4_0_4 (191/1242).
Encoding transition Loop_1_0_4 (192/1242).
Encoding transition Loop_2_0_4 (193/1242).
Encoding transition Loop_3_3_3 (194/1242).
Encoding transition Loop_4_3_3 (195/1242).
Encoding transition Loop_1_3_3 (196/1242).
Encoding transition Loop_2_3_3 (197/1242).
Encoding transition Loop_1_4_3 (198/1242).
Encoding transition Loop_2_4_3 (199/1242).
Encoding transition Loop_5_3_3 (200/1242).
Encoding transition Loop_0_4_3 (201/1242).
Encoding transition Loop_2_2_3 (202/1242).
Encoding transition Loop_1_2_3 (203/1242).
Encoding transition Loop_0_2_3 (204/1242).
Encoding transition Loop_5_1_3 (205/1242).
Encoding transition Loop_0_3_3 (206/1242).
Encoding transition Loop_5_2_3 (207/1242).
Encoding transition Loop_4_2_3 (208/1242).
Encoding transition Loop_3_2_3 (209/1242).
Encoding transition Loop_0_1_3 (210/1242).
Encoding transition Loop_5_0_3 (211/1242).
Encoding transition Loop_4_0_3 (212/1242).
Encoding transition Loop_3_0_3 (213/1242).
Encoding transition Loop_4_1_3 (214/1242).
Encoding transition Loop_3_1_3 (215/1242).
Encoding transition Loop_2_1_3 (216/1242).
Encoding transition Loop_1_1_3 (217/1242).
Encoding transition Alone1_3_4_2 (218/1242).
Encoding transition Alone1_5_4_2 (219/1242).
Encoding transition Alone1_0_5_2 (220/1242).
Encoding transition Alone1_1_5_2 (221/1242).
Encoding transition Alone1_5_3_2 (222/1242).
Encoding transition Alone1_0_4_2 (223/1242).
Encoding transition Alone1_1_4_2 (224/1242).
Encoding transition Alone1_2_4_2 (225/1242).
Encoding transition Alone1_0_3_2 (226/1242).
Encoding transition Alone1_1_3_2 (227/1242).
Encoding transition Alone1_2_3_2 (228/1242).
Encoding transition Alone1_4_3_2 (229/1242).
Encoding transition Alone1_1_2_2 (230/1242).
Encoding transition Alone1_3_2_2 (231/1242).
Encoding transition Alone1_4_2_2 (232/1242).
Encoding transition Alone1_5_2_2 (233/1242).
Encoding transition Alone1_0_2_3 (234/1242).
Encoding transition Alone1_5_1_3 (235/1242).
Encoding transition Alone1_3_2_3 (236/1242).
Encoding transition Alone1_1_2_3 (237/1242).
Encoding transition Alone1_2_1_3 (238/1242).
Encoding transition Alone1_0_1_3 (239/1242).
Encoding transition Alone1_4_1_3 (240/1242).
Encoding transition Alone1_3_1_3 (241/1242).
Encoding transition Alone1_3_0_3 (242/1242).
Encoding transition Alone1_2_0_3 (243/1242).
Encoding transition Alone1_5_0_3 (244/1242).
Encoding transition Alone1_4_0_3 (245/1242).
Encoding transition Alone1_3_5_2 (246/1242).
Encoding transition Alone1_2_5_2 (247/1242).
Encoding transition Alone1_1_0_3 (248/1242).
Encoding transition Alone1_4_5_2 (249/1242).
Encoding transition Alone1_2_5_3 (250/1242).
Encoding transition Alone1_3_5_3 (251/1242).
Encoding transition Alone1_0_5_3 (252/1242).
Encoding transition Alone1_1_5_3 (253/1242).
Encoding transition Alone1_3_4_3 (254/1242).
Encoding transition Alone1_5_4_3 (255/1242).
Encoding transition Alone1_1_4_3 (256/1242).
Encoding transition Alone1_2_4_3 (257/1242).
Encoding transition Alone1_5_3_3 (258/1242).
Encoding transition Alone1_0_4_3 (259/1242).
Encoding transition Alone1_2_3_3 (260/1242).
Encoding transition Alone1_4_3_3 (261/1242).
Encoding transition Alone1_0_3_3 (262/1242).
Encoding transition Alone1_1_3_3 (263/1242).
Encoding transition Alone1_4_2_3 (264/1242).
Encoding transition Alone1_5_2_3 (265/1242).
Encoding transition Alone1_5_2_4 (266/1242).
Encoding transition Alone1_4_2_4 (267/1242).
Encoding transition Alone1_3_2_4 (268/1242).
Encoding transition Alone1_1_2_4 (269/1242).
Encoding transition Alone1_0_2_4 (270/1242).
Encoding transition Alone1_5_1_4 (271/1242).
Encoding transition Alone1_4_1_4 (272/1242).
Encoding transition Alone1_3_1_4 (273/1242).
Encoding transition Alone1_2_1_4 (274/1242).
Encoding transition Alone1_0_1_4 (275/1242).
Encoding transition Alone1_5_0_4 (276/1242).
Encoding transition Alone1_4_0_4 (277/1242).
Encoding transition Alone1_3_0_4 (278/1242).
Encoding transition Alone1_2_0_4 (279/1242).
Encoding transition Alone1_1_0_4 (280/1242).
Encoding transition Alone1_4_5_3 (281/1242).
Encoding transition Alone1_0_3_0 (282/1242).
Encoding transition Alone1_1_3_0 (283/1242).
Encoding transition Alone1_2_3_0 (284/1242).
Encoding transition Alone1_4_3_0 (285/1242).
Encoding transition Alone1_5_3_0 (286/1242).
Encoding transition Alone1_0_4_0 (287/1242).
Encoding transition Alone1_1_4_0 (288/1242).
Encoding transition Alone1_2_4_0 (289/1242).
Encoding transition Alone1_3_1_0 (290/1242).
Encoding transition Alone1_4_1_0 (291/1242).
Encoding transition Alone1_5_1_0 (292/1242).
Encoding transition Alone1_0_2_0 (293/1242).
Encoding transition Alone1_1_2_0 (294/1242).
Encoding transition Alone1_3_2_0 (295/1242).
Encoding transition Alone1_4_2_0 (296/1242).
Encoding transition Alone1_5_2_0 (297/1242).
Encoding transition Alone1_3_0_1 (298/1242).
Encoding transition Alone1_2_0_1 (299/1242).
Encoding transition Alone1_5_0_1 (300/1242).
Encoding transition Alone1_4_0_1 (301/1242).
Encoding transition Alone1_2_1_1 (302/1242).
Encoding transition Alone1_0_1_1 (303/1242).
Encoding transition Alone1_4_1_1 (304/1242).
Encoding transition Alone1_3_1_1 (305/1242).
Encoding transition Alone1_5_4_0 (306/1242).
Encoding transition Alone1_3_4_0 (307/1242).
Encoding transition Alone1_1_5_0 (308/1242).
Encoding transition Alone1_0_5_0 (309/1242).
Encoding transition Alone1_3_5_0 (310/1242).
Encoding transition Alone1_2_5_0 (311/1242).
Encoding transition Alone1_1_0_1 (312/1242).
Encoding transition Alone1_4_5_0 (313/1242).
Encoding transition Alone1_5_3_1 (314/1242).
Encoding transition Alone1_0_4_1 (315/1242).
Encoding transition Alone1_2_3_1 (316/1242).
Encoding transition Alone1_4_3_1 (317/1242).
Encoding transition Alone1_3_4_1 (318/1242).
Encoding transition Alone1_5_4_1 (319/1242).
Encoding transition Alone1_1_4_1 (320/1242).
Encoding transition Alone1_2_4_1 (321/1242).
Encoding transition Alone1_1_2_1 (322/1242).
Encoding transition Alone1_3_2_1 (323/1242).
Encoding transition Alone1_5_1_1 (324/1242).
Encoding transition Alone1_0_2_1 (325/1242).
Encoding transition Alone1_0_3_1 (326/1242).
Encoding transition Alone1_1_3_1 (327/1242).
Encoding transition Alone1_4_2_1 (328/1242).
Encoding transition Alone1_5_2_1 (329/1242).
Encoding transition Alone1_2_1_2 (330/1242).
Encoding transition Alone1_0_1_2 (331/1242).
Encoding transition Alone1_5_0_2 (332/1242).
Encoding transition Alone1_4_0_2 (333/1242).
Encoding transition Alone1_0_2_2 (334/1242).
Encoding transition Alone1_5_1_2 (335/1242).
Encoding transition Alone1_4_1_2 (336/1242).
Encoding transition Alone1_3_1_2 (337/1242).
Encoding transition Alone1_3_5_1 (338/1242).
Encoding transition Alone1_2_5_1 (339/1242).
Encoding transition Alone1_1_5_1 (340/1242).
Encoding transition Alone1_0_5_1 (341/1242).
Encoding transition Alone1_3_0_2 (342/1242).
Encoding transition Alone1_2_0_2 (343/1242).
Encoding transition Alone1_1_0_2 (344/1242).
Encoding transition Alone1_4_5_1 (345/1242).
Encoding transition NotAlone_5_4_1 (346/1242).
Encoding transition NotAlone_3_4_1 (347/1242).
Encoding transition NotAlone_1_5_1 (348/1242).
Encoding transition NotAlone_0_5_1 (349/1242).
Encoding transition NotAlone_0_4_1 (350/1242).
Encoding transition NotAlone_5_3_1 (351/1242).
Encoding transition NotAlone_2_4_1 (352/1242).
Encoding transition NotAlone_1_4_1 (353/1242).
Encoding transition NotAlone_3_0_2 (354/1242).
Encoding transition NotAlone_2_0_2 (355/1242).
Encoding transition NotAlone_5_0_2 (356/1242).
Encoding transition NotAlone_4_0_2 (357/1242).
Encoding transition NotAlone_3_5_1 (358/1242).
Encoding transition NotAlone_2_5_1 (359/1242).
Encoding transition NotAlone_1_0_2 (360/1242).
Encoding transition NotAlone_4_5_1 (361/1242).
Encoding transition NotAlone_5_1_2 (362/1242).
Encoding transition NotAlone_0_2_2 (363/1242).
Encoding transition NotAlone_1_2_2 (364/1242).
Encoding transition NotAlone_3_2_2 (365/1242).
Encoding transition NotAlone_0_1_2 (366/1242).
Encoding transition NotAlone_2_1_2 (367/1242).
Encoding transition NotAlone_3_1_2 (368/1242).
Encoding transition NotAlone_4_1_2 (369/1242).
Encoding transition NotAlone_2_3_2 (370/1242).
Encoding transition NotAlone_4_3_2 (371/1242).
Encoding transition NotAlone_5_3_2 (372/1242).
Encoding transition NotAlone_0_4_2 (373/1242).
Encoding transition NotAlone_4_2_2 (374/1242).
Encoding transition NotAlone_5_2_2 (375/1242).
Encoding transition NotAlone_0_3_2 (376/1242).
Encoding transition NotAlone_1_3_2 (377/1242).
Encoding transition NotAlone_3_5_2 (378/1242).
Encoding transition NotAlone_2_5_2 (379/1242).
Encoding transition NotAlone_1_5_2 (380/1242).
Encoding transition NotAlone_0_5_2 (381/1242).
Encoding transition NotAlone_5_4_2 (382/1242).
Encoding transition NotAlone_3_4_2 (383/1242).
Encoding transition NotAlone_2_4_2 (384/1242).
Encoding transition NotAlone_1_4_2 (385/1242).
Encoding transition NotAlone_2_1_3 (386/1242).
Encoding transition NotAlone_0_1_3 (387/1242).
Encoding transition NotAlone_5_0_3 (388/1242).
Encoding transition NotAlone_4_0_3 (389/1242).
Encoding transition NotAlone_3_0_3 (390/1242).
Encoding transition NotAlone_2_0_3 (391/1242).
Encoding transition NotAlone_1_0_3 (392/1242).
Encoding transition NotAlone_4_5_2 (393/1242).
Encoding transition NotAlone_4_2_3 (394/1242).
Encoding transition NotAlone_5_2_3 (395/1242).
Encoding transition NotAlone_1_2_3 (396/1242).
Encoding transition NotAlone_3_2_3 (397/1242).
Encoding transition NotAlone_5_1_3 (398/1242).
Encoding transition NotAlone_0_2_3 (399/1242).
Encoding transition NotAlone_3_1_3 (400/1242).
Encoding transition NotAlone_4_1_3 (401/1242).
Encoding transition NotAlone_1_4_3 (402/1242).
Encoding transition NotAlone_2_4_3 (403/1242).
Encoding transition NotAlone_5_3_3 (404/1242).
Encoding transition NotAlone_0_4_3 (405/1242).
Encoding transition NotAlone_2_3_3 (406/1242).
Encoding transition NotAlone_4_3_3 (407/1242).
Encoding transition NotAlone_0_3_3 (408/1242).
Encoding transition NotAlone_1_3_3 (409/1242).
Encoding transition Alone1_1_3_4 (410/1242).
Encoding transition Alone1_0_3_4 (411/1242).
Encoding transition Alone1_4_3_4 (412/1242).
Encoding transition Alone1_2_3_4 (413/1242).
Encoding transition Alone1_0_4_4 (414/1242).
Encoding transition Alone1_5_3_4 (415/1242).
Encoding transition Alone1_2_4_4 (416/1242).
Encoding transition Alone1_1_4_4 (417/1242).
Encoding transition Alone1_5_4_4 (418/1242).
Encoding transition Alone1_3_4_4 (419/1242).
Encoding transition Alone1_1_5_4 (420/1242).
Encoding transition Alone1_0_5_4 (421/1242).
Encoding transition Alone1_3_5_4 (422/1242).
Encoding transition Alone1_2_5_4 (423/1242).
Encoding transition NotAlone_1_0_0 (424/1242).
Encoding transition Alone1_4_5_4 (425/1242).
Encoding transition NotAlone_2_0_0 (426/1242).
Encoding transition NotAlone_3_0_0 (427/1242).
Encoding transition NotAlone_4_0_0 (428/1242).
Encoding transition NotAlone_5_0_0 (429/1242).
Encoding transition NotAlone_0_1_0 (430/1242).
Encoding transition NotAlone_2_1_0 (431/1242).
Encoding transition NotAlone_3_1_0 (432/1242).
Encoding transition NotAlone_4_1_0 (433/1242).
Encoding transition NotAlone_5_1_0 (434/1242).
Encoding transition NotAlone_0_2_0 (435/1242).
Encoding transition NotAlone_1_2_0 (436/1242).
Encoding transition NotAlone_3_2_0 (437/1242).
Encoding transition NotAlone_4_2_0 (438/1242).
Encoding transition NotAlone_5_2_0 (439/1242).
Encoding transition NotAlone_0_3_0 (440/1242).
Encoding transition NotAlone_1_3_0 (441/1242).
Encoding transition NotAlone_0_4_0 (442/1242).
Encoding transition NotAlone_5_3_0 (443/1242).
Encoding transition NotAlone_4_3_0 (444/1242).
Encoding transition NotAlone_2_3_0 (445/1242).
Encoding transition NotAlone_5_4_0 (446/1242).
Encoding transition NotAlone_3_4_0 (447/1242).
Encoding transition NotAlone_2_4_0 (448/1242).
Encoding transition NotAlone_1_4_0 (449/1242).
Encoding transition NotAlone_3_5_0 (450/1242).
Encoding transition NotAlone_2_5_0 (451/1242).
Encoding transition NotAlone_1_5_0 (452/1242).
Encoding transition NotAlone_0_5_0 (453/1242).
Encoding transition NotAlone_3_0_1 (454/1242).
Encoding transition NotAlone_2_0_1 (455/1242).
Encoding transition NotAlone_1_0_1 (456/1242).
Encoding transition NotAlone_4_5_0 (457/1242).
Encoding transition NotAlone_0_1_1 (458/1242).
Encoding transition NotAlone_2_1_1 (459/1242).
Encoding transition NotAlone_4_0_1 (460/1242).
Encoding transition NotAlone_5_0_1 (461/1242).
Encoding transition NotAlone_5_1_1 (462/1242).
Encoding transition NotAlone_0_2_1 (463/1242).
Encoding transition NotAlone_3_1_1 (464/1242).
Encoding transition NotAlone_4_1_1 (465/1242).
Encoding transition NotAlone_4_2_1 (466/1242).
Encoding transition NotAlone_5_2_1 (467/1242).
Encoding transition NotAlone_1_2_1 (468/1242).
Encoding transition NotAlone_3_2_1 (469/1242).
Encoding transition NotAlone_2_3_1 (470/1242).
Encoding transition NotAlone_4_3_1 (471/1242).
Encoding transition NotAlone_0_3_1 (472/1242).
Encoding transition NotAlone_1_3_1 (473/1242).
Encoding transition ContinueLoop_4_3_1 (474/1242).
Encoding transition ContinueLoop_3_3_1 (475/1242).
Encoding transition ContinueLoop_2_3_1 (476/1242).
Encoding transition ContinueLoop_1_3_1 (477/1242).
Encoding transition ContinueLoop_0_3_1 (478/1242).
Encoding transition ContinueLoop_5_2_1 (479/1242).
Encoding transition ContinueLoop_4_2_1 (480/1242).
Encoding transition ContinueLoop_3_2_1 (481/1242).
Encoding transition ContinueLoop_2_2_1 (482/1242).
Encoding transition ContinueLoop_1_2_1 (483/1242).
Encoding transition ContinueLoop_0_2_1 (484/1242).
Encoding transition ContinueLoop_5_1_1 (485/1242).
Encoding transition ContinueLoop_4_1_1 (486/1242).
Encoding transition ContinueLoop_3_1_1 (487/1242).
Encoding transition ContinueLoop_2_1_1 (488/1242).
Encoding transition ContinueLoop_1_1_1 (489/1242).
Encoding transition ContinueLoop_5_0_1 (490/1242).
Encoding transition ContinueLoop_0_1_1 (491/1242).
Encoding transition ContinueLoop_3_0_1 (492/1242).
Encoding transition ContinueLoop_4_0_1 (493/1242).
Encoding transition ContinueLoop_1_0_1 (494/1242).
Encoding transition ContinueLoop_2_0_1 (495/1242).
Encoding transition ContinueLoop_5_5_0 (496/1242).
Encoding transition ContinueLoop_0_0_1 (497/1242).
Encoding transition ContinueLoop_3_5_0 (498/1242).
Encoding transition ContinueLoop_4_5_0 (499/1242).
Encoding transition ContinueLoop_1_5_0 (500/1242).
Encoding transition ContinueLoop_2_5_0 (501/1242).
Encoding transition ContinueLoop_5_4_0 (502/1242).
Encoding transition ContinueLoop_0_5_0 (503/1242).
Encoding transition ContinueLoop_3_4_0 (504/1242).
Encoding transition ContinueLoop_4_4_0 (505/1242).
Encoding transition ContinueLoop_4_2_2 (506/1242).
Encoding transition ContinueLoop_3_2_2 (507/1242).
Encoding transition ContinueLoop_0_3_2 (508/1242).
Encoding transition ContinueLoop_5_2_2 (509/1242).
Encoding transition ContinueLoop_0_2_2 (510/1242).
Encoding transition ContinueLoop_5_1_2 (511/1242).
Encoding transition ContinueLoop_2_2_2 (512/1242).
Encoding transition ContinueLoop_1_2_2 (513/1242).
Encoding transition ContinueLoop_2_1_2 (514/1242).
Encoding transition ContinueLoop_1_1_2 (515/1242).
Encoding transition ContinueLoop_4_1_2 (516/1242).
Encoding transition ContinueLoop_3_1_2 (517/1242).
Encoding transition ContinueLoop_4_0_2 (518/1242).
Encoding transition ContinueLoop_3_0_2 (519/1242).
Encoding transition ContinueLoop_0_1_2 (520/1242).
Encoding transition ContinueLoop_5_0_2 (521/1242).
Encoding transition ContinueLoop_5_5_1 (522/1242).
Encoding transition ContinueLoop_0_0_2 (523/1242).
Encoding transition ContinueLoop_1_0_2 (524/1242).
Encoding transition ContinueLoop_2_0_2 (525/1242).
Encoding transition ContinueLoop_1_5_1 (526/1242).
Encoding transition ContinueLoop_2_5_1 (527/1242).
Encoding transition ContinueLoop_3_5_1 (528/1242).
Encoding transition ContinueLoop_4_5_1 (529/1242).
Encoding transition ContinueLoop_3_4_1 (530/1242).
Encoding transition ContinueLoop_4_4_1 (531/1242).
Encoding transition ContinueLoop_5_4_1 (532/1242).
Encoding transition ContinueLoop_0_5_1 (533/1242).
Encoding transition ContinueLoop_5_3_1 (534/1242).
Encoding transition ContinueLoop_0_4_1 (535/1242).
Encoding transition ContinueLoop_1_4_1 (536/1242).
Encoding transition ContinueLoop_2_4_1 (537/1242).
Encoding transition NotAlone_0_4_4 (538/1242).
Encoding transition NotAlone_5_3_4 (539/1242).
Encoding transition NotAlone_4_3_4 (540/1242).
Encoding transition NotAlone_2_3_4 (541/1242).
Encoding transition NotAlone_5_4_4 (542/1242).
Encoding transition NotAlone_3_4_4 (543/1242).
Encoding transition NotAlone_2_4_4 (544/1242).
Encoding transition NotAlone_1_4_4 (545/1242).
Encoding transition NotAlone_3_2_4 (546/1242).
Encoding transition NotAlone_1_2_4 (547/1242).
Encoding transition NotAlone_0_2_4 (548/1242).
Encoding transition NotAlone_5_1_4 (549/1242).
Encoding transition NotAlone_1_3_4 (550/1242).
Encoding transition NotAlone_0_3_4 (551/1242).
Encoding transition NotAlone_5_2_4 (552/1242).
Encoding transition NotAlone_4_2_4 (553/1242).
Encoding transition NotAlone_4_0_4 (554/1242).
Encoding transition NotAlone_5_0_4 (555/1242).
Encoding transition NotAlone_2_0_4 (556/1242).
Encoding transition NotAlone_3_0_4 (557/1242).
Encoding transition NotAlone_3_1_4 (558/1242).
Encoding transition NotAlone_4_1_4 (559/1242).
Encoding transition NotAlone_0_1_4 (560/1242).
Encoding transition NotAlone_2_1_4 (561/1242).
Encoding transition NotAlone_0_5_3 (562/1242).
Encoding transition NotAlone_1_5_3 (563/1242).
Encoding transition NotAlone_3_4_3 (564/1242).
Encoding transition NotAlone_5_4_3 (565/1242).
Encoding transition NotAlone_4_5_3 (566/1242).
Encoding transition NotAlone_1_0_4 (567/1242).
Encoding transition NotAlone_2_5_3 (568/1242).
Encoding transition NotAlone_3_5_3 (569/1242).
Encoding transition ContinueLoop_2_3_0 (570/1242).
Encoding transition ContinueLoop_1_3_0 (571/1242).
Encoding transition ContinueLoop_4_3_0 (572/1242).
Encoding transition ContinueLoop_3_3_0 (573/1242).
Encoding transition ContinueLoop_0_4_0 (574/1242).
Encoding transition ContinueLoop_5_3_0 (575/1242).
Encoding transition ContinueLoop_2_4_0 (576/1242).
Encoding transition ContinueLoop_1_4_0 (577/1242).
Encoding transition ContinueLoop_0_2_0 (578/1242).
Encoding transition ContinueLoop_5_1_0 (579/1242).
Encoding transition ContinueLoop_2_2_0 (580/1242).
Encoding transition ContinueLoop_1_2_0 (581/1242).
Encoding transition ContinueLoop_4_2_0 (582/1242).
Encoding transition ContinueLoop_3_2_0 (583/1242).
Encoding transition ContinueLoop_0_3_0 (584/1242).
Encoding transition ContinueLoop_5_2_0 (585/1242).
Encoding transition ContinueLoop_3_0_0 (586/1242).
Encoding transition ContinueLoop_4_0_0 (587/1242).
Encoding transition ContinueLoop_5_0_0 (588/1242).
Encoding transition ContinueLoop_0_1_0 (589/1242).
Encoding transition ContinueLoop_1_1_0 (590/1242).
Encoding transition ContinueLoop_2_1_0 (591/1242).
Encoding transition ContinueLoop_3_1_0 (592/1242).
Encoding transition ContinueLoop_4_1_0 (593/1242).
Encoding transition NotAlone_0_5_4 (594/1242).
Encoding transition NotAlone_1_5_4 (595/1242).
Encoding transition NotAlone_2_5_4 (596/1242).
Encoding transition NotAlone_3_5_4 (597/1242).
Encoding transition NotAlone_4_5_4 (598/1242).
Encoding transition ContinueLoop_0_0_0 (599/1242).
Encoding transition ContinueLoop_1_0_0 (600/1242).
Encoding transition ContinueLoop_2_0_0 (601/1242).
Encoding transition ContinueLoop_3_5_4 (602/1242).
Encoding transition ContinueLoop_4_5_4 (603/1242).
Encoding transition ContinueLoop_1_5_4 (604/1242).
Encoding transition ContinueLoop_2_5_4 (605/1242).
Encoding transition ContinueLoop_5_4_4 (606/1242).
Encoding transition ContinueLoop_0_5_4 (607/1242).
Encoding transition ContinueLoop_3_4_4 (608/1242).
Encoding transition ContinueLoop_4_4_4 (609/1242).
Encoding transition TurnDiff_0_1_0 (610/1242).
Encoding transition TurnDiff_2_1_0 (611/1242).
Encoding transition TurnDiff_4_0_0 (612/1242).
Encoding transition TurnDiff_5_0_0 (613/1242).
Encoding transition TurnDiff_2_0_0 (614/1242).
Encoding transition TurnDiff_3_0_0 (615/1242).
Encoding transition ContinueLoop_5_5_4 (616/1242).
Encoding transition TurnDiff_1_0_0 (617/1242).
Encoding transition ContinueLoop_0_3_4 (618/1242).
Encoding transition ContinueLoop_5_2_4 (619/1242).
Encoding transition ContinueLoop_4_2_4 (620/1242).
Encoding transition ContinueLoop_3_2_4 (621/1242).
Encoding transition ContinueLoop_2_2_4 (622/1242).
Encoding transition ContinueLoop_1_2_4 (623/1242).
Encoding transition ContinueLoop_0_2_4 (624/1242).
Encoding transition ContinueLoop_5_1_4 (625/1242).
Encoding transition ContinueLoop_2_4_4 (626/1242).
Encoding transition ContinueLoop_1_4_4 (627/1242).
Encoding transition ContinueLoop_0_4_4 (628/1242).
Encoding transition ContinueLoop_5_3_4 (629/1242).
Encoding transition ContinueLoop_4_3_4 (630/1242).
Encoding transition ContinueLoop_3_3_4 (631/1242).
Encoding transition ContinueLoop_2_3_4 (632/1242).
Encoding transition ContinueLoop_1_3_4 (633/1242).
Encoding transition TurnDiff_2_5_0 (634/1242).
Encoding transition TurnDiff_3_5_0 (635/1242).
Encoding transition TurnDiff_4_5_0 (636/1242).
Encoding transition TurnDiff_1_0_1 (637/1242).
Encoding transition TurnDiff_3_4_0 (638/1242).
Encoding transition TurnDiff_5_4_0 (639/1242).
Encoding transition TurnDiff_0_5_0 (640/1242).
Encoding transition TurnDiff_1_5_0 (641/1242).
Encoding transition TurnDiff_0_1_1 (642/1242).
Encoding transition TurnDiff_2_1_1 (643/1242).
Encoding transition TurnDiff_3_1_1 (644/1242).
Encoding transition TurnDiff_4_1_1 (645/1242).
Encoding transition TurnDiff_2_0_1 (646/1242).
Encoding transition TurnDiff_3_0_1 (647/1242).
Encoding transition TurnDiff_4_0_1 (648/1242).
Encoding transition TurnDiff_5_0_1 (649/1242).
Encoding transition TurnDiff_3_2_0 (650/1242).
Encoding transition TurnDiff_1_2_0 (651/1242).
Encoding transition TurnDiff_5_2_0 (652/1242).
Encoding transition TurnDiff_4_2_0 (653/1242).
Encoding transition TurnDiff_4_1_0 (654/1242).
Encoding transition TurnDiff_3_1_0 (655/1242).
Encoding transition TurnDiff_0_2_0 (656/1242).
Encoding transition TurnDiff_5_1_0 (657/1242).
Encoding transition TurnDiff_0_4_0 (658/1242).
Encoding transition TurnDiff_5_3_0 (659/1242).
Encoding transition TurnDiff_2_4_0 (660/1242).
Encoding transition TurnDiff_1_4_0 (661/1242).
Encoding transition TurnDiff_1_3_0 (662/1242).
Encoding transition TurnDiff_0_3_0 (663/1242).
Encoding transition TurnDiff_4_3_0 (664/1242).
Encoding transition TurnDiff_2_3_0 (665/1242).
Encoding transition ContinueLoop_1_0_3 (666/1242).
Encoding transition ContinueLoop_2_0_3 (667/1242).
Encoding transition ContinueLoop_5_5_2 (668/1242).
Encoding transition ContinueLoop_0_0_3 (669/1242).
Encoding transition ContinueLoop_5_0_3 (670/1242).
Encoding transition ContinueLoop_0_1_3 (671/1242).
Encoding transition ContinueLoop_3_0_3 (672/1242).
Encoding transition ContinueLoop_4_0_3 (673/1242).
Encoding transition ContinueLoop_3_1_3 (674/1242).
Encoding transition ContinueLoop_4_1_3 (675/1242).
Encoding transition ContinueLoop_1_1_3 (676/1242).
Encoding transition ContinueLoop_2_1_3 (677/1242).
Encoding transition ContinueLoop_1_2_3 (678/1242).
Encoding transition ContinueLoop_2_2_3 (679/1242).
Encoding transition ContinueLoop_5_1_3 (680/1242).
Encoding transition ContinueLoop_0_2_3 (681/1242).
Encoding transition ContinueLoop_4_3_2 (682/1242).
Encoding transition ContinueLoop_3_3_2 (683/1242).
Encoding transition ContinueLoop_2_3_2 (684/1242).
Encoding transition ContinueLoop_1_3_2 (685/1242).
Encoding transition ContinueLoop_2_4_2 (686/1242).
Encoding transition ContinueLoop_1_4_2 (687/1242).
Encoding transition ContinueLoop_0_4_2 (688/1242).
Encoding transition ContinueLoop_5_3_2 (689/1242).
Encoding transition ContinueLoop_0_5_2 (690/1242).
Encoding transition ContinueLoop_5_4_2 (691/1242).
Encoding transition ContinueLoop_4_4_2 (692/1242).
Encoding transition ContinueLoop_3_4_2 (693/1242).
Encoding transition ContinueLoop_4_5_2 (694/1242).
Encoding transition ContinueLoop_3_5_2 (695/1242).
Encoding transition ContinueLoop_2_5_2 (696/1242).
Encoding transition ContinueLoop_1_5_2 (697/1242).
Encoding transition ContinueLoop_1_5_3 (698/1242).
Encoding transition ContinueLoop_2_5_3 (699/1242).
Encoding transition ContinueLoop_3_5_3 (700/1242).
Encoding transition ContinueLoop_4_5_3 (701/1242).
Encoding transition ContinueLoop_5_5_3 (702/1242).
Encoding transition ContinueLoop_0_0_4 (703/1242).
Encoding transition ContinueLoop_1_0_4 (704/1242).
Encoding transition ContinueLoop_2_0_4 (705/1242).
Encoding transition ContinueLoop_3_0_4 (706/1242).
Encoding transition ContinueLoop_4_0_4 (707/1242).
Encoding transition ContinueLoop_5_0_4 (708/1242).
Encoding transition ContinueLoop_0_1_4 (709/1242).
Encoding transition ContinueLoop_1_1_4 (710/1242).
Encoding transition ContinueLoop_2_1_4 (711/1242).
Encoding transition ContinueLoop_3_1_4 (712/1242).
Encoding transition ContinueLoop_4_1_4 (713/1242).
Encoding transition ContinueLoop_4_2_3 (714/1242).
Encoding transition ContinueLoop_3_2_3 (715/1242).
Encoding transition ContinueLoop_0_3_3 (716/1242).
Encoding transition ContinueLoop_5_2_3 (717/1242).
Encoding transition ContinueLoop_2_3_3 (718/1242).
Encoding transition ContinueLoop_1_3_3 (719/1242).
Encoding transition ContinueLoop_4_3_3 (720/1242).
Encoding transition ContinueLoop_3_3_3 (721/1242).
Encoding transition ContinueLoop_0_4_3 (722/1242).
Encoding transition ContinueLoop_5_3_3 (723/1242).
Encoding transition ContinueLoop_2_4_3 (724/1242).
Encoding transition ContinueLoop_1_4_3 (725/1242).
Encoding transition ContinueLoop_4_4_3 (726/1242).
Encoding transition ContinueLoop_3_4_3 (727/1242).
Encoding transition ContinueLoop_0_5_3 (728/1242).
Encoding transition ContinueLoop_5_4_3 (729/1242).
Encoding transition TurnDiff_0_5_4 (730/1242).
Encoding transition TurnDiff_1_5_4 (731/1242).
Encoding transition TurnDiff_3_4_4 (732/1242).
Encoding transition TurnDiff_5_4_4 (733/1242).
Encoding transition TurnDiff_4_5_4 (734/1242).
Encoding transition TurnEqual_0_0 (735/1242).
Encoding transition TurnDiff_2_5_4 (736/1242).
Encoding transition TurnDiff_3_5_4 (737/1242).
Encoding transition TurnDiff_2_3_4 (738/1242).
Encoding transition TurnDiff_4_3_4 (739/1242).
Encoding transition TurnDiff_0_3_4 (740/1242).
Encoding transition TurnDiff_1_3_4 (741/1242).
Encoding transition TurnDiff_1_4_4 (742/1242).
Encoding transition TurnDiff_2_4_4 (743/1242).
Encoding transition TurnDiff_5_3_4 (744/1242).
Encoding transition TurnDiff_0_4_4 (745/1242).
Encoding transition TurnEqual_0_2 (746/1242).
Encoding transition TurnEqual_5_1 (747/1242).
Encoding transition TurnEqual_4_1 (748/1242).
Encoding transition TurnEqual_3_1 (749/1242).
Encoding transition TurnEqual_4_2 (750/1242).
Encoding transition TurnEqual_3_2 (751/1242).
Encoding transition TurnEqual_2_2 (752/1242).
Encoding transition TurnEqual_1_2 (753/1242).
Encoding transition TurnEqual_4_0 (754/1242).
Encoding transition TurnEqual_3_0 (755/1242).
Encoding transition TurnEqual_2_0 (756/1242).
Encoding transition TurnEqual_1_0 (757/1242).
Encoding transition TurnEqual_2_1 (758/1242).
Encoding transition TurnEqual_1_1 (759/1242).
Encoding transition TurnEqual_0_1 (760/1242).
Encoding transition TurnEqual_5_0 (761/1242).
Encoding transition TurnDiff_1_4_3 (762/1242).
Encoding transition TurnDiff_2_4_3 (763/1242).
Encoding transition TurnDiff_3_4_3 (764/1242).
Encoding transition TurnDiff_5_4_3 (765/1242).
Encoding transition TurnDiff_0_5_3 (766/1242).
Encoding transition TurnDiff_1_5_3 (767/1242).
Encoding transition TurnDiff_2_5_3 (768/1242).
Encoding transition TurnDiff_3_5_3 (769/1242).
Encoding transition TurnDiff_4_2_3 (770/1242).
BK_STOP 1400398986832
--------------------
content from stderr:
terminate called after throwing an instance of 'MEDDLY::error'
/home/mcc/BenchKit/bin/greatspn_tool.sh: line 167: 1691 Aborted ~/BenchKit/bin/bin/RGMEDD model ${PLACE_ORDER} ${MEDDLY_CACHE} ${BOUND} -C -f ${NEW_FRM}
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="Peterson-PT-5"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="greatspn"
export BK_RESULT_DIR="/home/fko/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
# 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/Peterson-PT-5.tgz
mv Peterson-PT-5 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1667"
echo " Executing tool greatspn"
echo " Input is Peterson-PT-5, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r03kn-qhx2-140036872301115"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo -n "BK_START "
date -u +%s%3N
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 ;