[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/pdtrav/single.pdtravthrd
[runlim] argv[1]:		/home/biere/hwmcc15/benchmarks/all/selection/random/power2eq262144.aig
[runlim] start:			Fri Sep 18 16:31:54 2015
[runlim] main pid:		8370
[runlim] sample:		28.0 time, 10.4 real, 1096.4 MB
[runlim] sample:		66.2 time, 20.4 real, 1295.4 MB
[runlim] sample:		105.1 time, 30.4 real, 1500.4 MB
[runlim] sample:		144.1 time, 40.4 real, 1624.4 MB
[runlim] sample:		183.5 time, 50.4 real, 1837.5 MB
[runlim] sample:		222.5 time, 60.4 real, 1924.0 MB
[runlim] sample:		261.6 time, 70.4 real, 2044.2 MB
[runlim] sample:		301.0 time, 80.4 real, 2132.2 MB
[runlim] sample:		340.3 time, 90.4 real, 2231.2 MB
[runlim] sample:		379.5 time, 100.4 real, 2333.9 MB
[runlim] sample:		418.9 time, 110.4 real, 2674.4 MB
[runlim] sample:		458.4 time, 120.4 real, 2741.4 MB
[runlim] sample:		498.0 time, 130.4 real, 2802.3 MB
[runlim] sample:		537.6 time, 140.4 real, 2853.4 MB
[runlim] sample:		577.2 time, 150.4 real, 2887.8 MB
[runlim] sample:		616.8 time, 160.4 real, 2916.1 MB
[runlim] sample:		656.4 time, 170.4 real, 2949.7 MB
[runlim] sample:		695.8 time, 180.4 real, 3026.4 MB
[runlim] sample:		735.3 time, 190.4 real, 3109.2 MB
[runlim] sample:		774.9 time, 200.4 real, 3156.7 MB
[runlim] sample:		814.4 time, 210.4 real, 3212.8 MB
[runlim] sample:		854.0 time, 220.4 real, 3247.0 MB
[runlim] sample:		893.6 time, 230.4 real, 3291.9 MB
[runlim] sample:		933.2 time, 240.4 real, 3322.4 MB
[runlim] sample:		972.8 time, 250.4 real, 3361.9 MB
[runlim] sample:		1012.4 time, 260.4 real, 3396.6 MB
[runlim] sample:		1052.0 time, 270.4 real, 3441.1 MB
[runlim] sample:		1091.5 time, 280.4 real, 3509.2 MB
[runlim] sample:		1130.9 time, 290.4 real, 3588.2 MB
[runlim] sample:		1170.3 time, 300.4 real, 3661.2 MB
[runlim] end:			Fri Sep 18 16:37:00 2015
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		7
[runlim] real:			306.10 seconds
[runlim] time:			1192.11 seconds
[runlim] space:			3699.9 MB
[runlim] samples:		3057
