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_6.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/hi/file_rwms_wcnf_L2_V100_C700_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: 100 vars 700 clauses c 51 variables cloned. 755 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_6.wcnf.clone_ls_out.1510913638.txt c =========================== o 443 c Initial LB: 8 o 429 o 425 o 422 o 421 o 420 c | 0.57 0.57 | 35/51 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/233) o 416 o 411 o 410 o 409 c | 1.20 0.63 | 33/51 | 0 nan 0 nan 4 37 0 nan | 4416 | (4/233) c | 2.55 1.35 | 31/51 | 0 nan 0 nan 9 37 0 nan | 9276 | (9/233) c | 5.35 2.80 | 28/51 | 0 nan 0 nan 13 36 0 nan | 19480 | (13/233) c | 11.39 6.04 | 26/51 | 0 nan 0 nan 19 35 0 nan | 40908 | (19/233) c | 23.82 12.43 | 25/51 | 0 nan 0 nan 24 34 0 nan | 85909 | (24/233) c | 50.37 26.55 | 24/51 | 0 nan 0 nan 30 33 0 nan | 180409 | (30/233) o 407 o 405 c | 105.19 54.82 | 23/51 | 0 nan 0 nan 38 32 0 nan | 378859 | (38/233) c | 221.21 116.02 | 22/51 | 0 nan 0 nan 44 32 0 nan | 795604 | (44/233) c | 470.51 249.30 | 20/51 | 0 nan 0 nan 54 30 0 nan | 1670768 | (54/233) o 403 o 400 1808.258u 14.629s 30:26.38 99.8% 0+0k 0+0io 95pf+0w