Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-partial_crafted-_home_jplanes_evaluation_benchmarks_partial_crafted_MAXONE_STRUCTURED_3col100_5_7.shuffled.cnf.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/STRUCTURED/3col100_5_7.shuffled.cnf.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: 200 vars 1056 clauses c 76 variables cloned. 1216 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 :3col100_5_7.shuffled.cnf.wcnf.clone_ls_out.732923296.txt c =========================== o 85 c Initial LB: 28 c | 0.47 0.47 | 14/76 | 850 4 0 nan 0 nan 30 20 | 2102 | (30/352) c | 0.98 0.51 | 15/76 | 850 4 0 nan 7 23 70 22 | 4416 | (77/352) c | 2.06 1.08 | 13/76 | 850 4 0 nan 17 20 162 23 | 9276 | (179/352) c | 4.29 2.23 | 13/76 | 850 4 0 nan 32 19 310 23 | 19480 | (342/352) c | 9.01 4.72 | 12/76 | 850 4 0 nan 43 18 614 22 | 40908 | (333/387) c | 19.32 10.31 | 10/76 | 850 4 0 nan 60 18 914 21 | 85909 | (283/425) c | 41.13 21.81 | 8/76 | 850 4 0 nan 71 18 1607 19 | 180409 | (133/513) c | 86.44 45.31 | 7/76 | 850 4 0 nan 87 18 3112 18 | 378859 | (442/750) c | 180.24 93.80 | 7/76 | 850 4 0 nan 93 17 6942 18 | 795604 | (733/1457) c | 377.41 197.17 | 5/76 | 850 4 0 nan 105 17 11619 18 | 1670768 | (2049/2131) c | 795.54 418.13 | 4/76 | 850 4 0 nan 116 17 25990 17 | 3508615 | (4262/4562) s OPTIMUM FOUND c mw=904136 ... b = 904051 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 101 -102 103 104 105 -106 -107 108 109 110 -111 112 113 114 -115 -116 117 -118 119 -120 121 -122 -123 124 -125 -126 -127 -128 -129 -130 131 132 -133 134 135 136 137 -138 139 -140 141 -142 -143 -144 145 146 147 148 -149 -150 151 152 -153 154 155 -156 -157 158 159 -160 -161 -162 163 164 -165 -166 -167 168 169 170 -171 -172 173 174 175 -176 -177 178 -179 180 181 182 183 -184 185 186 187 188 -189 190 -191 -192 -193 194 -195 196 -197 -198 -199 -200 0 c Result is 85 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 904136 c Total nodes visited: 4360824 (0.00000 %) c Total nodes pruned: 38751752935866391471325184 (25643.75898 %) c Vc = 76 , search space size 151115727451828646838272 c Total prunnings: 2164552 c Total pruned levels: 37373270 c Average pruned levels: 17.266 (out of 76) c Total conflicts: 31498 c Total leaves visited: 0 c Average nodes pruned: 17902897660054548480 nodes/prunning c Bound computation: 4360824 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: 990.7200 s c Average bound computatation time: 2.27186e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 19.6500 s c Num early pruning: 0 c Searching time by Clone is 1032.570 seconds 1026.242u 10.858s 17:17.16 99.9% 0+0k 0+0io 3pf+0w