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_hamming6-4.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/hamming6-4.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: 64 vars 1408 clauses c 40 variables cloned. 1720 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 :hamming6-4.clq.wcnf.clone_ls_out.1017961173.txt c =========================== o 1307 c Initial LB: 37 c | 0.61 0.61 | 28/40 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/469) c | 1.26 0.65 | 27/40 | 0 nan 0 nan 4 30 0 nan | 4416 | (4/469) c | 2.61 1.35 | 25/40 | 0 nan 0 nan 10 29 0 nan | 9276 | (10/469) o 1264 c | 5.48 2.87 | 24/40 | 0 nan 0 nan 16 29 0 nan | 19480 | (16/469) o 1221 c | 11.37 5.89 | 22/40 | 0 nan 0 nan 24 28 0 nan | 40908 | (24/469) c | 23.60 12.23 | 21/40 | 0 nan 0 nan 31 27 0 nan | 85909 | (31/469) c | 49.33 25.73 | 19/40 | 0 nan 0 nan 41 26 0 nan | 180409 | (41/469) c | 103.57 54.24 | 17/40 | 0 nan 0 nan 51 25 0 nan | 378859 | (51/469) o 1213 o 1208 c | 217.09 113.52 | 16/40 | 0 nan 0 nan 61 25 0 nan | 795604 | (61/469) o 1181 o 1146 c | 452.65 235.56 | 14/40 | 0 nan 0 nan 68 25 0 nan | 1670768 | (68/469) c | 915.54 462.89 | 12/40 | 0 nan 0 nan 79 24 0 nan | 3508615 | (79/469) o 1104 1805.356u 19.187s 30:28.10 99.8% 0+0k 0+0io 51pf+0w