[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/Motor6.ts [runlim] start: Sun Nov 30 23:29:44 2014 [runlim] main pid: 25536 v6 : [|t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-45>=0; x5-40>=0; x6-36>=0|];; v5 : [| t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-45>=0; x5-41>=0; x6-35>=0|];; v3 : [| t>=0; x1-60>=0; x2-55>=0; x3-51>=0; x4-45>=0; x5-40>=0; x6-35>=0|];; v1 : [| t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-45>=0; x5-40>=0; x6-35>=0|];; v4 : [| t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-46>=0; x5-40>=0; x6-35>=0|];; v2 : [| t>=0; x1-60>=0; x2-56>=0; x3-50>=0; x4-45>=0; x5-40>=0; x6-35>=0|];; err : [| t>=0; x1-60>=0; x2-55>=0; x3-50>=0; x4-45>=0; x5-40>=0; x6-35>=0|];; [runlim] end: Sun Nov 30 23:29:44 2014 [runlim] status: ok [runlim] result: 0 [runlim] children: 0 [runlim] real: 0.47 seconds [runlim] time: 0.00 seconds [runlim] space: 0.0 MB [runlim] samples: 0