[runlim] version:		1.9
[runlim] time limit:		1000 seconds
[runlim] real time limit:	311040000 seconds
[runlim] space limit:		7000 MB
[runlim] argv[0]:		/home/biere/bin/bunzip2-and-then
[runlim] argv[1]:		/data/cnf/sc2014/app/9vliw_m_9stages_iq3_C1_bug7.cnf.bz2
[runlim] argv[2]:		/home/biere/src/minisat/build/release/bin/minisat
[runlim] start:			Thu May  7 21:11:31 2015
[runlim] main pid:		27868
[runlim] sample:		0.1 time, 11.0 real, 15.7 MB
[runlim] sample:		10.1 time, 21.0 real, 880.0 MB
[runlim] sample:		20.1 time, 31.0 real, 880.0 MB
[runlim] sample:		30.1 time, 41.0 real, 899.6 MB
[runlim] sample:		40.1 time, 51.0 real, 899.6 MB
[runlim] sample:		50.1 time, 61.0 real, 769.0 MB
[runlim] sample:		60.1 time, 71.0 real, 771.5 MB
[runlim] sample:		70.0 time, 81.0 real, 773.5 MB
[runlim] sample:		80.0 time, 91.0 real, 777.5 MB
[runlim] end:			Thu May  7 21:13:08 2015
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		71
[runlim] real:			97.34 seconds
[runlim] time:			86.31 seconds
[runlim] space:			1026.4 MB
[runlim] samples:		963
