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_sanr400_0.5.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/sanr400_0.5.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: 40 vars 798 clauses c 21 variables cloned. 879 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 :sanr400_0.5.clq.wcnf.clone_ls_out.423438754.txt c =========================== o 802 c Initial LB: 84 c | 0.71 0.71 | 10/21 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/266) c | 1.46 0.75 | 9/21 | 0 nan 0 nan 9 11 0 nan | 4416 | (9/266) c | 3.05 1.59 | 7/21 | 0 nan 0 nan 16 11 0 nan | 9276 | (16/266) c | 6.39 3.34 | 6/21 | 0 nan 0 nan 23 10 0 nan | 19480 | (23/266) o 797 o 795 c | 13.47 7.08 | 5/21 | 0 nan 0 nan 28 10 0 nan | 40908 | (28/266) o 787 c | 28.29 14.82 | 4/21 | 0 nan 0 nan 34 10 0 nan | 85909 | (34/266) c | 59.52 31.23 | 3/21 | 0 nan 0 nan 42 9 0 nan | 180409 | (42/266) o 783 o 774 o 771 o 763 c | 125.02 65.50 | 1/21 | 0 nan 0 nan 51 9 0 nan | 378859 | (51/266) s OPTIMUM FOUND c mw=4498 ... b = 3735 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 0 c Result is 763 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 4498 c Total nodes visited: 604445 (14.41110 %) c Total nodes pruned: 5566655340 (132719.43729 %) c Vc = 21 , search space size 4194303 c Total prunnings: 302173 c Total pruned levels: 2949170 c Average pruned levels: 9.760 (out of 21) c Total conflicts: 0 c Total leaves visited: 0 c Average nodes pruned: 18422 nodes/prunning c Bound computation: 604445 bounds computed c Optimal solution time: 101.5700 s c Optimal solution node: 293537 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 204.8200 s c Average bound computatation time: 3.38856e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 1.4300 s c Num early pruning: 0 c Searching time by Clone is 209.670 seconds 211.548u 1.891s 3:33.35 100.0% 0+0k 0+0io 3pf+0w