[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/blocks-blocks-36-0.130-NOTKNOWN.cnf.bz2
[runlim] argv[2]:		/home/biere/src/minisat/build/release/bin/minisat
[runlim] start:			Thu May  7 20:54:33 2015
[runlim] main pid:		12634
[runlim] sample:		4.1 time, 10.0 real, 535.9 MB
[runlim] sample:		14.1 time, 20.0 real, 396.4 MB
[runlim] sample:		24.1 time, 30.0 real, 412.4 MB
[runlim] sample:		34.0 time, 40.0 real, 426.4 MB
[runlim] sample:		44.0 time, 50.0 real, 460.4 MB
[runlim] sample:		54.0 time, 60.0 real, 506.5 MB
[runlim] sample:		64.0 time, 70.0 real, 522.5 MB
[runlim] sample:		74.0 time, 80.0 real, 538.5 MB
[runlim] sample:		84.0 time, 90.0 real, 568.4 MB
[runlim] end:			Thu May  7 20:56:03 2015
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		46
[runlim] real:			90.74 seconds
[runlim] time:			84.58 seconds
[runlim] space:			570.4 MB
[runlim] samples:		907
