[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/ndista262144.aig
[runlim] start:			Fri Sep 18 15:00:46 2015
[runlim] main pid:		2512
[runlim] sample:		35.6 time, 10.5 real, 1397.9 MB
[runlim] sample:		75.2 time, 20.5 real, 4932.3 MB
[runlim] sample:		9.8 time, 30.5 real, 800.0 MB
[runlim] sample:		49.4 time, 40.5 real, 2569.4 MB
[runlim] sample:		88.9 time, 50.5 real, 2986.9 MB
[runlim] sample:		128.5 time, 60.5 real, 3283.7 MB
[runlim] sample:		168.2 time, 70.5 real, 3921.9 MB
[runlim] sample:		207.8 time, 80.5 real, 4413.6 MB
[runlim] sample:		247.4 time, 90.5 real, 4788.8 MB
[runlim] sample:		287.0 time, 100.5 real, 5027.1 MB
[runlim] sample:		326.6 time, 110.5 real, 5112.8 MB
[runlim] sample:		366.2 time, 120.5 real, 5193.8 MB
[runlim] sample:		405.8 time, 130.5 real, 5270.2 MB
[runlim] sample:		445.4 time, 140.5 real, 5356.5 MB
[runlim] sample:		485.0 time, 150.5 real, 5429.5 MB
[runlim] sample:		524.6 time, 160.5 real, 5499.1 MB
[runlim] sample:		564.2 time, 170.5 real, 5571.4 MB
[runlim] sample:		603.8 time, 180.5 real, 5636.4 MB
[runlim] sample:		643.4 time, 190.5 real, 5695.2 MB
[runlim] sample:		683.0 time, 200.5 real, 5766.2 MB
[runlim] sample:		722.6 time, 210.5 real, 5823.0 MB
[runlim] sample:		762.1 time, 220.5 real, 5879.3 MB
[runlim] sample:		801.7 time, 230.5 real, 5934.8 MB
[runlim] sample:		841.3 time, 240.5 real, 5998.7 MB
[runlim] sample:		880.8 time, 250.5 real, 6048.7 MB
[runlim] sample:		920.4 time, 260.5 real, 6102.2 MB
[runlim] sample:		960.0 time, 270.5 real, 6152.3 MB
[runlim] sample:		999.5 time, 280.5 real, 6200.8 MB
[runlim] sample:		1039.1 time, 290.5 real, 6247.4 MB
[runlim] sample:		1078.7 time, 300.5 real, 6293.6 MB
[runlim] sample:		1118.2 time, 310.5 real, 6341.2 MB
[runlim] sample:		1157.8 time, 320.5 real, 6386.6 MB
[runlim] sample:		1197.4 time, 330.5 real, 6431.3 MB
[runlim] sample:		1236.9 time, 340.5 real, 6476.1 MB
[runlim] sample:		1276.5 time, 350.5 real, 6523.5 MB
[runlim] sample:		1316.0 time, 360.5 real, 6566.8 MB
[runlim] sample:		1355.6 time, 370.5 real, 6602.5 MB
[runlim] sample:		1395.2 time, 380.5 real, 6652.9 MB
[runlim] sample:		1434.7 time, 390.5 real, 6697.7 MB
[runlim] sample:		1474.3 time, 400.5 real, 6742.0 MB
[runlim] end:			Fri Sep 18 15:07:36 2015
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		54122
[runlim] real:			410.22 seconds
[runlim] time:			1511.51 seconds
[runlim] space:			6785.0 MB
[runlim] samples:		4097
