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