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 LamportFastMutEx-PT-6, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r02kn-qhx2-140031221901191
=====================================================================

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

BK_START 1400330772839
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running LamportFastMutEx (PT), instance 6
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/CTLCardinality.xml INTO /home/mcc/execution/CTLCardinality.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-WES1 -h 2000000000 -B 1 -C -f /home/mcc/execution/CTLCardinality.rgmedd-ctl
Using FORCE Heuristic for the variable ordering.
Setting MEDDLY cache to 2000000000 bytes.
Opening file: model.bnd
----------------------------------------
Start firing rule encoding
----------------------------------------
Encoding transition T-setbi_2_1 (0/420).
Encoding transition T-setbi_2_2 (1/420).
Encoding transition T-setbi_2_3 (2/420).
Encoding transition T-setbi_2_4 (3/420).
Encoding transition T-setbi_2_5 (4/420).
Encoding transition T-setbi_2_6 (5/420).
Encoding transition T-setbi_2_7 (6/420).
Encoding transition T-setbi_2_8 (7/420).
Encoding transition T-setbi_2_9 (8/420).
Encoding transition T-setbi_2_10 (9/420).
Encoding transition T-setbi_2_11 (10/420).
Encoding transition T-setbi_2_12 (11/420).
Encoding transition T-setbi_2_13 (12/420).
Encoding transition T-setbi_2_14 (13/420).
Encoding transition T-setx_3_1 (14/420).
Encoding transition T-setx_3_2 (15/420).
Encoding transition T-setx_3_3 (16/420).
Encoding transition T-setx_3_4 (17/420).
Encoding transition T-setx_3_5 (18/420).
Encoding transition T-setx_3_6 (19/420).
Encoding transition T-setx_3_7 (20/420).
Encoding transition T-setx_3_8 (21/420).
Encoding transition T-setx_3_9 (22/420).
Encoding transition T-setx_3_10 (23/420).
Encoding transition T-setx_3_11 (24/420).
Encoding transition T-setx_3_12 (25/420).
Encoding transition T-setx_3_13 (26/420).
Encoding transition T-setx_3_14 (27/420).
Encoding transition T-setx_3_15 (28/420).
Encoding transition T-setx_3_16 (29/420).
Encoding transition T-setx_3_17 (30/420).
Encoding transition T-setx_3_18 (31/420).
Encoding transition T-setx_3_19 (32/420).
Encoding transition T-setx_3_20 (33/420).
Encoding transition T-setx_3_21 (34/420).
Encoding transition T-setx_3_22 (35/420).
Encoding transition T-setx_3_23 (36/420).
Encoding transition T-setx_3_24 (37/420).
Encoding transition T-setx_3_25 (38/420).
Encoding transition T-setx_3_26 (39/420).
Encoding transition T-setx_3_27 (40/420).
Encoding transition T-setx_3_28 (41/420).
Encoding transition T-setx_3_29 (42/420).
Encoding transition T-setx_3_30 (43/420).
Encoding transition T-setx_3_31 (44/420).
Encoding transition T-setx_3_32 (45/420).
Encoding transition T-setx_3_33 (46/420).
Encoding transition T-setx_3_34 (47/420).
Encoding transition T-setx_3_35 (48/420).
Encoding transition T-setx_3_36 (49/420).
Encoding transition T-setx_3_37 (50/420).
Encoding transition T-setx_3_38 (51/420).
Encoding transition T-setx_3_39 (52/420).
Encoding transition T-setx_3_40 (53/420).
Encoding transition T-setx_3_41 (54/420).
Encoding transition T-setx_3_42 (55/420).
Encoding transition T-setx_3_43 (56/420).
Encoding transition T-setx_3_44 (57/420).
Encoding transition T-setx_3_45 (58/420).
Encoding transition T-setx_3_46 (59/420).
Encoding transition T-setx_3_47 (60/420).
Encoding transition T-setx_3_48 (61/420).
Encoding transition T-setx_3_49 (62/420).
Encoding transition T-yne0_4_2 (63/420).
Encoding transition T-yne0_4_3 (64/420).
Encoding transition T-yne0_4_4 (65/420).
Encoding transition T-yne0_4_5 (66/420).
Encoding transition T-yne0_4_6 (67/420).
Encoding transition T-yne0_4_7 (68/420).
Encoding transition T-yne0_4_9 (69/420).
Encoding transition T-yne0_4_10 (70/420).
Encoding transition T-yne0_4_11 (71/420).
Encoding transition T-yne0_4_12 (72/420).
Encoding transition T-yne0_4_13 (73/420).
Encoding transition T-yne0_4_14 (74/420).
Encoding transition T-yne0_4_16 (75/420).
Encoding transition T-yne0_4_17 (76/420).
Encoding transition T-yne0_4_18 (77/420).
Encoding transition T-yne0_4_19 (78/420).
Encoding transition T-yne0_4_20 (79/420).
Encoding transition T-yne0_4_21 (80/420).
Encoding transition T-yne0_4_23 (81/420).
Encoding transition T-yne0_4_24 (82/420).
Encoding transition T-yne0_4_25 (83/420).
Encoding transition T-yne0_4_26 (84/420).
Encoding transition T-yne0_4_27 (85/420).
Encoding transition T-yne0_4_28 (86/420).
Encoding transition T-yne0_4_30 (87/420).
Encoding transition T-yne0_4_31 (88/420).
Encoding transition T-yne0_4_32 (89/420).
Encoding transition T-yne0_4_33 (90/420).
Encoding transition T-yne0_4_34 (91/420).
Encoding transition T-yne0_4_35 (92/420).
Encoding transition T-yne0_4_37 (93/420).
Encoding transition T-yne0_4_38 (94/420).
Encoding transition T-yne0_4_39 (95/420).
Encoding transition T-yne0_4_40 (96/420).
Encoding transition T-yne0_4_41 (97/420).
Encoding transition T-yne0_4_42 (98/420).
Encoding transition T-yne0_4_44 (99/420).
Encoding transition T-yne0_4_45 (100/420).
Encoding transition T-yne0_4_46 (101/420).
Encoding transition T-yne0_4_47 (102/420).
Encoding transition T-yne0_4_48 (103/420).
Encoding transition T-yne0_4_49 (104/420).
Encoding transition T-setbi_5_1 (105/420).
Encoding transition T-setbi_5_2 (106/420).
Encoding transition T-setbi_5_3 (107/420).
Encoding transition T-setbi_5_4 (108/420).
Encoding transition T-setbi_5_5 (109/420).
Encoding transition T-setbi_5_6 (110/420).
Encoding transition T-setbi_5_7 (111/420).
Encoding transition T-setbi_5_8 (112/420).
Encoding transition T-setbi_5_9 (113/420).
Encoding transition T-setbi_5_10 (114/420).
Encoding transition T-setbi_5_11 (115/420).
Encoding transition T-setbi_5_12 (116/420).
Encoding transition T-setbi_5_13 (117/420).
Encoding transition T-setbi_5_14 (118/420).
Encoding transition T-awaity_1 (119/420).
Encoding transition T-awaity_2 (120/420).
Encoding transition T-awaity_3 (121/420).
Encoding transition T-awaity_4 (122/420).
Encoding transition T-awaity_5 (123/420).
Encoding transition T-awaity_6 (124/420).
Encoding transition T-awaity_7 (125/420).
Encoding transition T-yeq0_4_1 (126/420).
Encoding transition T-yeq0_4_2 (127/420).
Encoding transition T-yeq0_4_3 (128/420).
Encoding transition T-yeq0_4_4 (129/420).
Encoding transition T-yeq0_4_5 (130/420).
Encoding transition T-yeq0_4_6 (131/420).
Encoding transition T-yeq0_4_7 (132/420).
Encoding transition T-sety_9_1 (133/420).
Encoding transition T-sety_9_2 (134/420).
Encoding transition T-sety_9_3 (135/420).
Encoding transition T-sety_9_4 (136/420).
Encoding transition T-sety_9_5 (137/420).
Encoding transition T-sety_9_6 (138/420).
Encoding transition T-sety_9_7 (139/420).
Encoding transition T-sety_9_8 (140/420).
Encoding transition T-sety_9_9 (141/420).
Encoding transition T-sety_9_10 (142/420).
Encoding transition T-sety_9_11 (143/420).
Encoding transition T-sety_9_12 (144/420).
Encoding transition T-sety_9_13 (145/420).
Encoding transition T-sety_9_14 (146/420).
Encoding transition T-sety_9_15 (147/420).
Encoding transition T-sety_9_16 (148/420).
Encoding transition T-sety_9_17 (149/420).
Encoding transition T-sety_9_18 (150/420).
Encoding transition T-sety_9_19 (151/420).
Encoding transition T-sety_9_20 (152/420).
Encoding transition T-sety_9_21 (153/420).
Encoding transition T-sety_9_22 (154/420).
Encoding transition T-sety_9_23 (155/420).
Encoding transition T-sety_9_24 (156/420).
Encoding transition T-sety_9_25 (157/420).
Encoding transition T-sety_9_26 (158/420).
Encoding transition T-sety_9_27 (159/420).
Encoding transition T-sety_9_28 (160/420).
Encoding transition T-sety_9_29 (161/420).
Encoding transition T-sety_9_30 (162/420).
Encoding transition T-sety_9_31 (163/420).
Encoding transition T-sety_9_32 (164/420).
Encoding transition T-sety_9_33 (165/420).
Encoding transition T-sety_9_34 (166/420).
Encoding transition T-sety_9_35 (167/420).
Encoding transition T-sety_9_36 (168/420).
Encoding transition T-sety_9_37 (169/420).
Encoding transition T-sety_9_38 (170/420).
Encoding transition T-sety_9_39 (171/420).
Encoding transition T-sety_9_40 (172/420).
Encoding transition T-sety_9_41 (173/420).
Encoding transition T-sety_9_42 (174/420).
Encoding transition T-sety_9_43 (175/420).
Encoding transition T-sety_9_44 (176/420).
Encoding transition T-sety_9_45 (177/420).
Encoding transition T-sety_9_46 (178/420).
Encoding transition T-sety_9_47 (179/420).
Encoding transition T-sety_9_48 (180/420).
Encoding transition T-sety_9_49 (181/420).
Encoding transition T-xnei_10_2 (182/420).
Encoding transition T-xnei_10_3 (183/420).
Encoding transition T-xnei_10_4 (184/420).
Encoding transition T-xnei_10_5 (185/420).
Encoding transition T-xnei_10_6 (186/420).
Encoding transition T-xnei_10_7 (187/420).
Encoding transition T-xnei_10_8 (188/420).
Encoding transition T-xnei_10_10 (189/420).
Encoding transition T-xnei_10_11 (190/420).
Encoding transition T-xnei_10_12 (191/420).
Encoding transition T-xnei_10_13 (192/420).
Encoding transition T-xnei_10_14 (193/420).
Encoding transition T-xnei_10_15 (194/420).
Encoding transition T-xnei_10_16 (195/420).
Encoding transition T-xnei_10_18 (196/420).
Encoding transition T-xnei_10_19 (197/420).
Encoding transition T-xnei_10_20 (198/420).
Encoding transition T-xnei_10_21 (199/420).
Encoding transition T-xnei_10_22 (200/420).
Encoding transition T-xnei_10_23 (201/420).
Encoding transition T-xnei_10_24 (202/420).
Encoding transition T-xnei_10_26 (203/420).
Encoding transition T-xnei_10_27 (204/420).
Encoding transition T-xnei_10_28 (205/420).
Encoding transition T-xnei_10_29 (206/420).
Encoding transition T-xnei_10_30 (207/420).
Encoding transition T-xnei_10_31 (208/420).
Encoding transition T-xnei_10_32 (209/420).
Encoding transition T-xnei_10_34 (210/420).
Encoding transition T-xnei_10_35 (211/420).
Encoding transition T-xnei_10_36 (212/420).
Encoding transition T-xnei_10_37 (213/420).
Encoding transition T-xnei_10_38 (214/420).
Encoding transition T-xnei_10_39 (215/420).
Encoding transition T-xnei_10_40 (216/420).
Encoding transition T-xnei_10_42 (217/420).
Encoding transition T-xnei_10_43 (218/420).
Encoding transition T-xnei_10_44 (219/420).
Encoding transition T-xnei_10_45 (220/420).
Encoding transition T-xnei_10_46 (221/420).
Encoding transition T-xnei_10_47 (222/420).
Encoding transition T-xnei_10_48 (223/420).
Encoding transition T-setbi_11_1 (224/420).
Encoding transition T-setbi_11_2 (225/420).
Encoding transition T-setbi_11_3 (226/420).
Encoding transition T-setbi_11_4 (227/420).
Encoding transition T-setbi_11_5 (228/420).
Encoding transition T-setbi_11_6 (229/420).
Encoding transition T-setbi_11_7 (230/420).
Encoding transition T-setbi_11_8 (231/420).
Encoding transition T-setbi_11_9 (232/420).
Encoding transition T-setbi_11_10 (233/420).
Encoding transition T-setbi_11_11 (234/420).
Encoding transition T-setbi_11_12 (235/420).
Encoding transition T-setbi_11_13 (236/420).
Encoding transition T-setbi_11_14 (237/420).
Encoding transition T-fordo_12_1 (238/420).
Encoding transition T-fordo_12_2 (239/420).
Encoding transition T-fordo_12_3 (240/420).
Encoding transition T-fordo_12_4 (241/420).
Encoding transition T-fordo_12_5 (242/420).
Encoding transition T-fordo_12_6 (243/420).
Encoding transition T-fordo_12_7 (244/420).
Encoding transition T-await_13_1 (245/420).
Encoding transition T-await_13_2 (246/420).
Encoding transition T-await_13_3 (247/420).
Encoding transition T-await_13_4 (248/420).
Encoding transition T-await_13_5 (249/420).
Encoding transition T-await_13_6 (250/420).
Encoding transition T-await_13_7 (251/420).
Encoding transition T-await_13_8 (252/420).
Encoding transition T-await_13_9 (253/420).
Encoding transition T-await_13_10 (254/420).
Encoding transition T-await_13_11 (255/420).
Encoding transition T-await_13_12 (256/420).
Encoding transition T-await_13_13 (257/420).
Encoding transition T-await_13_14 (258/420).
Encoding transition T-await_13_15 (259/420).
Encoding transition T-await_13_16 (260/420).
Encoding transition T-await_13_17 (261/420).
Encoding transition T-await_13_18 (262/420).
Encoding transition T-await_13_19 (263/420).
Encoding transition T-await_13_20 (264/420).
Encoding transition T-await_13_21 (265/420).
Encoding transition T-await_13_22 (266/420).
Encoding transition T-await_13_23 (267/420).
Encoding transition T-await_13_24 (268/420).
Encoding transition T-await_13_25 (269/420).
Encoding transition T-await_13_26 (270/420).
Encoding transition T-await_13_27 (271/420).
Encoding transition T-await_13_28 (272/420).
Encoding transition T-await_13_29 (273/420).
Encoding transition T-await_13_30 (274/420).
Encoding transition T-await_13_31 (275/420).
Encoding transition T-await_13_32 (276/420).
Encoding transition T-await_13_33 (277/420).
Encoding transition T-await_13_34 (278/420).
Encoding transition T-await_13_35 (279/420).
Encoding transition T-await_13_36 (280/420).
Encoding transition T-await_13_37 (281/420).
Encoding transition T-await_13_38 (282/420).
Encoding transition T-await_13_39 (283/420).
Encoding transition T-await_13_40 (284/420).
Encoding transition T-await_13_41 (285/420).
Encoding transition T-await_13_42 (286/420).
Encoding transition T-await_13_43 (287/420).
Encoding transition T-await_13_44 (288/420).
Encoding transition T-await_13_45 (289/420).
Encoding transition T-await_13_46 (290/420).
Encoding transition T-await_13_47 (291/420).
Encoding transition T-await_13_48 (292/420).
Encoding transition T-await_13_49 (293/420).
Encoding transition T-forod_13_1 (294/420).
Encoding transition T-forod_13_2 (295/420).
Encoding transition T-forod_13_3 (296/420).
Encoding transition T-forod_13_4 (297/420).
Encoding transition T-forod_13_5 (298/420).
Encoding transition T-forod_13_6 (299/420).
Encoding transition T-forod_13_7 (300/420).
Encoding transition T-ynei_15_2 (301/420).
Encoding transition T-ynei_15_3 (302/420).
Encoding transition T-ynei_15_4 (303/420).
Encoding transition T-ynei_15_5 (304/420).
Encoding transition T-ynei_15_6 (305/420).
Encoding transition T-ynei_15_7 (306/420).
Encoding transition T-ynei_15_8 (307/420).
Encoding transition T-ynei_15_10 (308/420).
Encoding transition T-ynei_15_11 (309/420).
Encoding transition T-ynei_15_12 (310/420).
Encoding transition T-ynei_15_13 (311/420).
Encoding transition T-ynei_15_14 (312/420).
Encoding transition T-ynei_15_15 (313/420).
Encoding transition T-ynei_15_16 (314/420).
Encoding transition T-ynei_15_18 (315/420).
Encoding transition T-ynei_15_19 (316/420).
Encoding transition T-ynei_15_20 (317/420).
Encoding transition T-ynei_15_21 (318/420).
Encoding transition T-ynei_15_22 (319/420).
Encoding transition T-ynei_15_23 (320/420).
Encoding transition T-ynei_15_24 (321/420).
Encoding transition T-ynei_15_26 (322/420).
Encoding transition T-ynei_15_27 (323/420).
Encoding transition T-ynei_15_28 (324/420).
Encoding transition T-ynei_15_29 (325/420).
Encoding transition T-ynei_15_30 (326/420).
Encoding transition T-ynei_15_31 (327/420).
Encoding transition T-ynei_15_32 (328/420).
Encoding transition T-ynei_15_34 (329/420).
Encoding transition T-ynei_15_35 (330/420).
Encoding transition T-ynei_15_36 (331/420).
Encoding transition T-ynei_15_37 (332/420).
Encoding transition T-ynei_15_38 (333/420).
Encoding transition T-ynei_15_39 (334/420).
Encoding transition T-ynei_15_40 (335/420).
Encoding transition T-ynei_15_42 (336/420).
Encoding transition T-ynei_15_43 (337/420).
Encoding transition T-ynei_15_44 (338/420).
Encoding transition T-ynei_15_45 (339/420).
Encoding transition T-ynei_15_46 (340/420).
Encoding transition T-ynei_15_47 (341/420).
Encoding transition T-ynei_15_48 (342/420).
Encoding transition T-yeqi_15_1 (343/420).
Encoding transition T-yeqi_15_9 (344/420).
Encoding transition T-yeqi_15_17 (345/420).
Encoding transition T-yeqi_15_25 (346/420).
Encoding transition T-yeqi_15_33 (347/420).
Encoding transition T-yeqi_15_41 (348/420).
Encoding transition T-yeqi_15_49 (349/420).
Encoding transition T-xeqi_10_1 (350/420).
Encoding transition T-xeqi_10_9 (351/420).
Encoding transition T-xeqi_10_17 (352/420).
Encoding transition T-xeqi_10_25 (353/420).
Encoding transition T-xeqi_10_33 (354/420).
Encoding transition T-xeqi_10_41 (355/420).
Encoding transition T-xeqi_10_49 (356/420).
Encoding transition T-sety0_23_1 (357/420).
Encoding transition T-sety0_23_2 (358/420).
Encoding transition T-sety0_23_3 (359/420).
Encoding transition T-sety0_23_4 (360/420).
Encoding transition T-sety0_23_5 (361/420).
Encoding transition T-sety0_23_6 (362/420).
Encoding transition T-sety0_23_7 (363/420).
Encoding transition T-sety0_23_8 (364/420).
Encoding transition T-sety0_23_9 (365/420).
Encoding transition T-sety0_23_10 (366/420).
Encoding transition T-sety0_23_11 (367/420).
Encoding transition T-sety0_23_12 (368/420).
Encoding transition T-sety0_23_13 (369/420).
Encoding transition T-sety0_23_14 (370/420).
Encoding transition T-sety0_23_15 (371/420).
Encoding transition T-sety0_23_16 (372/420).
Encoding transition T-sety0_23_17 (373/420).
Encoding transition T-sety0_23_18 (374/420).
Encoding transition T-sety0_23_19 (375/420).
Encoding transition T-sety0_23_20 (376/420).
Encoding transition T-sety0_23_21 (377/420).
Encoding transition T-sety0_23_22 (378/420).
Encoding transition T-sety0_23_23 (379/420).
Encoding transition T-sety0_23_24 (380/420).
Encoding transition T-sety0_23_25 (381/420).
Encoding transition T-sety0_23_26 (382/420).
Encoding transition T-sety0_23_27 (383/420).
Encoding transition T-sety0_23_28 (384/420).
Encoding transition T-sety0_23_29 (385/420).
Encoding transition T-sety0_23_30 (386/420).
Encoding transition T-sety0_23_31 (387/420).
Encoding transition T-sety0_23_32 (388/420).
Encoding transition T-sety0_23_33 (389/420).
Encoding transition T-sety0_23_34 (390/420).
Encoding transition T-sety0_23_35 (391/420).
Encoding transition T-sety0_23_36 (392/420).
Encoding transition T-sety0_23_37 (393/420).
Encoding transition T-sety0_23_38 (394/420).
Encoding transition T-sety0_23_39 (395/420).
Encoding transition T-sety0_23_40 (396/420).
Encoding transition T-sety0_23_41 (397/420).
Encoding transition T-sety0_23_42 (398/420).
Encoding transition T-sety0_23_43 (399/420).
Encoding transition T-sety0_23_44 (400/420).
Encoding transition T-sety0_23_45 (401/420).
Encoding transition T-sety0_23_46 (402/420).
Encoding transition T-sety0_23_47 (403/420).
Encoding transition T-sety0_23_48 (404/420).
Encoding transition T-sety0_23_49 (405/420).
Encoding transition T-setbi_24_1 (406/420).
Encoding transition T-setbi_24_2 (407/420).
Encoding transition T-setbi_24_3 (408/420).
Encoding transition T-setbi_24_4 (409/420).
Encoding transition T-setbi_24_5 (410/420).
Encoding transition T-setbi_24_6 (411/420).
Encoding transition T-setbi_24_7 (412/420).
Encoding transition T-setbi_24_8 (413/420).
Encoding transition T-setbi_24_9 (414/420).
Encoding transition T-setbi_24_10 (415/420).
Encoding transition T-setbi_24_11 (416/420).
Encoding transition T-setbi_24_12 (417/420).
Encoding transition T-setbi_24_13 (418/420).
Encoding transition T-setbi_24_14 (419/420).
----------------------------------------
End firing rule encoding

----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------

Total Used Memory: 14064KB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from 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="LamportFastMutEx-PT-6"
export BK_EXAMINATION="CTLCardinality"
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/LamportFastMutEx-PT-6.tgz
mv LamportFastMutEx-PT-6 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 LamportFastMutEx-PT-6, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r02kn-qhx2-140031221901191"
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 ;