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_C700_2.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/hi/file_rwms_wcnf_L2_V100_C700_2.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 700 clauses c 50 variables cloned. 776 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_C700_2.wcnf.clone_ls_out.983581799.txt c =========================== o 417 c Initial LB: 1 o 412 o 411 c | 0.30 0.30 | 33/50 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/233) c | 0.62 0.32 | 32/50 | 0 nan 0 nan 3 38 0 nan | 4416 | (3/233) c | 1.29 0.67 | 29/50 | 0 nan 0 nan 10 34 0 nan | 9276 | (10/233) c | 2.77 1.48 | 26/50 | 0 nan 0 nan 16 33 0 nan | 19480 | (16/233) c | 5.81 3.04 | 24/50 | 0 nan 0 nan 21 32 0 nan | 40908 | (21/233) o 408 o 406 c | 12.11 6.30 | 23/50 | 0 nan 0 nan 26 32 0 nan | 85909 | (26/233) c | 25.71 13.60 | 22/50 | 0 nan 0 nan 34 31 0 nan | 180409 | (34/233) o 404 o 402 c | 53.75 28.04 | 20/50 | 0 nan 0 nan 42 31 0 nan | 378859 | (42/233) o 401 o 399 o 397 1796.221u 27.341s 30:24.11 99.9% 0+0k 0+0io 85pf+0w