[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/abc/single.abcsimple
[runlim] argv[1]:		/home/biere/hwmcc15/benchmarks/all/selection/random/power2eq262144.aig
[runlim] start:			Fri Sep 18 16:21:42 2015
[runlim] main pid:		715
[runlim] sample:		37.6 time, 10.4 real, 1507.0 MB
[runlim] sample:		77.2 time, 20.4 real, 2753.9 MB
[runlim] sample:		11.1 time, 30.4 real, 831.4 MB
[runlim] sample:		50.7 time, 40.4 real, 2766.8 MB
[runlim] sample:		90.3 time, 50.4 real, 3959.2 MB
[runlim] sample:		129.8 time, 60.4 real, 4336.6 MB
[runlim] sample:		169.4 time, 70.4 real, 4744.2 MB
[runlim] sample:		209.0 time, 80.4 real, 4853.2 MB
[runlim] sample:		248.5 time, 90.4 real, 5413.8 MB
[runlim] sample:		288.1 time, 100.4 real, 5717.0 MB
[runlim] sample:		327.7 time, 110.4 real, 6032.4 MB
[runlim] sample:		367.2 time, 120.4 real, 6346.8 MB
[runlim] sample:		406.8 time, 130.4 real, 6634.7 MB
[runlim] sample:		446.4 time, 140.4 real, 6931.2 MB
[runlim] end:			Fri Sep 18 16:24:04 2015
[runlim] status:		out of memory
[runlim] result:		3
[runlim] children:		19431
[runlim] real:			142.53 seconds
[runlim] time:			454.67 seconds
[runlim] space:			7000.1 MB
[runlim] samples:		1421
