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_wmax3sat_lo_file_rwms_wcnf_L3_V70_C500_8.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax3sat/lo/file_rwms_wcnf_L3_V70_C500_8.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: 70 vars 500 clauses c 49 variables cloned. 1051 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_L3_V70_C500_8.wcnf.clone_ls_out.1551987975.txt c =========================== o 52 c Initial LB: 0 c | 0.30 0.30 | 24/49 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/166) c | 0.61 0.31 | 21/49 | 0 nan 0 nan 4 26 0 nan | 4416 | (4/166) c | 1.27 0.66 | 19/49 | 0 nan 0 nan 9 27 0 nan | 9276 | (9/166) c | 2.66 1.39 | 18/49 | 0 nan 0 nan 14 25 0 nan | 19480 | (14/166) c | 5.52 2.86 | 16/49 | 0 nan 0 nan 20 25 0 nan | 40908 | (20/166) c | 11.34 5.82 | 13/49 | 0 nan 0 nan 25 24 0 nan | 85909 | (25/166) c | 23.60 12.26 | 11/49 | 0 nan 0 nan 36 23 0 nan | 180409 | (39/166) c | 49.12 25.52 | 9/49 | 0 nan 0 nan 89 20 0 nan | 378859 | (142/166) c | 101.83 52.71 | 8/49 | 0 nan 2 16 109 20 0 nan | 795604 | (95/182) o 51 1790.736u 32.114s 30:23.52 99.9% 0+0k 0+0io 3pf+0w