Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-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/akmaxsat
o 16
o 15
c 1546 branches 5651 propagates
c total generalized unit propagation = 8209, success = 18.48%
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.906u 0.005s 0:04.93 99.3%	0+0k 0+0io 0pf+0w