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_C600_1.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/lo/file_rwms_wcnf_L2_V100_C600_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 600 clauses c 46 variables cloned. 596 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_C600_1.wcnf.clone_ls_out.138982875.txt c =========================== o 301 c Initial LB: 4 o 295 o 293 o 291 o 289 o 287 o 281 o 279 o 277 c | 0.54 0.54 | 23/46 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/200) o 276 o 274 o 272 c | 1.17 0.63 | 20/46 | 0 nan 0 nan 5 27 0 nan | 4416 | (5/200) c | 2.39 1.22 | 20/46 | 0 nan 0 nan 11 26 0 nan | 9276 | (11/200) c | 5.03 2.64 | 18/46 | 0 nan 0 nan 16 26 0 nan | 19480 | (16/200) c | 10.68 5.65 | 16/46 | 0 nan 0 nan 23 25 0 nan | 40908 | (23/200) c | 22.35 11.67 | 15/46 | 0 nan 0 nan 33 24 0 nan | 85909 | (33/200) c | 47.35 25.00 | 14/46 | 0 nan 0 nan 40 23 0 nan | 180409 | (40/200) c | 101.22 53.87 | 12/46 | 0 nan 0 nan 47 23 0 nan | 378859 | (47/200) o 270 o 268 o 266 1806.795u 16.279s 30:27.44 99.7% 0+0k 0+0io 3pf+0w