Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_KeXu_frb_frb25-13-5.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/KeXu/frb/frb25-13-5.wcnf Job solver: /home/jplanes/evaluation/solvers/KnotPipatsrisawat/clone.sh c =========================== c Clone c MAX-SAT solver c Automated Reasoning Group c UCLA c =========================== c Instance stats: 325 vars 10833 clauses c 272 variables cloned. 18235 clones generated. c +=======================================================Clone===========================+ c | Time (s) | Pruning | Hard Prune Summary Conflict | Next Restart | c | Total Incmtl | Best lvl | Cls LPC Cls LPC Cls LPC Cls LPC | Pruning | c +=======================================================Clone===========================+ c =========================== c Calling maxwalksat c ls_out is :frb25-13-5.wcnf.clone_ls_out.860027088.txt c =========================== o 311 c Initial LB: 38 o 310 o 309 o 308 c | 1.48 1.48 | 257/272 | 10508 2 0 nan 0 nan 0 nan | 2102 | (0/3611) c | 2.97 1.49 | 254/272 | 10508 2 0 nan 6 259 0 nan | 4416 | (6/3611) c | 5.90 2.93 | 253/272 | 10508 2 0 nan 10 259 0 nan | 9276 | (10/3611) o 307 c | 11.92 6.02 | 250/272 | 10508 2 0 nan 14 258 0 nan | 19480 | (14/3611) c | 24.30 12.38 | 248/272 | 10508 2 0 nan 19 257 0 nan | 40908 | (19/3611) c | 50.49 26.19 | 245/272 | 10508 2 0 nan 26 255 0 nan | 85909 | (26/3611) c | 104.84 54.35 | 241/272 | 10508 2 0 nan 33 253 0 nan | 180409 | (33/3611) c | 217.90 113.06 | 239/272 | 10508 2 0 nan 42 252 0 nan | 378859 | (42/3611) o 306