[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/hint_examples/TCS.ts
[runlim] start:			Sun Nov 30 23:29:44 2014
[runlim] main pid:		25530
Fatal error: exception Sys_error("/home/zhouyan/hint_examples/TCS.ts: No such file or directory")
[runlim] end:			Sun Nov 30 23:29:44 2014
[runlim] status:		ok
[runlim] result:		2
[runlim] children:		0
[runlim] real:			0.40 seconds
[runlim] time:			0.00 seconds
[runlim] space:			0.0 MB
[runlim] samples:		0