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_9.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/lo/file_rwms_wcnf_L2_V100_C300_9.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 26 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_9.wcnf.clone_ls_out.805638686.txt c =========================== o 80 c Initial LB: 1 o 77 c | 0.39 0.39 | 10/26 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/100) o 75 o 73 o 72 c | 0.82 0.43 | 8/26 | 0 nan 0 nan 6 14 0 nan | 4416 | (6/100) o 70 c | 1.70 0.88 | 7/26 | 0 nan 0 nan 10 14 0 nan | 9276 | (10/100) o 69 c | 3.59 1.89 | 5/26 | 0 nan 0 nan 15 13 0 nan | 19480 | (15/100) c | 7.55 3.96 | 2/26 | 0 nan 0 nan 20 11 0 nan | 40908 | (20/100) o 68 s OPTIMUM FOUND c mw=1605 ... b = 1537 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 68 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 1605 c Total nodes visited: 80207 (0.05976 %) c Total nodes pruned: 15256062666 (11366.65253 %) c Vc = 26 , search space size 134217727 c Total prunnings: 40067 c Total pruned levels: 482350 c Average pruned levels: 12.039 (out of 26) c Total conflicts: 0 c Total leaves visited: 0 c Average nodes pruned: 380764 nodes/prunning c Bound computation: 80207 bounds computed c Optimal solution time: 14.0300 s c Optimal solution node: 72184 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 15.2300 s c Average bound computatation time: 1.89884e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 0.0500 s c Num early pruning: 0 c Searching time by Clone is 15.570 seconds 17.269u 0.288s 0:17.66 99.3% 0+0k 0+0io 3pf+0w