[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/intel044.aig
[runlim] start:			Sat Sep 19 23:29:10 2015
[runlim] main pid:		9151
[runlim] sample:		34.7 time, 10.3 real, 540.0 MB
[runlim] sample:		15.2 time, 20.3 real, 411.5 MB
[runlim] sample:		54.8 time, 30.3 real, 438.2 MB
[runlim] sample:		94.5 time, 40.3 real, 456.7 MB
[runlim] sample:		134.1 time, 50.3 real, 462.7 MB
[runlim] sample:		173.7 time, 60.3 real, 492.8 MB
[runlim] sample:		213.3 time, 70.3 real, 510.0 MB
[runlim] sample:		252.9 time, 80.3 real, 525.8 MB
[runlim] sample:		292.5 time, 90.3 real, 527.0 MB
[runlim] sample:		332.1 time, 100.3 real, 538.4 MB
[runlim] sample:		371.8 time, 110.3 real, 526.6 MB
[runlim] sample:		411.4 time, 120.3 real, 550.5 MB
[runlim] sample:		451.0 time, 130.3 real, 585.8 MB
[runlim] sample:		490.6 time, 140.3 real, 608.8 MB
[runlim] sample:		530.2 time, 150.3 real, 598.4 MB
[runlim] sample:		569.9 time, 160.3 real, 615.4 MB
[runlim] sample:		609.5 time, 170.3 real, 626.1 MB
[runlim] sample:		649.1 time, 180.3 real, 646.5 MB
[runlim] sample:		688.7 time, 190.3 real, 662.6 MB
[runlim] sample:		728.4 time, 200.3 real, 749.0 MB
[runlim] sample:		768.0 time, 210.3 real, 781.8 MB
[runlim] sample:		807.5 time, 220.3 real, 717.1 MB
[runlim] sample:		847.2 time, 230.3 real, 726.6 MB
[runlim] sample:		886.8 time, 240.3 real, 736.2 MB
[runlim] sample:		926.4 time, 250.3 real, 741.3 MB
[runlim] end:			Sat Sep 19 23:33:30 2015
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		31264
[runlim] real:			260.09 seconds
[runlim] time:			964.48 seconds
[runlim] space:			785.6 MB
[runlim] samples:		2597
