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_WMAXCUT_DIMACS_MOD_p_hat500-3.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/p_hat500-3.clq.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: 42 vars 1310 clauses c 29 variables cloned. 1867 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 :p_hat500-3.clq.wcnf.clone_ls_out.1826501633.txt c =========================== o 1528 c Initial LB: 60 c | 0.37 0.37 | 18/29 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/436) c | 0.79 0.42 | 17/29 | 0 nan 0 nan 6 21 0 nan | 4416 | (6/436) c | 1.64 0.85 | 16/29 | 0 nan 0 nan 12 20 0 nan | 9276 | (12/436) c | 3.40 1.76 | 15/29 | 0 nan 0 nan 18 20 0 nan | 19480 | (18/436) c | 7.16 3.76 | 13/29 | 0 nan 0 nan 27 19 0 nan | 40908 | (27/436) c | 14.94 7.78 | 12/29 | 0 nan 0 nan 31 19 0 nan | 85909 | (31/436) c | 31.38 16.44 | 11/29 | 0 nan 0 nan 38 18 0 nan | 180409 | (38/436) c | 65.82 34.44 | 10/29 | 0 nan 0 nan 45 18 0 nan | 378859 | (45/436) c | 138.06 72.24 | 9/29 | 0 nan 0 nan 53 17 0 nan | 795604 | (53/436) c | 290.38 152.32 | 8/29 | 0 nan 0 nan 62 17 0 nan | 1670768 | (62/436) c | 610.07 319.69 | 7/29 | 0 nan 0 nan 75 16 0 nan | 3508615 | (75/436) o 1519 1800.758u 23.397s 30:28.06 99.7% 0+0k 0+0io 3pf+0w