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_RAMSEY_ram_k3_n19.ra1.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k3_n19.ra1.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: 171 vars 4845 clauses c 163 variables cloned. 24776 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 :ram_k3_n19.ra1.wcnf.clone_ls_out.750234478.txt c =========================== o 42965 c Initial LB: 0 o 38073 o 37466 o 37385 o 36859 o 36778 o 36689 o 36648 o 36608 o 36567 c | 2.27 2.27 | 145/163 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/1615) o 36522 c | 4.62 2.35 | 144/163 | 0 nan 0 nan 5 150 0 nan | 4416 | (5/1615) o 36407 o 36321 c | 9.28 4.66 | 141/163 | 0 nan 0 nan 13 147 0 nan | 9276 | (13/1615) c | 18.83 9.55 | 139/163 | 0 nan 0 nan 17 146 0 nan | 19480 | (17/1615) c | 38.84 20.01 | 137/163 | 0 nan 0 nan 24 146 0 nan | 40908 | (24/1615) o 36273 o 36103 o 36062 o 36017 o 35902 o 35816