Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-pms_industrial-_home_maxsat_benchmarks_pms_industrial_bcp-hipp-yRa1_simp_simp-test_chr10_HCB_75.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-test_chr10_HCB_75.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 15
o 15
c first lower bound: 13
c 8622 branches 57542 propagates
c total generalized unit propagation = 18311, success = 44.30%
s OPTIMUM FOUND
c Optimal Solution = 15
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 -37 -36 -40 -39 -38 -44 -43 -42 -41 -45 -48 47 -46 49 -50 -51 52 -53 54 55 56 -57 -58 -63 62 61 60 59 -64 65 -66 -67 68 -69 70 71 72 -73 -74 75 76 77 85 -84 -83 82 -81 80 79 -78 -86 -87 88 89 90 91 -92 -93 -94 -95 96 97 98 -99 100 101 102 103 -104 -105 106 -117 116 115 114 113 -112 111 -110 109 108 -107 -118 119 120 121 -122 123 -124 125 126 -127 -128 134 133 132 131 130 -129 -135 -136 137 138 139 140 -141 142 143 144 145 -146 147 151 150 149 148 -152 -153 -154 155 -156 -157 158 -159 160 161 -162 -163 -164 165 166 167 175 -174 173 -172 171 -170 169 -168 187 -186 185 184 183 182 181 180 179 178 177 -176 188 -189 190 -191 -192 -193 -194 195 196 197 198 208 207 206 205 204 203 202 201 -200 199 223 222 -221 220 219 218 -217 216 -215 214 213 212 211 210 209 224 -225 -226 227 -228 -229 230 -231 232 233 -234 -235 -236 237 238 239 256 -255 254 253 252 251 250 249 -248 247 -246 245 244 243 -242 241 240 272 271 270 269 268 -267 266 -265 264 -263 262 -261 260 259 258 -257 273 -274 -275 276 -277 -278 279 -280 -281 -282 -283 284 285 286 287 302 301 300 299 298 297 296 295 294 293 292 291 290 289 288 -320 -319 -318 317 -316 -315 314 313 -312 311 310 -309 -308 307 -306 -305 304 303 -329 -328 -327 326 -325 324 323 -322 321 -339 -338 -337 336 -335 -334 333 -332 331 330 352 -351 350 349 348 347 346 -345 344 -343 342 -341 -340 364 -363 362 361 360 -359 358 -357 356 -355 354 -353 373 372 -371 -370 -369 368 367 -366 365 -382 -381 -380 -379 378 -377 376 375 -374 390 -389 -388 -387 386 385 -384 -383 401 -400 399 398 397 396 395 -394 -393 392 391 -411 -410 409 -408 407 -406 405 -404 403 -402 427 -426 425 -424 -423 422 -421 420 -419 -418 -417 416 -415 -414 -413 -412 439 438 437 -436 -435 -434 433 -432 -431 -430 -429 -428 -446 445 -444 443 -442 -441 -440 -452 451 450 449 448 -447 456 455 454 453 458 -457
9.900u 0.013s 0:09.92 99.8%	0+0k 0+0io 0pf+0w