Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-partial_random-_home_jplanes_evaluation_benchmarks_partial_random_pmax2sat_hi_file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4000_H150_8.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: 150 vars 4000 clauses c 136 variables cloned. 7218 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 :file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf.clone_ls_out.1245501915.txt c =========================== o 812 c Initial LB: 1 o 780 1810.404u 18.404s 30:29.91 99.9% 0+0k 0+0io 104pf+0w