[runlim] version:		1.7
[runlim] time limit:		3600 seconds
[runlim] real time limit:	311040000 seconds
[runlim] space limit:		4294967069 MB
[runlim] argv[0]:		/home/zhouyan/BACH/intertran-v1.0/interproc.opt
[runlim] argv[1]:		-domain
[runlim] argv[2]:		box
[runlim] argv[3]:		/home/zhouyan/BACH/temp/Motor5.ts
[runlim] start:			Sun Nov 30 23:29:44 2014
[runlim] main pid:		25534
v5  : [|t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-45>=0; x5-41>=0|];; 
v3  : [|
t>=0; x1-60>=0; x2-55>=0; x3-51>=0; x4-45>=0; x5-40>=0|];; 
v1  : [|t>=0;
                                                                    x1-60>=0;
                                                                    x2-55>=0;
                                                                    x3-50>=0;
                                                                    x4-45>=0;
                                                                    x5-40>=0|];; 
v4  : [|
t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-46>=0; x5-40>=0|];; 
v2  : [|t>=0;
                                                                    x1-60>=0;
                                                                    x2-56>=0;
                                                                    x3-50>=0;
                                                                    x4-45>=0;
                                                                    x5-40>=0|];; 
v6  : [|
t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-45>=0; x5-40>=0|];; 
[runlim] end:			Sun Nov 30 23:29:44 2014
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		0
[runlim] real:			0.44 seconds
[runlim] time:			0.00 seconds
[runlim] space:			0.0 MB
[runlim] samples:		0