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_hamming10-4.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/hamming10-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: 41 vars 1436 clauses c 29 variables cloned. 2027 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 :hamming10-4.clq.wcnf.clone_ls_out.518571304.txt c =========================== o 1705 c Initial LB: 86 c | 0.74 0.74 | 19/29 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/478) o 1700 c | 1.55 0.81 | 18/29 | 0 nan 0 nan 6 21 0 nan | 4416 | (6/478) c | 3.25 1.70 | 17/29 | 0 nan 0 nan 12 20 0 nan | 9276 | (12/478) c | 6.74 3.49 | 15/29 | 0 nan 0 nan 18 19 0 nan | 19480 | (18/478) c | 14.03 7.29 | 14/29 | 0 nan 0 nan 23 19 0 nan | 40908 | (23/478) c | 29.53 15.50 | 13/29 | 0 nan 0 nan 32 19 0 nan | 85909 | (32/478) c | 61.94 32.41 | 12/29 | 0 nan 0 nan 40 19 0 nan | 180409 | (40/478) c | 130.06 68.12 | 11/29 | 0 nan 0 nan 51 18 0 nan | 378859 | (51/478) o 1699 c | 272.84 142.78 | 10/29 | 0 nan 0 nan 61 17 0 nan | 795604 | (61/478) c | 571.77 298.93 | 8/29 | 0 nan 0 nan 70 17 0 nan | 1670768 | (70/478) o 1697 1812.239u 12.377s 30:28.26 99.7% 0+0k 0+0io 51pf+0w