[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/m4.ts [runlim] start: Mon Dec 1 22:08:01 2014 [runlim] main pid: 2907 v3 : [|t>=0; x1-60>=0; x2-55>=0; x3-51>=0; x4-45>=0|];; v1 : [|t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-45>=0|];; v4 : [| t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-46>=0|];; v2 : [|t>=0; x1-60>=0; x2-56>=0; x3-50>=0; x4-45>=0|];; err : [| t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-45>=0|];; [runlim] end: Mon Dec 1 22:08:01 2014 [runlim] status: ok [runlim] result: 0 [runlim] children: 0 [runlim] real: 0.58 seconds [runlim] time: 0.00 seconds [runlim] space: 0.0 MB [runlim] samples: 0