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_STRUCTURED_3col100_5_8.shuffled.cnf.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/STRUCTURED/3col100_5_8.shuffled.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: 200 vars 1056 clauses c 79 variables cloned. 1265 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 :3col100_5_8.shuffled.cnf.wcnf.clone_ls_out.464581656.txt c =========================== o 1141 c Initial LB: 21 c | 0.40 0.40 | 12/79 | 850 4 0 nan 0 nan 42 23 | 2102 | (42/352) c | 0.84 0.44 | 15/79 | 850 4 0 nan 8 23 88 21 | 4416 | (96/352) c | 1.74 0.90 | 15/79 | 850 4 0 nan 16 22 161 20 | 9276 | (177/352) c | 3.64 1.90 | 11/79 | 850 4 0 nan 18 22 347 20 | 19480 | (36/387) c | 7.61 3.97 | 13/79 | 850 4 0 nan 32 21 698 20 | 40908 | (35/425) c | 16.12 8.51 | 7/79 | 850 4 0 nan 37 21 2295 18 | 85909 | (541/564) c | 33.95 17.83 | 7/79 | 850 4 0 nan 43 21 5144 17 | 180409 | (762/1096) c | 71.23 37.28 | 6/79 | 850 4 0 nan 52 20 12665 16 | 378859 | (2074/2344) c | 151.55 80.32 | 2/79 | 850 4 0 nan 58 19 27805 16 | 795604 | (3867/5018) o 99 c | 323.16 171.61 | 2/79 | 850 4 0 nan 63 19 53342 17 | 1670768 | (5650/9773) c | 718.83 395.67 | 1/79 | 850 4 0 inf 72 18 118495 16 | 3508615 | (14977/20945) o 94 1806.436u 17.883s 30:28.42 99.7% 0+0k 0+0io 3pf+0w