[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/intel019.aig
[runlim] start:			Sun Sep 20 00:49:54 2015
[runlim] main pid:		19014
[runlim] sample:		23.9 time, 10.3 real, 1070.7 MB
[runlim] sample:		62.8 time, 20.3 real, 1228.1 MB
[runlim] sample:		101.8 time, 30.3 real, 1398.1 MB
FATAL ERROR: non state var in from
             File /home/cabodi/pdtools-1.5.0/pdtrav-3.4.0/src/trav/travSat.c -> Line 15909
pdtrav: /home/cabodi/pdtools-1.5.0/pdtrav-3.4.0/src/trav/travSat.c:15909: int itpImg(Trav_ItpTravMgr_t*, Ddi_Bdd_t*, Ddi_Bdd_t*, Ddi_Bdd_t*, Ddi_Bdd_t*, Ddi_Bdd_t*, int*, int, int): Assertion `Ddi_VarsetIsVoid(fSupp)' failed.
[runlim] sample:		134.4 time, 40.3 real, 1261.7 MB
[runlim] sample:		164.3 time, 50.3 real, 1288.0 MB
[runlim] sample:		194.1 time, 60.3 real, 1308.9 MB
[runlim] sample:		224.0 time, 70.3 real, 1308.9 MB
[runlim] sample:		254.0 time, 80.3 real, 1326.8 MB
[runlim] sample:		283.9 time, 90.3 real, 1328.1 MB
[runlim] sample:		313.8 time, 100.3 real, 1360.6 MB
[runlim] sample:		343.8 time, 110.3 real, 1370.9 MB
[runlim] sample:		373.8 time, 120.3 real, 1385.8 MB
[runlim] sample:		403.7 time, 130.3 real, 1409.7 MB
[runlim] sample:		433.6 time, 140.3 real, 1400.2 MB
[runlim] sample:		463.6 time, 150.3 real, 1425.9 MB
[runlim] sample:		493.5 time, 160.3 real, 1403.0 MB
[runlim] sample:		523.5 time, 170.3 real, 1406.1 MB
[runlim] sample:		553.4 time, 180.3 real, 1411.9 MB
[runlim] sample:		583.4 time, 190.3 real, 1433.4 MB
[runlim] sample:		613.3 time, 200.3 real, 1468.4 MB
[runlim] sample:		643.2 time, 210.3 real, 1454.7 MB
[runlim] sample:		673.1 time, 220.3 real, 1418.0 MB
[runlim] sample:		703.0 time, 230.3 real, 1459.9 MB
[runlim] end:			Sun Sep 20 00:53:46 2015
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		81
[runlim] real:			232.01 seconds
[runlim] time:			706.96 seconds
[runlim] space:			1505.8 MB
[runlim] samples:		2317
