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_hat300-2.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/p_hat300-2.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: 43 vars 736 clauses c 19 variables cloned. 833 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_hat300-2.clq.wcnf.clone_ls_out.1968733870.txt c =========================== o 738 c Initial LB: 40 o 736 c | 0.45 0.45 | 8/19 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/245) c | 0.97 0.52 | 7/19 | 0 nan 0 nan 9 10 0 nan | 4416 | (9/245) c | 2.04 1.07 | 5/19 | 0 nan 0 nan 16 9 0 nan | 9276 | (16/245) o 719 o 714 c | 4.33 2.29 | 4/19 | 0 nan 0 nan 22 9 0 nan | 19480 | (22/245) c | 9.15 4.82 | 3/19 | 0 nan 0 nan 28 9 0 nan | 40908 | (28/245) o 711 c | 19.11 9.96 | 2/19 | 0 nan 0 nan 34 9 0 nan | 85909 | (34/245) c | 40.15 21.04 | 1/19 | 0 nan 0 nan 43 8 0 nan | 180409 | (43/245) s OPTIMUM FOUND c mw=4178 ... b = 3467 v 1 2 -3 4 -5 6 -7 -8 9 10 11 -12 13 14 -15 -16 17 18 19 -20 -21 -22 23 -24 25 -26 -27 -28 29 30 -31 32 -33 -34 35 36 -37 38 39 -40 -41 -42 43 0 c Result is 711 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 4178 c Total nodes visited: 174670 (16.65785 %) c Total nodes pruned: 714874332 (68175.79401 %) c Vc = 19 , search space size 1048575 c Total prunnings: 87301 c Total pruned levels: 757781 c Average pruned levels: 8.680 (out of 19) c Total conflicts: 0 c Total leaves visited: 0 c Average nodes pruned: 8189 nodes/prunning c Bound computation: 174670 bounds computed c Optimal solution time: 15.4500 s c Optimal solution node: 66174 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 39.4800 s c Average bound computatation time: 2.26026e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 0.3400 s c Num early pruning: 0 c Searching time by Clone is 40.810 seconds 43.957u 0.596s 0:44.16 100.8% 0+0k 0+0io 3pf+0w