[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/Motor9.ts
[runlim] start:			Sun Nov 30 23:29:44 2014
[runlim] main pid:		25542
v9  : [|t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-45>=0; x5-40>=0; x6-35>=0;
        x7-30>=0; x8-25>=0; x9-21>=0|];; 
v8  : [|t>=0; x1-60>=0; x2-55>=0;
                                                  x3-50>=0; x4-45>=0;
                                                  x5-40>=0; x6-35>=0;
                                                  x7-30>=0; x8-26>=0;
                                                  x9-20>=0|];; 
v7  : [|
t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-45>=0; x5-40>=0; x6-35>=0; x7-31>=0;
x8-25>=0; x9-20>=0|];; 
v6  : [|t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-45>=0;
                                x5-40>=0; x6-36>=0; x7-30>=0; x8-25>=0;
                                x9-20>=0|];; 
v5  : [|t>=0; x1-60>=0;
                                                      x2-55>=0; x3-50>=0;
                                                      x4-45>=0; x5-41>=0;
                                                      x6-35>=0; x7-30>=0;
                                                      x8-25>=0; x9-20>=0|];; 
v3  : [|
t>=0; x1-60>=0; x2-55>=0; x3-51>=0; x4-45>=0; x5-40>=0; x6-35>=0; x7-30>=0;
x8-25>=0; x9-20>=0|];; 
v1  : [|t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-45>=0;
                                x5-40>=0; x6-35>=0; x7-30>=0; x8-25>=0;
                                x9-20>=0|];; 
v4  : [|t>=0; x1-60>=0;
                                                      x2-55>=0; x3-50>=0;
                                                      x4-46>=0; x5-40>=0;
                                                      x6-35>=0; x7-30>=0;
                                                      x8-25>=0; x9-20>=0|];; 
v2  : [|
t>=0; x1-60>=0; x2-56>=0; x3-50>=0; x4-45>=0; x5-40>=0; x6-35>=0; x7-30>=0;
x8-25>=0; x9-20>=0|];; 
err  : [|t>=0; x1-60>=0; x2-55>=0; x3-50>=0;
                                 x4-45>=0; x5-40>=0; x6-35>=0; x7-30>=0;
                                 x8-25>=0; x9-20>=0|];; 
[runlim] end:			Sun Nov 30 23:29:44 2014
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		0
[runlim] real:			0.66 seconds
[runlim] time:			0.00 seconds
[runlim] space:			0.0 MB
[runlim] samples:		0