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_hi_file_rwms_wcnf_L2_V100_C1000_3.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/hi/file_rwms_wcnf_L2_V100_C1000_3.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 1000 clauses c 58 variables cloned. 1223 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_C1000_3.wcnf.clone_ls_out.170646069.txt c =========================== o 757 c Initial LB: 11 o 754 o 752 o 750 o 748 o 743 o 741 c | 0.77 0.77 | 46/58 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/333) o 740 o 738 c | 1.59 0.82 | 45/58 | 0 nan 0 nan 5 48 0 nan | 4416 | (5/333) c | 3.33 1.74 | 43/58 | 0 nan 0 nan 13 47 0 nan | 9276 | (13/333) o 735 o 733 c | 7.01 3.68 | 41/58 | 0 nan 0 nan 18 47 0 nan | 19480 | (18/333) c | 14.73 7.72 | 39/58 | 0 nan 0 nan 24 46 0 nan | 40908 | (24/333) o 732 o 728 o 725 c | 30.59 15.86 | 37/58 | 0 nan 0 nan 35 45 0 nan | 85909 | (35/333) o 724 o 720 c | 64.39 33.80 | 36/58 | 0 nan 0 nan 41 44 0 nan | 180409 | (41/333) c | 133.59 69.20 | 34/58 | 0 nan 0 nan 52 43 0 nan | 378859 | (52/333) c | 277.81 144.22 | 33/58 | 0 nan 0 nan 60 43 0 nan | 795604 | (60/333) o 718 o 715 1808.382u 15.102s 30:28.83 99.7% 0+0k 0+0io 104pf+0w