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_WMAXCUT_DIMACS_MOD_san200_0.9_3.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/san200_0.9_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: 40 vars 1420 clauses c 29 variables cloned. 2053 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 :san200_0.9_3.clq.wcnf.clone_ls_out.1723699144.txt c =========================== o 1689 c Initial LB: 72 c | 0.52 0.52 | 19/29 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/473) c | 1.08 0.56 | 17/29 | 0 nan 0 nan 5 19 0 nan | 4416 | (5/473) c | 2.26 1.18 | 16/29 | 0 nan 0 nan 8 20 0 nan | 9276 | (8/473) c | 4.72 2.46 | 15/29 | 0 nan 0 nan 14 20 0 nan | 19480 | (14/473) c | 9.92 5.20 | 14/29 | 0 nan 0 nan 22 19 0 nan | 40908 | (22/473) c | 20.78 10.86 | 13/29 | 0 nan 0 nan 31 19 0 nan | 85909 | (31/473) c | 43.69 22.91 | 12/29 | 0 nan 0 nan 36 19 0 nan | 180409 | (36/473) c | 91.92 48.23 | 11/29 | 0 nan 0 nan 45 18 0 nan | 378859 | (45/473) c | 192.90 100.98 | 10/29 | 0 nan 0 nan 56 17 0 nan | 795604 | (56/473) c | 404.13 211.23 | 9/29 | 0 nan 0 nan 66 17 0 nan | 1670768 | (66/473) o 1686 1802.873u 21.455s 30:24.79 99.9% 0+0k 0+0io 3pf+0w