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_6.shuffled.cnf.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/STRUCTURED/3col100_5_6.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 74 variables cloned. 1186 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_6.shuffled.cnf.wcnf.clone_ls_out.1771923616.txt c =========================== o 2192 c Initial LB: 34 c | 0.53 0.53 | 11/74 | 850 4 0 nan 0 nan 83 20 | 2102 | (83/352) c | 1.08 0.55 | 11/74 | 850 4 0 nan 10 16 190 20 | 4416 | (200/352) c | 2.26 1.18 | 11/74 | 850 4 0 nan 25 17 348 20 | 9276 | (39/387) c | 4.74 2.48 | 10/74 | 850 4 0 nan 43 19 769 20 | 19480 | (108/425) c | 9.88 5.14 | 8/74 | 850 4 0 nan 47 18 1280 19 | 40908 | (218/467) c | 20.65 10.77 | 8/74 | 850 4 0 nan 64 18 2266 19 | 85909 | (519/564) c | 43.25 22.60 | 7/74 | 850 4 0 nan 84 18 4165 19 | 180409 | (733/907) o 103 o 100 c | 91.11 47.86 | 5/74 | 850 4 0 nan 94 17 7496 19 | 378859 | (1330/1457) c | 193.07 101.96 | 5/74 | 850 4 0 nan 112 17 15200 18 | 795604 | (2176/2835) c | 411.09 218.02 | 4/74 | 850 4 0 nan 127 17 32694 18 | 1670768 | (3530/6070) o 90 s OPTIMUM FOUND c mw=904136 ... b = 904046 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 90 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 904136 c Total nodes visited: 3203341 (0.00000 %) c Total nodes pruned: 3236922198721904844472320 (8568.06172 %) c Vc = 74 , search space size 37778931862957161709568 c Total prunnings: 1566084 c Total pruned levels: 28332967 c Average pruned levels: 18.092 (out of 74) c Total conflicts: 70979 c Total leaves visited: 0 c Average nodes pruned: 2066889259274665216 nodes/prunning c Bound computation: 3203341 bounds computed c Optimal solution time: 469.4800 s c Optimal solution node: 1845440 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 780.3900 s c Average bound computatation time: 2.43618e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 42.5300 s c Num early pruning: 1 c Searching time by Clone is 840.940 seconds 837.789u 7.775s 14:05.66 99.9% 0+0k 0+0io 3pf+0w