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_me_file_rwpms_wcnf_L2_V150_C3000_H150_6.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_6.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 3000 clauses c 118 variables cloned. 4744 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_C3000_H150_6.wcnf.clone_ls_out.86396371.txt c =========================== o 3103 c Initial LB: 6 o 3072 o 3068 c | 0.49 0.49 | 75/118 | 150 2 0 nan 0 nan 0 nan | 2102 | (0/1000) c | 1.02 0.53 | 73/118 | 150 2 0 nan 6 76 0 nan | 4416 | (6/1000) c | 2.08 1.06 | 71/118 | 150 2 0 nan 12 76 0 nan | 9276 | (12/1000) c | 4.26 2.18 | 70/118 | 150 2 0 nan 18 76 0 nan | 19480 | (18/1000) c | 8.77 4.51 | 68/118 | 150 2 0 nan 25 75 0 nan | 40908 | (25/1000) o 3067 o 3063 c | 18.19 9.42 | 67/118 | 150 2 0 nan 32 74 0 nan | 85909 | (32/1000) c | 38.01 19.82 | 65/118 | 150 2 0 nan 39 74 0 nan | 180409 | (39/1000) c | 79.68 41.67 | 64/118 | 150 2 0 nan 44 74 0 nan | 378859 | (44/1000) o 3060 o 3059 o 3058 1808.910u 18.759s 30:27.89 99.9% 0+0k 0+0io 3pf+0w