Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-weighted_random-_home_jplanes_evaluation_benchmarks_weighted_random_wmax2sat_lo_file_rwms_wcnf_L2_V100_C300_7.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/lo/file_rwms_wcnf_L2_V100_C300_7.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: 100 vars 300 clauses c 27 variables cloned. 196 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 :file_rwms_wcnf_L2_V100_C300_7.wcnf.clone_ls_out.805638686.txt c =========================== o 75 c Initial LB: 0 c | 0.41 0.41 | 9/27 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/100) c | 0.87 0.46 | 7/27 | 0 nan 0 nan 4 10 0 nan | 4416 | (4/100) c | 1.79 0.92 | 6/27 | 0 nan 0 nan 10 10 0 nan | 9276 | (10/100) o 74 c | 3.73 1.94 | 4/27 | 0 nan 0 nan 13 9 0 nan | 19480 | (13/100) o 73 o 71 o 69 c | 7.74 4.01 | 2/27 | 0 nan 0 nan 19 9 0 nan | 40908 | (19/100) s OPTIMUM FOUND c mw=1756 ... b = 1687 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 61 -62 63 64 -65 -66 67 -68 69 -70 71 -72 -73 -74 -75 -76 77 78 79 80 81 -82 83 -84 85 -86 -87 -88 89 90 91 -92 93 94 -95 -96 97 -98 -99 100 0 c Result is 69 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 1756 c Total nodes visited: 70922 (0.02642 %) c Total nodes pruned: 33122719310 (12339.17454 %) c Vc = 27 , search space size 268435455 c Total prunnings: 35433 c Total pruned levels: 400946 c Average pruned levels: 11.316 (out of 27) c Total conflicts: 0 c Total leaves visited: 0 c Average nodes pruned: 934799 nodes/prunning c Bound computation: 70922 bounds computed c Optimal solution time: 7.4300 s c Optimal solution node: 37425 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 12.7600 s c Average bound computatation time: 1.79916e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 0.0900 s c Num early pruning: 0 c Searching time by Clone is 13.070 seconds 14.829u 0.302s 0:15.24 99.2% 0+0k 0+0io 3pf+0w