[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/avy/single.avy
[runlim] argv[1]:		/home/biere/hwmcc15/benchmarks/all/selection/random/6s12.aig
[runlim] start:			Sun Sep 20 10:11:42 2015
[runlim] main pid:		15265
[runlim] sample:		20.3 time, 10.3 real, 232.1 MB
[runlim] sample:		59.8 time, 20.3 real, 279.4 MB
[runlim] sample:		99.4 time, 30.3 real, 311.2 MB
[runlim] sample:		139.0 time, 40.3 real, 347.9 MB
[runlim] sample:		178.6 time, 50.3 real, 374.0 MB
[runlim] sample:		218.1 time, 60.3 real, 459.1 MB
Traceback (most recent call last):
  File "/home/biere/hwmcc15/solvers/avy/extracted/pavy.py", line 366, in <module>
    sys.exit (main (sys.argv))
  File "/home/biere/hwmcc15/solvers/avy/extracted/pavy.py", line 344, in main
    cex_name = opt.cex, pp_cpu=opt.pp_cpu)
  File "/home/biere/hwmcc15/solvers/avy/extracted/pavy.py", line 301, in run
    aig.adjust_cex (in_cex=open (cex [idx]),
IOError: [Errno 2] No such file or directory: '/tmp/7197141.1.queue/avy-ccIVXs/avyabsmus_avy2.cex'
[runlim] end:			Sun Sep 20 10:12:47 2015
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		2501
[runlim] real:			65.87 seconds
[runlim] time:			239.14 seconds
[runlim] space:			460.2 MB
[runlim] samples:		655
