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_KeXu_frb_frb10-6-1.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/KeXu/frb/frb10-6-1.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: 60 vars 667 clauses c 31 variables cloned. 720 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 :frb10-6-1.wcnf.clone_ls_out.322586020.txt c =========================== o 51 c Initial LB: 21 o 50 s OPTIMUM FOUND c mw=37087 ... b = 37037 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 -44 -45 -46 -47 48 -49 -50 -51 52 -53 -54 -55 -56 57 -58 -59 -60 0 c Result is 50 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 37087 c Total nodes visited: 1091 (0.00003 %) c Total nodes pruned: 17801815152 (414.48081 %) c Vc = 31 , search space size 4294967295 c Total prunnings: 544 c Total pruned levels: 8419 c Average pruned levels: 15.476 (out of 31) c Total conflicts: 0 c Total leaves visited: 0 c Average nodes pruned: 32723925 nodes/prunning c Bound computation: 1091 bounds computed c Optimal solution time: 0.0800 s c Optimal solution node: 424 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 0.1500 s c Average bound computatation time: 1.37489e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 0.0000 s c Num early pruning: 109 c Searching time by Clone is 0.180 seconds 3.077u 0.186s 0:05.18 62.7% 0+0k 0+0io 86pf+0w