Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_random-_home_maxsat_benchmarks_pms_random_min2sat_v160c800l2_clq1-cv160c800l2g8.wcnf
Job file: /home/maxsat/benchmarks/pms_random/min2sat/v160c800l2/clq1-cv160c800l2g8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 31
o 59
o 58
o 57
o 56
o 55
o 54
o 53
o 52
o 51
o 50
o 49
c 6035 branches 92735 propagates
c total generalized unit propagation = 12084, success = 44.98%
s OPTIMUM FOUND
c Optimal Solution = 49
v -394 742 153 -367 205 -408 25 -769 46 -225 164 -358 -115 251 173 -794 334 -488 -166 361 463 -768 518 -635 -507 558 562 -633 -447 569 -276 690 -344 711 -265 756 14 -514 54 -599 97 -512 99 -786 108 -573 -81 109 142 -386 89 -169 123 -189 192 -684 -230 716 -216 255 298 -567 -299 594 -281 313 372 -606 424 -661 -482 740 -42 553 585 -683 637 -666 -646 749 -490 657 760 -765 -676 695 -378 705 -667 724 -75 735 20 -244 -30 43 -321 35 -273 69 -209 90 -483 93 -627 105 -121 106 -374 118 -450 127 -270 132 -660 136 -542 138 -663 140 -653 175 -631 -181 643 -186 257 187 -473 -29 207 -232 387 -162 755 -182 247 245 -252 269 -747 285 -753 -107 730 -160 289 -249 317 -49 343 -639 767 393 415 -441 -710 723 -390 722 -63 430 -442 531 -326 452 460 -672 -572 717 364 -461 -346 790 466 -674 476 -530 -471 508 -484 519 -258 571 574 -671 583 -685 589 -669 -156 658 -687 688 601 -693 12 -392 13 -521 620 -797 31 -212 39 -388 53 -398 62 -779 85 -263 95 -131 96 -226 -703 781 -297 748 -116 727 -176 785 126 -680 -128 223 381 -744 -151 161 -737 773 193 -729 165 -195 -100 199 -211 509 -619 -198 215 -82 220 -143 235 -239 -555 241 -699 -41 242 -206 264 -644 -616 673 -201 266 -750 -183 275 -411 -141 279 -287 292 -15 318 345 -462 -365 477 371 -770 -310 404 -191 425 -638 720 431 -775 455 -577 -456 677 478 -581 -67 500 501 -532 -702 784 -110 526 538 -791 -395 545 -271 651 565 -634 -228 707 -459 -592 306 -604 94 -609 -380 617 -120 626 516 -641 -474 701 -337 752 -38 91 56 -428 -59 113 60 -783 696 -774 72 -357 114 -240 135 -368 -595 776 144 -546 -149 304 158 -451 612 -739 -185 200 -180 202 -586 678 229 -741 -178 234 -145 622 -50 237 -129 274 284 -467 302 -489 314 -340 294 -322 -551 615 325 -662 -83 336 383 -554 401 -468 -146 429 435 -698 327 -439 -719 754 -177 444 -88 714 -73 481 498 -588 502 -715 -58 539 179 -543 -293 561 -458 787 -576 591 -360 582 -7 10 40 -675 -44 -597 45 -494 71 -356 -596 -74 -154 -465 706 86 -697 87 -291 -6 -98 104 -214 -409 689 -642 746 137 -636 157 -537 159 -649 171 -420 172 -544 -190 497 210 -397 219 -260 221 -614 621 -728 -233 243 -301 -231 248 256 -590 330 -629 -354 -400 -283 375 405 -523 -391 413 -79 416 -76 472 -499 798 -24 503 57 -525 -204 559 -480 652 -457 547 552 -111 764 -2 602 -4 319 21 -681 22 -608 28 -564 -51 80 119 -745 -64 704 -533 686 -148 772 -580 -605 -92 197 -66 623 -78 -379 -732 133 -261 -23 288 -296 496 303 -522 308 -654 -36 323 534 -712 363 -668 504 -664 -320 566 -771 -236 421 -315 -399 423 -443 709 -295 659 -505 -713 -311 513 -277 515 -556 -789 33 -208 47 -520 55 -290 -339 -8 112 139 -535 -152 -412 -417 579 188 -511 -584 -196 -549 541 -548 570 -611 -218 -227 254 -9 568 246 -373 -376 632 -427 510 -433 603 486 -682 168 -560 -648 670 -587 736 437 -575 -262 758 -253 557 316 -618 352 -733 32 -610 -464 645 370 -440 -536 694 -125 453 -134 725 -406 -734 -272 487 -300 454 170 -524 -65 726 19 -259 359 -485 268 -312 -362 446 61 -238 -788 793 -493 625 -102 -506 -338 792 448 -743 -349 438 -184 759 -721 -778 -27 655 -124 -795 103 -527 -563 780 34 -222 -84 -307 5 -692 -282 -479 -384 -600 -122 377 -1 436 470 -578 -130 369 -385 718 -117 286 267 -491 -16 280 -26 528 -147 -598 -70 -163 -18 -213 445 -799 -17 -469 68 -679 418 -607 -335 -640 250 -800 -353 366 -77 -203 492 -351 630 348 -403 -278 -328 -37 -624 -402 -762 324 -342 -382 419 -48 656 -224 763 -194 426 -410 -529 -414 449 -217 738 11 -331 396 -796 -422 -691 -309 -329 -432 -766 -333 -761 -550 613 -101 -174 -341 -495 -700 -777 -389 -665 -751 -782 -475 -628 407 -3 332 647 -757 -355 -708 -150 -52 -305 -167 -434 -593 -155 -731 -347 -650 -517 -540 -350
47.830u 0.017s 0:48.18 99.2%	0+0k 0+0io 0pf+0w