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_2.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/lo/file_rwms_wcnf_L2_V100_C300_2.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 25 variables cloned. 192 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_2.wcnf.clone_ls_out.1066504405.txt c =========================== o 95 c Initial LB: 2 c | 0.62 0.62 | 10/25 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/100) c | 1.32 0.70 | 7/25 | 0 nan 0 nan 6 11 0 nan | 4416 | (6/100) o 94 o 93 c | 2.81 1.49 | 5/25 | 0 nan 0 nan 13 12 0 nan | 9276 | (13/100) c | 5.90 3.09 | 4/25 | 0 nan 0 nan 18 12 0 nan | 19480 | (18/100) o 88 c | 12.33 6.43 | 2/25 | 0 nan 0 nan 25 11 0 nan | 40908 | (25/100) o 85 c | 25.68 13.35 | 1/25 | 0 nan 0 nan 31 11 0 nan | 85909 | (31/100) s OPTIMUM FOUND c mw=1718 ... b = 1633 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 85 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 1718 c Total nodes visited: 93261 (0.13897 %) c Total nodes pruned: 10249043788 (15272.26558 %) c Vc = 25 , search space size 67108863 c Total prunnings: 46588 c Total pruned levels: 537329 c Average pruned levels: 11.534 (out of 25) c Total conflicts: 0 c Total leaves visited: 0 c Average nodes pruned: 219993 nodes/prunning c Bound computation: 93261 bounds computed c Optimal solution time: 16.4600 s c Optimal solution node: 52331 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 28.8600 s c Average bound computatation time: 3.09454e-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 29.210 seconds 31.118u 0.347s 0:31.51 99.8% 0+0k 0+0io 3pf+0w