Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_7.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: 150 vars 1000 clauses c 79 variables cloned. 1124 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_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf.clone_ls_out.365646694.txt c =========================== o 759 c Initial LB: 1 c | 0.46 0.46 | 29/79 | 150 2 0 nan 0 nan 0 nan | 2102 | (0/333) c | 0.95 0.49 | 28/79 | 150 2 0 nan 6 31 0 nan | 4416 | (6/333) c | 1.93 0.98 | 27/79 | 150 2 0 nan 15 30 0 nan | 9276 | (15/333) c | 4.03 2.10 | 25/79 | 150 2 0 nan 21 30 0 nan | 19480 | (21/333) o 758 o 753 c | 8.38 4.35 | 25/79 | 150 2 0 nan 29 30 0 nan | 40908 | (29/333) c | 17.58 9.20 | 22/79 | 150 2 0 nan 37 29 0 nan | 85909 | (37/333) o 750 c | 36.28 18.70 | 21/79 | 150 2 0 nan 48 28 0 nan | 180409 | (48/333) c | 75.54 39.26 | 19/79 | 150 2 0 nan 59 27 0 nan | 378859 | (59/333) c | 158.18 82.64 | 15/79 | 150 2 0 nan 72 26 0 nan | 795604 | (72/333) c | 333.58 175.40 | 13/79 | 150 2 0 nan 77 26 0 nan | 1670768 | (77/333) c | 698.78 365.20 | 12/79 | 150 2 0 nan 85 26 0 nan | 3508615 | (85/333) o 744 o 743 o 742 o 740 o 739 o 734 c | 1480.13 781.35 | 10/79 | 150 2 0 nan 97 26 0 nan | 7368092 | (97/333) o 725 o 724 o 721 o 720 1804.581u 19.818s 30:27.62 99.8% 0+0k 0+0io 3pf+0w