Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-partial_crafted-_home_jplanes_evaluation_benchmarks_partial_crafted_MAXCLIQUE_STRUCTURED_p_hat300-3.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXCLIQUE/STRUCTURED/p_hat300-3.clq.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: 300 vars 11760 clauses c 235 variables cloned. 19653 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 :p_hat300-3.clq.wcnf.clone_ls_out.685945063.txt c =========================== o 284 c Initial LB: 32 o 267 o 266 c | 1.58 1.58 | 220/235 | 11460 2 0 nan 0 nan 0 nan | 2102 | (0/3920) o 265 c | 3.19 1.61 | 216/235 | 11460 2 0 nan 5 221 0 nan | 4416 | (5/3920) o 264