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_v260c1040l2_clq1-cv260c1040l2g6.wcnf
Job file: /home/maxsat/benchmarks/pms_random/min2sat/v260c1040l2/clq1-cv260c1040l2g6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 33
o 64
o 63
o 62
o 61
o 60
o 59
o 58
o 57
o 56
o 55
o 54
o 53
o 52
o 51
o 50
o 49
c 8723 branches 121709 propagates
c total generalized unit propagation = 17636, success = 44.75%
s OPTIMUM FOUND
c Optimal Solution = 49
v 228 119 -463 265 -731 383 -1019 -104 482 -451 521 -686 790 -94 741 -530 745 765 -878 -480 782 -466 978 15 -834 -922 1028 30 -846 35 -531 48 -545 56 -788 66 -490 76 -707 113 -493 157 -909 174 -209 212 -687 -32 216 235 -682 -152 248 272 -884 -219 274 -218 408 -198 467 -106 528 -345 529 -279 607 -369 626 -42 653 -657 689 -59 754 868 -885 -904 933 970 -988 -536 971 28 -517 29 -485 40 -636 50 -487 57 -306 60 -64 74 -438 -20 120 141 -954 182 -691 189 -280 200 -897 203 -941 -205 -231 207 -845 224 -566 -277 832 284 -826 290 -497 -213 318 389 -656 -101 1011 412 -801 -416 419 439 -996 472 -750 512 -1012 544 -729 -332 999 547 -737 154 -552 609 -673 -881 967 -357 1006 -611 627 515 -644 -664 665 -313 706 720 -803 742 -859 -642 959 -83 780 -559 802 -75 825 -508 835 -658 840 -315 852 -593 854 532 -908 251 -917 -728 927 3 -304 10 -38 -17 -1000 23 -752 24 -69 -635 994 -254 1021 79 -848 88 -204 -100 394 114 -910 115 -873 116 -271 -506 935 117 -598 123 -452 125 -1016 147 -491 156 -159 163 -524 -629 928 165 -692 -586 926 -171 690 -924 1031 -424 989 -188 262 199 -961 201 -510 903 -919 214 -567 -6 221 -225 836 -132 226 -889 229 -353 -619 1015 243 -245 247 -494 266 -370 -118 293 -308 348 309 -483 -498 906 -302 314 -249 329 336 -921 354 -806 373 -830 -61 386 391 -798 -474 898 -12 405 -55 976 413 -660 -282 975 423 -634 436 -892 435 -568 -196 455 458 -900 469 -960 -470 958 -396 477 478 -710 -385 504 -208 883 2 -525 183 -537 -509 880 501 -550 -505 573 -606 1007 -457 608 610 -901 -41 614 617 -744 427 -628 -632 783 -637 712 640 -1036 -112 651 667 -938 -356 866 683 -763 688 -969 701 -769 -589 703 704 -821 713 -1030 -34 753 -747 772 -709 777 -625 786 -137 855 655 -787 363 -822 839 -1029 841 -992 -122 844 -71 847 8 -549 9 -191 19 -133 -129 1026 33 -724 698 -1024 -53 232 -569 940 82 -558 97 -495 111 -638 121 -764 932 -939 124 -600 -128 973 135 -269 -87 930 186 -446 194 -388 -590 915 -155 237 344 -1014 263 -680 -392 1038 -105 267 268 -856 275 -911 192 -278 287 -1039 295 -964 303 -623 311 -864 -319 668 327 -947 -109 328 355 -808 -331 812 362 -966 -234 810 -486 809 371 -574 253 -376 -162 381 397 -705 400 -1032 -240 410 418 -585 -622 974 444 -968 445 -896 -454 842 465 -601 -805 1010 479 -920 -484 693 -453 499 523 -837 -471 555 414 -563 -260 575 -54 595 -674 853 951 -965 596 -718 602 -748 963 -1033 650 -863 72 -781 -258 867 -364 662 663 -730 -270 865 670 -696 27 -672 -580 676 -180 677 -242 679 -330 714 733 -979 -949 1003 -434 756 -740 760 -341 762 4 -211 -654 946 16 -166 -21 943 -131 997 367 -1025 43 -334 51 -190 422 -850 -78 648 -723 953 89 -103 98 -543 99 -406 -126 377 -649 833 153 -294 -67 929 160 -727 -149 161 -553 925 -127 178 -179 -238 202 -681 146 -986 916 -944 222 -613 230 -990 -905 912 246 -554 -281 296 -807 907 -90 320 -440 -770 902 -102 338 -475 361 -375 366 -987 -372 402 -310 384 -307 387 398 -993 170 -399 -887 894 415 -942 417 -1027 47 -425 -93 426 -789 -140 432 -73 717 374 -448 -450 -578 -488 888 -519 794 503 -541 -276 518 -758 1008 -429 -540 -571 998 461 -577 -46 582 -13 594 -300 860 620 -937 -430 652 -468 773 699 -981 5 -666 -39 539 -273 697 -736 995 -768 870 80 -761 -108 169 110 -792 -86 936 -739 1001 -142 -241 184 -227 -443 984 220 -874 233 -895 -264 684 252 -817 -256 -738 -459 823 -489 820 283 -767 -980 1022 291 -857 815 -985 -255 732 324 326 -533 340 -818 -62 -382 -139 726 -534 891 -25 492 -379 776 -700 711 -513 -1009 -343 538 -565 -791 -570 -882 173 -784 395 -599 615 -843 -65 624 1002 -1020 -561 695 52 -556 96 -838 -210 1018 176 -298 -779 1035 177 -390 -734 914 -766 827 -288 292 -342 950 -259 301 -685 814 -473 813 -403 -433 -421 819 719 -945 447 -647 -449 991 -68 460 -464 -962 500 -1005 -206 -516 496 -527 -347 -587 -583 -591 -630 952 -7 604 437 -616 702 -869 -1 462 -36 1017 -26 931 -107 134 144 -923 195 -957 -150 185 -223 1034 239 -407 -851 -1013 -829 982 339 -603 -572 811 365 -877 977 -548 -671 217 -631 18 -797 -58 476 669 -749 -346 431 -81 983 297 -890 -675 872 31 -551 -143 775 579 -645 70 -350 11 -708 -380 411 -592 913 -95 193 -316 401 404 -862 725 -759 641 -774 542 -879 312 -358 546 -799 -428 716 755 -785 -77 321 -612 824 -481 576 -151 875 -181 535 14 -564 44 -325 511 -633 -333 562 -215 796 -136 -955 757 -1040 -244 -322 -918 -148 -335 -261 420 -368 771 -305 -92 -1037 -442 659 -441 -646 -187 -337 -286 -828 -138 522 -63 -158 -378 -597 -359 -816 349 -956 -37 85 323 -861 -130 -793 22 -502 175 -886 -621 -858 -236 -393 560 -694 -643 -899 618 -751 45 -605 49 -145 520 -557 -746 -735 -804 -526 -934 -91 722 -197 588 -299 -360 -172 -972 -678 -1004 -250 800 -581 -778 -351 -795 167 -409 456 84 -168 -661 743 289 831 -871 -721 -849 -948 876 352 -584 -514 715 317 -893 -1023 -257 -285 -164 -507 -639
117.093u 0.017s 1:57.14 99.9%	0+0k 0+0io 0pf+0w