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