Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_RAMSEY_ram_k3_n16.ra1.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k3_n16.ra1.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: 120 vars 2380 clauses c 112 variables cloned. 11648 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 :ram_k3_n16.ra1.wcnf.clone_ls_out.1329390870.txt c =========================== o 16788 c Initial LB: 0 o 16310 o 16116 o 16078 o 15947 o 15891 o 15786 o 15710 o 15394 o 15338 c | 1.05 1.05 | 88/112 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/793) c | 2.13 1.08 | 87/112 | 0 nan 0 nan 3 95 0 nan | 4416 | (3/793) c | 4.34 2.21 | 86/112 | 0 nan 0 nan 7 92 0 nan | 9276 | (7/793) c | 8.84 4.50 | 85/112 | 0 nan 0 nan 17 93 0 nan | 19480 | (23/793) o 15285 c | 17.97 9.13 | 84/112 | 0 nan 0 nan 29 92 0 nan | 40908 | (40/793) o 15278 o 15208 o 14931 o 14782 o 14729 c | 37.06 19.09 | 82/112 | 0 nan 2 77 69 91 0 nan | 85909 | (118/793) o 14472 o 14395 o 14229 o 13770 o 13760 o 13737 o 13589 o 13576 1819.088u 11.411s 30:35.83 99.7% 0+0k 0+0io 20pf+0w