Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-100-2_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-2.net.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: 272 vars 1632 clauses c 58 variables cloned. 1374 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 :random-net-100-2_network-2.net.wcnf.clone_ls_out.1097946702.txt c =========================== o 113122 c Initial LB: 27340 o 110671 o 107941 o 107804 o 107449 o 107058 o 107044 o 106907 o 106552 o 106161 o 105914 o 105869 c | 1.34 1.34 | 28/58 | 94 3 0 nan 0 nan 0 nan | 2102 | (0/544) c | 2.91 1.57 | 27/58 | 94 3 0 nan 7 30 0 nan | 4416 | (7/544) o 105597 o 105350 o 105305 c | 6.02 3.11 | 26/58 | 94 3 0 nan 17 29 0 nan | 9276 | (17/544) o 105214 o 105169 c | 12.48 6.46 | 25/58 | 94 3 0 nan 24 29 0 nan | 19480 | (24/544) o 105141 o 105096 c | 26.15 13.67 | 24/58 | 94 3 0 nan 34 28 0 nan | 40908 | (34/544) o 105094 o 104822 o 104575 o 104530 o 104439 o 104394 o 104366 o 104321 c | 54.70 28.55 | 22/58 | 94 3 0 nan 44 28 0 nan | 85909 | (44/544) o 104261 o 104216 o 104125 o 104080 o 104052 o 104007 o 104005 o 103733 o 103486 o 103441 o 103350 o 103305 o 103277 o 103232 c | 113.93 59.23 | 21/58 | 94 3 0 nan 53 28 0 nan | 180409 | (53/544) c | 231.99 118.06 | 20/58 | 94 3 0 nan 63 27 0 nan | 378859 | (63/544) o 103192 o 103147 o 103119 o 103074 c | 481.91 249.92 | 19/58 | 94 3 0 nan 72 27 0 nan | 795604 | (72/544) c | 995.00 513.09 | 17/58 | 94 3 0 nan 82 26 0 nan | 1670768 | (82/544) o 103058 o 103030 o 102985 o 102949 o 102878 o 102833 o 102561 o 102314 o 102269 o 102178 o 102133 1816.330u 8.814s 30:28.67 99.8% 0+0k 0+0io 3pf+0w