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_4.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/hi/file_rwms_wcnf_L2_V100_C1000_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: 100 vars 1000 clauses c 60 variables cloned. 1233 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_4.wcnf.clone_ls_out.170646069.txt c =========================== o 825 c Initial LB: 4 o 773 o 767 o 761 o 758 c | 0.50 0.50 | 47/60 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/333) c | 1.04 0.54 | 46/60 | 0 nan 0 nan 5 51 0 nan | 4416 | (5/333) c | 2.16 1.12 | 45/60 | 0 nan 0 nan 12 50 0 nan | 9276 | (12/333) c | 4.54 2.38 | 43/60 | 0 nan 0 nan 19 49 0 nan | 19480 | (19/333) c | 9.51 4.97 | 42/60 | 0 nan 0 nan 24 50 0 nan | 40908 | (24/333) c | 20.29 10.78 | 40/60 | 0 nan 0 nan 31 49 0 nan | 85909 | (31/333) c | 43.12 22.83 | 39/60 | 0 nan 0 nan 38 48 0 nan | 180409 | (38/333) o 755 o 754 o 752 o 749 1805.392u 18.701s 30:24.59 99.9% 0+0k 0+0io 134pf+0w