Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-partial_crafted-_home_jplanes_evaluation_benchmarks_partial_crafted_MAXONE_3SAT_cnf3.150.400.921271.cnf.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.400.921271.cnf.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: 150 vars 550 clauses c 77 variables cloned. 738 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 :cnf3.150.400.921271.cnf.wcnf.clone_ls_out.1692220426.txt c =========================== o 41 c Initial LB: 0 c | 0.39 0.39 | 20/77 | 400 3 7 32 3 32 9 17 | 2102 | (19/183) c | 0.80 0.41 | 20/77 | 400 3 18 31 13 28 16 17 | 4416 | (47/183) c | 1.55 0.75 | 19/77 | 400 3 63 33 43 30 25 18 | 9276 | (131/183) c | 3.20 1.65 | 19/77 | 400 3 135 34 75 30 55 19 | 19480 | (123/201) c | 6.65 3.45 | 17/77 | 400 3 283 34 144 30 114 17 | 40908 | (133/243) c | 13.55 6.90 | 16/77 | 400 3 658 34 311 30 213 18 | 85909 | (286/322) c | 29.36 15.81 | 16/77 | 400 3 1313 34 590 30 449 18 | 180409 | (392/469) c | 61.31 31.95 | 14/77 | 400 3 2502 34 1188 30 738 18 | 378859 | (369/752) c | 126.62 65.31 | 11/77 | 400 3 5426 34 2584 29 1626 19 | 795604 | (924/1327) c | 255.58 128.96 | 11/77 | 400 3 12630 35 5791 31 2682 20 | 1670768 | (1635/3434) o 40 o 39 c | 554.11 298.53 | 9/77 | 400 3 24465 35 11439 30 4818 19 | 3508615 | (5994/6686) o 38 1800.837u 22.387s 30:25.47 99.8% 0+0k 0+0io 3pf+0w