Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-partial_industrial-_home_jplanes_evaluation_benchmarks_partial_industrial_bcp-syn_normalized-C880.a.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-syn/normalized-C880.a.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: 351 vars 658 clauses
c 75 variables cloned. 748 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 :normalized-C880.a.wcnf.clone_ls_out.1721721413.txt
c ===========================
o 91
c Initial LB: 71
c 	| 0.16    0.16   |  37/75  | 352      4  0      nan  0      nan  0      nan |         2102 | (0/219)
c 	| 0.34    0.18   |  20/75  | 352      4  0      nan  4       42  0      nan |         4416 | (4/219)
c 	| 0.72    0.38   |  12/75  | 352      4  0      nan  7       38  0      nan |         9276 | (7/219)
c 	| 1.55    0.83   |  11/75  | 352      4  0      nan  10      36  4       54 |        19480 | (14/219)
c 	| 3.13    1.58   |  23/75  | 352      4  0      nan  21      42  92      50 |        40908 | (113/219)
o 90
c 	| 6.63    3.50   |  10/75  | 352      4  0      nan  26      40  136     50 |        85909 | (162/219)
o 89
c 	| 13.97   7.34   |   6/75  | 352      4  0      nan  31      37  226     48 |       180409 | (52/240)
c 	| 29.69   15.72  |   4/75  | 352      4  0      nan  35      34  306     44 |       378859 | (136/240)
o 88
c 	| 63.14   33.45  |   3/75  | 352      4  0      nan  40      32  500     37 |       795604 | (109/264)
o 87
s OPTIMUM FOUND
c mw=103274 ... b = 103187
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 -201 202 -203 -204 -205 -206 207 -208 -209 -210 211 212 213 -214 215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 227 -228 229 -230 231 232 -233 234 235 -236 -237 -238 239 -240 -241 242 243 244 -245 -246 247 -248 249 250 251 -252 253 254 255 256 257 258 -259 260 261 262 263 264 265 -266 267 -268 269 270 271 272 273 274 -275 276 -277 -278 -279 280 -281 282 283 284 285 286 287 288 289 290 291 292 293 -294 295 -296 297 298 -299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 0
c Result is 87
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 103274
c Total nodes visited: 1001129 (0.00000 %)
c Total nodes pruned: 12259914853211754968645632 (16225.86221 %)
c Vc = 75 , search space size 75557863725914323419136
c Total prunnings: 500033
c Total pruned levels: 12428745
c Average pruned levels: 24.856 (out of 75)
c Total conflicts: 740
c Total leaves visited: 0
c Average nodes pruned: 24518211504464216064 nodes/prunning
c Bound computation: 1001129 bounds computed
c Optimal solution time: 72.1600 s
c Optimal solution node: 860564 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 78.4300 s
c 	Average bound computatation time: 7.83416e-05 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 1.7200 s
c Num early pruning: 0
c Searching time by Clone is 84.660 seconds
85.357u 2.428s 2:13.20 65.8%	0+0k 0+0io 3pf+0w