Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-weighted_random-_home_jplanes_evaluation_benchmarks_weighted_random_wmax2sat_lo_file_rwms_wcnf_L2_V100_C500_0.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/lo/file_rwms_wcnf_L2_V100_C500_0.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: 100 vars 500 clauses c 43 variables cloned. 472 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 :file_rwms_wcnf_L2_V100_C500_0.wcnf.clone_ls_out.1584194045.txt c =========================== o 244 c Initial LB: 5 o 243 o 235 o 232 c | 0.27 0.27 | 24/43 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/166) c | 0.57 0.30 | 23/43 | 0 nan 0 nan 5 29 0 nan | 4416 | (5/166) c | 1.19 0.62 | 20/43 | 0 nan 0 nan 11 27 0 nan | 9276 | (11/166) c | 2.48 1.29 | 18/43 | 0 nan 0 nan 15 27 0 nan | 19480 | (15/166) c | 5.22 2.74 | 17/43 | 0 nan 0 nan 21 27 0 nan | 40908 | (21/166) c | 10.82 5.60 | 15/43 | 0 nan 0 nan 25 25 0 nan | 85909 | (25/166) o 227 c | 22.80 11.98 | 13/43 | 0 nan 0 nan 31 25 0 nan | 180409 | (31/166) c | 47.94 25.14 | 13/43 | 0 nan 0 nan 38 24 0 nan | 378859 | (38/166) o 226 o 225 c | 100.51 52.57 | 11/43 | 0 nan 0 nan 46 23 0 nan | 795604 | (46/166) c | 210.23 109.72 | 9/43 | 0 nan 0 nan 54 22 0 nan | 1670768 | (54/166) c | 441.96 231.73 | 8/43 | 0 nan 0 nan 62 22 0 nan | 3508615 | (62/166) c | 929.23 487.27 | 7/43 | 0 nan 0 nan 71 21 0 nan | 7368092 | (71/166) o 222 o 219 1790.148u 32.316s 30:23.12 99.9% 0+0k 0+0io 3pf+0w