[runlim] version:		1.8
[runlim] time limit:		1000 seconds
[runlim] real time limit:	311040000 seconds
[runlim] space limit:		7000 MB
[runlim] argv[0]:		/home/biere/src/lingeling/lingeling
[runlim] argv[1]:		--score=2
[runlim] argv[2]:		-v
[runlim] argv[3]:		-n
[runlim] argv[4]:		/data/cnf/sc2014/app/esawn_uw3.debugged.cnf.bz2
[runlim] start:			Tue Apr 28 01:29:04 2015
[runlim] main pid:		10417
[runlim] sample:		11.5 time, 10.4 real, 652.3 MB
[runlim] sample:		23.4 time, 20.4 real, 1304.6 MB
[runlim] sample:		35.5 time, 30.4 real, 1826.7 MB
[runlim] sample:		47.5 time, 40.4 real, 2602.6 MB
[runlim] sample:		60.4 time, 50.9 real, 2618.6 MB
[runlim] sample:		72.4 time, 60.9 real, 3642.7 MB
[runlim] sample:		45.1 time, 70.9 real, 3439.6 MB
[runlim] sample:		55.1 time, 80.9 real, 3057.7 MB
[runlim] sample:		65.1 time, 90.9 real, 4003.7 MB
[runlim] sample:		75.1 time, 100.9 real, 3663.5 MB
[runlim] sample:		85.1 time, 110.9 real, 4526.8 MB
[runlim] sample:		95.0 time, 120.9 real, 3087.4 MB
[runlim] sample:		105.0 time, 130.9 real, 3933.4 MB
[runlim] sample:		115.0 time, 140.9 real, 3933.4 MB
[runlim] sample:		125.0 time, 150.9 real, 3684.4 MB
[runlim] sample:		135.0 time, 160.9 real, 4415.3 MB
[runlim] sample:		144.9 time, 170.9 real, 3319.2 MB
[runlim] sample:		154.9 time, 180.9 real, 3281.3 MB
[runlim] sample:		164.9 time, 190.9 real, 2237.7 MB
[runlim] sample:		174.9 time, 200.9 real, 2720.7 MB
[runlim] sample:		184.9 time, 210.9 real, 3353.5 MB
[runlim] sample:		194.9 time, 220.9 real, 3513.3 MB
[runlim] sample:		204.8 time, 230.9 real, 3513.3 MB
[runlim] sample:		214.8 time, 240.9 real, 3513.3 MB
[runlim] sample:		224.8 time, 250.9 real, 3513.3 MB
[runlim] sample:		234.8 time, 260.9 real, 3513.3 MB
[runlim] sample:		244.8 time, 270.9 real, 3513.3 MB
[runlim] sample:		254.8 time, 280.9 real, 3513.3 MB
[runlim] sample:		264.8 time, 290.9 real, 3513.3 MB
[runlim] end:			Tue Apr 28 01:33:55 2015
[runlim] status:		ok
[runlim] result:		10
[runlim] children:		1285
[runlim] real:			291.47 seconds
[runlim] time:			265.16 seconds
[runlim] space:			4590.2 MB
[runlim] samples:		2906
