Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-partial_random-_home_jplanes_evaluation_benchmarks_partial_random_pmax3sat_lo_file_rpms_wcnf_L3_V100_C500_H100_0.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_random/pmax3sat/lo/file_rpms_wcnf_L3_V100_C500_H100_0.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 500 clauses c 68 variables cloned. 1035 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_rpms_wcnf_L3_V100_C500_H100_0.wcnf.clone_ls_out.629048737.txt c =========================== o 2 c Initial LB: 0 c | 0.27 0.27 | 17/68 | 100 3 4 6 12 26 3 24 | 2102 | (24/166) c | 0.56 0.29 | 16/68 | 100 3 7 6 24 24 3 24 | 4416 | (41/166) c | 1.14 0.58 | 14/68 | 100 3 12 7 48 24 5 20 | 9276 | (81/166) c | 2.49 1.35 | 13/68 | 100 3 75 7 186 25 36 17 | 19480 | (100/220) c | 5.36 2.87 | 12/68 | 100 3 277 7 640 25 130 19 | 40908 | (207/388) c | 11.49 6.13 | 11/68 | 100 3 804 8 1643 25 361 16 | 85909 | (218/751) c | 24.44 12.95 | 8/68 | 100 3 1918 8 3484 23 1099 15 | 180409 | (824/1206) c | 53.48 29.04 | 5/68 | 100 3 5072 9 7462 22 4360 14 | 378859 | (1631/3119) c | 126.33 72.85 | 2/68 | 100 3 13637 10 15751 20 20291 13 | 795604 | (8033/8893) s OPTIMUM FOUND c mw=50400 ... b = 50398 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 2 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 50400 c Total nodes visited: 1265979 (0.00000 %) c Total nodes pruned: 135447324800284591390720 (22945.66934 %) c Vc = 68 , search space size 590295810358705651712 c Total prunnings: 563656 c Total pruned levels: 9967550 c Average pruned levels: 17.684 (out of 68) c Total conflicts: 51509 c Total leaves visited: 0 c Average nodes pruned: 240301398016315968 nodes/prunning c Bound computation: 1265979 bounds computed c Optimal solution time: 0.0000 s c Optimal solution node: 0 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 170.2700 s c Average bound computatation time: 1.34497e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 40.7400 s c Num early pruning: 108375 c Searching time by Clone is 222.370 seconds 222.558u 3.077s 3:47.26 99.2% 0+0k 0+0io 3pf+0w