[runlim] version:		1.9
[runlim] time limit:		311040000 seconds
[runlim] real time limit:	3600 seconds
[runlim] space limit:		7000 MB
[runlim] argv[0]:		/home/biere/hwmcc15/solvers/avy/single.avy
[runlim] argv[1]:		/home/biere/hwmcc15/benchmarks/all/selection/random/intel038.aig
[runlim] start:			Sun Sep 20 23:20:50 2015
[runlim] main pid:		11839
[runlim] sample:		9.8 time, 10.5 real, 26.4 MB
[runlim] sample:		19.8 time, 20.5 real, 62.0 MB
[runlim] sample:		23.5 time, 30.5 real, 578.1 MB
[runlim] sample:		63.0 time, 40.5 real, 1193.5 MB
[runlim] sample:		102.6 time, 50.5 real, 1902.3 MB
[runlim] sample:		142.2 time, 60.5 real, 2271.5 MB
[runlim] sample:		181.7 time, 70.5 real, 2442.4 MB
[runlim] sample:		221.3 time, 80.5 real, 2532.5 MB
[runlim] sample:		260.9 time, 90.5 real, 2740.2 MB
[runlim] sample:		300.5 time, 100.5 real, 2786.7 MB
[runlim] end:			Sun Sep 20 23:22:39 2015
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		3644
[runlim] real:			109.89 seconds
[runlim] time:			336.06 seconds
[runlim] space:			2837.4 MB
[runlim] samples:		1093
