Discussions on Empty set

Controller: 0.304s

Template: 0.030s

Cost: dt=0.305, cc=0.292, utime=0.292, stime=0.0, maxrss=0, ixrss=0, idrss=0, isrss=0, minflt=0, majflt=0, nswap=0, inblock=0, oublock=0, msgsnd=0, msgrcv=0, nsignals=0, nvcsw=12, nivcsw=3, nreqs=6, tr=0.006, tu=0.004, ts=0.0, pr=0, pf=0, dw=0, dr=1138, in=456, ir=16, iw=0, va=1396, te=0.007, tg=0.0078022480011, tf=0.00918984413147, tm=0.28200507164, cr=3, cm=3, ch=0, gqr=0