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_lo_file_rwms_wcnf_L2_V100_C500_1.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/lo/file_rwms_wcnf_L2_V100_C500_1.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 500 clauses c 44 variables cloned. 465 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_C500_1.wcnf.clone_ls_out.1584194045.txt c =========================== o 218 c Initial LB: 0 o 217 c | 0.45 0.45 | 27/44 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/166) c | 0.95 0.50 | 25/44 | 0 nan 0 nan 5 30 0 nan | 4416 | (5/166) c | 2.03 1.08 | 22/44 | 0 nan 0 nan 10 28 0 nan | 9276 | (10/166) c | 4.23 2.20 | 21/44 | 0 nan 0 nan 18 28 0 nan | 19480 | (18/166) c | 8.83 4.60 | 20/44 | 0 nan 0 nan 24 28 0 nan | 40908 | (24/166) o 215 o 212 o 211 c | 18.58 9.75 | 19/44 | 0 nan 0 nan 31 27 0 nan | 85909 | (31/166) c | 39.22 20.64 | 16/44 | 0 nan 0 nan 38 26 0 nan | 180409 | (38/166) o 210 o 208 o 207 o 206 o 203 c | 80.92 41.70 | 14/44 | 0 nan 0 nan 47 25 0 nan | 378859 | (47/166) o 202 c | 170.73 89.81 | 12/44 | 0 nan 0 nan 53 25 0 nan | 795604 | (53/166) o 200 o 199 o 198 o 196 o 193 o 192 o 189 o 186 o 185 1803.534u 18.831s 30:26.43 99.7% 0+0k 0+0io 3pf+0w