Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-partial_random-_home_jplanes_evaluation_benchmarks_partial_random_pmax2sat_lo_file_rpms_wcnf_L2_V150_C1000_H150_4.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_random/pmax2sat/lo/file_rpms_wcnf_L2_V150_C1000_H150_4.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 82 variables cloned. 1143 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_rpms_wcnf_L2_V150_C1000_H150_4.wcnf.clone_ls_out.1260289418.txt c =========================== o 153 c Initial LB: 4 c | 0.38 0.38 | 28/82 | 150 2 0 nan 0 nan 0 nan | 2102 | (0/333) c | 0.82 0.44 | 27/82 | 150 2 0 nan 6 32 0 nan | 4416 | (6/333) c | 1.72 0.90 | 27/82 | 150 2 0 nan 11 32 0 nan | 9276 | (11/333) c | 3.60 1.88 | 26/82 | 150 2 0 nan 17 31 0 nan | 19480 | (17/333) c | 7.56 3.96 | 25/82 | 150 2 0 nan 23 31 0 nan | 40908 | (23/333) c | 15.63 8.07 | 23/82 | 150 2 0 nan 33 30 0 nan | 85909 | (33/333) c | 32.38 16.75 | 22/82 | 150 2 0 nan 43 29 0 nan | 180409 | (43/333) c | 67.54 35.16 | 21/82 | 150 2 0 nan 49 29 0 nan | 378859 | (49/333) o 152 o 151 c | 142.78 75.24 | 19/82 | 150 2 0 nan 56 29 0 nan | 795604 | (56/333) o 150 o 149 o 148 c | 300.10 157.32 | 17/82 | 150 2 0 nan 64 28 0 nan | 1670768 | (64/333) o 147 1801.627u 22.760s 30:24.19 100.0% 0+0k 0+0io 3pf+0w