[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/m3.ts
[runlim] start:	 Mon Dec  1 22:06:04 2014
[runlim] main pid:	 2662
v3  : [|t>=0; x1-60>=0; x2-55>=0; x3-51>=0|];;
v1  : [|t>=0; x1-60>=0;
                                                        x2-55>=0;
x3-50>=0|];;
v2  : [|
t>=0; x1-60>=0; x2-56>=0; x3-50>=0|];;
err  : [|t>=0; x1-60>=0; x2-55>=0;
                                                 x3-50>=0|];;
[runlim] end:	 Mon Dec  1 22:06:04 2014
[runlim] status:	 ok
[runlim] result:	 0
[runlim] children:	 0
[runlim] real:	 0.34 seconds
[runlim] time:	 0.00 seconds
[runlim] space:	 0.0 MB
[runlim] samples:	 0